The Ontological Argument: Can Pure Thought Prove God?

The Argument That Tries to Reach God by Thought Alone

Sometime around 1078, in a Benedictine abbey in Normandy, a monk named Anselm reported being seized by an idea so startling it nearly undid him. He had been searching, he says, for a single argument that would need no other to prove that God exists. The search frustrated him to the point of despair; he tried to drive it from his mind as a distraction from prayer. Then "in the very conflict of my thoughts," he writes in the preface to his Proslogion, the thing he had given up on "began to force itself upon me with a kind of importunity."¹ What forced itself upon him was an argument unlike any other in the history of religious thought: a proof that proceeds not from the world, not from causes or design or moral law, but from the bare concept of God itself.

This is the ontological argument, and it has never stopped dividing thoughtful people — including thoughtful believers. Bertrand Russell, walking down a Cambridge lane as a young man, suddenly threw his tobacco tin in the air and exclaimed, "Great God in boots! — the ontological argument is sound."² He later changed his mind. That oscillation is the argument's whole career in miniature. It is, candidly, the most slippery and most suspected of all the theistic arguments. Even many theists distrust it, sensing a trick somewhere in its swiftness. Our task here is to state it as carefully and charitably as it deserves, to meet its strongest critics by name, and to say honestly what it can and cannot do.

Anselm's Original: Greatness That Cannot Be Thought Away

Anselm defines God as "that than which nothing greater can be conceived" (aliquid quo nihil maius cogitari possit).³ Notice this is not a definition of God's nature so much as a rule for thinking about God: whatever else God is, you are not thinking about God at all unless you are thinking about the greatest possible being. Even "the fool" of Psalm 14 who "has said in his heart, There is no God" must grasp this concept in order to deny it — so the idea exists, at minimum, in his understanding.

Now the move. Suppose this being existed only in the understanding, as a mere idea. Then we could conceive of something greater — namely, the very same being existing also in reality. But it is contradictory to say we can conceive something greater than that-than-which-nothing-greater-can-be-conceived. In Anselm's words: "And assuredly that, than which nothing greater can be conceived, cannot exist in the understanding alone. For, suppose it exists in the understanding alone: then it can be conceived to exist in reality; which is greater."⁴ Therefore the greatest conceivable being must exist in reality. The fool contradicts himself.

In the next chapter Anselm presses further: such a being cannot even be conceived not to exist, for a being whose non-existence is unthinkable is greater than one whose non-existence is thinkable.⁵ God exists not merely actually but necessarily. This second formulation — about necessary existence — is the seed from which the modern versions grow.

Descartes: Existence as a Perfection

Five and a half centuries later, René Descartes recast the argument in the Fifth Meditation (1641). God is "a supremely perfect being." Existence, Descartes reasons, is a perfection. A supremely perfect being possessing every perfection must therefore possess existence, for to lack it would be an imperfection. He offers a vivid analogy: existence can no more be separated from the essence of God "than the fact that its three angles equal two right angles can be separated from the essence of a triangle."⁶ Just as you cannot coherently think of a triangle while denying its angle-sum, you cannot coherently think of a perfect being while denying its existence. Descartes adds a caution Anselm did not: the argument works only for a being whose essence includes existence, which uniquely is God's.

The Modern Modal Version: Plantinga

The most rigorous form belongs to the twentieth century. Drawing on the logic of possibility and necessity, Alvin Plantinga reformulated the argument in The Nature of Necessity (1974) and, for general readers, in God, Freedom, and Evil (1974). It turns on two defined properties. A being has maximal excellence in a given possible world if it is omniscient, omnipotent, and morally perfect in that world. A being has maximal greatness if it has maximal excellence in every possible world.⁷

The argument then runs:

1. It is possible that a maximally great being exists. (The possibility premise.)
2. So there is a possible world in which maximal greatness is exemplified.
3. But maximal greatness entails maximal excellence in every world.
4. So in every possible world there exists a being that is omniscient, omnipotent, and morally perfect.
5. Therefore such a being exists in the actual world.

