Есть ли доказательства существования Бога: разбор аргументов

Как устроен спор о существовании Бога и какие ходы в нём действительно работают

Доказательства существования Бога философия разбирает как аргументы с посылками, которые может оценить любой независимо от своей веры. Онтологический аргумент Ансельма 1078 года бьют пародия Гаунило и возражение Канта. Пять путей Аквината не о начале мира во времени, а пари Паскаля в исходном виде невалидно. Логическую проблему зла Мэки отбивает защита свободной воли Плантинги, а вероятностная версия Роу остаётся открытой.

MIT 24.00, «God» · MIT 24.01, «Existence of God» · 45 мин · обновлено 18.09.2026

Спор о существовании Бога в философии устроен не как обмен убеждениями. Естественная теология предъявляет аргументы, которые в принципе может оценить любой независимо от своей веры. Противная сторона атакует посылку, форму или вероятностную оценку. Ходом в споре считаются посылка, контрпример, пародия на форму, сравнение правдоподобий. Не считается ходом ссылка на собственный опыт, на число верующих или на авторитет.

Дальше понадобятся два различения. Валидность не равна убедительности: аргумент может быть безупречным формально и бесполезным диалектически, если его посылка приемлема только для того, кто уже принял вывод. И «аргумент не работает» не равно «вывод ложен». Обе ошибки делают обе стороны, и обе портят разбор.

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

Онтологический аргумент: Ансельм, Гаунило, Кант

Ансельм, «Прослогион» (1078), гл. II.

(1) У нас есть понятие Бога как того, больше чего нельзя помыслить.
(2) Это нечто существует по крайней мере в разуме: даже отрицающий понимает выражение.
(3) Существовать и в реальности, и в разуме больше, чем только в разуме.
(4) Допустим, оно существует только в разуме, тогда мыслимо нечто большее (то же самое, но существующее).
(5) Значит, то, больше чего нельзя помыслить, есть то, больше чего можно помыслить: противоречие.
(6) Следовательно, оно существует в реальности.

Во второй версии (гл. III) Бог не может быть помыслен несуществующим, то есть существует необходимо. Отсюда пойдут модальные варианты. Гаунило отвечает пародией («В защиту глупца», ок. 1079).

(1) Мыслим совершеннейший из островов.
(2) Совершеннее существовать в реальности.
(3) По схеме Ансельма совершеннейший остров существует.
(4) Но 3 абсурдно.
(5) Следовательно, схема невалидна.

Ансельм в «Responsio» возражает, что схема работает лишь для существа, чьё совершенство не имеет внутреннего максимума в конечном роде. Спасает ли это, остаётся открытым, но стратегию параллельных пародий большинство считает верной. Аквинат аргумент тоже отвергает (Сумма теологии I, q. 2, a. 1): сущности Бога мы не постигаем, поэтому «Бог существует» самоочевидно в себе, но не для нас. Кант, «Критика чистого разума», A592-602/B620-630 (1781/1787).

(1) Реальный предикат добавляет содержание к понятию субъекта.
(2) «X существует» не добавляет ничего: сто реальных талеров содержат не больше, чем сто возможных.
(3) Значит, существование не реальный предикат, а полагание объекта понятия.
(4) Онтологический аргумент трактует существование как совершенство.
(5) Следовательно, в нём категориальная ошибка.

Фреге и Расселл подкрепляют это формально: существование выражается квантором. Оговорка важна. SEP оценивает силу кантовского возражения сдержаннее учебников, поскольку оно требует спорных допущений. А Расселл замечал, что убедиться в негодности онтологических аргументов легче, чем сказать, что в них не так.

Модальные и формальные версии

Плантинга, «The Nature of Necessity» (1974), гл. 10.

(1) Возможно, существует существо с максимальным величием, где величие включает всеведение, всемогущество и моральное совершенство в каждом возможном мире.
(2) Тогда в некотором мире есть существо, существующее необходимо и максимально превосходное.
(3) В системе S5 из «возможно, необходимо p» следует «необходимо p», поэтому оно существует во всех мирах.
(4) Актуальный мир входит в число возможных.
(5) Следовательно, оно существует актуально.

