Отсюда, далее, легко усмотреть место онтологического доказательства в системе доказательств бытия Бога вообще. Богословие, а вслед за ним и философия, знает множество видов доказательства бытия Бога, и онтологическое доказательство считает особым, частным доказательством наряду, например, с «космологическим», «антропологическим», «физико–теологическим» и т. п. Нам нет надобности разбираться в этой искусственной классификации, чтобы убедиться в ложности такого узкого понятия онтологического доказательства. Все доказательства вообще могут быть логически разделены на рациональные и эмпирические, т. е. на доказательства из понятий и доказательства из фактов, или опытно констатируемых данных. И вот, нетрудно видеть, чтовсякое рациональное доказательство существования Бога (или какого‑либо иного содержания) ео ipso необходимо есть онтологическое доказательство.[205]
В самом деле, «понятие» в качестве «только мыслимого содержания» ведь противостоит «факту», или «реальности его предмета», и при обычных условиях всякое исследование соотношений между понятиями оставляет нас в сфере только мыслимого и не приводит ни к какой фактической реальности. Если же такое рациональное доказательство приводит к утверждению чьего‑либо существования, то мы имеем здесь тот самый необходимый переход от «мыслимости» к «реальности», от «сущности» к «существованию», в котором заключается существо онтологического доказательства. Но и этого мало. Поскольку мы допустим возможность нескольких содержаний, удовлетворяющих требованию онтологического доказательства (т. е. необходимо соединяющих мыслимость с реальным бытием), и поскольку отдельное онтологическое доказательство направлено на выведение одного такого содержания (например, Бога), в посылках его может встретиться и указание на факт, без того, чтобы такое доказательство перестало быть онтологическим.
В самом деле, если только этот факт есть логически необходимый факт, т. е. есть сам реальность неотмыслимая или — что то же — содержание, не мыслимое нереальным, — содержащая его посылка уже сама заключает в себе онтологическое доказательство или, если можно так выразиться, есть «онтологическое суждение», которое хотя и заключает указание на факт, но вместе с тем остается и рациональным, так как не ссылается ни на какой только эмпирически констатированный (т. е. логически не необходимый) факт. Так, например, декартово cogito ergo sum само уже есть онтологическое доказательство; поэтому имеющееся у Декарта доказательство, выводящее бытие Бога через уяснение логических условий истины, заключенной в этом «sum», также должно быть признано онтологическим (по существу об этом доказательстве ниже). Таким образом, место онтологического доказательства в системе доказательств можно формулировать, вкратце, следующим образом: онтологическое доказательство мы имеем всюду, где существование чего‑либо доказывается либо чисто рационально, т. е. из одних понятий, либо же так, что к рациональному доказательству присоединяется использование вывода какого‑либо иного (открыто или энтимематически допущенного) онтологического доказательства.
В силу этого разъяснения непосредственно ясна ложность обычного понимания места онтологического доказательства в системе доказательств бытия Бога. Возьмем, например, раннее доказательство бытия Бога у Канта (в «Einzig moglicher Beweisgrund zu einer Demonstration fur das Dasein Gottes», 1763), которое он сам противопоставляет онтологическому доказательству. Сущность его, коротко говоря, заключается в следующем: всякая действительность предполагает возможность, возможность же сама укоренена в некоторой необходимой действительности; но что‑либо вообще необходимо существует; следовательно, существует и безусловно необходимое бытие. Не ясно ли, что мы имеем здесь чисто рациональное доказательство (основанное на анализе понятия действительности) с присоединением посылки о необходимом существовании чего‑либо вообще, т. е. посылки, в применении к понятию «что‑либо вообще» уже содержащей онтологическое доказательство? При этом, кстати сказать, Кант даже специально доказывает эту посылку, уясняялогическую невозможность, т. е. противоречивость того, чтобы «ничто не существовало» (KantWerke, Hartenstein 1839, т. 6, с. 29—30). Не ясно ли, иными словами, что здесь мы имеем — что бы ни говорил сам Кант — онтологическое доказательство optima forma, хотя оно и отлично от традиционной ансельмо–декартовской его формы? Таким образом, обычная классификация, соподчиняющая онтологическое доказательство «космологическому», «антропологическому» и другим доказательствам, логически несостоятельна, так как спутывает разные основания деления. Возможно только деление доказательств бытия Бога на онтологические (т. е. рациональные, в указанном широком смысле) и эмпирические.