Парадокс неожиданной казни

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

Парадокс неожиданной казни (англ. Unexpected hanging paradox) — логический парадокс, также известный как парадокс узника, а в других формулировках как парадокс неожиданной тревоги и парадокс с яйцом-сюрпризом. Впервые сформулирован и опубликован в июле 1948 года философом Эксетерского университета Д. Дж. О’Коннором^[1]. В формулировке О’Коннора фигурировал офицер, объявляющий своим подчиненным о том, что «на следующей неделе должна состояться тревога, о которой никто не должен знать заранее вплоть до 18.00 того дня, на который она назначена».

В первую очередь парадоксальность высказывания заключается в том, что путём непротиворечивых логических размышлений можно прийти к выводу, что описанная таким способом «неожиданная тревога» не может состояться — либо она на самом деле не будет неожиданной, либо она должна состояться не на следующей неделе, а каждый из этих выводов противоречит исходному высказыванию.

Гораздо больший парадокс заключается в том, что, несмотря на полученный логический вывод, тревога всё-таки может состояться в назначенную неделю и действительно окажется неожиданной, тем самым на деле не будет противоречить исходному высказыванию. Это явно продемонстрировано в задаче о неожиданной казни.

Формулировка задачи о неожиданной казни

Однажды в воскресенье начальник тюрьмы вызвал преступника, приговорённого к казни, и сообщил ему:

• Вас казнят на следующей неделе в полдень.
• День казни станет для вас сюрпризом, вы узнаете о нём, только когда палач в полдень войдёт к вам в камеру.

Начальник тюрьмы был честнейшим человеком и никогда не врал. Заключённый подумал над его словами и улыбнулся: «В воскресенье меня казнить не могут! Ведь тогда уже в субботу вечером я буду знать об этом. А, по словам начальника, я не буду знать день своей казни. Следовательно, последний возможный день моей казни — суббота. Но если меня не казнят в пятницу, то я буду заранее знать, что меня казнят в субботу, значит, и её можно исключить». Последовательно исключив пятницу, четверг, среду, вторник и понедельник, преступник пришёл к выводу, что начальник не сможет его казнить, выполнив все свои слова. На следующей неделе палач постучал в его дверь в полдень в среду — это было для него полной неожиданностью. Всё, что начальник тюрьмы сказал, осуществилось. Где недостаток в рассуждении заключённого?

Решение задачи

Разрешению этого парадокса посвящено много научных статей. Мартин Гарднер, описывая вариант парадокса^[2], утверждает, что ошибка содержится уже в первом шаге рассуждений. Предположим, что осталась последняя альтернатива. Узник не может сделать логически безупречный вывод, казнят ли его завтра, поскольку в любом случае это бы приводило к противоречию двух условий. Поэтому для него завтрашнее событие будет неожиданностью.

Это приводит к упрощённой формулировке парадокса, имеющей название «яйцо-сюрприз».

Яйцо-сюрприз

Чтобы разобраться в этом парадоксе, имеет смысл рассмотреть его более простую форму, где число дней уменьшено до одного. В этой версии начальник тюрьмы сообщает, что:

1. Вы будете казнены в полдень на следующей неделе в пятницу;
2. Это будет неожиданностью для вас.

Заключённый восклицает, что оба условия не могут быть выполнены, так как казнь не может быть неожиданной, если уже сообщено, что она произойдёт в пятницу, и полагает, что казнь не состоится. В следующую пятницу заключённого казнят. Это становится неожиданностью для него, так как он убедил себя, что казнить его не смогут. Что было неправильно в его рассуждениях? Или, возможно, условие «это будет неожиданностью для вас» ложно. Если заключённый является настолько уверенным в нем, что до последних секунд своей жизни считает, что казнь будет остановлена, чтобы выполнить условие начальника.

Любопытный вывод заключается в том, что сам заключённый не сможет прийти к выводу, что приговор будет исполнен. К такому выводу может прийти только тот, кто располагает дополнительной информацией о том, что:

• заключённому действительно отрубят голову в указанный день;
• заключённый является строго логически (и никак иначе) мыслящим субъектом.

Эквивалентной формулировкой будет следующая. Пусть некто мистер Смит даёт коробку и говорит: «Откройте её, и вы неожиданно обнаружите внутри яйцо»^[2]. Можно ли, рассуждая логически, прийти к какому-нибудь заключению относительно того, находится ли внутри коробки яйцо, или его там нет? Если Смит говорит правду, то внутри должно быть яйцо, но тогда это не будет сюрпризом. Поэтому утверждение Смита ложно. Если это убедит адресата, что из этого следует отсутствие яйца, то открыв коробку и неожиданно обнаружив там яйцо, адресат убедится, что утверждение Смита истинно.

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

См. также

• Список парадоксов
• Парадокс сатанинской бутылки Стивенсона
• Дилемма заключённого

Примечания

1. ↑ D. J. O’Connor, «Pragmatic Paradoxes», Mind 1948, Vol. 57, pp. 358-9.
2. ↑ ^{1 2} Мартин Гарднер А ну-ка, догадайся! = Aha! Gotcha. Paradoxes to puzzle and delight. — М.: Мир, 1984. — С. 33-36. — 213 с.