Kurt Gödel's reception of Charles Hartshorne's ontological proof (original) (raw)
Abstract:In 1962 Charles Hartshorne published a modal logic proof formalizing Anselm of Canterbury's ontological argument for the necessary existence of God. This article presents Kurt Gödel's notes on this proof which have now been discovered in his Nachlass among other theological material, and discusses possible influences on the development of Gödel's own ontological proof. To complete the picture, strong connections between Anselm of Canterbury's and Gödel's conceptions of God and his positive properties are pointed out.
Submission history
From: Annika Kanckos [view email]
[v1] Tue, 23 Nov 2021 09:48:12 UTC (13 KB)