Конечно, критики могут на это возразить, представив другие примеры, в которых возвеличивающие качества некоей вещи допускают внутренне им присущий максимум, хотя самой вещи, как мы прекрасно знаем, не существует. С другой стороны, у защитников данного доказательства есть основания опасаться, что иные из возвеличивающих качеств Бога как раз не допускают подобного максимума. Скажем, как следует понимать утверждение, что совершенная любовь допускает внутренне ей присущий максимум?
5.1.2. Возражения: Кант
Иного рода критику Ансельмова доказательства предложил немецкий философ XVIII века Иммануил Кант. Его возражения направлены против посылок 5.10 и 5.16 в нашей аргументации.
Попытаться опровергнуть последние можно двумя способами. Во–первых, можно не согласиться с тем, что существование является возвеличивающим свойством существ или островов. Во–вторых, можно не согласиться с тем, что существование является возвеличивающим свойством существ или островов. Первое возражение легко понять, хотя оно кажется неуместным. Второе возражение понять гораздо труднее, и именно его выдвигает Кант.
У нас есть общее представление о том, что значит быть свойством или признаком некоей вещи. Иметь 6 футов роста, находиться в 20 милях от Чикаго, появиться на свет менее 5 минут назад — все это свойства вещей. По мнению Канта, атрибутируя, или приписывая какой–нибудь вещи определенные свойства, мы заранее предполагаем ее существование. Если вы попросите свою подругу описать вам ее кота, то услышите в ответ что–нибудь вроде: ему пять лет, почти весь черный, любит ловить мышей и так далее. Но она никогда не скажет: «Ах да, чуть не забыла упомянуть — он существует!» Причина же, по которой она этого не сделает, заключается, по мысли Канта, в том, что, начиная приписывать чему–либо свойства, человек уже предполагает существование данной вещи. А следовательно, само существование как таковое свойством не является; скорее это необходимое условие, предпосылка для обладания свойствами — нечто, имплицитно подразумеваемое нами в тот момент, когда мы начинаем любые свойства приписывать. Таким образом, онтологический аргумент исходит из ложного допущения.
В течение многих лет некоторые философы считали контраргумент Канта неотразимым. Есть, однако, ряд оснований думать, что в действительности он бьет мимо цели. Причина первая: рассуждая о свойствах, многие философы находят вполне естественным допускать, что каждому предикату соответствует определенное свойство (кроме тех случаев, где парадокс вынуждает нас думать иначе). А поскольку «она существует» есть нечто такое, что можно сказать о вещи, и поскольку нам, похоже, неизвестен парадокс, который заставил бы нас думать, что сущеетвование не способно быть свойством, то подобное толкование свойств склоняет нас к мысли, что существование, вопреки мне нию Канта, все–таки является свойством.
Причина вторая: Кант в своем возражении считает само собой разумеющимся, что необходимые условия для приписывания чему–либо свойств сами не могут быть свойствами. Но почему мы должны так думать? Рассмотрим два свойства — «занимать пространство» и «быть красным». Нечто может быть красным, лишь занимая определенное место в пространстве. Следовательно, «находиться в пространстве» есть необходимое условие для обладания свойством «быть красным». Значит ли это, что «находиться в пространстве» не может быть свойством? Конечно, нет. Кант мог бы возразить, что существование отлично от «нахождения в пространстве», поскольку существование является необходимым условием для приписывания не просто тех или иных свойств, но любых свойств вообще. Но даже если это верно, почему это лишает «нахождение в пространстве» права считаться свойством? Трудно вообразить какой–либо разумный ответ на этот вопрос.
5.1.3 Возражения: недоказанное как основа для доказательства
Есть, однако, и третье возражение против данного доказательства, и оно кажется нам гораздо более веским. Критики онтологического доказательства часто утверждают, что в самой его основе лежит недоказанное положение. Иначе говоря, представление о существовании Бога незаметным образом привносится в посылки, и затем — что совершенно неудивительно — из них с успехом делают вывод о том, что Бог существует. В самом ли деле данная аргументация строится на недоказанном тезисе? Чтобы понять, как это происходит, рассмотрим первую посылку:
5.1.* Бог — величайшее из возможных существ.
С самого начала мы видели в этой посылке определение термина «Бог». А значит, ради большей ясности и понятности нам, вероятно, стоит переформулировать ее следующим образом:
5.1.** Чтобы нечто могло считаться Богом, оно должно быть величайшим из мыслимых существ.
Раз уж мы видоизменили данную посылку, то потребуется привести в соответствие с ней и ряд других.
5.9. Величайшее из возможных существ обладает всеми совершенствами, которые делают существо великим.
5.10. Существование — это совершенство, делающее существо великим.
5.11. * Чтобы нечто могло считаться Богом, оно должно обладать существованием.
5.12. * Всё, обладающее существованием, существует.
5.13. * Следовательно, всё, что считается Богом, существует.
Вывод, так сказать, «отразимый». Каким же образом могли бы мы получить искомый вывод? Посылку 5.1* можно истолковать не так, как это было сделано нами в 5.1**, а по–другому:
5.1.*** Существует Бог, который является величайшим из возможных существ.
Конечно, из такой посылки совсем нетрудно вывести положение о том, что Бог существует; ясно, однако, что подобный образ действий был бы жульничеством: данная посылка просто–напросто утверждает то, что мы пытаемся доказать. Следовательно, вся аргументация рушится — либо потому, что она не доказывает существование Бога, либо потому, что она исходит из положения, которое само нуждается в доказательстве.
5.1.4. Модальная версия
В течение веков эти три возражения считались самыми убедительными доводами против Ансельмовой и Декартовой версий Онтологического доказательства. Однако недавние открытия в философской дисциплине, известной как модальная логика, представляют нам, по мнению некоторых, ряд новых средств для обоснования оригинальной его версии. Модальная логика — это логика возможности и необходимости, а возможность и необходимость — это две «модальности» истинности и ложности, два способа, которыми суждение может быть истинным или ложным. Общая логика учит нас тому, какие заключения являются обоснованными, а какие — нет. Модальная же логика трактует об обоснованных и необоснованных выводах применительно к специфической области — утверждениям о возможном и необходимом. Эта новая версия онтологического доказательства, известная как Модальное Онтологическое Доказательство, требует усвоения нескольких ключевых понятий, связанных с нашей интерпретацией логики возможности и необходимости. А потому, прежде чем приступать к анализу Модальной версии, нам придется сделать краткое отступление и познакомиться с этими понятиями.
Первое ключевое понятие — концепция «возможного мира». Возможный мир можно мыслить как исчерпывающее описание того, что могла бы представлять собой вселенная[20]. Одно из подобных описаний — это описание действительного состояния универсума. Оно содержит сведения обо всем, что уже произошло, происходит сейчас или когда–либо произойдет в будущем на Земле и на всех остальных планетах (как, впрочем, и за пределами всех остальных планет). Такое описание является максимально исчерпывающим.
20
Это не единственное и даже не самое популярное толкование возможных миров. Большинство философов не соглашается считать миры «описаниями», предпочитая взгляд, согласно которому миры представляют собой суждения или положения дел или что–нибудь еще в подобном роде. Мы не намерены присоединяться здесь к какой–либо из этих позиций, а характеристику миров как «исчерпывающих описаний» мы принимаем единственно лишь ради удобства дальнейшего изложения.