Декарт однажды логически доказал существование Бога: он определил Бога как существо, обладающее всеми мыслимыми свойствами. Значит, по определению, Бог должен обладать свойством существовать. Следовательно, Бог существует. Что не так с этим, бесспорно, изящным доказательством и почему мы не можем его принять?

1. Существование не есть свойство.

2. Наделение Бога свойством существования не делает обязательным его существование.

3. Доказательство допускает существование нескольких всемогущих богов, что ведет к противоречию: если бог всемогущ, то он обязан быть единственным, иначе он уже не всемогущ.

Надо сказать, что возражение № 1 (существование не есть свойство) предложил не кто иной, как сам Иммануил Кант. В свою очередь Рэймонд Смаллиан, известный автор книг по занимательной логике, считает, что все еще серьезнее и, даже если бы существование можно было признать за свойство, доказательство Декарта все равно бы не «прокатывало». Вот рассуждение Смаллиана: «Из доказательства Декарта следует, что все боги существуют, то есть всякий x, удовлетворяющий определению бога по Декарту, должен обладать свойством существования. Но из этого совершенно не следует, что по крайней мере один бог непременно существует». Наконец, автор смеет надеяться, что и его вариант ответа (№ 3) тоже вполне логичен. Так что в качестве возражения Декарту можно брать любой вариант, принимая за канонически правильный тот, что под номером 2. А существование Бога по-прежнему остается предметом веры, а не знания – как и должно. Простим Декарту его ошибку, ведь она только усиливает более известную его фразу: «Мыслю, следовательно, существую» («Cogito ergo sum»). Я ошибаюсь – следовательно, я мыслю.