The Ontological Argument: Defining God Into Existence for a Millennium

Before the Argument: When Words Made Worlds

Long before any philosopher tried to reason God into existence, ancient civilizations believed words could literally create reality. In Egypt, the concept of hekaAn ancient Egyptian concept of magical creative force and authoritative speech, through which the creator god was believed to bring things into existence by naming them. held that divine speech was the mechanism of creation itself. The god Hu personified authoritative speech, and the Coffin Texts (c. 2134–2040 BCE) describe how the creator god Atum brought things into being simply by naming them. To know a god’s secret name was to hold power over that god.

The Vedic tradition carried a parallel conviction. Vāc, the goddess of speech, was identified with the creative principle itself. The Rig Veda describes a cosmic current of sound from which all beings arise and into which all dissolve. Sound precedes matter. The word precedes the world.

And then there is Genesis. “And God said, ‘Let there be light,’ and there was light.” The Gospel of John makes the connection explicit: “In the beginning was the Word, and the Word was with God, and the Word was God.” The concept of a single creator deity who speaks reality into being has roots older than most Western readers realize, and it established something that would matter later: the deep intuition that the right words, properly arranged, have the power to make things real.

Canterbury, 1078: Anselm’s Big Idea

Anselm of Canterbury wanted one single argument that could prove God’s existence without relying on anything but itself. No evidence from the natural world. No appeals to scripture. Just pure reason.

What he produced, in his Proslogion (1077–78), was elegant and infuriating in equal measure. God, Anselm proposed, is “that than which nothing greater can be conceived.” Even someone who denies God’s existence understands what this phrase means, so the concept exists at least in the mind. But a being that exists only in the mind is less great than one that also exists in reality. Therefore, if God exists only in the mind, we can conceive of something greater (a God who also exists in reality), which contradicts our starting definition. Therefore, God must exist in reality.

If you just read that twice and felt like you were being pickpocketed by a logician, you are not alone. The argument has the texture of a magic trick: you agree to a reasonable-sounding premise, follow a few logical steps, and suddenly find yourself committed to a conclusion you never intended to reach.

The First Takedown: Gaunilo’s Perfect Island

Gaunilo, a Benedictine monk at Marmoutier Abbey and a contemporary of Anselm, was a fellow believer. He thought God existed. He also thought this particular proof was nonsense.

In his wonderfully titled On Behalf of the Fool (the “fool” being the atheist from Psalm 14), Gaunilo pointed out that you could run exactly the same argument for a perfect island. Imagine the greatest conceivable island: lush, temperate, endlessly abundant. If it exists only in your mind, a real version would be greater. Therefore, by Anselm’s logic, the perfect island must exist somewhere. Since it obviously does not, the argument proves too much.

Anselm replied that his argument applied only to God because God is uniquely “that than which nothing greater can be conceived,” while islands have no intrinsic maximum of greatness. You can always add another coconut tree; you cannot add anything to omniscience. Whether this reply actually works has been debated for the better part of a millennium.

The Surprise Rejection: Aquinas

You might expect the greatest medieval theologian to love an argument that proves God exists by definition. Thomas Aquinas did not.

In the Summa Theologica (1265–74), Aquinas made a distinction that was both humble and devastating. God’s existence, he argued, may be self-evident in itself, but it is not self-evident to us, because we do not and cannot know what God actually is. We lack access to the divine essence, so we cannot simply unpack the definition and find existence inside it. Only God, who fully comprehends his own nature, could make the argument work. For the rest of us, proof must come from effects we can observe in the world.

A theologian who believed with his entire being that God exists, rejecting the cleverest proof of that existence on the grounds that humans are too limited to use it. There is something genuinely admirable about that kind of intellectual discipline.

Descartes Tries Again

In 1641, René Descartes sat down to rebuild philosophy from scratch and, in his Fifth Meditation, produced a new version of the ontological argumentA philosophical argument claiming God's existence can be proved from the definition of God alone, without relying on evidence or experience from the world.. Where Anselm started with a definition, Descartes claimed to start with an innate idea: the clear and distinct perception of a supremely perfect being.

Existence, Descartes argued, is a perfection. A supremely perfect being has all perfections. Therefore, a supremely perfect being must exist. Trying to conceive of God without existence, he wrote, is like trying to conceive of a mountain without a valley.

Pierre Gassendi, one of Descartes’ sharpest critics, attacked the core move: “existence is not a perfection either in God or in anything else; it is that without which no perfections can be present.” Existence is not a feature you add to the list. It is the precondition for having a list at all.

