Парадокс всемогущества: формулировка и решения

Парадокс всемогущества - один из самых известных аргументов в философии религии. В самой краткой форме он звучит так: «Может ли всемогущий Бог создать камень, который сам не сможет поднять?» Если может - значит, камень поднять невозможно, то есть существует ограничение его силы. Если не может создать - снова ограничение. В любом случае всемогущество оказывается под вопросом. За столетия обсуждения эту дилемму разбирали Фома Аквинский, Дунс Скот, Декарт и десятки аналитических философов XX века. Калькулятор ниже позволяет сравнить логическую силу пяти главных ответов на парадокс по четырём критериям - попробуйте прежде, чем читать дальше.

Откуда берётся парадокс

Исторически вопрос о природе всемогущества возник задолго до знаменитой формулировки про камень. Средневековые схоласты спорили: может ли Бог сделать было не бывшим, нарушить законы логики, создать другого Бога? Фома Аквинский в «Сумме теологии» (I, q.25, a.3) дал классический ответ: всемогущество означает способность делать всё, что не противоречит сущности бытия. Логически невозможное - не «что-то», что можно сделать или не сделать; это просто бессмыслица. Поднять незаданный вес или нарисовать круглый квадрат - не подлинные задания, а псевдоописания.

Современная версия про камень в такой точной форме появляется в философской литературе в 1950-х годах. Классикой стала статья Джорджа Мавродеса (George Mavrodes, 1963) в журнале Mind - именно он первым чётко разграничил «задачи, возможные для всемогущего» и «задачи, содержащие внутреннее противоречие».

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

Классическое строение дилеммы

Дилемму можно записать как дизъюнкцию двух следствий:

$$(P \lor \lnot P) \Rightarrow \lnot O$$

где $P$ - «Бог может создать такой камень», $O$ - «Бог всемогущ». Формально это напоминает доказательство от противного: предполагается, что $O$ истинно, и из обоих рогов дизъюнкции выводится $\lnot O$.

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

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

Ответ Мавродеса: псевдозадача

Джордж Мавродес предложил самое строгое аналитическое решение: описание «камень, который всемогущий не может поднять» самореференциально и логически несостоятельно при условии существования всемогущего. Если Бог всемогущ, то в самом понятии такого камня содержится противоречие - он определяется через предел мощи, которого не существует. Следовательно, «создать такой камень» - псевдозадача, лишённая предметного содержания.

Иначе говоря, парадокс работает только если предположить, что Бог не всемогущ, - то есть уже в посылке содержится отрицание доказываемого. Это петиция принципа (petitio principii): вывод о конечности Бога заранее вложен в формулировку вопроса.

Критика: противники возражают, что аргумент Мавродеса тавтологичен - он допускает доброкачественность парадокса лишь для конечно мощных существ. Значит, модальный аргумент можно переформулировать: «Может ли всемогущий создать ситуацию, в которой он стал бы не-всемогущим?» - и это уже не псевдозадача. Эрл Конни (Earl Conee, 1991) и Питер Геч (Peter Geach, 1973) предложили независимые уточнения ответа Мавродеса, разграничив всемогущество как актуальную способность и всемогущество как диспозиционное свойство. В диспозиционном смысле «способность ограничивать себя» логически несовместима с определением: диспозиция быть всемогущим устраняет саму возможность состояния «не-всемогущий» для данного субъекта.

Ответ Франкфурта: парадокс самоограничения

Гарри Франкфурт (Harry Frankfurt, 1964) подошёл иначе. Он допустил, что описание камня логически состоятельно, и переформулировал вопрос: всемогущество должно включать способность создавать ограничения для самого себя - или нет?

Франкфурт утверждает: нет. Всемогущество - это превосходная степень мощи, но не парадоксальная способность самоуничтожаться. Ни одно свойство не обязано включать способность себя отрицать: скорость не обязана включать остановку как свою часть, знание не обязано включать незнание. Если принять это, то неспособность Бога создать самоограничивающий объект не является дефектом всемогущества - это просто логическая норма.

