Can You Prove God Exists? Anselm’s Strange Argument

Imagine you’re trying to convince someone that something exists, but you can’t point to it, touch it, or show anyone a picture of it. All you can do is describe it. And from that description alone, you claim you can prove that it must be real.

That sounds impossible, right? If I said “I’m thinking of an invisible flying dragon that lives in my garage,” you’d rightly ask me for evidence before you believed me. You wouldn’t accept “but you can understand what I mean by ‘invisible flying dragon,’ so it must exist” as a good argument.

But about a thousand years ago, a philosopher and Archbishop named Anselm thought he’d found a case where this kind of argument actually works. He wanted to prove that God exists—not by pointing to miracles or quoting scripture or arguing from what we see in the world, but just by thinking carefully about what the word “God” means. And his argument has been driving philosophers crazy ever since.

The Big Idea: “That Than Which Nothing Greater Can Be Thought”

Anselm’s argument starts with a definition. He says: let’s define God as “that than which nothing greater can be thought.” What does this mean? It means: think of the greatest, most amazing, most powerful, most perfect being you can possibly imagine. Now realize that whatever you just imagined, God is even greater than that—because you can always imagine something slightly greater than what you came up with, and God is the being that is greater than anything you could ever think of. You cannot out-imagine God.

Anselm thinks this definition makes sense to anyone who hears it, even someone who doesn’t believe God exists. He calls that person “the fool”—borrowing from an ancient psalm that says “The fool has said in his heart, ‘There is no God.’” Even the fool, Anselm says, understands what “that than which nothing greater can be thought” means. They just don’t think anything actually matches that description.

Now here comes the tricky part.

The Argument in Three Steps

Anselm’s reasoning goes something like this:

Step one: The fool understands the definition of “that than which nothing greater can be thought.” But when you understand something, that thing exists in your mind—as a thought, an idea, a concept. So the being defined as “that than which nothing greater can be thought” exists at least as an idea in the fool’s understanding.

Step two: Now here’s the crucial move. It’s one thing for something to exist only as an idea in your mind. It’s another thing for it to actually exist in reality, outside your mind. And (Anselm thinks) it’s clearly greater or better to exist in reality than to exist only as an idea. An actual million dollars is better than just imagining a million dollars. An actual pizza is better than dreaming about one when you’re hungry.

Step three: So imagine that “that than which nothing greater can be thought” existed only as an idea in someone’s mind. If that were the case, then you could think of something greater—namely, that same being existing in reality as well. But that would mean the being you were thinking of wasn’t really “that than which nothing greater can be thought” after all, because you just thought of something greater! That’s a contradiction. So the being that nothing greater can be thought of must exist in reality, not just in the mind.

The whole argument compresses into a neat package: God, by definition, is the greatest possible being. Existing in reality is greater than existing only as an idea. So God must exist in reality.

The Lost Island Objection

A monk named Gaunilo read Anselm’s argument and thought it was nonsense. He wrote a response called “On Behalf of the Fool,” pretending to defend the person who doesn’t believe in God. And Gaunilo came up with a devastating objection.

He said: Let’s try the same argument, but instead of talking about God, let’s talk about something else. Imagine I define “the Lost Island” as “that island than which no greater island can be thought”—the most perfect, beautiful, amazing island imaginable. You understand that definition, so the Lost Island exists in your mind. Since existing in reality is greater than existing only as an idea, the Lost Island must exist in reality. Therefore, there’s a perfect island somewhere in the ocean.

But that’s obviously ridiculous. You can’t prove that a perfect island exists just by defining it! There’s no island that’s so perfect that its perfection forces it to exist. So something must be wrong with Anselm’s argument—it proves too much, or it proves things we know aren’t true.

This objection is so sharp that philosophers still argue about whether Anselm ever really answered it.

Did Anselm Have a Reply?

Here’s where things get interesting. Anselm wrote a response to Gaunilo, and in it he said something surprising: Gaunilo had misunderstood the original argument. The argument didn’t rely on the general principle that “existing in reality is greater than existing in the mind.” That’s the principle Gaunilo used to construct his Lost Island objection. But Anselm claimed his real argument was different.

According to Anselm, the real argument goes like this:

First, you can actually think about “that than which nothing greater can be thought.” You form the concept by starting with good things you know and imagining better and better ones, until you reach the ceiling of what you can imagine. Anselm believed that any reasonably intelligent person can do this.

Second, once you have that concept, you can see that such a being must have a special feature: it cannot fail to exist. Why? Because a being that could fail to exist—that might not have existed—is less great than a being that absolutely must exist, that cannot not exist. If “that than which nothing greater can be thought” didn’t exist, then it would be capable of not existing, which would make it less great than a being that necessarily exists. But that’s a contradiction: the greatest possible being can’t be less great than something else. So the greatest possible being must exist necessarily. And if it exists necessarily, it exists.

Anselm thought this argument only worked for God, not for islands or any other imperfect thing. The concept of a Greatest Possible Island doesn’t guarantee that such an island would have to exist necessarily—you can always imagine a slightly greater island that does exist. But the concept of a Greatest Possible Being includes necessary existence as part of what makes it the greatest.

This part of the argument is subtle, and philosophers disagree about whether it actually works or just hides the same problem in fancier language.

What Kind of Being Would This Be?

Anselm didn’t just want to prove that God exists. He wanted to show that this being—this greatest possible being—would have to have all the qualities that religious people associate with God. And he thought the same definition could generate those qualities.

