Судный мозг - стр. 4
Задача продвижения к истине в условиях наличия многих неточностей для юриспруденции всегда актуальна. Анализ проблем неточности – это шаг на пути сближения логики с практикой обычного мышления. И можно предполагать, что он принесёт ещё многие интересные результаты, в том числе и на пути исследования языковых функций и возможностей мозга, о чем будет рассказано в последующих главах.
«Я лгу – значит, говорю правду»?
Уже на уровне логики включение самого понятия лжи в умственный процесс и в отображающие его словесные конструкции ведет ко множеству противоречий. К примеру, в Средние века схоласты потратили немало сил в попытках разрешить так называемый «парадокс лжеца», пока, в конце концов, не признали его «неразрешимым предложением». После этого парадокс был на время забыт. Как нам кажется, сейчас логика, наконец, достигла такого уровня развития, чтобы снова попытаться вскрыть проблемы, лежащие в основании парадокса. А может, и нет!
Парадокс лжеца приписывают знаменитому критскому философу Эпимениду, жившему в VI в. до н. э. Он довольно нелестно отзывался о своих соотечественниках: «Все критяне – лжецы». Но ведь и сам Эпименид тоже критянин! Получается, что если Эпименид говорит правду, то он лжец, как и его соотечественники. А значит, его утверждение ложно и критяне не лжецы, как и сам Эпименид. Следовательно, он говорит правду, а правда такова, что «Все критяне – лжецы». Так как же быть: ложно или истинно высказывание Эпименида?
Этот «мысленный выверт», повторённый во множестве вариантов не давал и до сих пор не даёт покоя многим любителям самых разных головоломок. Его кажущаяся простота и лаконичность бросают вызов нашему уму и требуют немедленного разрешения.
Давайте рассмотрим, что думали о «лжеце» выдающиеся мыслители прошлого. Самая простая мысль, восходящая к греку Хрисиппу, – отказаться в анализе высказываний от пары «истина» и «ложь» и добавить к ним «осмысленно» и «бессмысленно». Таким образом, все высказывания можно отнести к одному из этих четырёх типов. Однако такая классификация не является удовлетворительной, потому что среди осмысленных высказываний могут быть как истинные, так и ложные. Отсюда следует, что высказывания надо сначала делить на осмысленные и бессмысленные, а уже затем все осмысленные делить на истинные и ложные.
В Средние века Уильям Оккам считал, что утверждение «всякое высказывание ложно» бессмысленно. Но на каком основании? Бессмысленными мы привыкли считать утверждения, не имеющие содержания, например, «если идёт дождь, то паровоз», или, иначе, не имеющие отношения к реальности.
Выражение «я лгу» (или «всякое высказывание ложно») имеет отношение к реальности и имеет содержание. Может быть, проблемой является способность выражения говорить о самом себе? Но и таких выражений предостаточно! Например, «это предложение написано по-русски» или «в этом предложении шесть слов». Первое является самоприменимым истинным, а второе самоприменимым ложным высказыванием. К тому же они оба вполне осмысленны.
И, наконец, вопрос, который ставит точку в наших сомнениях относительно позиции Оккама: «Если высказывание может говорить о самом себе (самоприменимо), то, что может запретить ему говорить об одном из своих свойств, например, о его истинности?»