Инженерная эвристика

Вернёмся к «парадоксу лжеца». Если вы, уважаемый читатель, сформулируете некое утверждение, докажете его истинность, а затем из этого выведете его же ложность, то получите противоречие[84]. Чтобы получился парадокс, в данном случае необходимо организовать замкнутый круг. Конечно это не обязательное условие, но очень желательное. Ибо хождение по замкнутому кругу кого угодно может свести с ума! Именно поэтому, приняв некоторое утверждение истинным и исходя из его истинности, приходят к тому, что оно ложно, а затем, приняв его ложность, доказывают из этой посылки его истинность. (Не верите, что можете сами придумать парадокс? А зря!)

Но как же бороться с парадоксами? Может быть, запретить такой ход действий — выводить из истинности ложность, и дело с концом, нет парадокса — нет проблемы? Как бы ни так! Это дорого обойдется не только математике, физике, технике, но и всей цивилизации!

Действие высказывания на само высказывание, называемое в математике самоприменимостью, играет важную роль в очень многих случаях. И если лишить математику, этот универсальный, как мы говорили, язык науки такого важного приема, то её здание может начать рассыпаться на глазах, а потом и здание всех естественнонаучных дисциплин. Ведь свойство самоприменимости[85] используется не только для логического вывода. Например, умножение числа самого на себя это тоже самоприменимость. Как же нам остаться без «дважды два»? Тем не менее, введение некоторых ограничений в определения или действия, является распространенным приёмом борьбы с противоречиями. И иногда это бывает вполне оправдано.

В Средние века схоласты потратили немало сил в попытках разрешить «Парадокс лжеца», пока, в конце концов, не признали его «неразрешимым предложением». После это парадокс был на время забыт[86]. Как нам кажется, в наше время логика, наконец, достигла такого уровня развития, чтобы снова попытаться вскрыть проблемы, лежащие в основании парадокса. А может, и нет!?

Давайте рассмотрим, что думали о «лжеце» выдающиеся мыслители прошлого. Самая простая мысль, восходящая к греку Хрисиппу, отказаться в анализе высказываний от пары «истина» и «ложь» и добавить к ним «осмысленно» и «бессмысленно». Таким образом, все высказывания можно отнести к одному из этих четырёх типов. Однако такая классификация не является удовлетворительной, потому что среди осмысленных высказываний могут быть как истинные, так и ложные. Отсюда следует, что высказывания надо сначала делить на осмысленные и бессмысленные, а уже затем все осмысленные делить на истинные и ложные.

В Средние века уже не раз нами упомянутый Уильям Оккам считал, что утверждение «всякое высказывание ложно» бессмысленно. Но на каком основании? Бессмысленными мы привыкли считать утверждения, не имеющие содержания, например, «если идёт дождь, то паровоз», или, иначе, не имеющие отношения к реальности.

Выражение «я лгу» (или «всякое высказывание ложно») имеет отношение к реальности и имеет содержание. Может быть, проблемой является способность выражения говорить о самом себе? Но и таких выражений предостаточно! Например, «это предложение написано по-русски» или «в этом предложении шесть слов». Первое является самоприменимым истинным, а второе самоприменимым ложным высказыванием. К тому же они оба вполне осмысленны.

И, наконец, вопрос, который ставит точку в наших сомнениях относительно позиции Оккама: «Если высказывание может говорить о самом себе (самоприменимо), то, что может запретить ему говорить об одном из своих свойств, например, о его истинности?»

С Оккамом (1280–1347) спорил его собственный ученик, другой из вестный философ и логик Жан Буридан (1300–1358)[87]. Он считал высказывание «всякое высказывание ложно» ложным, так как оно является сокращенной формой выражения утверждающего как свою истинность, так и ложность, а такие выражения, по его мнению, ложны. Некоторые до сих пор с ним согласны.

ВОПРОС № 91

Придумайте в качестве тренировки три высказывания: бессмысленное предложение, самоприменимое ложное и самоприменимое истинное.

ВОПРОС № 92

Докажите противоречивость отрицания «Парадокса лжеца»: «Всякое высказывание истинно».