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