Gödel's Ontological Argument
Gödel's modal-ontological proof of God's existence — manuscript circulated privately, published posthumously 1995
Tradition: Modal logic / Leibnizian ontological argument / philosophy of religion
Gödel's late manuscript ontological argument — modal-logical reconstruction of the Leibnizian argument
Composed over decades in private notebooks (substantial development in the 1950s through the 1970s) and shown to Dana Scott in 1970, Gödel's ontological argument is a modal-logical reconstruction in second-order S5 modal logic of the Leibnizian-style ontological argument for the existence of God. The argument was published posthumously in 1995 in volume III of Gödel's Collected Works. The proof's structure: Gödel defines a 'positive property' (the axioms about which form the core of the proof — Gödel deliberately leaves 'positive' relatively under-specified, allowing the axioms to constrain its possible interpretations); proves that being God-like (having every positive property) is itself a positive property; proves that necessarily there exists a God-like being. The technical apparatus uses second-order S5 modal logic and a notion of essence (a property is the essence of an object if it entails all other properties of that object). Variants of the proof have been developed by Jordan Howard Sobel (who found a difficulty in Gödel's original formulation), C. Anthony Anderson, Petr Hájek, and others; the 'modal collapse' problem (Sobel's objection that Gödel's axioms entail necessitarianism — that every truth is necessary) has been the central technical challenge, with Anderson's modified version (Anderson 1990) and Hájek's variants addressing it. The proof has been computer-verified using automated theorem provers (Benzmüller and Paleo 2013, who found that Gödel's original axiom set is consistent and that the conclusion follows from it modulo the modal-collapse problem).
Author
Editions cited
- First published in Kurt Gödel, Collected Works, Vol. III: Unpublished Essays and Lectures, ed. Solomon Feferman, John W. Dawson Jr., et al. (Oxford, 1995), pp. 403-404
- Manuscript versions in the Gödel Nachlass at the Institute for Advanced Study, Princeton
- Sobel's analysis: Jordan Howard Sobel, Logic and Theism (Cambridge, 2004), Appendix 1
- Modified versions: C. Anthony Anderson, 'Some Emendations of Gödel's Ontological Proof', Faith and Philosophy 7 (1990); Petr Hájek, 'Magari and Others on Gödel's Ontological Proof', in Logic and Algebra (1996)
- Computer verification: Christoph Benzmüller and Bruno Woltzenlogel Paleo, 'Formalization, Mechanization and Automation of Gödel's Proof of God's Existence' (2013)
School Embodiments
Formal-modal-logical reconstruction of ontological proof.
"Axiom 1: φ is positive ⊃ ¬φ is not positive." (Gödel's Ontological Argument, axioms)
Modal-logical natural-theological argument.
"Necessarily, there exists a God-like being." (Gödel's Ontological Argument, theorem)
Platonist-realist background — properties as real abstract objects.
"Properties are real, and positive properties form a closed system." (Gödel's Ontological Argument, axiomatic background)
Rationalist-Leibnizian methodology.
"In the Leibnizian spirit, definitively." (Gödel's Ontological Argument, Gödel's gloss)
Major twentieth-century contribution to philosophy of religion.
"A modal-logical ontological proof." (Gödel's Ontological Argument)
Modal-realist S5 framework.
"S5 modal logic supplies the framework." (Gödel's Ontological Argument)
Internal Tensions
Gödel's most religiously-charged manuscript; the canonical late-twentieth-century modal-logical ontological argument. Continuously debated since 1995 publication: Sobel's modal-collapse objection, Anderson's modifications, the computer verifications, and the ongoing question of whether the proof is philosophically convincing (technical validity granted) or merely formally interesting.
I. Time
c. 1941-1970 composition (Gödel had been thinking about the proof since at least 1941, with substantial development in the 1950s through early 1970s); shown to Dana Scott 1970; published posthumously 1995.
Attributes
II. Space
Institute for Advanced Study, Princeton. Gödel kept the proof private throughout his lifetime, sharing it only with a few trusted philosophers (Scott, Tichý) shortly before his 1978 death.
Attributes
III. Matter
Single manuscript page (in the most compressed version). The proof is extraordinarily condensed: roughly a dozen formal lines of S5 modal logic plus a few definitions.
Attributes
IV. Observer
Late Gödel. The observer is the same logician who had proven the consistency of AC and GCH (1940) and the incompleteness theorems (1931) — now applying his rigorous formal methods to the philosophical-theological question.
Attributes
V. Energy
Late-philosophical-religious energies. The proof is the most concentrated expression of Gödel's lifelong philosophical-theistic convictions (he described himself in correspondence as a theist).
Attributes
VI. Information
Single manuscript page (highly compressed). The proof has been the subject of extensive subsequent analysis, modification, and computer verification.
Attributes
Personas that cite this work
Personas with the nearest attribute fingerprint
Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.
Computed school proximity
The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.
How Gödel's Ontological Argument resolves each dilemma
51 resolved positions across 4 dimensions, including 6 distinctive where the majority of schools go the other way · 6 unaligned.
Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.
Time · 9 dilemmas · 5 distinctive
Persistence, the future, and the direction of becoming.