У Ансельма Кентерберийского оно фигурирует в следующем контексте. Он анализирует псалом 13 (52), в котором говорится: «Сказал безумец в сердце своем: нет Бога». Почему, спрашивает Ансельм, автор псалма назвал человека, говорящего, что Бога нет, безумцем? В чем его безумство? Безумство состоит в том, что тот, кто говорит эту фразу, противоречит сам себе, ибо Бог всегда мыслится как существующий. Ведь даже тот, кто отрицает существование Бога, понимает, что такое Бог. Он понимает, что Бог — это «нечто, больше чего нельзя ничего помыслить»[242]. Значит, понятие Бога имеется, по крайней мере, в его разуме. Но может ли быть то, что имеется только в разуме, тем, больше чего нельзя ничего помыслить? Конечно, нет, ибо «если оно уже есть по крайней мере только в уме, можно представить себе, что оно есть и в действительности, что больше»[243]. А то, что существует и в действительности, и в понятии, всегда больше того, что существует только в понятии. Поэтому сказать, что Бога нет, значит высказать противоречие. «Ведь если то, более чего нельзя ничего помыслить, может быть помыслено как то, чего нет, из этого следует, будто бы то самое, более чего нельзя ничего помыслить, не есть то, более чего нельзя ничего помыслить, а это явное противоречие»[244]. Поскольку логических противоречий быть не может, то, следовательно, Бог существует. И атеист является безумцем, ибо высказывает логически противоречивую мысль.

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

Аргумент Гаунилона кажется разумным, но он бьет мимо цели. Потому что сам Ансельм говорил, что такого рода доказательства применимы только к одному существу — к Богу, Который действительно есть Тот, больше чего ничего нельзя помыслить. Никакой остров не обладает таким свойством, поэтому при помощи этого примера опровергать онтологическое доказательство нельзя.

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