Kant Kills It (Or Tries To)

Immanuel Kant’s Critique of Pure Reason (1781) delivered what is still considered the most influential objection. His central claim was deceptively simple: “Being is evidently not a real predicate.”

A predicate tells you something about a thing: it is red, it is heavy, it is omniscient. “Existence” does not work this way. When you say “God exists,” you are not adding a property to your concept of God. You are asserting that something in the real world matches that concept. A hundred real thalers and a hundred imaginary thalers contain exactly the same properties. The difference is not in the concept but in whether something out there corresponds to it.

If Kant is right, the entire ontological tradition collapses. You cannot define anything into existence because existence is not the kind of thing that definitions contain.

Gödel’s Ghost

Kurt Gödel is famous for proving that any sufficiently powerful mathematical system contains truths it cannot prove about itself. Less well known is that he spent decades working on the one truth he wanted most.

Gödel’s ontological proof, developed around 1941 and refined by 1970, used modal logicA branch of formal logic that adds operators for necessity and possibility, used to reason about what must be, could be, or cannot be the case. to construct what he believed was a rigorous proof of God’s existence. He defined God as a being possessing all “positive properties” and tried to show such a being necessarily exists.

He never published it. He told a colleague he was afraid of being seen as a believer rather than a logician. The proof circulated informally and appeared in print only after his death in 1978.

In 2013, computer scientists Christoph Benzmüller and Bruno Woltzenlogel Paleo fed the proof into automated theorem provers and confirmed that the conclusions follow from the axioms. The computers agreed: if you accept Gödel’s starting assumptions, the proof works. But they also discovered that Gödel’s original axioms were internally inconsistent. And a corrected version produced what logicians call “modal collapseA logical consequence in which every true statement becomes necessarily true, eliminating contingency — meaning nothing in the universe could ever have been otherwise.”: a condition where everything that is true becomes necessarily true, eliminating contingency from the universe entirely. The proof worked, technically. It also implied that nothing could ever have been otherwise, which most theologians would find more alarming than helpful.

The Ontological Argument Today

In 1974, Alvin Plantinga formulated the most discussed modern version. If it is even possible that a maximally great being (one with omnipotence, omniscience, and moral perfection in every possible world) exists, then by the rules of modal logic, that being exists in every possible world, including ours.

The problem is symmetrical. If it is possible that a maximally great being does not exist, the same logic proves it necessarily does not exist. The argument’s force depends entirely on whether you find the initial premise plausible, which is exactly the question it was supposed to answer.

Plantinga knew this. He wrote that the argument “cannot, perhaps, be said to prove or establish” God’s existence. What it shows, he said, is that belief in God is rational. A thousand years after Anselm, and the most honest assessment from the argument’s strongest modern advocate is: it does not prove anything, but it is not crazy.

Why It Won’t Die

The ontological argument has been killed more times than any idea in the history of philosophy. Gaunilo parodied it. Aquinas refused it. Kant dismantled it. Hume dismissed the entire category of reasoning it belongs to. And yet, every few generations, someone brilliant picks it back up, dresses it in the latest logical formalism, and tries again.

The persistence says something. Not about God, necessarily, but about us. There is a deep human desire to settle the ultimate question through pure thought, to make the existence of the divine a matter of logical necessity rather than faith or evidence. The ontological argument is the philosophical expression of the same impulse that made ancient Egyptians believe naming something could make it real: the conviction that language and logic are not merely tools for describing reality, but instruments capable of shaping it.

Nearly a thousand years of brilliant minds have failed to make the argument stick. An equal number of brilliant minds have failed to make it go away. That may be the most interesting thing about it.

Before the Argument: When Words Made Worlds

Long before any philosopher tried to reason God into existence through formal logic, ancient civilizations operated on the premise that words were constitutive of reality, not merely descriptive of it. In Egyptian theology, hekaAn ancient Egyptian concept of magical creative force and authoritative speech, through which the creator god was believed to bring things into existence by naming them. (magical force) combined with Hu (authoritative speech) and Sia (perception) to form the mechanism of creation. The Coffin Texts (c. 2134–2040 BCE) describe the creator god Atum bringing things into being by naming them. The epistemological claim was radical: to name something correctly was to cause it to exist.

The Vedic tradition formalized a similar principle. Vāc, the goddess of speech, was identified with the creative force itself. The concept of Shabda Brahman (Word-Brahman) held that sound was the fundamental substance of reality. The Rig Veda describes speech not as a human tool but as a cosmic force preceding and producing the material world.