Аргумент валиден, и потому интересен: вся работа делается посылкой 1, а она симметрична. Столь же априори правдоподобно, что возможно необходимое несуществование Бога, а из этого в S5 следует, что Бога нет необходимо. Без независимого нарушителя симметрии два аргумента нейтрализуют друг друга. Отсюда и обвинение в petitio: в S5 посылка 1 эквивалентна выводу. Сам Плантинга признал, что устанавливает рациональную допустимость веры, а не доказательство.

Формальный вариант Гёделя (заметки около 1941 и февраля 1970, опубликован Собелем в 1987, а авторитетным текстом считается Collected Works, т. III, 1995) определяет божественное существо как обладающее всеми положительными свойствами и выводит его необходимое существование из пяти аксиом. Собель обнаружил модальный коллапс. Андерсон (1990) предложил ослабление, его избегающее. Но без независимого критерия «положительного свойства» аксиома о божественности просто постулирует вывод. Широкий консенсус, включая теистов: ни один известный онтологический аргумент не успешен.

Космологический аргумент: не о начале времени

Аквинат, Сумма теологии I, q. 2, a. 3 (1265-1274), даёт пять путей. Первые три космологические. Первый путь.

(1) Нечто движется, то есть изменяется.
(2) Всё движущееся приводится в движение чем-то другим: движение есть переход из потенции в акт, а ничто не может быть в потенции и в акте относительно одного и того же.
(3) Ряд одновременно действующих движителей не может быть бесконечным: иначе нет первого движителя, а значит и никакого движения.
(4) Следовательно, существует первый движитель, сам не движимый.

Ключевое уточнение. Ряд здесь per se образует иерархию одновременно действующих причин: камень движется палкой, палка рукой, и всё это происходит сейчас. Это не цепь событий в прошлом, и Аквинат прямо считал, что философия начала мира во времени не доказывает. Спорна поэтому посылка 3: тезис, что иерархия производных причин без источника ничего не объясняет. Лейбниц («О первоначальном происхождении вещей», 1697, «Теодицея», 1710, и «Монадология», 1714, параграфы 32-38) заменяет иерархию принципом достаточного основания.

(1) Для всякого факта есть достаточное основание, почему он таков, а не иной.
(2) Каждая вещь в мире случайна.
(3) Совокупность всех случайных вещей сама случайна и требует основания.
(4) Основание не может лежать внутри совокупности.
(5) Следовательно, есть необходимое существо вне совокупности.

Шаг 3 оспаривают как ошибку композиции (Юм, «Диалоги о естественной религии», IX, 1779, и Расселл в дискуссии с Коплстоном, 1948). Из «у каждого человека есть мать» не следует «у человечества есть мать». Плюс вилка по самому принципу: если он верен для всего, то объяснения требует и необходимое существо, а если допускает исключения, то исключением может быть мир. Калам (корни в исламском каламе у аль-Кинди и аль-Газали, современная форма у Крейга, 1979) это единственная версия, которая действительно о начале.

(1) Всё, что начинает существовать, имеет причину.
(2) Вселенная начала существовать.
(3) Следовательно, у Вселенной есть причина.

Посылку 2 Крейг обосновывает невозможностью актуальной бесконечности и космологией Большого взрыва с теоремой Борде-Гута-Виленкина (2003). Возражения: посылка 1 представляет собой индуктивное обобщение из внутримировых перестановок материи. Актуальная бесконечность математически непротиворечива, а отель Гильберта контринтуитивен, но не противоречив. Теорема БГВ ограничивает инфляционные модели, не устанавливая абсолютного начала. И даже принятый вывод не даёт личного и благого Бога.

Телеологический аргумент и тонкая настройка

