Споры такого типа никоим образом не ограничиваются понятием истины. Они встречаются повсюду, где вместо точной научной терминологии используется обыденный язык с его неопределенностью и многозначностью. Поэтому они всегда бессмысленны и бесплодны.
Мне кажется очевидным, что единственный рациональный подход к решению таких проблем состоит в следующем: мы должны признать тот факт, что имеем дело не с одним, а с несколькими различными понятиями, которые обозначаются одним словом; мы должны попытаться сделать эти понятия как можно более ясными (посредством определения, аксиоматической процедуры или как-то иначе); во избежание дальнейшей путаницы мы должны договориться использовать для различных понятий разные слова; а затем мы можем перейти к спокойному и систематическому изучению всех этих понятий ― изучению, которое раскроет их основные свойства и взаимные отношения.
Если говорить о понятии истины, то в философских дискуссиях и, может быть, также в повседневном употреблении безусловно можно обнаружить некоторые зачатки истолкования этого понятия, существенно отличающиеся от классического (модернизированной формой которого является семантическая концепция). В литературе обсуждались различные концепции такого рода, например, прагматистская концепция, теория когеренции и т. п.[24]
Мне кажется, ни одна из этих концепций до сих пор еще не была представлена в ясной и недвусмысленной форме. Однако положение может измениться, и настанет время, когда мы столкнемся с несовместимыми, но в равной мере ясными и точными концепциями истины. Тогда станет необходимо отказаться от многозначного употребления слова "истинно" и вместо него ввести несколько терминов, обозначающих различные понятия. Лично я не буду обижаться, если будущий мировой конгресс теоретиков истины большинством голосов решит сохранить слово "истинно" за одной из неклассических концепций, а для концепции, рассмотренной здесь, предложит другое слово, скажем, "кристинно". Однако я не могу представить себе, чтобы кто-то смог предложить убедительные аргументы для обоснования того, что семантическая концепция "ошибочна" и ее следует вообще отбросить.
15. Формальная корректность предложенного определения истины.
Специальные возражения, выдвинутые против моих исследований, можно разделить на различные группы, каждая из которых будет рассмотрена отдельно.
Я думаю, что практически все эти возражения направлены не только против данного мной специального определения, но против семантической концепции истины в целом. Даже те из них, которые были направлены против реально построенного определения, относятся к любому другому определению, согласующемуся с этой концепцией.
В частности, так обстоит дело с теми возражениями, которые затрагивают формальную корректность определения. Я слышал некоторые возражения такого рода, однако сомневаюсь, что хотя бы одно из них заслуживает серьезного рассмотрения.
В качестве типичного примера позвольте мне изложить суть одного из таких возражений.[25] В формулировке определения мы были вынуждены использовать пропозициональные связки, т. е. выражения типа "если,…, то…", "или" и т. д. Они встречаются в определяющей части, а одна из них, а именно фраза "тогда и только тогда, когда" обычно используется для соединения определяемого с определяющим. Хорошо известно, однако, что значение пропозициональных связок разъясняется в логике с помощью слов "истинно" и "ложно", например, мы говорим, что эквиваленция, т. е предложение вида "p тогда и только тогда, когда q", истинна, если оба ее члена, т. е. предложения, представленные символами 'p' и 'q', истинны или оба ложны. Таким образом, определение истины содержит порочный круг.
Если бы это возражение было справедливым, формально корректное определение истины оказалось бы невозможным, ибо мы неспособны сформулировать ни одного сложного предложения, не используя логических связок или иных логических терминов, определяемых с их помощью. К счастью, ситуация не столь плоха.
Нет сомнения в том, что строго дедуктивной разработке логики часто предшествуют определенные утверждения, разъясняющие условия, при которых предложения вида "если p, то q" и т. п. считаются истинными или ложными. (Такие разъяснения часто даются схематично, посредством так называемых таблиц истинности.) Однако эти утверждения находятся вне системы логики и не должны рассматриваться как определения входящих в нее терминов. Они формулируются не в языке системы и представляют собой скорее специальные следствия определения истины, даваемого в мета-языке. Кроме того, эти утверждения никоим образом не влияют на дедуктивную разработку логики, ибо в процессе этой разработки мы вовсе не обсуждаем вопроса о том, истинно ли данное предложение, нас интересует лишь, доказуемо ли оно.[26]
25
Имена людей, высказавших возражения, не будут здесь названы, если их возражения не были опубликованы.
26
Следует подчеркнуть, однако, что положение с предполагаемым порочным кругом не изменится, даже если мы примем другую точку зрения, представленную, например, в работе: