Сегодня зайдем в кабинет Л – логики. Там у ней прям при входе висит табличка с надписью: «Может ли всемогущее существо (Бог) создать камень, настолько тяжелый, что оно само не сможет его поднять?». Стой и думай, пока не придумаешь, дальше не ходи.
К чему приводит этот парадокс? Если может создать: тогда существует камень, который всемогущее существо не может поднять, значит оно не такое уж и всемогущее. Если не может создать: тогда существует действие (создание такого камня), которое существу не под силу, снова всемогущесть под вопросом.
В обе стороны возникает противоречие. Это делает понятие «абсолютное всемогущество» логически проблематичным.
Как будем парадокс решать? Например так: отправная точка и базовое условие – наше существо всемогущее, а значит оно может все, в том числе ограничить свою всемогущесть и переписать на фундаментальном уровне, как все устроено. Тогда всемогущее существо создает камень, который не может поднять, в этот же момент частично ограничивает свою всемогущесть (ведь оно все еще может заставить этот камень исчезнуть) – и дальше так и живем.
Считается, что классическая формулировка парадокса принадлежит некоему преподобному Иоанну Дамаскину, жившему в 8 веке. И сегодня он находит отражение не только в богословских спорах, но и во вполне себе прикладных вещах – темпоральной логике.
Требование «создать неподнимаемый камень» внутренне противоречиво, как «нарисовать круглый квадрат». Оно требует, чтобы утверждения «существо может поднять камень» и «существо не может поднять камень» были истинны одновременно, а это уже нарушение закона непротиворечия.
В теории формальных систем такие штуки называются самоссылочными парадоксами – близкие родственники того, с чем бодались Гёдель и Тьюринг.