Genesis and the Johannine Logos represent the Abrahamic version: “And God said, ‘Let there be light.'” The Gospel of John identifies the Logos (Word) with God and with the mechanism of creation. The concept of a single creator deity who speaks reality into being has roots older than most Western readers realize. These traditions are not arguments for God’s existence. They are cosmological claims about the relationship between language and being. But they establish an intuition that would later be formalized: that the right conceptual content, properly understood, entails existence.

Canterbury, 1078: The Argument from Conceivability

Anselm of Canterbury’s Proslogion (1077–78) contains the first explicit ontological argumentA philosophical argument claiming God's existence can be proved from the definition of God alone, without relying on evidence or experience from the world.. Anselm sought “one single argument that for its proof required no other save itself.” The result, reconstructed in standard form:

Proslogion II:

1. God is defined as “that than which nothing greater can be conceived” (id quo nihil maius cogitari possit).
2. This concept is understood even by someone who denies God’s existence, so the concept exists in the understanding (in intellectu).
3. A being that exists both in the understanding and in reality (in re) is greater than one existing in the understanding alone.
4. If God exists only in the understanding, then a greater being can be conceived (one that also exists in reality).
5. This contradicts premise (1): God is that than which nothing greater can be conceived.
6. Therefore, God exists both in the understanding and in reality.

Proslogion III extends this with a second formulation: a being that cannot be conceived not to exist is greater than one that can. Therefore, God not only exists but exists necessarily. This second version is significant because it does not obviously rely on treating existence as a property, and it may sidestep the critique Kant would raise seven centuries later.

Gaunilo’s Parody and the Problem of Scope

Gaunilo of Marmoutiers, a Benedictine monk writing as the “fool” of Psalm 14, produced a structural parody in On Behalf of the Fool (Liber pro insipiente):

1. Define the “Lost Island” as the greatest conceivable island.
2. This concept exists in the understanding.
3. An island existing in reality is greater than one in the understanding alone.
4. Therefore, the Lost Island exists in reality.

The objection targets the logical form: if valid, the argument proves the existence of any “greatest conceivable X,” which is absurd. Anselm replied by claiming God is unique in having no intrinsic maximum: omniscience means knowing all and only true propositions, which is a logical ceiling. Island excellence admits no such ceiling. Whether this distinction is principled or ad hoc remains an open question in the broader debate over theistic arguments.

Aquinas’s Epistemological Objection

Thomas Aquinas rejected the ontological argument in Summa Theologica I, Q. 2, Art. 1, despite affirming God’s existence. His objection was epistemological rather than logical.

Aquinas distinguished between propositions that are self-evident in themselves (per se nota secundum se) and those self-evident to us (per se nota quoad nos). “God exists” belongs to the first category: in itself, God’s essence includes existence. But human beings lack knowledge of the divine essence, and therefore cannot recognize this self-evidence. Only a being with complete knowledge of God’s nature could use the argument. For finite intellects, proof must proceed a posteriori, from observable effects to their cause.

This was a theologian who believed absolutely that God exists, rejecting a proof of that existence because it demands cognitive access humans do not have. Intellectual discipline of a rare kind.

Descartes’ Reconstruction (1641)

Descartes’ Fifth Meditation argument differs from Anselm’s in its epistemological grounding:

1. I have a clear and distinct idea of a supremely perfect being.
2. Whatever I clearly and distinctly perceive to be contained in the idea of something is true of that thing.
3. I clearly and distinctly perceive that necessary existenceThe philosophical property of a being that cannot possibly fail to exist, contrasted with contingent existence — things that exist but could have been otherwise. is contained in the idea of a supremely perfect being.
4. Therefore, a supremely perfect being necessarily exists.

The shift from definition (Anselm) to innate idea (Descartes) was designed to block the objection that the argument is merely verbal. Descartes argued the idea of God is not constructed but discovered, already present in the mind. Separating existence from it, he wrote, is “no less contradictory than conceiving a mountain without a valley.”

Johannes Caterus objected that conceptual inseparability does not guarantee real existence. Pierre Gassendi attacked more directly: “existence is not a perfection either in God or in anything else; it is that without which no perfections can be present.” Existence is not a feature on a list of attributes. It is the condition for having attributes at all. Descartes replied with a distinction between contingent and necessary existence, arguing that while finite things possess only contingent existence, God uniquely contains necessary, independent existence within his essence.

Kant’s Demolition (1781)

The Critique of Pure Reason contains the objection most philosophers consider definitive. Kant’s thesis: “Being is evidently not a real predicate, that is, a conception of something which is added to the conception of some other thing.”

