. Но у них хватило здравого смысла не делать из загадки вывода о том, что Ахиллесу действительно не удастся поймать черепаху. Вместо этого они назвали «доказательство» парадоксом и оставили поиск решения следующим поколениям математиков (оказывается, решение предлагает теория сходящихся рядов). Сам Рассел, конечно, понимал не хуже других, почему не стоит отмечать неудачу Ахиллеса в погоне за черепахой подбрасыванием в воздух жестянки с табаком. Почему же он не проявил аналогичную осмотрительность в случае святого Ансельма? Подозреваю, что он был чрезвычайно честным атеистом, всегда готовым изменить свои взгляды, если ему казалось, что этого требует логика[65]. А может, ответ стоит искать в отрывке, написанном самим Расселом в 1946 году, спустя много времени после того, как он раскусил онтологический аргумент:

У меня лично, напротив, автоматически вызвали бы глубокие подозрения любые аргументы, приводящие к такому наиважнейшему выводу и не использующие ни единой крупицы информации о реальном мире. Возможно, это просто говорит о том, что я ученый, а не философ. И действительно, на протяжении столетий философы – как разделяющие, так и отрицающие онтологический аргумент – относились к нему с большой долей серьезности. Очень ясное его обсуждение приводится в книге философа-атеиста Дж. Л. Маки «Чудо теизма». Говоря, что философов почти можно определить как людей, не признающих очевидное за ответ, я отдаю им тем самым дань уважения.

Наиболее полное развенчание онтологического аргумента обычно приписывают философам Дэвиду Юму (1711–1776) и Иммануилу Канту (1724–1804). Кант заметил, что Ансельм схитрил, как бы вскользь утверждая, что «бытие» является более «совершенным», чем небытие. Американский философ Норман Малколм говорит об этом так: «Утверждение, что бытие является совершенством, исключительно странно. Заявление о том, что мой будущий дом будет лучше с утеплением, чем без него, – разумно и справедливо; но какой смысл имеет утверждение, что он будет лучше, если он будет существовать, чем если его не будет?»[66] Другой философ, австралиец Дуглас Гаскин, в шутку разработал «доказательство» того, что бога нет (аналогичное построение было предложено современником Ансельма – Гаунило).

1. Сотворение мира – самое замечательное достижение, какое можно представить.

2. Степень величия достижения зависит от (а) качества самого достижения и (б) возможностей творца.

3. Чем больше ограниченность (и меньше возможности) творца, тем чудеснее выглядит выдающийся результат.

4. Творец обладает наименьшими возможностями, если он не существует.

5. Следовательно, если предположить, что Вселенная – творение существующего творца, мы можем представить в разуме еще более совершенное создание – а именно сотворившего все несуществующего творца.

6. Таким образом, существующий бог не будет существом, совершеннее которого невозможно представить, потому что несуществующий бог будет еще более совершенным и могущественным.

Ergo:

7. Бога нет.

Бесспорно, Гаскин на самом деле не доказал, что бога нет. Но аналогичным образом и Ансельм не доказал, что он есть. Единственное различие между ними: Гаскин разработал доводы в шутку, потому что понимал, что наличие или отсутствие бога – это слишком сложный вопрос и «диалектическим жонглированием» его не разрешить. И я не считаю, что самым слабым звеном аргумента является небрежное использование существования как показателя совершенства. Сейчас уже не припомню всех деталей, но как-то я долго досаждал группе теологов и философов, доказывая при помощи онтологического аргумента, что свиньи могут летать. Для доказательства обратного им пришлось прибегнуть к модальной логике.