Читать «Семантическая концепция истины и основания семантики» онлайн - страница 14

Альфред Тарский

Если говорить о понятии истины, то в философских дискуссиях и, может быть, также в повседневном употреблении безусловно можно обнаружить некоторые зачатки истолкования этого понятия, существенно отличающиеся от классического (модернизированной формой которого является семантическая концепция). В литературе обсуждались различные концепции такого рода, например, прагматистская концепция, теория когеренции и т. п.

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

15. Формальная корректность предложенного определения истины.

Специальные возражения, выдвинутые против моих исследований, можно разделить на различные группы, каждая из которых будет рассмотрена отдельно.

Я думаю, что практически все эти возражения направлены не только против данного мной специального определения, но против семантической концепции истины в целом. Даже те из них, которые были направлены против реально построенного определения, относятся к любому другому определению, согласующемуся с этой концепцией.

В частности, так обстоит дело с теми возражениями, которые затрагивают формальную корректность определения. Я слышал некоторые возражения такого рода, однако сомневаюсь, что хотя бы одно из них заслуживает серьезного рассмотрения.

В качестве типичного примера позвольте мне изложить суть одного из таких возражений. В формулировке определения мы были вынуждены использовать пропозициональные связки, т. е. выражения типа "если,…, то…", "или" и т. д. Они встречаются в определяющей части, а одна из них, а именно фраза "тогда и только тогда, когда" обычно используется для соединения определяемого с определяющим. Хорошо известно, однако, что значение пропозициональных связок разъясняется в логике с помощью слов "истинно" и "ложно", например, мы говорим, что эквиваленция, т. е предложение вида "p тогда и только тогда, когда q", истинна, если оба ее члена, т. е. предложения, представленные символами 'p' и 'q', истинны или оба ложны. Таким образом, определение истины содержит порочный круг.

Если бы это возражение было справедливым, формально корректное определение истины оказалось бы невозможным, ибо мы неспособны сформулировать ни одного сложного предложения, не используя логических связок или иных логических терминов, определяемых с их помощью. К счастью, ситуация не столь плоха.