Судья приговаривает заключённого к казни, которая произойдёт в один из дней следующей недели, но день казни станет для него неожиданностью — заключённый не сможет узнать его накануне вечером. Заключённый, рассуждая логически, приходит к выводу, что казнь невозможна ни в один из дней, — и тогда палач приходит за ним в среду, что действительно становится полной неожиданностью.
История возникновения парадокса
Корни этого парадокса уходят не в пыльные философские трактаты, а в реальную военную тревогу. В 1943-1944 годах по шведскому радио прозвучало объявление о том, что на следующей неделе будут проведены учения гражданской обороны, но точный день останется сюрпризом для населения. Шведский математик Леннарт Экбом обратил внимание на логический подвох в этом заявлении и поделился наблюдением с коллегами. Так родился парадокс, который первоначально назывался «парадоксом неожиданного учения» (Surprise Drill Paradox).
Из университетских коридоров Стокгольма головоломка быстро перекочевала в академическую среду англоязычного мира. Уже к началу 1950-х годов парадокс оброс новыми формулировками. Самой популярной стала история о приговорённом к казни — она звучала драматичнее и острее. Именно в таком виде парадокс попал на страницы журнала Mind в 1950 году, где его опубликовал британский философ Майкл Скривен.
| Год | Событие | Ключевая фигура |
|---|---|---|
| 1943-1944 | Объявление о неожиданных учениях по шведскому радио | Шведское правительство |
| ~1947 | Первое осмысление парадокса в академической среде | Леннарт Экбом |
| 1948 | Устное распространение в Принстоне и Оксфорде | Студенты и преподаватели |
| 1950 | Первая крупная публикация в философском журнале Mind | Майкл Скривен |
| 1953 | Классическая формулировка «о повешении» | Уиллард Куайн |
| 1962 | Популяризация через колонку Mathematical Games | Мартин Гарднер |
| 1983 | Подробный анализ в книге The Unexpected Hanging and Other Mathematical Diversions | Мартин Гарднер |
С момента публикации парадокс стал одним из самых обсуждаемых в аналитической философии XX века. По подсчётам исследователей, к концу столетия ему было посвящено более 100 академических статей — и ни одна из них не предложила решения, которое было бы принято всеми единогласно.
В чём именно заключается противоречие
Разберём по шагам. Судья выносит приговор в субботу и сообщает заключённому: «Вас казнят в один из дней следующей недели — с понедельника по пятницу. Утром дня казни вы не будете знать, что этот день — последний. Казнь будет для вас неожиданностью.»
Заключённый возвращается в камеру и начинает рассуждать:
- Пятница исключена. Если до четверга вечером казни не было, остаётся только пятница. Значит, в четверг вечером заключённый будет точно знать, что казнь — завтра. Но тогда она не будет неожиданной. Противоречие с условием судьи. Вычёркиваем пятницу.
- Четверг исключён. Раз пятница уже невозможна, то если до среды казни не было, последний возможный день — четверг. Но тогда в среду вечером заключённый это поймёт. Снова не сюрприз. Вычёркиваем четверг.
- Среда исключена. По той же логике: если пятница и четверг невозможны, то среда — последний доступный день. Но тогда во вторник вечером всё станет очевидно.
- Вторник исключён. Аналогично.
- Понедельник исключён. Остаётся единственный день, и заключённый знает о нём заранее — значит, сюрприза нет.
Заключённый приходит к триумфальному выводу: казнь невозможна, потому что ни один день не удовлетворяет условию неожиданности. Он успокаивается и ложится спать. А в среду утром за ним приходит палач — и заключённый действительно потрясён, ведь он «доказал», что этого не может произойти.
Попробуйте примерить рассуждение на себя. Вам говорят: «На следующей неделе вы получите подарок, но не сможете угадать день заранее.» Вы проделываете ту же цепочку логических исключений и решаете, что подарка не будет. Когда в четверг на вашем столе оказывается коробка — вы удивлены. Выходит, ваша же логика обеспечила выполнение обещания? Кто ошибся — вы или тот, кто обещал?
Вот ядро противоречия: безупречная на первый взгляд логическая цепочка приводит к ложному заключению. Каждый отдельный шаг кажется правильным, но итоговый вывод опровергается реальностью. Это не просто забавная задачка — это вызов самим основам дедуктивного мышления.
Попытки решения
За более чем 70 лет философы, логики и математики предложили десятки подходов к разрешению парадокса. Ни один из них не стал общепринятым, но каждый подсвечивает проблему с новой стороны.
Подход 1: Ошибка в обратной индукции
Уиллард Куайн, один из крупнейших логиков XX века, в 1953 году указал, что заключённый совершает принципиальную ошибку. Первый шаг его рассуждения — исключение пятницы — опирается на допущение, что слова судьи истинны. Но каждый следующий шаг использует результат предыдущего, причём к моменту пятого шага исходное утверждение судьи уже фактически опровергнуто. Заключённый, по сути, использует утверждение для его собственного опровержения — классический порочный круг.
Подход 2: Эпистемологическое решение
Ряд философов, включая Роберта Бинкли (1968) и Дорис Олер (1986), обратили внимание на то, что парадокс смешивает два уровня знания. Заключённый рассуждает о том, что он будет знать в будущем, на основании того, что он знает сейчас. Но знание — не статичный объект. То, что вы знаете в субботу, и то, что вы будете знать в четверг, — разные множества. Рассуждение заключённого некорректно проецирует текущее знание на все будущие состояния его сознания.
Подход 3: Самоопровергающееся пророчество
Этот подход рассматривает слова судьи не как логическое утверждение, а как перформативное высказывание. Судья не утверждает математическую теорему — он совершает речевой акт, который изменяет реальность самим фактом произнесения. Как только заключённый слышит условие и начинает рассуждать, он создаёт новую эпистемическую ситуацию, в которой первоначальное условие может потерять смысл. Этот подход развивали, в частности, Тимоти Уильямсон и Рой Соренсен.
Подход 4: Теоретико-игровое решение
В 1990-х и 2000-х годах парадокс стали анализировать с позиций теории игр. Судья и заключённый — два игрока со стратегиями. Если заключённый использует обратную индукцию (как в задачах о конечных играх), он приходит к выводу, что казни не будет. Но этот вывод сам делает казнь неожиданной, что восстанавливает возможность казни. Возникает бесконечный цикл: знание уничтожает неожиданность, отсутствие ожидания восстанавливает неожиданность, а восстановленная неожиданность снова порождает знание.
| Подход | Ключевые авторы | Суть объяснения | Главная слабость |
|---|---|---|---|
| Ошибка обратной индукции | Уиллард Куайн (1953) | Заключённый использует утверждение судьи для его же опровержения — порочный круг | Не объясняет, какой именно шаг ошибочен |
| Эпистемологический | Роберт Бинкли (1968), Дорис Олер (1986) | Знание меняется со временем, нельзя проецировать текущее знание на будущее | Требует формализации понятия «знание», что само по себе проблематично |
| Самоопровергающееся пророчество | Рой Соренсен (1988), Тимоти Уильямсон | Утверждение судьи меняет ситуацию самим фактом произнесения | Превращает логическую задачу в лингвистическую |
| Теоретико-игровой | Различные авторы (1990-2000-е) | Парадокс — следствие бесконечного цикла пересмотра убеждений | Не даёт однозначного «решения», скорее описывает структуру проблемы |
| Логико-формальный | Крипке (неопубликованные лекции), Фитч | Парадокс возникает из-за некорректной формализации понятия «неожиданность» | Разные формализации дают разные результаты |
Подход 5: Решение Крипке
Сол Крипке, легендарный логик, на протяжении десятилетий обсуждал парадокс на лекциях, хотя не публиковал полноценной работы по нему. По свидетельствам слушателей, Крипке считал, что ключевая проблема — в самореферентности: утверждение судьи ссылается на знание заключённого, которое, в свою очередь, зависит от утверждения судьи. Это роднит парадокс неожиданной казни с парадоксом лжеца («Это предложение ложно»).
Где этот парадокс встречается в реальной жизни, науке и математике
Парадокс неожиданной казни — не герметичная головоломка для философских семинаров. Его структура пронизывает удивительно много областей.
Экономика и финансовые рынки
Центральные банки регулярно сталкиваются с аналогом этого парадокса. Представьте: Федеральная резервная система объявляет, что повысит процентную ставку «на одном из ближайших заседаний», но хочет, чтобы рынок не заложил это повышение заранее. Трейдеры начинают рассуждать точно так же, как заключённый, — и точно так же ошибаются. Или не ошибаются. Зависит от того, кто умнее: рынок или регулятор.
Военная стратегия
Парадокс родился из военного контекста, и туда же возвращается. Любая внезапная атака строится на предположении, что противник не ожидает удара в определённый момент. Но если обе стороны используют ту же цепочку рассуждений, что и заключённый, возникает бесконечная гонка «я знаю, что ты знаешь, что я знаю…». Операция «Барбаросса» в 1941 году, атака на Перл-Харбор, Война Судного дня 1973 года — все эти события включали элемент парадоксальной неожиданности, когда жертва имела информацию о готовящемся ударе, но «логически» убеждала себя, что он невозможен.
Теория игр и обратная индукция
В теории игр существует так называемая «проблема обратной индукции в конечных играх». Классический пример — игра «Сороконожка» (Centipede Game), придуманная Робертом Розенталем в 1981 году. Два игрока по очереди могут забрать деньги или передать ход. Обратная индукция предсказывает, что первый игрок заберёт деньги на первом же ходу. Но в экспериментах реальные люди так не поступают — точно так же, как реальная казнь всё-таки наступает, несмотря на «доказательство» её невозможности.
Информатика
Структура парадокса появляется в задачах верификации программ. Если программа должна завершиться «неожиданно» для другой программы, которая пытается предсказать момент завершения, возникает ситуация, аналогичная проблеме остановки Тьюринга. Некоторые исследователи указывали на глубинную связь парадокса неожиданной казни с теоремой Гёделя о неполноте: и там, и здесь система, рассуждающая о самой себе, неизбежно сталкивается с ограничениями.
- Педагогика: преподаватели используют вариант «неожиданного теста» (Surprise Test Paradox) — по сути, ту же задачу, но вместо казни назначается контрольная работа
- Философия сознания: парадокс ставит вопрос о природе знания и убеждения — может ли человек «знать» нечто и одновременно быть удивлённым этим?
- Юриспруденция: если приговор содержит внутреннее противоречие, является ли он легитимным? Парадокс ставит под сомнение саму возможность определённых типов юридических формулировок
- Криптография: задачи, в которых одна сторона должна совершить действие, «непредсказуемое» для другой стороны, структурно повторяют парадокс
Вообразите, что вы — начальник, и вы сообщаете подчинённым: «На следующей неделе будет проверка, но вы не сможете предугадать, в какой день.» Один из сотрудников — логик. Он проделывает рассуждение заключённого и приходит на работу в понедельник без подготовки. Вы проводите проверку во вторник. Он не готов. Кто виноват — сотрудник, который доверился своей логике, или вы, сформулировавшие невыполнимое условие?
Интересные факты и связанные парадоксы
Парадокс неожиданной казни существует в огромном количестве формулировок, и каждая слегка меняет его природу. Вот самые примечательные факты и ответвления.
Вариации формулировки
| Название варианта | Суть | Чем отличается от классической формулировки |
|---|---|---|
| Парадокс неожиданного теста | Учитель обещает контрольную на следующей неделе, которую ученики не смогут предсказать | Менее драматичен; часто используется в педагогических целях |
| Парадокс неожиданного яйца | В коробке 10 яиц, одно помечено. Вы открываете их по одному; помеченное должно вас удивить | Физическая модель — можно провести реальный эксперимент |
| Парадокс неожиданной бомбы | Террорист заложил бомбу, которая взорвётся в неожиданный день | Ставит практический вопрос: можно ли игнорировать угрозу на основании логического «доказательства»? |
| Бесконечная версия | Казнь может произойти в любой день, без ограничения срока | Полностью устраняет обратную индукцию, так как нет «последнего дня» |
Малоизвестные факты
- Мартин Гарднер, популяризировавший парадокс через журнал Scientific American, получил на эту тему больше писем от читателей, чем на любую другую задачу за всю историю его колонки.
- Парадокс иногда формулируют с одним днём: «Вас казнят завтра, но вы этого не ожидаете.» В этой минимальной форме он обнажает своё родство с парадоксом лжеца наиболее явно.
- Существует версия парадокса для двух заключённых: каждому говорят, что казнят другого в неожиданный день, и они пытаются предупредить друг друга. Эта формулировка добавляет уровень коммуникации и делает анализ ещё сложнее.
- Некоторые математики пытались решить парадокс с помощью теории вероятностей. Если заключённый присвоит каждому дню определённую вероятность казни и обновляет эти вероятности по мере поступления информации (байесовский подход), парадокс частично снимается — но лишь ценой отказа от абсолютного знания в пользу степеней уверенности.
- В 1951 году профессор Лондонского университета Пол Леви, прочитав первые работы о парадоксе, заявил, что решение тривиально и он не понимает, почему кто-то тратит на это время. Через два года он опубликовал статью, в которой признал, что проблема значительно глубже, чем он предполагал.
Связанные парадоксы
| Парадокс | Связь с парадоксом неожиданной казни |
|---|---|
| Парадокс лжеца | Оба парадокса возникают из самореференции: утверждение ссылается на собственную истинность или ложность |
| Парадокс Ньюкома | Оба ставят вопрос о том, как предсказание влияет на предсказываемое событие |
| Проблема обратной индукции в теории игр | Одна и та же техника рассуждения — пошаговое исключение с конца — приводит к контринтуитивным результатам |
| Теорема Гёделя о неполноте | В обоих случаях система, рассуждающая о своих собственных свойствах, наталкивается на принципиальные ограничения |
| Парадокс Мура | «Идёт дождь, но я не верю, что идёт дождь» — та же коллизия между фактом и знанием о факте |
Парадокс неожиданной казни остаётся одним из тех редких интеллектуальных объектов, которые не теряют остроты с десятилетиями. Каждое новое поколение логиков подступает к нему заново — и каждое обнаруживает, что заключённый, палач и судья по-прежнему ждут разрешения спора в своей воображаемой тюрьме.