Майкл Мюррей - Введение в философию религии

Иного рода критику Ансельмова доказательства предложил немецкий философ XVIII века Иммануил Кант. Его возражения направлены против посылок 5.10 и 5.16 в нашей аргументации.

Попытаться опровергнуть последние можно двумя способами. Во–первых, можно не согласиться с тем, что существование является возвеличивающим свойством существ или островов. Во–вторых, можно не согласиться с тем, что существование является возвеличивающим свойством существ или островов. Первое возражение легко понять, хотя оно кажется неуместным. Второе возражение понять гораздо труднее, и именно его выдвигает Кант.

У нас есть общее представление о том, что значит быть свойством или признаком некоей вещи. Иметь 6 футов роста, находиться в 20 милях от Чикаго, появиться на свет менее 5 минут назад — все это свойства вещей. По мнению Канта, атрибутируя, или приписывая какой–нибудь вещи определенные свойства, мы заранее предполагаем ее существование. Если вы попросите свою подругу описать вам ее кота, то услышите в ответ что–нибудь вроде: ему пять лет, почти весь черный, любит ловить мышей и так далее. Но она никогда не скажет: «Ах да, чуть не забыла упомянуть — он существует!» Причина же, по которой она этого не сделает, заключается, по мысли Канта, в том, что, начиная приписывать чему–либо свойства, человек уже предполагает существование данной вещи. А следовательно, само существование как таковое свойством не является; скорее это необходимое условие, предпосылка для обладания свойствами — нечто, имплицитно подразумеваемое нами в тот момент, когда мы начинаем любые свойства приписывать. Таким образом, онтологический аргумент исходит из ложного допущения.

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

Причина вторая: Кант в своем возражении считает само собой разумеющимся, что необходимые условия для приписывания чему–либо свойств сами не могут быть свойствами. Но почему мы должны так думать? Рассмотрим два свойства — «занимать пространство» и «быть красным». Нечто может быть красным, лишь занимая определенное место в пространстве. Следовательно, «находиться в пространстве» есть необходимое условие для обладания свойством «быть красным». Значит ли это, что «находиться в пространстве» не может быть свойством? Конечно, нет. Кант мог бы возразить, что существование отлично от «нахождения в пространстве», поскольку существование является необходимым условием для приписывания не просто тех или иных свойств, но любых свойств вообще. Но даже если это верно, почему это лишает «нахождение в пространстве» права считаться свойством? Трудно вообразить какой–либо разумный ответ на этот вопрос.

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

5.1.* Бог — величайшее из возможных существ.

С самого начала мы видели в этой посылке определение термина «Бог». А значит, ради большей ясности и понятности нам, вероятно, стоит переформулировать ее следующим образом:

5.1.** Чтобы нечто могло считаться Богом, оно должно быть величайшим из мыслимых существ.

Раз уж мы видоизменили данную посылку, то потребуется привести в соответствие с ней и ряд других.

5.9. Величайшее из возможных существ обладает всеми совершенствами, которые делают существо великим.

5.10. Существование — это совершенство, делающее существо великим.

5.11. * Чтобы нечто могло считаться Богом, оно должно обладать существованием.

5.12. * Всё, обладающее существованием, существует.

5.13. * Следовательно, всё, что считается Богом, существует.

Вывод, так сказать, «отразимый». Каким же образом могли бы мы получить искомый вывод? Посылку 5.1* можно истолковать не так, как это было сделано нами в 5.1**, а по–другому:

5.1.*** Существует Бог, который является величайшим из возможных существ.

Конечно, из такой посылки совсем нетрудно вывести положение о том, что Бог существует; ясно, однако, что подобный образ действий был бы жульничеством: данная посылка просто–напросто утверждает то, что мы пытаемся доказать. Следовательно, вся аргументация рушится — либо потому, что она не доказывает существование Бога, либо потому, что она исходит из положения, которое само нуждается в доказательстве.

В течение веков эти три возражения считались самыми убедительными доводами против Ансельмовой и Декартовой версий Онтологического доказательства. Однако недавние открытия в философской дисциплине, известной как модальная логика, представляют нам, по мнению некоторых, ряд новых средств для обоснования оригинальной его версии. Модальная логика — это логика возможности и необходимости, а возможность и необходимость — это две «модальности» истинности и ложности, два способа, которыми суждение может быть истинным или ложным. Общая логика учит нас тому, какие заключения являются обоснованными, а какие — нет. Модальная же логика трактует об обоснованных и необоснованных выводах применительно к специфической области — утверждениям о возможном и необходимом. Эта новая версия онтологического доказательства, известная как Модальное Онтологическое Доказательство, требует усвоения нескольких ключевых понятий, связанных с нашей интерпретацией логики возможности и необходимости. А потому, прежде чем приступать к анализу Модальной версии, нам придется сделать краткое отступление и познакомиться с этими понятиями.