Онтологическое доказательство Ансельма: идея и критика

Онтологическое доказательство бытия Бога - один из самых дерзких аргументов в истории философии: оно претендует вывести существование Бога из одного лишь понятия о Нём, не опираясь ни на опыт, ни на наблюдение мира. Ансельм Кентерберийский сформулировал его в XI веке, и с тех пор философы спорят о нём беспрерывно. Разберём структуру аргумента, его классические и современные версии, а также контраргументы - чтобы вы могли уверенно работать с ним в эссе или реферате.

Что такое онтологическое доказательство

Онтологическое доказательство (от греч. ontos - сущее) - это априорный аргумент в пользу существования Бога. «Априорный» означает: он не нуждается в данных опыта; всё, что требуется, - это понятие Бога и логика. В этом его коренное отличие от космологического доказательства бытия Бога, которое отталкивается от факта существования мира.

Ансельм Кентерберийский (1033-1109) сформулировал аргумент в трактате «Прослогион» (лат. Proslogion, ок. 1077). Он не искал академической полемики - текст написан как молитва-размышление. Тем не менее аргумент обрёл самостоятельную философскую жизнь и породил дискуссию, длящуюся уже девять столетий.

Термин «онтологическое доказательство» ввёл Кант - именно чтобы его опровергнуть. Но прежде чем опровергать, нужно понять.

Структура аргумента Ансельма

Ансельм строит рассуждение в три шага.

Шаг 1. Определение. Бог - это «то, больше чего нельзя помыслить» (id quo maius cogitari non potest). Даже атеист понимает, что именно верующие имеют в виду под словом «Бог». Значит, это понятие есть у всех - хотя бы в уме.

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

Шаг 3. Вывод. Если бы «то, больше чего нельзя помыслить», существовало лишь в уме, то можно было бы помыслить нечто ещё большее - то же самое, но существующее в действительности. Это противоречие: нельзя помыслить нечто большее того, больше чего нельзя помыслить. Значит, Бог существует в действительности.

Схематически: если Бог существует только в уме, то можно помыслить нечто большее (Бога + реальное существование) → но тогда наше определение неверно → противоречие → Бог существует.

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

Возражение Гаунилона: «совершенный остров»

Современник Ансельма монах Гаунилон из Маррмутье немедленно нашёл контраргумент, ставший классическим. Он предложил мысленный эксперимент: представим «совершенный остров» - остров, лучше которого нельзя помыслить. По логике Ансельма, такой остров тоже должен существовать в действительности - ведь несуществующий остров хуже существующего.

Абсурд очевиден: из того, что нечто можно помыслить совершенным, не следует, что оно существует. Аргумент Гаунилона - это reductio ad absurdum: если доказательство Ансельма верно, то с его помощью можно «доказать» существование любого совершенного предмета.

Ансельм ответил: аргумент работает только для Бога, потому что Бог - единственная сущность, само определение которой включает необходимое существование. Остров мог бы не существовать; Бог - нет. Это различие между случайным и необходимым существованием стало центральным в дальнейших дискуссиях.

Декарт и второй вариант аргумента

Рене Декарт независимо воспроизвёл онтологический аргумент в «Медитациях о первой философии» (1641). Его версия более лаконична. Существование - такое же совершенство, как и всемогущество или всеведение. Бог по определению обладает всеми совершенствами. Значит, Бог существует.

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

Декарт осознавал, что аналогия небезупречна: у треугольника нельзя «изъять» свойства без разрушения понятия, но можно просто решить не думать о треугольниках вовсе. Бог, по Декарту, особый: если мы мыслим Его, то не можем не мыслить существующим.

Кантова критика: существование - не предикат

Иммануил Кант нанёс по онтологическому доказательству удар, который большинство философов считают решающим. В «Критике чистого разума» (1781) он сформулировал тезис: существование - не реальный предикат.

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

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

Это возражение разбивает аргумент Ансельма в его декартовской форме. Однако против исходной ансельмовской версии с «необходимым существованием» Кант менее точен: он признаёт, что если Бог существует, то необходимо, - но отрицает, что из этого следует реальность Бога.

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

Модальный аргумент Планинги

