Читать «Истина и доказательство» онлайн - страница 3

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

(2) Ряд из двух слов, первое из которых состоит из букв «С», «Н», «Е», «Г», а второе ― из букв «Б», «Е», «Л», является истинным высказыванием, если и только если снег бел.

Формулировка (2) не отличается от формулировки (1) по своему значению; последняя может рассматриваться просто как сокращённая форма формулировки (2). Конечно, новая формулировка менее прозрачна, чем старая, но она имеет то преимущество, что не порождает видимости порочного круга.

Частные дефиниции истины, аналогичные формулировкам (1) или (2), могут быть с таким же успехом построены для других предложений. Каждая из таких дефиниций имеет вид (3): Р истинно, если и только если Р, где Р обозначает некоторое предложение, для которого строится данная дефиниция. Специальное внимание следовало бы уделить тем ситуациям, когда предложение, которое нужно поставить на место Р, содержит слово «истинное» в качестве синтаксической части. Соответствующий эквивалент (3) не может тогда рассматриваться как частная дефиниция истины, поскольку если её трактовать как дефиницию, то она явно будет содержать порочный круг. Но даже и в этом случае формулировка (3) является осмысленной. Вообразим, например, что, просмотрев какую-то книгу, мы находим следующую фразу: (4) Не каждое предложение в этой книге является истинным. Применяя к формулировке (4) аристотелев критерий, мы видим, что предложение (4) является истинным, если на самом деле не каждое предложение рассматриваемой книги является истинным, и оно является ложным в противном случае. Иными словами, мы можем утверждать, что получим эквивалент предложения (3), заменив в нем Р на предложение (4). Разумеется, этот эквивалент имеет место только при таких условиях, когда предложение (4) является либо истинным, либо неистинным, но само по себе не позволяет нам решить, что же имеет место на самом деле. Для того, чтобы проверить утверждение, выраженное в предложении (4), нужно внимательно прочесть всю книгу и проанализировать истинность предложений, содержащихся в ней.

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