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

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

Но весь вопрос в том, исчерпываются ли необходимостью фактической и логической (или -- выражаясь в терминах логики: "категорической" и "аподиктической") все возможные виды необходимости, и нет ли, напротив, третьего вида необходимости, несводимой на первые два? Такой третий вид необходимости действительно есть, и в усмотрении его и состоит смысл онтологического доказательства.