Классическая версия у Пейли, «Естественная теология» (1802): найденные часы обнаруживают приспособленность частей к цели, наилучшее объяснение такой приспособленности есть разумный создатель, организмы обнаруживают её не меньше, следовательно, у них есть создатель. Юм («Диалоги о естественной религии», опубл. 1779) возражал ещё раньше: аналогия слаба, а аргумент по аналогии даёт лишь конечного, множественного, несовершенного дизайнера. Биологическую версию закрыл Дарвин (1859): один из немногих случаев, где наука прямо закрыла философский аргумент. Современная версия говорит о константах, и по форме она байесовская. Коллинз (2009):

(1) Существование тонко настроенной вселенной F крайне маловероятно при гипотезе «одна вселенная без замысла».
(2) При теизме F не маловероятно.
(3) Следовательно, по принципу правдоподобия F подтверждает теизм относительно этой альтернативы.
(4) F есть свидетельство, а не доказательство.

Скромность вывода 4 существенна: это сравнение двух гипотез, и потому всё зависит от того, какие гипотезы взяты и как задано пространство возможностей.

Здесь и лежат возражения. Проблема меры (Макгрю, Макгрю и Веструп, Mind 110, 2001): на неограниченном пространстве значений констант нет нормируемой равномерной меры, поэтому «вероятность попадания в узкий интервал» не определена. Эффект селекции наблюдения (Бостром, 2002): обнаружить себя мы могли только в пригодной для жизни вселенной, и вывод зависит от выбранного принципа самоотбора. Дальше идут мультивселенная как альтернатива, обвинение в обратной ошибке игрока (Хакинг, 1987) и ответ Уайта (2000). Наконец, вероятность F при теизме тоже неясна: чего именно захотел бы Бог, мы не знаем. Спор открыт.

Пари Паскаля: где оно перестаёт работать

Паскаль, «Мысли», фрагмент «Infini rien» (написано около 1657-1662, опубликовано посмертно в 1670).

(1) Разум не решает, существует ли Бог.
(2) Вопрос практический: ставить приходится, воздержание есть ставка против.
(3) Если верить и Бог есть, то награда бесконечна. Если верить и Бога нет, то издержки конечны. Если не верить и Бог есть, то потеря бесконечна. Если не верить и Бога нет, то выгода конечна.
(4) Вероятность существования Бога ненулевая.
(5) Значит, ожидаемая полезность веры бесконечна, а неверия конечна.
(6) Следовательно, надо выбрать веру.
(7) Поскольку веру нельзя вызвать волей, надо предпринимать ведущие к ней действия.

