Today in 1978, the logician Kurt Gödel died in Princeton, New Jersey. Gödel, of course, is remembered for his incompleteness theorems but also took the ontological proof for the existence of God serious enough to express his own version of it in modal logic.
Strangely, Richard Dawkins does not mention Gödel’s version in The God Delusion, and instead restricts himself to discussing Anslem’s version presented in Proslogium (over 900 years earlier) which Dawkins describes as “infantile”. For that matter, he also doesn’t mention versions of the ontological argument developed by, for example, Descartes, Leibniz or Plantinga. If anything is “infantile”
it is Dawkins’ treatment of the argument – for a more mature work, try The Cambridge Companion to Atheism.
Kurt Gödel (1995) “Ontological Proof”. Collected Works: Unpublished Essays & Lectures, Volume III. (Oxford, pp. 403-404).
Kenneth Einar Himma (2006) “Ontological Argument” Internet Encyclopedia of Philosophy.
Graham Oppy (2005) “Ontological Arguments” Stanford Encyclopedia of Philosophy.