Конечно, в такой форме рассуждение несостоятельно. Если уже исходишь из возможного различия, в применении к понятию Бога, между «только представляемым» и «реальным», иначе говоря, из возможности иметь Бога, как мыслимое понятие, как только идеальное содержание сознания, то положение сразу становится безнадежным; утверждение, что «сущий Бог» больше «представляемого» оказывается ложным, ибо противоречит первому допущению, что «безумец», отрицающий бытие Бога, все же имеет в своем сознании правильную идею Бога, т. е. понятие о Боге во всей его полноте. С другой стороны, если верна вторая посылка, т. е. что истинное понятие о Боге с самого начала требует, чтобы он мыслился сущим, то «безумец» не мог иметь только гипотетического понятия Бога. Первая посылка аргумента утверждает: дано и, следовательно, возможно гипотетическое понятие Бога, не предрешающее вопроса о Его реальном бытии. Вторая посылка, напротив, утверждает: такое только гипотетическое понятие о Боге невозможно. Рассуждение внутренне противоречиво и потому несостоятельно.
Слабость этого рассуждения – или, точнее, этой словесной формулировки, ибо в действительности, как сейчас увидим, Ансельм хотел сказать нечто совсем иное – не ускользнула от самого Ансельма. В следующих же главах Proslogium'a (с. 3-4) вводятся поправки, существенно изменяющие смысл рассуждения. А именно, здесь утверждается просто, что «абсолютно-величайшее» вообще немыслимо несуществующим, а сразу же дано нам, как существующее. Но как же, в таком случае, «безумец» мог утверждать небытие Бога? На этот вопрос Ансельм отвечает – предвосхищая гносеологические идеи Лейбница – различением между символическим и адекватным мышлением («на один лад мыслится вещь, когда мыслится слово, ее обозначающее, и иначе, когда мыслится именно то самое, что вещь есть»). В неадекватном замысле можно помыслить «Бога нет», в адекватном мышлении это утверждение обнаруживается, как противоречивое, т. е. невозможное. Тот же самый ход мыслей подробнее и еще яснее развивается в ответе на возражения Гаунилона (Liber apologeticus contra Gaunilonem, respondentem pro insipiente. c. 8, l. с., стр. 257). В этом ответе онтологическое доказательство вместе с тем дается уже в совершенно новой формулировке, в которой нет и речи о каком-либо количественном сравнении между Богом «мыслимым» и «существующим». Смысл рассуждения здесь таков. Все, что мыслимо сущим и не сущим, что может быть и не быть, мыслится имеющим возникновение. Но Бог, как абсолютно величайшее, или абсолютная полнота, немыслим возникающим – следовательно, он немыслим несуществующим. Или иначе: Бог есть целое (totum). Но «быть и не быть» может только отдельная часть (ибо она заменима другой частью). Целое, то, что есть, везде и всегда – другими словами, Бог, как вечное и вездесущее Существо – немыслим не сущим; признаки отсутствия, небытия, к нему логически неприложимы. (l. с., I, стр. 249-252). Истинный смысл онтологического доказательства выступает здесь с совершенной ясностью: мысля понятие абсолютного, мы с самоочевидностью убеждаемся, что в отношении его всякое отрицание или сомнение просто лишено смысла, т. е. что содержание его первичным образом дано нам, как сущее, и не может быть лишь идеальным содержанием сознания. При свете этой формулировки нам уясняется подлинный смысл того, что Ансельм хотел сказать в своей первой, словесно неудачной формулировке: она есть не силлогизм, в котором из «гипотетически» принятого понятия Бога логически выводится Его реальное существование, а лишь дидактический прием, имеющий целью показать, что «безумец», пытающийся отрицать бытие Божие, с самого начала исходит из ложного, смутного, противоречивого понятия о Боге