Почему существует наш мир? Экзистенциальный детектив

Что происходит с точки зрения логики, когда мы отрицаем существование Бога? Допустим, мы примем то же самое теологически ортодоксальное определение Бога, которое использовал Ансельм Кентерберийский: Бог есть бесконечно совершенное существо. И для того чтобы дать сторонникам Ансельма преимущество, явно встроим существование в это определение:

х является Богом тогда и только тогда, когда х бесконечно совершенен и x существует.

Тогда фраза «Бога нет» будет выглядеть как

не существует такого х, что х бесконечно совершенен и х существует.

Что эквивалентно следующему выражению:

Для любого х, х либо не является бесконечно совершенным, либо х не существует.

В этом выражении нет никакого внутреннего противоречия. В самом деле, оно истинно в мире, где все сущее недотягивает до бесконечного совершенства, – как утверждают атеисты, именно в таком мире мы и живем.

Тем не менее у Ансельма были основания считать, что отрицание Бога внутренне противоречиво, потому что мы используем слово «Бог» не только как обозначение бесконечно совершенного существа, но и как имя собственное. Если Бог бесконечно совершенен и потому существует, как же Он может не существовать?

Чтобы понять, в чем ошибочность такого рассуждения, рассмотрим формально похожее описание – самого старого из ныне живущих людей. Неважно, кто он на самом деле, назовем его просто Мафусаилом. Теперь зададим вопрос: жив ли Мафусаил? Ну разумеется, он жив! По определению, он самый старый из ныне живущих людей. Разве может он быть неживым? Но если Мафусаил не может быть неживым, то он не может умереть, то есть должен быть бессмертным! Вот такие логические опасности поджидают тех, кто приклеивает имя к определению.

Таким образом, онтологическое доказательство в его классической версии, предложенной Ансельмом, не работает. Даже если встроить существование в само определение Бога, то отсюда не следует наличие существа, удовлетворяющего этому определению. Исчерпана ли на этом проблема? Оказывается, что не исчерпана. В последние десятилетия онтологическое доказательство воскресло на внешне более прочном основании: новая версия основана на разновидности логики, которая святому Ансельму и не снилась, – на модальной логике. Модальная логика превосходит возможности обычной логики: если обычная логика интересуется тем, что верно и что неверно, то модальная логика занимается тем, что должно быть верно, что может быть верно и что не может быть верно.

В создании модальной логики участвовали некоторые из самых выдающихся логиков XX века, включая Курта Геделя и Сола Крипке. Именно Гедель, автор скандально известных «теорем о неполноте», увидел в модальной логике способ возродить онтологическое доказательство в более сильной форме. Эта идея, видимо, пришла ему в голову еще в начале 40-х годов, однако он высказал ее лишь за несколько лет до своей смерти (он уморил себя голодом) в 1978 году. Неясно, верил ли сам Гедель в свое собственное доказательство, но он явно не отрицал существования Бога, утверждая, что возможно «только путем рассуждений» согласовать деистические воззрения «со всеми известными фактами»⁶⁹.

Гедель был не единственным, кто заметил полезность модальной логики в решении теологических вопросов. Независимо от него несколько философов выдвинули сходные модернизированные варианты рассуждений Ансельма Кентерберийского. Самым выдающимся из них был Алвин Плантинга, профессор университета Нотр-Дам. Усилия Плантинга доказать существование Бога чисто логически даже привлекли внимание журнала «Тайм», который назвал его «ведущим философом Бога» и вознес до небес его «трезвый интеллектуализм»⁷⁰. В модальном онтологическом доказательстве существования Бога разобраться нелегко: Гедель представил его в виде серии формальных аксиом и теорем, а Плантинга потратил бо́льшую часть своего трактата «Природа необходимости» на изложение деталей. Тем не менее суть дела можно пересказать в довольно простой форме.