Здесь мы сосредоточиваемся лишь на одном типе доказательства бытия Бога, на т. наз. "онтологическом доказательстве". Из всех доказательств этого рода оно имеет наиболее дурную славу; со времени Канта оно почитается за некоторого рода софизм, нелепость и как бы интеллектуальная нечестность которого очевидна почти сама собой. Но и задолго до критики "всеразрушающего" Канта оно неоднократно отвергалось даже в традиционном типе богословской мысли, утверждавшем в общей форме возможность доказательств бытия Бога. Его отвергает и творец богословия западной церкви -- св. Фома Аквинский, богословская система которого доселе догматически обязательна для католиков. И можно сказать, что католическая церковь, признав систему Фомы Аквинского наиболее адэкватным выражением христианского религиозного мировоззрения, тем самым молчаливо осудила отвергаемое им онтологическое доказательство. При этом характерно, что Фома Аквинский был ярким представителем направления, которое может быть названо средневековым рационализмом, т. е. творцом "естественного" или рационального богословия, впервые предоставившим очень широкие права разуму в вопросах веры 1). В лице онтологического доказательства мы имеем редкий пример хода мыслей, в отвержении которого сошлись такие антиподы, как Фома Аквинский и Кант. При этих условиях, казалось бы, попытка реабилитации онтологического доказательства есть предприятие довольно безнадежное. И все же именно эту попытку мы хотим здесь предложить вниманию читателей.

I.

По общепринятому (как увидим далее, ошибочному) мнению историков философии, творцом "онтологического доказательства" является Ансельм Кентерберийский (в XI веке), от которого оно было воспринято Декартом и Спинозой. Смысл его -- как его обычно излагают, следуя за внешней формой рассуждения Ансельма и Декарта -- состоит, как известно, в следующем. Мысля содержание того, что мы разумеем под понятием Бога, мы необходимо должны прийти к выводу, что несуществование Бога противоречило бы самому его понятию, т.