240. Существует ли Дед Мороз?

Должен сказать, что существование Деда Мороза многие подвергают сомнению. Несмотря на скептицизм, столь распространенный в наше время, я приведу три доказательства, не оставляющих ни малейшего сомнения в том, что Дед Мороз существует и должен существовать. Все три доказательства являются вариантами метода, заимствованного мною у Дж. Баркли Россера. Этот метод позволяет доказать что угодно.

Первое доказательство. Изложим это доказательство в форме диалога.

Первый логик. Если не ошибаюсь, Дед Мороз существует.

Второй логик. Разумеется, Дед Мороз существует, если вы не ошибаетесь.

Первый логик. Следовательно, мое утверждение истинно.

Второй логик. Разумеется!

Первый логик. Итак, я не ошибся, а вы согласились с тем, что если я не ошибаюсь, то Дед Мороз существует. Следовательно, Дед Мороз существует.

Второе доказательство. Приведенное выше доказательство представляет собой не что иное, как беллетризованный вариант следующего доказательства, предложенного Дж. Баркли Россером:

Если это утверждение истинно, то Дед Мороз существует.

В основе этого доказательства лежит уже знакомая нам идея. С ней мы встречались, когда доказывали, что если обитатель острова рыцарей и лжецов высказывает утверждение «если и рыцарь, то то-то и то-то», то он должен быть рыцарем, а «то-то и то-то» должно быть истинно.

Если наше утверждение истинно, то Дед Мороз заведомо существует (потому что если это утверждение истинно, то должно быть верно, что если это утверждение истинно, то Дед Мороз существует, из чего следует, что Дед Мороз существует). Следовательно, то, о чем говорится в утверждении, верно, поэтому утверждение истинно. Значит, утверждение истинно, а если оно истинно, то Дед Мороз существует. Следовательно, Дед Мороз существует.

Вопрос. Предположим, что обитатель острова рыцарей и лжецов заявляет: «Если я рыцарь, то Дед Мороз существует?» Доказывало бы это, что Дед Мороз существует?

Ответ. Несомненно, доказывало бы. Однако поскольку дед Мороз не существует, то ни лжец, ни рыцарь не могли бы высказать подобное утверждение.

Третье доказательство.

Это утверждение ложно, и Дед Мороз не существует.

Детали доказательства я предоставляю читателям.

Необходимые пояснения. Что в этих доказательствах «не так»? Ошибка в них та же, что и в рассуждениях претендента на руку Порции N-й: часть утверждений лишена смысла (об этом мы более подробно поговорим в гл. 15), и их нельзя считать ни истинными, ни ложными.

Следующее доказательство, к рассмотрению которого мы сейчас переходим, основано на совершенно ином принципе.