Gödel's Ontological Proof

Kurt Gödel's modal ontological argument, formulated in 1970 but circulated only privately until after his death, represents one of the most technically sophisticated attempts to demonstrate God's existence through pure logic. Jordan Howard Sobel's 1987 analysis provides the first comprehensive critical examination of this proof, situating it within both the historical tradition of ontological arguments and the framework of modern modal logic.

Gödel's argument employs a complex apparatus of modal logic and higher-order quantification to formalize concepts of positive properties, essences, and necessary existence. The proof begins with axioms about positive properties - that they form an ultrafilter under logical entailment - and proceeds through definitions of God-like beings as those possessing all positive properties. From these foundations, Gödel derives that if God's existence is possible, then God necessarily exists. Sobel meticulously reconstructs each step of the argument, clarifying Gödel's notation and making explicit various implicit assumptions.

The critical thrust of Sobel's analysis centers on demonstrating that Gödel's axioms lead to modal collapse - the unintended consequence that all truths become necessary truths. This occurs because Gödel's system, when fully developed, entails that whatever is actual is necessary. Sobel shows this follows from the interaction between Gödel's axiom that necessary existence is a positive property and his ultrafilter condition on positive properties. If God necessarily exists and essentially wills everything that occurs, then all facts become necessary facts, eliminating genuine contingency from the world.

Beyond technical criticism, Sobel examines the philosophical adequacy of Gödel's conception of positive properties and its theological implications. He argues that Gödel's formal constraints on positivity may not capture intuitive notions of divine perfection and that the resulting concept of God as possessing all positive properties faces traditional problems of property compatibility. The essay also considers whether Gödel's proof succeeds even on its own terms, given disputes about the appropriate system of modal logic for metaphysical arguments.

Sobel's work establishes the definitive scholarly framework for assessing Gödel's contribution to natural theology. By combining rigorous logical analysis with philosophical critique, it demonstrates both the mathematical elegance of Gödel's approach and its ultimate failure to avoid the pitfalls that have historically plagued ontological arguments. The essay remains essential reading for understanding how twentieth-century formal methods transformed but did not resolve classical debates about demonstrative proofs of divine existence.