И еще, добавляет Ансельм монаху Гаунилону: Бог мыслится существующим не так, как мыслится существующим все остальное в мире, ибо то, что мыслится существующим, мыслится возникающим или исчезающим, переходящим из небытия в бытие и наоборот, но Бог существует всегда, Его нельзя помыслить возникающим, поэтому Он существует всегда и не может мыслиться несуществующим.

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

Смысл онтологического доказательства достаточно просто был сформулирован в XVII в. Декартом: Бог, «по определению», есть наиболее совершенное Существо и поэтому обладает всеми положительными свойствами (знанием, могуществом, благостью и т. п.). Существование — тоже положительное свойство, следовательно, Бог обладает существованием. Невозможно представить себе Бога несуществующим, ибо это противоречит самому понятию Бога. Если мы мыслим себе Бога, то мы мыслим Его Всесовершенным, а значит, существующим. То есть понятие существования Бога выводится из самого понятия Бога. Это наиболее известная и простая формулировка онтологического доказательства. Очевидно, что основывается это доказательство на признании врожденности понятия Бога человеку, иначе это понятие многим было бы неизвестно. Следовательно, онтологическое доказательство может существовать лишь в философии рационалистической, считающей, что разум самодостаточен и не зависит от чувственных восприятий.

Проблема универсалий

Такое понимание разума приводило Ансельма к платоновскому учению о понятиях. Действительно, если разум самодостаточен, а мышление состоит в оперировании понятиями, то источник понятий не может находиться вне разума, в чувственных восприятиях. Понятия сами обладают реальным бытием. Такая концепция получила название реализма понятий, в отличие от номинализма, который утверждал, что источник понятий — в чувственных восприятиях о материальных вещах, а сами понятия есть не что иное, как знаки этих вещей. Этот спор восходит к античному спору Платона, Аристотеля и стоиков: существуют ли идеи реально вне предметов (Платон), в самих предметах (Аристотель) или есть лишь знаки предметов (стоики)? Термин «идея» в Средние века не был распространен, поскольку мир идей, по Платону, вечен и независим от Бога, что несовместимо с христианским учением о Боге — Творце всего сущего. Поэтому говорили об общих понятиях, универсалиях. Реалисты утверждали, что реально существуют лишь универсалии, а единичные предметы существуют случайно, в силу причастности им. Реальность существования универсалий может быть разной: крайние реалисты утверждали, что универсалии существуют в уме Бога, а умеренные реалисты говорили, что универсалии существуют реально в самих вещах. Понятно, что крайние реалисты были сторонниками платоновской (точнее, августиновской) философии, а умеренные — аристотелевской. Номиналисты же вслед за стоиками считали, что реально существуют лишь единичные вещи, а понятия — это лишь имена (nomen) этих вещей. Этот спор получил название спора об универсалиях.