|
Вернёмся к «парадоксу лжеца». Если вы, уважаемый читатель, сформулируете некое утверждение, докажете его истинность, а затем из этого выведете его же ложность, то получите противоречие[84]. Чтобы получился парадокс, в данном случае необходимо организовать замкнутый круг. Конечно это не обязательное условие, но очень желательное. Ибо хождение по замкнутому кругу кого угодно может свести с ума! Именно поэтому, приняв некоторое утверждение истинным и исходя из его истинности, приходят к тому, что оно ложно, а затем, приняв его ложность, доказывают из этой посылки его истинность. (Не верите, что можете сами придумать парадокс? А зря!) Но как же бороться с парадоксами? Может быть, запретить такой ход действий — выводить из истинности ложность, и дело с концом, нет парадокса — нет проблемы? Как бы ни так! Это дорого обойдется не только математике, физике, технике, но и всей цивилизации! Действие высказывания на само высказывание, называемое в математике самоприменимостью, играет важную роль в очень многих случаях. И если лишить математику, этот универсальный, как мы говорили, язык науки такого важного приема, то её здание может начать рассыпаться на глазах, а потом и здание всех естественнонаучных дисциплин. Ведь свойство самоприменимости[85] используется не только для логического вывода. Например, умножение числа самого на себя это тоже самоприменимость. Как же нам остаться без «дважды два»? Тем не менее, введение некоторых ограничений в определения или действия, является распространенным приёмом борьбы с противоречиями. И иногда это бывает вполне оправдано. В Средние века схоласты потратили немало сил в попытках разрешить «Парадокс лжеца», пока, в конце концов, не признали его «неразрешимым предложением». После это парадокс был на время забыт[86]. Как нам кажется, в наше время логика, наконец, достигла такого уровня развития, чтобы снова попытаться вскрыть проблемы, лежащие в основании парадокса. А может, и нет!? Давайте рассмотрим, что думали о «лжеце» выдающиеся мыслители прошлого. Самая простая мысль, восходящая к греку Хрисиппу, отказаться в анализе высказываний от пары «истина» и «ложь» и добавить к ним «осмысленно» и «бессмысленно». Таким образом, все высказывания можно отнести к одному из этих четырёх типов. Однако такая классификация не является удовлетворительной, потому что среди осмысленных высказываний могут быть как истинные, так и ложные. Отсюда следует, что высказывания надо сначала делить на осмысленные и бессмысленные, а уже затем все осмысленные делить на истинные и ложные. — 146 —
|