В XX веке Элвин Планинга предложил версию, использующую аппарат модальной логики - логики возможного и необходимого. Его аргумент звучит так:

1. Возможно, что существует существо с максимальным величием (максимально великое существо - то, которое обладает всеми совершенствами во всех возможных мирах).
2. Если такое существо возможно, то существует возможный мир, в котором оно обладает максимальным величием.
3. Существо с максимальным величием существует с необходимостью - оно не может существовать только в одном мире.
4. Значит, оно существует в каждом возможном мире, в том числе в действительном.

Ключевая посылка - первая: возможно, что максимально великое существо есть. Если противник соглашается, что это логически непротиворечиво, то вывод неизбежен. Если нет - он должен доказать, что понятие максимально великого существа невозможно, то есть содержит противоречие. Доказать это куда труднее, чем просто усомниться.

Аргумент Планинги принят в академическом сообществе как логически корректный. Споры ведутся о первой посылке и о правомерности семантики возможных миров применительно к теологии. Подробнее об этом - в статье о пяти путях Фомы Аквинского как контексте для сравнения апостериорных и априорных аргументов.

Онтологический аргумент и философия языка

Современная аналитическая философия добавила к дискуссии измерение, которого не было у средневековых схоластов: вопрос о логическом статусе утверждений существования. Бертран Рассел и Готлоб Фреге разработали теорию описаний, согласно которой «Бог существует» - это не приписывание предиката субъекту, а утверждение о непустоте класса.

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

Это лингвистическое возражение перекликается с кантовским, но идёт глубже: проблема не только в том, что существование - не предикат, но и в самой грамматической форме «Бог существует».

Значение для философии религии

Несмотря на все возражения, онтологическое доказательство не исчезает из философии. Почему?

Во-первых, спор о нём вынуждает точно определить, что такое существование, необходимость и понятие. Это само по себе ценно: многие базовые философские категории были отточены именно в ходе этих дискуссий.

Во-вторых, даже отвергая доказательство как строгое, можно ценить его как выражение религиозной интуиции: Бог не является одним из предметов среди прочих, Его бытие - особого рода. Ансельм не «доказывал» веру - он артикулировал её внутреннюю логику.

В-третьих, модальная версия Планинги показала, что аргумент может быть формализован строго и корректно - хотя это переносит вопрос на уровень метафизики возможных миров.

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

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

• «Ансельм доказывал Бога эмпирически». Нет - онтологический аргумент целиком априорен, он не апеллирует к фактам о мире. Это его главная черта и главная слабость одновременно.
• «Кант полностью опроверг аргумент». Кант опроверг декартовскую форму («существование - совершенство»). Ансельмовский аргумент через «необходимое существование» Кант не разбирал так же детально; Планинга, по мнению многих, воспроизвёл именно его.
• «Возражение Гаунилона неопровержимо». Ансельм ответил: аргумент применим только к существу с необходимым бытием, а не к островам, горам или любым иным совершенствам. Ответ спорен, но не игнорируем.
• «Онтологическое доказательство - то же самое, что космологическое». Это два разных типа. Космологическое апостериорно (от мира к Богу); онтологическое априорно (от понятия к существованию). Путать их - грубая ошибка в эссе по философии религии.
• «Планинга доказал существование Бога». Сам Планинга этого не утверждал - он показал, что онтологический аргумент рационально приемлем, то есть верующий, принимающий его, не противоречит разуму.

FAQ

Что означает фраза «то, больше чего нельзя помыслить»? Это определение Бога через максимальное совершенство. «Больше» здесь - не о размере, а о полноте бытия и совершенства. Смысл: Бог - предел мыслимого совершенства; нельзя помыслить ничего, что превосходило бы Его.

Почему аргумент называется онтологическим? Термин ввёл Кант в «Критике чистого разума», чтобы подчеркнуть: аргумент оперирует понятием бытия (ontos) как таковым, а не данными опыта. Ансельм своего аргумента так не называл.

Есть ли современные защитники онтологического доказательства? Да. Элвин Планинга, Курт Гёдель (разработавший онтологическое доказательство в аппарате модальной логики высшего порядка), Чарльз Хартсхорн. Это респектабельные аналитические философы, а не маргиналы.

Коротко

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