If God is “that than which nothing greater can be thought,” then God must be all-powerful (because you could imagine a being more powerful than a non-omnipotent one). God must be perfectly just (because an unjust being is less great). God must be eternal and changeless (because something that changes can be imagined as more stable). God must have no parts (because anything made of parts can be broken up or thought of as less unified). Anselm even argued that God must be unable to suffer, unable to be affected by anything outside himself—because being affected by something else would be a kind of weakness, and the greatest being can’t have weaknesses.

Some of these sound weird to us. Why would being unable to feel emotions be a perfection? Anselm was working with a set of assumptions about what counts as “greater” that came from ancient Greek philosophers like Plato and from Christian thinkers who came before him. They thought that change and emotion were signs of imperfection—that the perfect being is totally self-sufficient, never needing or being affected by anything outside itself. Not everyone shares those assumptions today, but for Anselm they seemed obvious.

The Problem of Consistency

Once you start listing all the qualities that the greatest possible being must have, you run into a problem: some of them seem to conflict with each other.

For example, can the greatest being both be all-powerful and unable to lie? If God is all-powerful, shouldn’t he be able to do anything? Anselm’s answer: the “ability” to lie isn’t really a power—it’s a weakness. A perfect being doesn’t need to lie, and having the capacity to lie would make it less perfect. So omnipotence, properly understood, means having all genuine powers, and lying isn’t one of them.

More seriously: if God is perfectly just, he should punish people who do wrong. But if God is merciful, he spares the wicked. How can one being be both? Anselm wrestles with this and concludes that God’s mercy is actually required by his justice—because justice to himself requires that he be supremely good, and being good means being merciful. But then he admits that he can’t explain why God saves some people and not others. “No reasoning can comprehend why,” he says. Even Anselm hits a wall.

Why Does This Matter?

You might be thinking: this is a weird argument from a thousand years ago. Why should anyone care?

Well, the argument won’t die. Philosophers have been arguing about it for almost a millennium. Some of the greatest minds in Western philosophy—Thomas Aquinas, René Descartes, Gottfried Leibniz, David Hume, Immanuel Kant—all took the time to attack or defend versions of this argument. It’s still debated today in philosophy journals. Something about it won’t go away.

Part of the reason is that it touches on deep questions: Can you prove something exists just by thinking about it? What’s the relationship between concepts and reality? Are there some concepts that, by their very nature, force themselves to be real? Most philosophers today think Anselm’s argument fails, but they disagree about why it fails, and that disagreement reveals a lot about how they think logic, language, and existence work.

Another reason the argument matters is that it shows what happens when you take a definition seriously and follow it wherever it leads. Anselm wasn’t trying to be tricky. He genuinely believed that if you understand what God is supposed to be, you’ll see that he has to exist. Whether you agree or not, the argument forces you to think carefully about what “existence” really means—and whether it’s the kind of thing that can be a property or quality of something.

A Strange Kind of Faith

Anselm had a famous motto: “faith seeking understanding.” He meant that he already believed in God, but he wanted to use his reason to understand why what he believed was true. He wasn’t trying to replace faith with proof—he was trying to use proof to deepen his faith.

This is worth remembering. Anselm wasn’t coldly trying to win an argument. He was someone who loved God and wanted to understand the object of his love better. His argument is passionate as well as logical, and it comes from a place of deep wonder that there exists anything at all, let alone a being so great that nothing greater can be thought.

Whether or not you think the argument works, it’s a remarkable attempt to use nothing but thought to touch something real. And that attempt—bold, strange, possibly flawed, but never boring—is why philosophers are still talking about Anselm today.

Appendix

Key Terms

Term	What It Does in This Debate
That than which nothing greater can be thought	Anselm’s definition of God; the concept that is supposed to prove God’s existence just by being understood
Existing in the understanding	When something exists as an idea or concept in someone’s mind, whether or not it’s real
Existing in reality	When something actually exists outside the mind, not just as a thought
Necessary existence	The idea that some beings cannot fail to exist—they exist by their very nature
Faith seeking understanding	Anselm’s approach: start with belief, then use reason to understand what you believe

Key People

Anselm of Canterbury (1033–1109) – A philosopher and Archbishop who wanted to prove God’s existence using reason alone. He was born in Italy, became a monk in France, and eventually ended up in England arguing with kings.
Gaunilo of Marmoutiers – A fellow monk who wrote a famous objection to Anselm’s argument, pretending to defend “the fool” who doesn’t believe in God.

Things to Think About

If you define something as “the best possible X,” does that mean an actual X must exist? What’s the difference between “best possible pizza” and “greatest possible being” that might make Anselm’s argument special (if it is special)?
Anselm says it’s greater to exist in reality than only in the mind. But can you think of anything that seems better as an idea than it would be in real life? What does that do to his argument?
If Anselm’s argument worked, would it give you a reason to believe in God even if you didn’t already? Or does it only make sense to someone who already believes? What’s the difference?
Anselm thought being unchanging and unable to suffer were perfections. Do you agree? Can you imagine a great being that changes, learns, or feels compassion for suffering creatures? Which seems “greater” to you?

Where This Shows Up

Video games and fiction – Arguments about whether fictional characters “exist” in some sense parallel Anselm’s distinction between existing in the understanding and existing in reality.
Arguments about God today – Modern versions of Anselm’s argument (called “ontological arguments”) are still defended by some philosophers and criticized by others.
Thinking about concepts – Whenever someone says “by definition, X must be true,” they’re doing something similar to Anselm. Debates about whether concepts can force reality are everywhere in philosophy, law, and science.