Истина и доказательство - [2]

На первый взгляд может показаться, что формулировка (1), когда она рассматривается в качестве дефиниции, обнаруживает существенный недостаток, широко обсуждавшийся в традиционной логике, ― порочный круг. Основание состоит в том, что некоторые слова, например, «снег», встречаются как в дефиниенсе, таки в дефиниендуме. Однако на самом деле их присутствие там является совершенно различным по своему характеру. Слово «снег» является синтаксической (или органической) частью дефиниенса. Действительно, дефиниенс есть предложение, и слово «снег» его подлежащее. Дефиниендум также есть некоторое предложение, оно выражает тот факт, что дефиниенс есть истинное предложение. Его подлежащим является название или имя дефиниенса, образуемое путём заключения дефиниенса в кавычки (когда мы говорим нечто о некотором объекте, мы всегда используем имя этого объекта, а не сам объект). Выражение, заключенное в кавычки, должно грамматически трактоваться как единое слово, не имеющее никаких синтаксических частей. Поэтому, в частности, слово «снег», которое вне каких-либо сомнений присутствует в дефиниендуме, не является в нём синтаксической частью. Логики средних веков сказали бы, что слово «снег» присутствует в дефиниенсе по suppositione formalis, а в дефиниендуме по suppositione materialis.

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

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

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

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

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

При некоторых специальных предположениях построение общей дефиниция истины не представляет особого труда. В самом деле, предположим, что нас интересует не весь русский язык в целом, а только какой-то из его фрагментов и что мы хотим определить термин «истинное» исключительно по отношению к предложениям этого фрагмента языка. Обозначим этот фрагмент через М. Будем считать, что М имеет точные синтаксические правила, которые позволяют нам в каждом частном случае отличать предложения от выражений, которые предложениями не являются, и что число всех предложений в М конечно (хотя, возможно, и очень велико). Заготовим полный список всех предложений в М, предположив, например, что в языке М существует ровно 1000 высказываний, и договоримся употреблять символы S1, Ѕ2, ..., Ѕ1000 как сокращённые обозначения предложений данного списка. Далее, для каждого из предложений S1, Ѕ2, ..., Ѕ1000 построим частные дефиниция истины, подставляя последовательно эти высказывания вместо Р в обеих сторонах схемы (3). Наконец, составим логическую конъюнкцию всех этих частных дефиниций, то есть соединим их в одно утверждение с помощью соединительного союза «и». Единственная вещь, которую остается сделать, ― это придать результирующей конъюнкции иную, но логически эквивалентную форму, такую, чтобы она удовлетворяла формальным требованиям, накладываемым на дефиниции правилами логики: