1. Створення світу – найдивовижніше досягнення, яке тільки можна уявити.
2. Величність цього досягнення визначається (а) його власною якістю та (б) можливостями його творця.
3. Що більші обмеження (або перешкоди) доводиться долати творцеві, то неймовірнішим буде його досягнення.
4. Найбільшою перешкодою для будь-якого творця було б його неіснування.
5. А отже, якщо ми вважаємо, що всесвіт створив творець, який існує, то ми цілком можемо помислити ще досконалішого творця – такого, який створив усе, але сам при цьому не існував.
6. Таким чином, творця, який існує, не можна вважати істотою, вище якої ми нічого не можемо помислити, адже ще видатнішим і неймовірнішим творцем буде Бог, який не існує.
А отже, 7. Бог не існує.
Мабуть, не варто навіть говорити, що Ґескінг цим ланцюжком умовиводів аж ніяк не довів, що Бог не існує. Але так само слід визнати, що Ансельм теж не довів його існування, адже користувався тією самою логікою. Відмінність між ними лише в тому, що Ґескінг свідомо збиткувався. Він прекрасно розумів, що існування або неіснування Бога – занадто масштабне питання, яке не розв’язується за допомогою «діалектичного жонглювання». Крім того, не думаю, що сумнівне використання існування як індикатора досконалості – найслабша ланка в логіці онтологічного доказу. Вже не можу пригадати всіх деталей, але якось я дорікнув богословам і філософам на одному зібранні, що за допомогою онтологічного доказу можна довести навіть, що свині літають. Їм довелося вдатися до модальної логіки, щоб спростувати це.
Онтологічний доказ, як і всі апріорні докази існування Бога, нагадує мені старого чоловіка з роману Олдоса Гакслі «Контрапункт», котрий математично довів існування Бога:
Знаєш формулу: m поділити на нуль дорівнює нескінченності, де m – будь-яке додатне число? А давай спростимо це рівняння, помноживши обидві його сторони на нуль. У результаті отримаємо: m дорівнює нескінченності, помноженій на нуль. А це означає, що будь-яке додатне число є добутком нуля на нескінченність. Хіба з цього не випливає, що всесвіт створила нескінченна сила з нічого? Вдумайся!
Або ж можна навести горезвісний приклад дискусії, яку в ХVIII столітті влаштувала Катерина ІІ між швейцарським математиком Ейлером та французьким енциклопедистом-просвітником