The Ontological Argument

The argument, stated fairly

The ontological argument is unlike any other argument for God’s existence. Where the cosmological argument appeals to causation and the fine-tuning argument appeals to physics, the ontological argument claims to derive God’s existence from pure reason alone — from the concept of God itself, without any empirical premises whatsoever. It was first formulated by Saint Anselm of Canterbury in the eleventh century and has been debated with remarkable intensity ever since.

Anselm’s version begins with a definition: God is “that than which nothing greater can be conceived.” He then asks us to imagine such a being. Even an atheist, Anselm argues, must have this concept in mind in order to deny it — the atheist understands what they are denying. Now consider: which is greater, a being that exists only in the mind, or a being that exists both in the mind and in reality? Clearly the latter. Therefore, if God exists only in the mind, we can conceive of a greater being — one that also exists in reality. But that contradicts our definition of God as the greatest conceivable being. Therefore God must exist in reality. The denial of God’s existence turns out to be self-contradictory.

There is something almost magical about this argument. It claims to pull God’s existence out of a mere definition — no telescopes, no fossils, no miracles required. Just thinking carefully about what “God” means is supposed to establish that God is real. Even philosophers who reject it tend to find it fascinating, and it has attracted serious engagement from thinkers as varied as Descartes, Leibniz, Kant, Hegel, and Bertrand Russell.

Plantinga’s modal version

The most rigorous modern version of the ontological argument was developed by the philosopher Alvin Plantinga using the tools of modal logic — the logic of possibility and necessity. Plantinga’s version is more technically demanding than Anselm’s, but the core move is similar.

Plantinga introduces the concept of a “maximally great being” — a being that is omnipotent, omniscient, and morally perfect in every possible world, not just the actual one. He then argues that if such a being is even possible— if there is any possible world in which a maximally great being exists — then that being exists in allpossible worlds, including this one. The reason is that a being whose existence is contingent (dependent on circumstances) would not be maximally great; maximal greatness requires necessary existence. Therefore, if a maximally great being is possible, it is necessary — and therefore actual.

This argument is valid in the technical sense: if you accept the premises, the conclusion follows by the rules of modal logic. The controversy is entirely about whether the key premise — that a maximally great being is possible — is something we have any reason to accept.

Gaunilo’s island: the parody objection

The most famous objection to the ontological argument was offered by a monk named Gaunilo, a contemporary of Anselm, who pointed out that the same logic could be used to prove the existence of a perfect island. Define “the greatest conceivable island.” If it exists only in the mind, we can conceive of a greater island — one that exists in reality. Therefore the greatest conceivable island exists in reality.

This is clearly absurd — we cannot prove islands into existence by defining them as maximally great. Gaunilo’s point is that if Anselm’s argument were valid, the same form of reasoning could generate an infinity of fictional entities: the greatest conceivable pizza, the greatest conceivable unicorn, the greatest conceivable universe. If the argument proves too much, something has gone wrong.

Plantinga’s response is that maximal greatness is different from maximal island-ness or maximal pizza-ness — because maximal greatness essentially includes necessary existence, while islands and pizzas are by their nature contingent things. You cannot coherently define an island that exists in all possible worlds, because “island” is a physical, contingent kind of object. Whether this response fully deflects the parody, or merely relocates the problem, is contested.

The deeper problem: existence is not a predicate

Kant offered what many consider the decisive objection to all versions of the ontological argument: existence is not a predicate. When we describe something as tall, fast, or powerful, we are adding information to our concept of that thing. But when we say something “exists,” we are not adding a property to a concept — we are asserting that the concept has an instance in reality. Existence is not a feature that makes things greater; it is not a feature at all in the relevant sense.

To see why this matters: if I describe a hundred imaginary dollars in my mind, and then a hundred real dollars in my wallet, the concepts are identical. The real dollars are not a “greater” or richer concept than the imaginary ones — they are simply actual. Anselm’s argument treats existence as a perfection that can be added to a concept to make it “greater,” but Kant’s point is that this is a category error. You cannot bootstrap from a concept — however grand — to an entity in the world.

Why philosophers remain unconvinced

Surveys of professional philosophers consistently show that the ontological argument is among the least persuasive arguments for theism, even among those who are theists. The reason is that despite its cleverness, most people retain a firm intuition that you cannot define things into existence. The argument has a conjuror’s quality — something seems to have been smuggled in somewhere, even if it is difficult to put a finger on exactly where.

The charitable verdict is that the ontological argument is a genuine philosophical achievement — a rigorous exploration of the relationship between conceivability, possibility, and necessity. It raises real questions about what it means for something to exist necessarily. But as a proof of God’s existence, it has convinced very few people who were not already convinced — and the parody objections suggest something has gone wrong with the underlying logic, even if the precise diagnosis remains disputed.