Нурали Латыпов - Прокачай мозг методом знатоков «Что? Где? Когда?»

Самоприменимо оно или же нет? Допустим, что прилагательное «несамоприменимый» несамоприменимо. Тогда оно (согласно приведенному определению Греллинга) самоприменимо! А раз оно самоприменимо, то на каком же основании оно названо нами «несамоприменимым»?! (Ивин, 1998).

На этом, пожалуй, завершим поверхностное знакомство с парадоксами и противоречиями, ибо даже при всей поверхностности оно может занять целую книгу. А у нас другие цели – активизация инженерно-технического мышления по всем фронтам.

Копай глубже! Именно так принуждала Интуиция в одном бородатом анекдоте незадачливого ковбоя к действию. Напомним, что наш герой, как и положено ему, скакал по степи. Вдруг лошадь остановилась, и внутренний голос сказал ему: «Копай!» Ковбой начал копать, а внутренний голос добавляет: «Копай глубже!» Ковбой копает, голос: «Глубже!» И вдруг лопата ударила о какой-то предмет. Ковбой выкопал сундук с сокровищами. А голос: «Вот это я пошутила…»

В нашем случае шутки в сторону, теперь будем анализировать парадоксы. Кто-нибудь спросит: «А зачем их анализировать?» Ну как же!

Ну как же понять, откуда они берутся, куда деваются, что полезного из этого можно для себя получить? Ведь не ради только одного любопытства читаете вы в наш прагматичный век эту книгу!

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

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

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

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

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

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