Concept

Lesson 3.4, The Ontological Argument

Intro

Most arguments for God start from things you can see. Look at the universe (cosmological), look at design (teleological), look at conscience (moral). The ontological argument does something completely different. It starts from the idea of God and tries to show that the idea itself proves God must exist.

That sounds like a trick. Many philosophers think it is. Others have called it one of the most brilliant single moves in the history of philosophy. The debate is still going, almost a thousand years after Anselm came up with it in 1078.

The lesson walks through three versions. Anselm's original: God is "that than which no greater can be conceived," and a God who only exists in the mind would be less great than one who exists in reality too, so God must exist in reality. Descartes's version: existence is part of the very idea of a perfect being, the way three sides are part of the idea of a triangle. Plantinga's modern version: if it is even possible that a maximally great being exists, then by the logic of necessity (S5 modal logic), He must exist in every possible world, including this one.

The hinge in every version is whether the starting premise is really true. Is God's existence "thinkable" the way Anselm needs? Is "necessary existence" really part of perfection? Is "possibly necessary" really enough to get "actually exists"?

By the end of the lesson you should be able to explain the three versions, see where each one is strong and where each is suspect, and follow the modern debate between Plantinga and his critics.

In full

The ontological argument is the most philosophical of the natural-theology arguments. It is also the most controversial. The other arguments start from things we see in the world. This one starts from the idea of God and argues that God's existence follows from the idea itself. Some philosophers think this is one of the most brilliant moves ever made. Others think it is a verbal trick that no amount of clever logic can fix.

This lesson covers the three main forms. Anselm's original from the Proslogion. Descartes's later version. And Plantinga's modern version, which uses something called S5 modal logic. By the end, you should be able to explain why some philosophers find the argument compelling, why others find it suspicious, and where the current debate stands.

Required reading

Ontological Arguments, the family overview. The history from Anselm's Proslogion through Descartes's Meditations through Hartshorne and Malcolm to Plantinga's modern modal version.
Modal Ontological Argument, Plantinga's modern form. It is possible that a maximally great being exists. So a maximally great being exists in some possible world. Since necessary existence is a great-making property, that being exists in every possible world. So it exists in the actual world too. The whole argument rests on the first premise: is it really possible?
Perfection Argument, a related "from the nature of perfection to its instantiation" form. Built on similar intuitions but from a slightly different starting point.
Anselm, the originator (eleventh century). The Proslogion's "that than which no greater can be conceived" framing.
Alvin Plantinga, the main modern defender of the modal version. The Nature of Necessity (1974) is the technical source.

Key takeaways

The ontological argument moves from the concept of God to the existence of God. This is what makes it unique. Every other natural-theology argument starts from features of the world.
Anselm's original form is conceptual. God is that than which nothing greater can be thought. To exist in reality is greater than to exist only in the mind. So God must exist in reality. Otherwise he would not be that than which nothing greater can be thought.
Plantinga's modern form uses S5 modal logic. In S5, if it is possibly necessary that something is true, then it is necessary. The argument uses this rule: if it is possible that a maximally great being exists (a being who is omniscient, omnipotent, morally perfect, and necessarily existent), then by S5 a maximally great being exists in every possible world, including ours. The whole weight rests on the possibility premise: is it really possible?
The argument's force depends on the idea of "maximal greatness." If the concept is coherent, with no contradictions, then by S5 the being exists. The skeptic has to argue not just that the being does not exist but that the very concept makes no sense.
Most analytic philosophers grant the possibility premise. This is the surprising part of the modern debate. Even philosophers who do not believe in God often grant that the concept of a maximally great being is coherent, which by S5 means it actually exists.
Plantinga's own take is modest. Plantinga did not claim the argument proves God's existence. He said it shows that belief in God is rationally acceptable. If the possibility premise is at least as plausible as its denial, then belief in God is at least as rational as disbelief.
The argument is not a verbal trick. The logic is rigorous. What is contested is the modal premise, not the structure of the argument. Whether the modal premise is true is a real metaphysical question.

The strongest objections, and how to answer them

Objection 1, Gaunilo's lost island.

Gaunilo, an eleventh-century monk, answered Anselm like this: by the same reasoning, I can prove the existence of a perfect island. Take the idea of the most excellent island you can think of. To exist in reality is greater than to exist only in the mind. So the most excellent island exists. But that is silly. So Anselm's form is invalid.

Standard response. The disanalogy: islands have no intrinsic maximum. There is no upper limit to island-greatness (one more palm tree, slightly better beaches). So the idea of "the most perfect island" makes no sense, because there is no real ceiling. God, by contrast, is maximally great in the right kind of sense: a being with all the great-making properties (existence, knowledge, power, goodness), each at its maximum. The disanalogy is the difference between something that has a real maximum and something that just keeps getting more. Gaunilo's objection rests on a category mistake. Islands are not the kind of thing that can be maximally great in the relevant sense.

Objection 2, Kant: existence is not a predicate.

Kant's famous critique. To say "X exists" is not to add a property to X (like "X is red" or "X is round"). It is to say that something matches the concept of X. So saying "the most perfect being must include existence as a perfection" makes a category mistake. Existence is not the kind of thing that can be a perfection.