The engine here is a principle of the modal system S5: if something is possibly necessary, then it is necessary. Necessary existence means existence in all worlds; so if a necessarily existing being exists in even one possible world, it exists in all of them — including ours. The argument's genius is that it shifts the entire weight onto premise (1): you need not prove God exists, only that God's existence is possible. Everything follows from there. One caveat worth naming up front: applying S5 to metaphysical modality (rather than merely to logical or epistemic modality) is itself a substantive commitment — standard and well-motivated, but one a critic can in principle reject — so the reader should not be blindsided if an objector chooses to fight S5 rather than premise (1).

The Strongest Objections

Gaunilo and the Lost Island

The first and still most intuitive objection came from a contemporary monk, Gaunilo of Marmoutiers, who wrote a rejoinder titled On Behalf of the Fool (Pro Insipiente). His parody is famous: imagine the most excellent island conceivable — lush, rich, lost somewhere in the ocean. By Anselm's reasoning, since an island that exists in reality is greater than one existing only in thought, the perfect island must exist. But this is absurd; no such island is out there. So the form of reasoning must be defective.⁸ If Anselm's logic conjures God, it conjures perfect islands, perfect pizzas, perfect anything — and that cannot be right.

Anselm's reply, in his Reply to Gaunilo, is that the parody misfires because an island is the wrong kind of thing. Islands are by nature contingent and bounded: there is no intrinsic maximum to island-greatness (a larger one, with more palms, is always conceivable), and nothing about the concept of an island includes necessary existence. The argument was never meant to apply to "greatest possible Xs" in general, but only to a being than which none greater can be conceived at all — a being whose very concept, uniquely, contains necessary existence. You cannot, Anselm insists, even coherently conceive of such a being as failing to exist; you can always conceive the perfect island away.⁹ Whether this reply fully succeeds is contested — many philosophers think Gaunilo located a real worry about defining things into existence — but the disanalogy between contingent and necessary beings is genuine and remains the standard defense.

Kant: Existence Is Not a Real Predicate

The most influential objection is Immanuel Kant's, in the Critique of Pure Reason (1781). Kant denies the hidden assumption shared by Anselm and Descartes: that existence is a property or "perfection" a thing can have or lack, such that having it makes a thing greater. "Being," Kant writes, "is obviously not a real predicate; that is, it is not a concept of something which could be added to the concept of a thing."¹⁰ His illustration is unforgettable: a hundred real coins contain no more as a concept than a hundred merely possible coins. The real coins differ in that they exist, but my concept of "a hundred coins" is exactly the same either way. Existence adds nothing to what a thing is; it merely posits that it is. So when Descartes packs "existence" into the concept of a perfect being as one more perfection, he has, says Kant, simply smuggled the conclusion into the premise.

Here we should concede openly: against the Anselmian and Cartesian forms, Kant's objection has real and arguably decisive force. Most contemporary philosophers agree that existence is not a first-order property of individuals in the way "being red" or "being wise" is. This is precisely why the modern argument abandons "existence is a perfection" and shifts to necessary existence — a modal status, a matter of how a thing exists across possible worlds — which many hold is a genuine great-making feature even if bare existence is not. Whether this fully escapes Kant is itself debated, but the modal version is a deliberate, honest retreat from the ground Kant captured.

The Parody and Symmetry Objection to Plantinga

The deepest objection targets the modal version at its one load-bearing point: premise (1). The objection, pressed by critics such as J. L. Mackie and developed by many since, is one of symmetry.¹¹ The theist asserts: "Possibly, a maximally great being exists." But consider the mirror claim: "Possibly, a maximally great being does not exist." This too seems perfectly conceivable — there is no obvious contradiction in a godless world. Yet in S5 this mirror claim is just as potent. For maximal greatness involves necessary existence; so if it is even possible that a maximally great being fails to exist, then it fails to exist necessarily — which, for a necessary being, means it does not exist at all.