Ответ Плантинги: уровни всемогущества

Алвин Плантинга (Alvin Plantinga, 1967) предложил различать два понятия:

• Всемогущество первого порядка ($\Omega_1$): способность актуализировать любое логически возможное положение дел.
• Всемогущество второго порядка ($\Omega_2$): способность ограничивать всемогущество первого порядка.

Парадокс возникает из смешения этих уровней. Спрашивать «может ли $\Omega_1$-существо создать $\Omega_1$-предел для самого себя» - значит смешивать типы: это ошибка категории в духе рассуждений Гилберта Райла. Формально Плантинга опирается на теорию типов Рассела: предикаты одного уровня не могут непосредственно применяться к предикатам того же уровня.

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

Этот ответ широко принят в современной аналитической теологии. Ричард Свинберн (Richard Swinburne) в «Когерентности теизма» (1977) принял аналогичное разграничение, добавив, что всемогущество $\Omega_1$ достаточно для любого теологически значимого утверждения о Боге и не требует $\Omega_2$. Уязвимость: ответ не объясняет, почему иерархия двухуровневая, а не бесконечная - можно спросить, может ли $\Omega_2$-существо ограничить своё $\Omega_2$, и так до регресса.

Декарт и волюнтаризм: логика как творение Бога

Рене Декарт занял радикально иную позицию в письмах к Мерсенну (1630): логические истины и математические законы - не необходимые истины сами по себе, а творения Бога. Если Бог создал законы логики, он волен и нарушить их. Бог «выше» принципа непротиворечия - тогда парадокс просто растворяется: Бог может и создать камень, и поднять его, даже если это «невозможно» по человеческой логике.

Такой волюнтаризм сильно в теоцентричном контексте, но подрывает саму возможность рационального богословия. Если Бог выше логики, то рассуждения о его атрибутах теряют связность.

Лингвистическая критика: нет парадокса - есть грамматика

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

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

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

• Принять дилемму за доказательство. Парадокс - не завершённое доказательство несуществования Бога, а аргумент, требующий уточнения понятия «всемогущество». Студенты нередко путают «парадокс поставлен» с «Бог опровергнут».
• Игнорировать различие уровней. Вопрос «может ли Бог ограничить само всемогущество» требует разграничения $\Omega_1$ и $\Omega_2$. Без этого аргумент смешивает предмет и метапредмет рассуждения.
• Отождествлять псевдозадачу с уклонением. Ответ Мавродеса нередко критикуют как «уход от вопроса», хотя он опирается на строгий логический анализ понятия. Псевдозадача - легитимная категория аналитической философии.
• Забыть про модальный контекст. Парадокс формулируется в терминах возможного: «может ли Бог...». Переход от модального утверждения к фактическому - самостоятельный шаг, требующий обоснования.
• Принять волюнтаризм как выход. Декартова позиция снимает парадокс ценой несвязности всего теологического рассуждения - это слишком высокая цена для академической аргументации.

FAQ

Является ли парадокс всемогущества опровержением существования Бога? Нет. Это аргумент против одного из атрибутов, а не против существования. Даже если принять, что понятие «абсолютного всемогущества» противоречиво, можно переопределить его как «способность делать всё логически возможное» - и тогда существование Бога в таком смысле не опровергается.

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

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

Коротко

Парадокс всемогущества - апория о том, совместимо ли понятие «неограниченной силы» с самим собой. Три главных ответа: Мавродес считает задачу псевдозадачей (камень самореференциально противоречив), Франкфурт отрицает, что всемогущество обязано включать самоограничение, Плантинга различает уровни всемогущества и показывает ошибку смешения типов. Ни один ответ не закрыл дискуссию окончательно, но все три указывают на одно: парадокс возникает из неточного понятия, а не из логики Бога.