Standard response. Two parts. (1) For Anselm's original, Kant's objection has bite. Anselm's move ("existence in reality is greater than existence in the mind alone") does treat existence as a great-making property. Kant's critique is hard to dodge in that form. (2) Plantinga's modern version sidesteps Kant. Plantinga does not say "existence is a great-making property." He says "necessary existence is a great-making property." Necessary existence (existing in every possible world) is a modal property, not the existential quantifier Kant was attacking. It is a real property, a modal property of a being. So the modern form escapes Kant's critique even if Anselm's original does not.

Objection 3, The reverse ontological argument.

By a parallel move: it is possible that a maximally great being does not exist. If so, then in some possible world there is no such being. But a maximally great being exists in every world or in no world. So if there is one world in which the being does not exist, there is no world in which it does. So no maximally great being exists.

Standard response. This is the most important modern objection. The reverse argument is formally just as good as the original. So the whole dispute comes down to: which modal premise is more plausible, it is possible that a maximally great being exists, or it is possible that no maximally great being exists? Defenders of the argument say the concept of a maximally great being is coherent, and no one has shown otherwise. Critics say that if God does not exist in fact, then the very modal possibility is closed (because a necessary being either exists in all worlds or in none). The argument does not move someone who does not already grant the possibility premise. This is why Plantinga's own take is modest. The modern ontological argument shows that belief in God is rationally acceptable, not that it is a knockdown proof.

Objection 4, "It feels like a verbal trick."

Even if the inference is formally valid, something feels wrong. You cannot get existence from a concept. This reaction is common and worth taking seriously.

Standard response. Two parts. (1) Acknowledge the intuition. The argument does feel surprising. It is one of the most counterintuitive moves in the history of philosophy. Most people do not find it persuasive on first hearing, and that is fine. (2) Diagnose the intuition. What feels wrong is the move from concept to existence. But the modern form does not move from a bare concept to existence. It moves from the modal coherence of the concept to existence. If the concept of God is genuinely coherent (no contradictions inside it), and if necessary existence is part of the concept, then existence follows by S5. The objection "you cannot get existence from a concept" is true for contingent beings. You cannot prove a particular table exists just by analyzing the concept of that table. But God, on classical theism, is a necessary being, exactly the kind of being whose possibility, if granted, is also its necessity.

Plantinga's form, in five steps.

One: a maximally great being is a being who is omniscient, omnipotent, morally perfect, and necessarily existent (existing in every possible world).

Two: it is possible that a maximally great being exists. There is at least one possible world in which a maximally great being exists.

Three: in that world, the maximally great being is, by definition, necessarily existent. So in that world, the being exists in every world.

Four: in S5 modal logic, if something is possibly necessary, it is necessary. So if it is possible that a necessary being exists, a necessary being exists in every world.

Five: so a maximally great being exists in the actual world.

The whole argument turns on the second premise. Is it possible that a maximally great being exists? The argument cannot prove that to you. It asks you to weigh the modal premise on its own merits. Plantinga himself said the argument does not prove theism. It shows that, given a plausible modal premise, theism follows. So the question is: is the existence of a maximally great being modally possible? Most philosophers who have thought hard about it say yes.

Reflection questions

Most people's first reaction to the ontological argument is suspicion. Why? What is the intuition that says "you cannot get from a concept to existence"? Is the intuition right, or is it tracking a confusion?
The argument depends entirely on the possibility premise. How do you decide whether it is possible that a maximally great being exists? What would have to be true for it to be impossible? (Hint: the concept of a maximally great being would have to contain a contradiction.)
The reverse ontological argument is formally identical. Both arguments rest on a modal premise. What makes one more plausible than the other? Is the dispute genuine, or is it a stalemate?
Plantinga's own assessment is modest. Why is "rational acceptability of theism" more honest than "knockdown proof of theism"? What does this tell you about how to use this argument in practice?
Is the ontological argument mostly a philosopher's argument with little place in normal apologetic conversation? Or is there a popular form that can land with non-philosophers? What would that popular form look like?

Practice exercise

Walk through Plantinga's modal ontological argument out loud, in five steps, in under two minutes. Time yourself; do it five times. The argument is harder to internalize than the others, but the pattern, once learned, stays with you.
Now imagine someone raises the lost-island objection (Gaunilo). Respond out loud in under 60 seconds, using the intrinsic-maximum disanalogy.
Now they raise Kant's "existence is not a predicate." Respond by distinguishing existence (which Kant correctly says is not a predicate) from necessary existence (which is a modal property, and which Plantinga's form actually uses).
Now they raise the reverse ontological argument. Acknowledge that the reverse argument is formally as good as the original. The whole dispute is over which modal premise is more plausible. This is the most honest response, and it lets you talk about which modal premise is more plausible.
Read Alvin Plantinga and notice his own modesty about what the argument achieves. The argument shows rational acceptability of belief in God, not knockdown proof. Internalize that posture.

Next lesson

Continue to Lesson 3.5, The Transcendental Argument when the ontological argument feels familiar.