Kurt Gödel (1906-1978) was a powerful logician whose contributions to logic, mathematics, and philosophy were immense. He was deeply interested in those aspects of philosophy that touched on religion and one of those was his ontological proof for God’s existence.
The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm’s ontological argument, in its most succinct form, is as follows: “God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist.” A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.
…Gödel is not known to have told anyone about his work on the proof until 1970, when he thought he was dying. In February, he allowed Dana Scott to copy out a version of the proof, which circulated privately. In August 1970, Gödel told Oskar Morgenstern that he was “satisfied” with the proof, but Morgenstern recorded in his diary entry for 29 August 1970, that Gödel would not publish because he was afraid that others might think “that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible).”[2] Gödel died January 14, 1978. Another version, slightly different from Scott’s, was found in his papers. It was finally published, together with Scott’s version, in 1987.
(For more see Oppy, Graham. 2017. “Ontological Arguments.” The Stanford Encyclopedia of Philosophy, (Summer 2017 Edition), edited by Edward N. Zalta.)
[Read more…]