Таково онтологическое доказательство в его классической форме. Оно становилось объектом многих интерпретаций, попыток корректировки и усовершенствования, предпринимавшихся в истории с помощью все новых философско-аргументативных и логических средств. Оно становилось и объектом критики, и контраргументации, принявшей наиболее известный вид у Канта. Кантовская критика заключается в отрицании того, что существование является предикатом, сопоставимым с другими свойствами, которыми может обладать или не обладать какая-либо сущность.
Казалось, Кант и многие другие мыслители окончательно опровергли онтологическое доказательство. Это опровержение воспринималось как весьма чувствительный удар по естественной теологии. И все-таки, онтологическое доказательство пережило свое возрождение в последние десятилетия. Оно вновь стало активно обсуждаться в философской и теологической литературе. В новых реконструкциях онтологического доказательства был сделан упор на то, что понятие Бога - это понятие существа, которое или необходимо существует, или необходимо не существует. Понятие существа, совершеннее которого нельзя представить что-либо, - это понятие существа, которое необходимо обладает существованием. Его несуществование просто невозможно представить. Понятие наисовершеннейшего существа не может быть понятием существа, которое может существовать, а может и не существовать. Таким образом, из самого понятия Бога явствует, что его существование или необходимо, или невозможно. Это существование, если следовать логике подобного рассуждения, было бы невозможным только тогда, если бы понятие Бога было внутренне противоречивым. До тех пор, пока не показана внутренняя противоречивость понятия Бога, его существование необходимо явствует из его понятия.
Как видно, новая версия онтологического доказательства существования Бога опирается на логико-модальное различение между случайностью и необходимостью. Бог или необходимо существует, или необходимо не существует. Поскольку понятие максимально совершенного существа когерентно, то его существование логически необходимо.
Космологическое доказательство в своей сути - это постановка вопроса о Боге, в основе которой - побуждение к осмыслению мира. В обобщенном виде это прежде всего вопрос о том, почему вообще есть действительность, а не ничто. Речь идет о знаменитом вопросе, наиболее удачно сформулированном Лейбницем, "почему существует нечто, а не ничто". Говорить следует скорее не о "космологическом доказательстве", а о "космологических доказательствах", поскольку речь идет о группе схожих доказательств, объединенных рядом общих оснований. Важнейшим основанием является то обстоятельство, что все они исходят из "действительности мира", точнее, из определенных сущностных характеристик этой действительности. Другими словами, космологические доказательства отталкиваются от тех свойств, которыми обладает всякий пространственно-временной порядок.
Исторически сложилось так, что обсуждение и использование космологических доказательств свелось в основном к обсуждению и использованию той версии космологического доказательства, которая исходит из относительности или случайности мирского сущего. О случайном существовании чего-либо можно говорить в том случае, если логически возможно, что оно существует, и логически возможно, что оно не существует. Актуальное существование какого-то нечто можно объяснить только как результат деятельности другой сущности, существование которой логически необходимо. Так можно кратко выразить суть современных подходов к космологическому доказательству.
Важнейшей посылкой космологического доказательства является представление о том, что никакое случайное существование, никакой случайный факт не могут быть удовлетворительно объяснены посредством случайных причин. Это же правомерно и относительно совокупности случайных фактов. В данном контексте не имеет значения, обладает ли совокупность случайного существования временным началом в том смысле, что у нее есть первая инстанция, первое звено.
