Мы можем, конечно, заменить немецкий язык-объект любым другим даже английским. Так, мы можем высказать следующее метаязы-ковое утверждение:
Английское высказывание «Трава зеленая» соответствует фактам, если и только если трава зеленая.
Оно кажется еще более тривиальным. Но вряд ли его можно отрицать, как нельзя отрицать и то, что в нем выражены условия, при которых высказывание соответствует фактам.
Говоря в общем виде, пусть "S" будет (метаязыковым) именем некоторого высказывания языка-объекта, и пусть " f " будет аббревиатурой некоторого выражения метаязыка, описывающего (предполагаемый) факт F, который описывается высказыванием S. Тогда мы можем высказать следующее метаязыковое утверждение:
Высказывание S языка-объекта соответствует фактам, если и только если f . (Или: ...если является фактом, что f ).
Заметим, что в то время как "S" здесь метаязыковое имя некоторого высказывания, не имя, а аббревиатура некоторого выражения метаязыка, описывающего определенный факт (тот факт, который мы можем назвать "F").
Теперь мы можем сказать, что же именно сделал Тарский. Он открыл, что для того, чтобы говорить о соответствии между высказыванием S и фактом F, нам нужен язык (метаязык), на котором мы можем говорить о высказывании S и высказывать факт F. (О первом мы говорим, используя имя "S", о втором используя метаязыковое выражение " f ", которое высказывает (states) или описывает F).
Важность этого открытия в том, что оно устраняет все сомнения относительно того, осмысленно ли говорить о соответствии высказывания некоторому факту или фактам.
А коль скоро это уже доказано, мы можем, конечно, заменить слова «соответствует фактам» словами «истинно».
Помимо этого Тарский предложил способ давать определение истины (в смысле теории соответствия) для любой непротиворечивой формализованной системы. Однако не это я считаю его главным достижением.
Главным его достижениям является реабилитация высказываний о соответствии (и истинности). Между прочим, он показал, при каких условиях такие высказывания могут приводить к парадоксам и как мы можем избегать таких парадоксов, и он показал также, как в обычном разговоре об истине мы можем избегать и избегаем парадоксов.
Коль скоро мы установили, что можем употреблять «истину» в смысле соответствия высказываний фактам, нам уже нечего добавить существенного по поводу слова «истина». Нет никакого сомнения, что соответствие фактам и есть то, что мы обычно называем «истинностью»; что в обыденном языке мы называем «истинностью» соответствие фактам, а не внутреннюю согласованность или прагматическую полезность.
Судья, призывающий свидетеля говорить правду (truth) и ничего кроме правды, не призывает его говорить то, что он считает полезным для себя или для кого-то другого. Судья призывает свидетеля говорить правду и ничего кроме правды, но не говорит ему: «Все, что от тебя требуется, это чтобы ты не запутался в противоречиях», как он должен был бы сказать, если бы был сторонником теории согласованности. Но он не этого требует от свидетеля.
Другими словами, обычный смысл слов «правда» или «истина», как они используются в суде, есть без всякого сомнения соответствие. Но для меня важнее
всего то, что это можно рассматривать просто как «соображение по поводу (afterthought)» и к тому же не очень важное. Ведь если кто-то захочет сказать: «Нет, в обыденном языке слово истина" употребляется в другом смысле», я не стану с ним спорить. Я предложу позабыть о терминологии, я буду готов использовать терминологию моего оппонента, указав только, что в нашем распоряжении имеется по крайней мере три значения этого слова. Это единственное, о чем я стал бы спорить, но я отказался бы спорить о словах.
Я заметил бы, однако, что теория истины как соответствия есть реалистическая теория. Это значит, что она проводит различие которое является реалистическим различием между теорией и фактами, описываемыми теорией. Благодаря этому мы можем говорить, что теория истинна или ложна или соответствует фактам, соотнося таким образом теорию с фактами. Это позволяет нам говорить о реальности в отличие от теории. Это самое главное это самый главный момент для реалиста. Реалист хочет иметь одновременно и теорию, и реальность, или факты (не называйте это реальностью, если не хотите, называйте это просто «фактами»), отличные от теории, относящейся к этим фактам, которую он может так или иначе сравнивать с фактами, чтобы выяснить, соответствует ли она им. Конечно, это сравнение всегда крайне трудно.
Еще одно слово по поводу теории Тарского. Всю ее цель часто понимают неправильно, ошибочно предполагая, что она стремится дать некий критерий истинности. Ведь именно к этому стремятся как теория согласованности, так и теория прагматической полезности они подкрепляли традиционный взгляд, согласно которому любая серьезная теория истины должна давать нам способ определения, истинно некоторое данное высказывание или нет.
С помощью своего определения истины Тарский доказал много всяких вещей. Среди прочего он доказал, что в достаточно богатом языке (в том числе в любом языке, в котором можно формулировать математические или физические теории) не может быть никакого критерия истинности, то есть никакого критерия соответствия: вопрос о том, истинно ли некоторое высказывание, в общем виде неразрешим для языков, в которых мы можем сформулировать понятие истины. Таким образом, понятие истины в основном играет роль регулятивной идеи. В наших поисках истины нам поможет знание того, что существует нечто вроде истины или соответствия. Это знание не даст нам способа находить истину или хотя бы уверенность в том, что мы нашли истину, даже если мы действительно ее нашли. Так что нет никакого критерия истинности, и мы не должны о нем просить. Мы должны довольствоваться тем фактом, что идея истины как соответствия фактам была реабилитирована. Это сделал Тарский, и я думаю, что этим он сослужил неоценимую службу реалистическому взгляду на мир.