Объективное знание

Помимо этого Тарский предложил способ давать определение истины (в смысле теории соответствия) для любой непротиворечивой формализованной системы. Однако не это я считаю его главным достижением.

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

Коль скоро мы установили, что можем употреблять «истину» в смысле соответствия высказываний фактам, нам уже нечего добавить существенного по поводу слова «истина». Нет никакого сомнения, что соответствие фактам и есть то, что мы обычно называем «истинностью»; что в обыденном языке мы называем «истинностью» соответствие фактам, а не внутреннюю согласованность или прагматическую полезность.

Судья, призывающий свидетеля говорить правду (truth) и ничего кроме правды, не призывает его говорить то, что он считает полезным для себя или для кого-то другого. Судья призывает свидетеля говорить правду и ничего кроме правды, но не говорит ему: «Все, что от тебя требуется, это чтобы ты не запутался в противоречиях», как он должен был бы сказать, если бы был сторонником теории согласованности. Но он не этого требует от свидетеля.

Другими словами, обычный смысл слов «правда» или «истина», как они используются в суде, есть без всякого сомнения соответствие. Но для меня важнее всего то, что это можно рассматривать просто как «соображение по поводу (afterthought)» и к тому же не очень важное. Ведь если кто-то захочет сказать: «Нет, в обыденном языке слово „истина" употребляется в другом смысле», я не стану с ним спорить. Я предложу позабыть о терминологии, я буду готов использовать терминологию моего оппонента, указав только, что в нашем распоряжении имеется по крайней мере три значения этого слова. Это единственное, о чем я стал бы спорить, но я отказался бы спорить о словах.

Я заметил бы, однако, что теория истины как соответствия есть реалистическая теория. Это значит, что она проводит различие — которое является реалистическим различием — между теорией и фактами, описываемыми теорией. Благодаря этому мы можем говорить, что теория истинна или ложна или соответствует фактам, соотнося таким образом теорию с фактами. Это позволяет нам говорить о реальности в отличие от теории. Это самое главное — это самый главный момент для реалиста. Реалист хочет иметь одновременно и теорию, и реальность, или факты (не называйте это реальностью, если не хотите, называйте это просто «фактами»), отличные от теории, относящейся к этим фактам, которую он может так или иначе сравнивать с фактами, чтобы выяснить, соответствует ли она им. Конечно, это сравнение всегда крайне трудно.

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

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