A real predicate (Realprädikat) adds content to a concept. “Omniscient,” “omnipotent,” and “morally perfect” are real predicates. “Exists” is not. When you assert “God exists,” you do not attribute a new property to God; you posit that something in the world corresponds to the concept. “A hundred real thalers contain no more than a hundred possible thalers.” The concept is identical in both cases; the difference lies entirely in whether something instantiates it.

If existence is not a predicate, the ontological argument’s core move fails: you cannot embed existence in a definition and then extract it as a discovery.

The objection is not universally accepted. Plantinga argued that Kant’s dictum is “totally irrelevant” to Anselm’s Proslogion III, which concerns necessary existence (a modal property) rather than bare existence. Whether necessary existence functions as a real predicate remains debated in contemporary philosophy of logic.

Gödel’s Modal Proof (1941–1970)

Kurt Gödel axiomatized the ontological argument in higher-order modal logicA branch of formal logic that adds operators for necessity and possibility, used to reason about what must be, could be, or cannot be the case.:

• Axiom 1: A property is positive if and only if its negation is not positive.
• Axiom 2: Any property entailed by a positive property is positive.
• Definition: A being is God-like if it possesses all positive properties.
• Axiom 3: The property of being God-like is positive.
• Axiom 4: Positive properties are necessarily positive.
• Axiom 5: Necessary existence is a positive property.

From these axioms, Gödel derived that a God-like being necessarily exists. He never published the proof. He told colleague Oskar Morgenstern he feared being perceived as a theologian rather than a logician.

In 2013, Christoph Benzmüller and Bruno Woltzenlogel Paleo formalized the proof for automated theorem provers (LEO-II, Satallax) and proof assistants (Isabelle, Coq). Their findings were precise and devastating: (1) Gödel’s original 1970 axioms are internally inconsistent. (2) Dana Scott’s corrected variant is consistent and the theorems are provable. (3) The consistent version entails “modal collapseA logical consequence in which every true statement becomes necessarily true, eliminating contingency — meaning nothing in the universe could ever have been otherwise.”: every true proposition becomes necessarily true. In a modally collapsed universe, nothing is contingent. There is no free will, no chance, no meaningful possibility. Most theologies consider this a rather significant problem.

The Modern Ontological Argument: Plantinga and the Symmetry Problem (1974)

Plantinga’s The Nature of Necessity reformulated the argument using S5 modal logic and possible-worlds semantics:

1. It is possible that a maximally great being exists. (A maximally great being is omnipotent, omniscient, and morally perfect in every possible world.)
2. If it is possible that a maximally great being exists, then a maximally great being exists in some possible world.
3. If a maximally great being exists in some possible world, then it exists in every possible world (by the definition of maximal greatness).
4. If it exists in every possible world, it exists in the actual world.
5. Therefore, a maximally great being exists.

The symmetry objection: the same modal framework works in reverse. If it is possible that no maximally great being exists, then in some possible world no such being exists, which entails (by S5) that no such being exists in any possible world. The entire weight of the argument rests on whether premise (1) is more plausible than its negation, which is precisely the question the argument was supposed to settle.

Plantinga acknowledged this with uncommon intellectual honesty: the argument “cannot, perhaps, be said to prove or establish” its conclusion. It shows only that theistic belief is rational if the premise is accepted. A thousand years of refinement, from Anselm’s prose to S5 modal logic, and the strongest modern proponent’s assessment is: it proves nothing, but it is not irrational.

Why It Won’t Die

The ontological argument has been parodied by Gaunilo, refused by Aquinas, demolished by Kant, shown to collapse into inconsistency by theorem provers, and candidly described as non-probative by its own modern champion. It persists anyway. Every generation produces someone who believes the previous critiques missed something, that a new logical framework can succeed where older ones failed.

The persistence reveals something about the relationship between language, logic, and existence. The intuition driving every version of the argument is that if God is the kind of being theology describes, then God’s existence ought to be demonstrable from the concept alone, the way the internal angles of a triangle follow from the definition of a triangle. Every new version is an attempt to make that analogy rigorous. Every critique demonstrates a disanalogy.

Nearly a thousand years of brilliant minds have failed to make the argument conclusive. An equal number of brilliant minds have failed to make it go away entirely. The argument keeps failing in interesting ways, and the fact that it keeps coming back, dressed in whatever logical formalism is fashionable that century, suggests that the question it tries to answer is one that pure reason cannot settle but also cannot stop trying to settle.