Альфред Тарский - Истина и доказательство

Если выполняются все описанные выше условия, построение искомой дефиниции истины не представляет принципиальных трудностей. Однако в техническом отношении это достаточно сложная процедура, чтобы можно было подробно объяснить её здесь. Для любого данного предложения языка-объекта мы можем легко сформулировать соответствующую частную дефиницию формы (3). Однако, поскольку множество всех предложений в языке-объекте является, как правило, бесконечным, мы не можем достигнуть общей дефиниции с помощью простой конъюнкции всех частных дефиниций. Тем не менее во многих случаях оказывается возможным построить общее определение.

Очень грубо говоря, мы поступаем следующим образом. Прежде всего рассматриваем простейшие предложения, которые не содержат каких-либо других предложений в качестве своих составных частей. Для этих простейших предложений можно определить условия их истинности непосредственно (используя ту же самую идею, которая ведёт к частным дефинициям). Затем, используя синтаксические правила, касающиеся формирования сложных предложений из простых, расширяем дефиницию на любое составное предложение языка. В данном случае используется метод, известный математикам как рекуррентная дефиниция. По некоторым техническим причинам метод рекурсии используется для определения понятия выполнения, а не истины. Истина затем легко определяется в терминах выполнимости.

* * *

Что бы ни было получено с помощью построения материально адекватной дефиниции истины для какого-либо научного языка, один факт, видимо, будет несомненным: эта дефиниция не дает нам пригодного критерия, на основании которого можно было бы определить, является ли некоторое частное предложение в данном языке истинным или ложным (и она, конечно, вообще не предназначается для этой цели). Рассмотрим, например, следующее предложение: «Три биссектрисы любого треугольника пересекаются в одной точке». Если нас интересует вопрос, истинно ли это предложение, и мы обратимся за ответом к дефиниции истины, нас постигнет разочарование. Единственная информация, которую мы получим, будет состоять в том, что данное высказывание является истинным в том случае, если биссектрисы треугольника всегда пересекаются в одной точке, и ложным, если они не всегда пересекаются в одной точке. Но только геометрическое исследование может решить, как обстоит дело в действительности. Аналогичные замечания применимы к высказываниям из области любых других частных наук: решение вопроса о том, истинно данное предложение или нет, является задачей конкретной науки, а не логики или теории истины.

Некоторые философы и методологи склонны отрицать любую дефиницию, которая не даёт критерия для решения вопроса о том, подпадает ли данный частный объект под определяемое понятие, или нет. В методологии эмпирических наук такая тенденция представлена доктриной операционализма. Философы-математики, принадлежащие к конструктивистской школе, также, видимо, обнаруживают подобную тенденцию. Однако, в обоих случаях люди, придерживающиеся такого мнения, оказываются в меньшинстве. Достаточно очевидно, что при последовательном проведении этой программы многие отрасли современной математики должны были бы исчезнуть, а теоретические разделы многих эмпирических наук (физики, химии, биологии) — претерпеть существенные деформации. Дефиниции таких понятий, как атом или ген, так же как и большинство дефиниций в математике, не содержат каких-либо критериев для решения вопроса о том, подпадает ли тот или иной объект под термин, определенный именно таким образом.

Поскольку дефиниция истины сама по себе не обеспечивает нас критерием истинности и в то же время поиски истины справедливо рассматриваются как сущность научной деятельности, проблема нахождения по крайней мере частичных критериев истины и разработки процедур, которые могли бы позволить нам признать или отрицать истинность как можно большего количества высказываний, представляется очень важной. Такие процедуры, конечно, известны, некоторые из них применяются исключительно в эмпирических науках, другие — преимущественно в дедуктивных. Понятие доказательства — второе понятие, обсуждаемое в данной статье, — относится именно к процедуре установления истинности предложений в дедуктивных науках. Эта процедура является существенным элементом того, что известно под названием аксиоматического метода — метода, наиболее широко используемого в настоящее время для разработки и изложения математических дисциплин.