
Anselm argues that God must exist based purely on logic and reason—not by observing the world. He defines God as "that than which nothing greater can be conceived" (the greatest possible being). If God existed only in your mind (as an idea) but not in reality, then you could conceive of something even greater—a God that actually exists in reality. But this is absurd, because by definition God is the greatest conceivable being, so nothing greater can be conceived. Therefore, God must exist in both mind AND reality. It's an a priori argument—it doesn't need any observations about the world, just the concept of God itself.
Anselm begins with a definition of God rather than observations about the world:
God = "a being than which nothing greater can be conceived"
In Latin: aliquid quo nihil maius cogitari potest
What does this mean?:
The word "conceive" is crucial. Anselm means: anything that your mind can possibly think of or imagine.
Anselm's argument can be laid out in logical steps:
P1: God is defined as "a being than which nothing greater can be conceived"
P2: Even "the fool" (the atheist) understands this definition—he can think of this concept
P3: Whatever is understood exists in the mind (as an idea)
P4: If something exists only in the mind but not in reality, then something greater can be conceived—namely, that same thing existing in reality
P5: But by definition, nothing greater than God can be conceived
C1: Therefore, God cannot exist only in the mind
C2: Therefore, God must exist in reality (in addition to existing in the mind)
The crucial move in Anselm's argument is treating existence as a perfection (a "great-making property"):
Anselm's argument works by reduction to absurdity (reductio ad absurdum):
Anselm develops a stronger version of his argument in Chapter 3 of the Proslogion:
The Argument:
P1: God is "that than which nothing greater can be conceived"
P2: A being whose non-existence is impossible is greater than a being whose non-existence is possible
P3: If God's non-existence were possible, we could conceive of something greater—a God whose non-existence is impossible
P4: But nothing is greater than God
C: Therefore, God's non-existence is impossible. God is a necessary being—God must exist and cannot not exist
This version relies on necessity rather than just existence:
Unlike the cosmological argument (which observes motion, causation, contingency), Anselm's argument is:
This is why it's called ontological—from "ontology," the study of being or existence. It tries to derive existence from the concept of being itself.
Almost immediately after Anselm published his argument, a monk named Gaunilo raised an objection:
Suppose we define "the perfect island" as "an island than which no greater island can be conceived." By Anselm's logic, this perfect island must exist, because:
But this is absurd! We can't prove that a perfect island exists just by defining it.
If Anselm's logic leads to the absurd conclusion that the perfect island exists, then Anselm's argument itself must be flawed.
Anselm responds that the argument only works for God, not for islands or other contingent things. Why?:
Modern philosophers like Alvin Plantinga argue that "that than which nothing greater can be conceived" is a unique description that applies only to God, not to islands.
Immanuel Kant (1724-1804) offered the most famous criticism of the ontological argument in his Critique of Pure Reason:
Existence is not a predicate (not a property or quality that can be added to a concept).
What does this mean?:
Imagine two job candidates with identical CVs listing identical qualifications. The only difference is that one candidate actually exists (shows up to the interview) while the other is fictitious. You wouldn't say the real candidate is "greater" because he has the additional predicate "exists." Rather, he's real and the other is not. Existence doesn't add a perfection; it's whether the bundle of perfections actually exists in reality.
Modern defenders of Anselm (like Charles Hartshorne and Norman Malcolm) have argued that Kant only dealt with contingent existence:
The ontological argument has been reformulated by several modern philosophers:
These modern versions avoid Kant's objection about existence by focusing on necessary existence rather than existence as a simple predicate.
"Hence, even the fool is convinced that something exists in the understanding, at least, than which nothing greater can be conceived. For, when he hears of this, he understands it. And whatever is understood, exists in the understanding. 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."
"Being is obviously not a real predicate; that is, it is not a concept of something that could be added to the concept of a thing. It is merely the positing of a thing, or of certain determinations, as existing in themselves."