The two possibility claims cannot both be true. And here is the crux: they appear to be on an exact epistemic par. Each merely says "I can detect no contradiction in this scenario." But mere conceivability is a feeble guide; Goldbach's Conjecture seems possibly true and possibly false to us, yet one of those is necessarily impossible. So the argument is valid — genuinely, beautifully valid — but it persuades only someone who already grants that a maximally great being is possible. To establish that premise turns out to be as difficult as establishing the conclusion itself, because the premise already contains necessary existence inside it. Here the argument reaches the limit of its persuasive power: it transfers the dispute to a premise no neutral party has antecedent reason to accept over its mirror image. That is a real limit — but not an empty result. The argument shows the theist and the atheist are not disputing a contingent fact but a modal one: whether a maximally great being is so much as possible. If it is, it exists necessarily; the atheist must claim not merely that God happens not to exist, but that God cannot — a far heavier burden than atheism usually admits.

What can the defender say in reply? Two honest things. First, symmetry can be challenged: a defender may argue that maximal greatness is a positive, coherent, intrinsically unified concept (Gödel's formalized version tries to prove the relevant properties are jointly consistent — though Gödel's own proof has in turn been charged with entailing modal collapse), whereas its impossibility would require a hidden contradiction no one has produced — so the two premises are not perfectly symmetric after all. Second, and more candidly, the defender can simply lower the claim — which is exactly what Plantinga himself does.

What Plantinga Actually Claimed

It is a credit to Plantinga's intellectual honesty that he never billed his argument as a proof that should compel any rational person. His verdict on the family of ontological arguments is modest and precise: "They cannot, perhaps, be said to prove or establish their conclusion. But since it is rational to accept their central premise, they do show that it is rational to accept that conclusion."¹² The argument, on his own account, does not move an atheist from disbelief to belief. What it does is show that if the possibility premise is rationally acceptable — and Plantinga thinks it is — then accepting the existence of a maximally great being is rational, not a failure of reason. That is a real result, but a far humbler one than "proof of God."

The Honest State of the Scholarship

Where do matters stand? The validity of the modal version is not seriously disputed; the inference is sound given its premise. The entire debate has migrated to the possibility premise, and there it has largely stalled. Critics — Mackie, Graham Oppy (the leading contemporary skeptic of natural theology), and others — maintain that no non-question-begging reason has been given to prefer "possibly God exists" over "possibly God does not exist," leaving the argument inert as a tool of persuasion.¹³ Defenders such as Plantinga, and in a formalized key the work surrounding Kurt Gödel's modal proof, reply that the concept of maximal greatness is coherent and its denial unproven. It is fair to label the central claim — that the possibility premise is more reasonable than its negation — as contested, with no consensus in sight and many theists themselves unpersuaded that the argument adds anything to what other arguments and experience already supply.

Conclusion: What It Does and Doesn't Establish

The ontological argument does not prove God's existence to a neutral inquirer, and no serious version claims it does. Kant's objection retired the idea that existence is a perfection to be added to a concept; the symmetry objection shows the modal version cannot bootstrap conviction from a premise the doubter has equal reason to deny. What survives is genuine and not nothing: the argument demonstrates that if a maximally great being is so much as possible, then it actually and necessarily exists — there is no coherent middle position in which God is a merely contingent or merely possible being. It shows, on Plantinga's careful reckoning, that theistic belief can be held rationally. And it preserves something Anselm cared about more than logical victory. The Proslogion is a prayer, addressed throughout to God in the second person; its argument is offered as "faith seeking understanding," not faith manufactured from syllogism.¹⁴ The fool who thinks God away has not been crushed by a proof. But the believer who follows Anselm may find that the God she already worships cannot, in the end, be coherently thought away — and that, the tradition has always insisted, is a discovery worth making on one's knees.