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

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

Рассуждение заключённого: обратная индукция

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

Шаг 1. Если к утру пятницы заключённый ещё жив, он точно знает: казнят сегодня. Никакой неожиданности. Значит, пятница нарушила бы обещание судьи - пятница исключается.

Шаг 2. Теперь из пяти дней остались четыре. Если к утру четверга заключённый жив, пятница уже исключена, и он знает: казнят сегодня. Четверг тоже исключается.

Шаги 3-5. Та же логика устраняет среду, вторник и понедельник. Все пять дней признаны невозможными.

Вывод заключённого: казнь не состоится. Судья солгал - или его обещание самопротиворечиво.

Метод, которым пользуется заключённый, называется обратной индукцией (backward induction) - рассуждение от конца к началу. Этот метод законен в теории игр и математике. Почему же здесь он даёт парадоксальный результат?

Рассчитать для своей задачи

Где прячется ошибка: самореференция знания

Философ Уиллард Куайн первым чётко сформулировал, в чём проблема. Обещание судьи самореферентно: оно говорит о том, что заключённый будет знать, и одновременно это обещание является частью того, что заключённый знает.

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

Сравни с парадоксом лжеца: «Это предложение ложно.» Ни истинным, ни ложным его сделать нельзя. Здесь то же самое: «Ты не сможешь знать день казни» - предложение, которое само определяет условия своей истинности.

Рассчитать для своей задачи

Эпистемический подход: что значит «знать»

Теория знания (эпистемология) предлагает более точный разбор. Обещание судьи можно записать так:

$K_p(\text{казнь в день } d) \implies \text{казни в день } d \text{ не будет},$

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

Проблема в том, что суждение «я не буду знать» само влияет на то, знает ли заключённый. Это похоже на принцип Гейзенберга в квантовой механике, но в логической плоскости: акт измерения (рассуждения) меняет измеряемое состояние (знание).

Философ Майкл Дюммет и позднее ряд логиков показали: обещание судьи не является противоречивым само по себе. Оно противоречиво только при допущении, что заключённый способен знать всё, что логически выводимо из его текущего знания. Это допущение называется замкнутостью знания под дедукцией - и оно ложно для самореферентных контекстов.

Три философских решения

Решение Куайна. Утверждение судьи является истинным или ложным, но заключённый не может это проверить заранее. Заключённый делает ошибку, принимая обещание судьи как аксиому внутри собственного рассуждения. Обещание - это высказывание о будущем знании, а не о текущем.

Решение Шора и Кемени. Парадокс исчезает, если различить два уровня знания: знание первого порядка (факты о мире) и знание второго порядка (знание о своём знании). Рассуждение заключённого смешивает уровни.

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

Связь с другими парадоксами

Парадокс неожиданной казни принадлежит к семейству эпистемических парадоксов - парадоксов о знании и самознании.

Парадокс лжеца («Это предложение ложно») разрушает истинностное значение через самореференцию. Парадокс казни разрушает предсказуемость через самореференцию знания.

Парадокс Мура («Идёт дождь, но я не верю в это») - высказывание может быть фактически верным, но неутверждаемым от первого лица. Аналогично, «тебя казнят, но ты не знаешь когда» - верно, но не может быть проверено изнутри.

Проблема остановки в теории вычислений: нет алгоритма, который предсказывает, остановится ли произвольная программа. Заключённый пытается построить «алгоритм предсказания» своего собственного будущего знания - и сталкивается с аналогичным принципиальным ограничением.

Практическое значение

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

В логике и формальной эпистемологии парадокс стал отправной точкой для изучения операторов знания и их свойств. Стандартная модальная логика знания (система S5) предполагает, что агент знает всё, что логически следует из его знания. Именно это допущение и делает рассуждение заключённого «законным» внутри S5 - и именно здесь S5 оказывается слишком сильной системой для самореферентных ситуаций. Более слабые системы эпистемической логики (S4, B) допускают, что агент может не знать о последствиях своего знания, - и в них парадокс не возникает.

Конкретный вывод для работы с логическими аргументами: если рассуждение приводит к утверждению о собственном незнании («я докажу, что не смогу это знать»), стоит проверить, не смешиваются ли в нём уровни знания. Самореференция - почти всегда источник парадокса. Проверить структуру рассуждения удобно именно через обратную индукцию: пройди его шаг за шагом от конца к началу и убедись, что на каждом шаге посылки не зависят от того, что ты пытаешься доказать.

Частые ошибки

• Считать рассуждение заключённого верным. Оно выглядит корректным, но предполагает, что обещание судьи - это аксиома, доступная изнутри системы. Это и есть ошибка самореференции.
• Путать обратную индукцию с противоречием. Обратная индукция - законный метод. Проблема не в методе, а в применении его к самореферентному утверждению.
• Считать, что парадокс «решён». Среди философов до сих пор нет единого мнения о наилучшем объяснении. Разные подходы - Куайн, эпистемическая логика, теория игр - акцентируют разные аспекты.
• Игнорировать разницу уровней знания. «Я знаю X» и «Я знаю, что знаю X» - разные утверждения, и смешение уровней порождает парадоксы.
• Переносить вывод на реальные ситуации без оговорок. В реальных судебных или игровых ситуациях обещание «это будет неожиданно» не является формальным высказыванием об операторе знания - оно просто означает «мы не скажем заранее».

FAQ

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

Чем парадокс неожиданной казни отличается от обычного незнания? Обычное незнание («я не знаю, когда придёт поезд») не является самореферентным. Обещание судьи говорит о том, каким будет знание заключённого в конкретные утра - и тем самым само становится частью условий, которые определяют это знание. Это и создаёт парадокс.

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

Коротко

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