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