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

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

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

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