Существует необходимость эмпирическая, усматриваемая в единичном опыте: это есть необходимость, присущая факту, тому, что воочию стоит перед нами. Истины опытного порядка выражают эту необходимость. Факт есть нечто неустранимое, как бы принудительно нам навязывающееся и в этом смысле необходимое. Но с логической точки зрения факт всегда случаен: мыслимо и иное, чем этот факт. Если я стал жертвой, скажем, автомобильной катастрофы, то факт этот вместе с его возможными последствиями -- увечьем или смертью -есть для меня горькая необходимость, и никакими силами мысли я не могу устранить его, сделать бывшее небывшим. И вместе с тем эта необходимость факта есть логически случайность -- я мог бы и не попасть под автомобиль. Существует, с другой стороны, необходимость логическая, усматриваемая в умозрении: таковая необходимость состоит в неотмыслимости, в немыслимости иного. Но, с другой стороны, с точки зрения реальности, т.е. эмпирической необходимости, она только гипотетична, условна: ей недостает категоричности факта. Логическая необходимость выражается в условном, гипотетическом суждении: "если есть А, то необходимо есть и В"; но есть ли в действительности А, а потому и В, остается здесь не решенным. (Правда, ту же самую истину можно словесно выразить и в категорической форме: "связь между А и В необходимо есть". Но в этом смысле возникает соблазн, расширяя понятие "онтологического доказательства", сказать, что всякое рациональное доказательство есть доказательство онтологическое, ибо приводит нас к открытию того, что истинно есть; однако, такое расширенное словоупотребление, по основаниям, которые мы сейчас укажем, нежелательно). Эта как бы категорическая необходимость связи не есть, однако, подлинная фактическая необходимость; "связь" есть абстракция, и, как таковая, не существует реально; подлинно-реальная значимость связи предполагает действительное наличие терминов, которые она связывает, а именно это наличие остается здесь неусмотренным.

Вся обычная критика онтологического доказательства сводятся в конечном счете к указанию, что нельзя смешивать фактическую необходимость с необходимостью логической, и что первая никогда сама по себе не следует из второй. Мысль, конечно -- совершенно бесспорная и после опровержения рационализма типа Декарта и Спинозы общеизвестная. Если бы онтологическое доказательство действительно сводилось к этому смешению (или поскольку оно формулируется так, что в нем можно подметить это смешение) -- оно очевидно несостоятельно.

Но весь вопрос в том, исчерпываются ли необходимостью фактической и логической (или -- выражаясь в терминах логики: "категорической" и "аподиктической") все возможные виды необходимости, и нет ли, напротив, третьего вида необходимости, несводимой на первые два? Такой третий вид необходимости действительно есть, и в усмотрении его и состоит смысл онтологического доказательства. Это -- необходимость первичная или абсолютная, совмещающая в себе категоричность с аподиктичностью, фактическую неустранимость с логической неотмыслимостью. Такова именно необходимость бытия, как всеобъемлющего всеединства, как абсолютной полноты всего мыслимого и существующего -- иначе говоря, необходимость абсолютного. Та истина, что что-то вообще есть, или что есть само бытие -- и соотносительная ей невозможность утверждения, что ничего нет -- выражает ли необходимость фактическую, или логическую? Она не основана только на фактической необходимости, ибо утверждаемое в ней неотмыслимо, немыслимо иным; она не основана и только на необходимости логической, ибо имеет не гипотетический, а категорический смысл, и утверждаемое ею не только неотмыслимо, но и неустранимо. Это есть истина сверхъэмпирическая (потому что она необходима и для нашей мысли), и сверхрациональная (потому что она необходима и как опытное данное, точнее, как условие всяческого единичного опыта). Бытие абсолютного есть сразу и факт, и первичная истина нашей мысли. В усмотрении этой первичной и абсолютной необходимости заключается весь смысл "онтологического доказательства". Оно, как указано, в сущности, ничего не доказывает в смысле выведения из чего-либо иного. Оно просто говорит: Абсолютное самоочевидно есть: стоит только нам "помыслить" его, обратить на него внимание, сосредоточить на нем нашу мысль, как мы "усматриваем" (с необходимостью, совмещающей в себе силу факта с силой логической истины) его бытие.

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

II.

Надо признать, что повод к недоразумению, внесшему смуту в понимание смысла онтологического доказательства, дал именно тот мыслитель, который почитается его творцом: Ансельм Кентерберийский. Знаменитое рассуждение Ансельма в его "Proslogium" (S. Anselmi Cantuarensis Opera Onmia. Migne, Patrologia latina, t. 158) ведется следующим образом. "Безумец", который "рече в сердце своем: несть Бога", во всяком случае имеет понятие Бога в своем уме (in intellectu) -- иначе он не мог бы и высказать свое суждение. Но смысл понятия Бога состоит в том, что Он есть "абсолютно величайшее" (id, quo majus cogitari nequit). Ho это понятие требует, чтобы то, что в нем мыслится, было реально: ибо существующее in re больше существующего только in intellectu; следовательно, абсолютно максимальное, существующее только в сознании, не было бы абсолютно максимальным, что противоречиво. Следовательно, стоит лишь помыслить понятие Бога, чтобы с логической очевидностью усмотреть Его реальное бытие (l. c. стр. 227-228, Proslogium, Cap. 2).