Ломается переход от 5 к 6. Хайек («Waging War on Pascal's Wager», Philosophical Review 112, 2003): если бесконечная полезность допущена, то любая смешанная стратегия с ненулевой вероятностью уверовать даёт ту же бесконечную ожидаемую полезность. Возникает многосторонняя ничья за первое место, и вывод «надо ставить именно за Бога» не следует. Второе возражение касается многих богов (Дидро, «Философские мысли», 1746): имам мог бы рассуждать так же, а при конкурирующих взаимоисключающих религиях с бесконечными наградами структура пари не выделяет ни одну. Итог: в исходном виде пари несостоятельно. Открыто лишь то, возможны ли починенные версии.

Проблема зла: логическая версия и защита свободной воли

Мэки, «Evil and Omnipotence» (Mind 64, 1955).

(1) Бог всемогущ.
(2) Бог всеблаг.
(3) Всеблагое существо устраняет зло, насколько может.
(4) Всемогущее существо может устранить любое зло.
(5) Зло существует.
(6) Из 1-4 следует, что зла не существует.
(7) Противоречие с 5.
(8) Следовательно, набор 1-2 логически несовместим с 5.

Обратите внимание на силу заявления: речь не о том, что зло делает теизм маловероятным, а о том, что теизм противоречив.

Плантинга («The Nature of Necessity», 1974, гл. 9, а также «God, Freedom, and Evil», 1974) отвечает защитой, а не теодицеей: задача состоит не в том, чтобы объяснить, зачем Бог допустил зло, а в том, чтобы показать, что противоречия нет, для чего достаточно одной возможной пропозиции. Мишенью служит посылка 4 Мэки (а в другой формулировке 3): если значительное благо логически несовместимо с гарантированным отсутствием зла, то «всемогущее существо может устранить любое зло» ложно.

(1) Значительное благо составляют существа, свободные в либертарианском смысле.
(2) Такое существо Бог не может детерминировать к добру: «сделать свободным и заставить выбрать добро» логически невозможно.
(3) Возможно, что каждая созидаемая свободная сущность страдает трансмировой порочностью: в любом мире, где она свободна, она хотя бы раз выбирает зло.
(4) Следовательно, возможно, что Бог не мог создать мир со свободой и без морального зла, а значит 1-2 совместимы с 5.

Сам Мэки в «The Miracle of Theism» (1982) признал, что защита свободной воли блокирует именно логическую версию, и перенёс упор на вероятностную. Формулировать надо аккуратно: Плантинга не показал, что зло фактически совместимо с благостью Бога, а показал, что противоречия нет, и этого достаточно, чтобы закрыть дедуктивную версию. Техническая критика самой конструкции продолжается и идёт от теистов: Отте (2009) и Прусс (2012) считают формулировку дефектной, хотя ремонтопригодной. Компатибилисты отвергают посылку 2.

Вероятностная версия и скептический теизм

Роу («The Problem of Evil and Some Varieties of Atheism», American Philosophical Quarterly 16, 1979) приводит случай с ланью, обгоревшей в лесном пожаре и умирающей несколько дней.

(1) Существуют случаи интенсивного страдания, которые всемогущее и всеведущее существо могло предотвратить без потери большего блага или допущения равного либо большего зла.
(2) Всеблагое, всемогущее и всеведущее существо предотвратило бы всякое такое страдание.
(3) Следовательно, такого существа нет.

Посылка 1 обоснована индуктивно: оправдывающего блага мы не видим, значит его, вероятно, нет. Дрейпер (Noûs 23, 1989) даёт родственный ход: гипотеза безразличия объясняет распределение боли и удовольствия лучше теизма.

Ответ скептического теизма бьёт по индуктивному шагу. Уикстра (1984) формулирует принцип CORNEA. Переход от «кажется, что X нет» к «вероятно, X нет» законен лишь если, будь X, мы разумно ожидали бы его увидеть. А в отношении божественных резонов такого ожидания нет. Контрвозражение: расползание скептицизма. Если наши суждения о благах и резонах настолько ненадёжны, рушится и моральная эпистемология, и естественная теология вместе с ней. Рядом идут теодицеи: попытки не блокировать вывод, а назвать оправдывающее благо. Разверну одну. Душеустроительная теодицея Хика («Evil and the God of Love», 1966): мир задуман не как рай, а как «долина устроения души», и цель творения состоит в том, чтобы конечные существа сами становились нравственными. Мужество, сострадание и великодушие нельзя вложить готовыми: они вырабатываются только там, где риск и страдание настоящие. Возражение известно и серьёзно: количество и распределение страдания этой цели не соответствуют. Страдание животных до появления человека и гибель младенца никого ничему не учат. Другие теодицеи идут списком: необходимость естественных законов у Суинберна (1998) и отсутствие минимального количества зла у ван Инвагена (2006).

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

Вопросы для самопроверки

Что читать

• Ансельм, «Прослогион», гл. II-IV. Гаунило, «В защиту глупца». Ансельм, «Responsio»: Читать втроём, как один обмен: аргумент, пародия, ответ на пародию. Видно, что спор о форме начался сразу же, а не в XVIII веке.
• И. Кант, «Критика чистого разума», A592-602/B620-630: Место о ста талерах. Проверьте по тексту, что именно отрицается: не существование Бога, а трактовка существования как предиката.
• Дж. Л. Мэки, «Evil and Omnipotence», Mind 64 (1955): Классическая логическая версия. Полезно выписать её посылки самому и потом сверить с тем, что блокирует защита Плантинги.
• SEP, «Pascal's Wager»: Разбор пари и его возражений, включая смешанные стратегии и арифметику бесконечных полезностей. Статья не выносит окончательного вердикта, и это тоже полезно увидеть.