Can you think God into existence?

Here is a sentence that has irritated philosophers for almost a thousand years: I can prove that God exists without getting out of this chair.

No telescope. No fossils. No fine-tuned constants. No miracles. Just the meaning of a word. The claim isn't that the universe points to God. The claim is that if you really understand what the word "God" means, you're already committed to His existence, and to deny it is to contradict yourself.

That's the ontological argument. And the interesting thing is not that people reject it. The interesting thing is how genuinely hard it is to say exactly what's wrong with it.

In the video, I walked through three versions of the argument (Anselm, Descartes, and Plantinga), three objections (Gaunilo, Kant, and Frege), and then planted my flag on what I think all six of them are circling but almost nobody answers: what does it even mean for anything to exist at all? In this post, I want to lay the arguments out more carefully, give the formal premises, and expand on my objections to the Fregean view of existence, which I think is the real hinge of the whole debate.

Act I: Anselm's Move

Anselm of Canterbury was a Benedictine monk writing in the late 11th century. In a short book called the Proslogion (1078), he wasn't even trying to win a debate. He was praying. And mid-prayer he dropped an argument that has refused to die for nine centuries.

It starts with a definition. For Anselm, God is "that than which nothing greater can be conceived" (aliquid quo nihil maius cogitari possit). Notice: he does not say "the greatest thing." He gives you a description, a ceiling beyond which you cannot even think. Whatever else God is, you can't conceive of anything greater.

Now the move. Suppose someone (Anselm calls him "the fool," quoting Psalm 14) says there is no God. Fine. But even the fool understands the phrase "that than which nothing greater can be conceived." He has to, in order to deny it. So at minimum, this being exists in his understanding, in the intellect.

Here's the spear. A being that exists only in your mind is less than a being that also exists in reality. So if "that than which nothing greater can be conceived" existed only in the mind, you could conceive of something greater, namely the same thing existing in reality too. But then you've conceived of something greater than that than which nothing greater can be conceived. That's a contradiction. The concept eats itself.

So, Anselm concludes, it must exist in reality as well as in the mind.

(P1) By definition, God is that than which nothing greater can be conceived.

(P2) This being exists at least in the intellect; even the one who denies God understands the phrase.

(P3) Suppose, for reductio, that it exists only in the intellect and not in reality.

(P4) But a being that exists in reality is greater than one existing in the intellect alone.

(P5) Then a greater being could be conceived, contradicting P1.

(C) Therefore that than which nothing greater can be conceived exists in reality as well as in the intellect.

The Hinge: Two Translations

Everything turns on one Latin line: Si enim vel in solo intellectu est, potest cogitari esse et in re, quod maius est. It can be translated two ways, and people rarely notice the difference.

Translation 1: "...it can be thought to exist in reality as well, WHICH is greater." On this reading, existing-in-reality is a great-making feature of the being. The thing is greater for having it. That treats existence like a perfection you can add.

Translation 2: "...it can be thought to exist in reality as well, WHAT is greater." On this reading, you're not adding a property to anything. You're comparing two candidates, a mind-only one and a really-existing one, and saying the second is the greater of the two. A mind-only "unsurpassable being" is surpassable, which means it was never unsurpassable to begin with. It's a reductio on the description, not a claim that God has the property "existence."

Which translation Anselm gets stuck with decides whether Kant's famous objection even touches him. Keep both in your back pocket.

Gaunilo's Lost Island

The first counter-surfer paddles out almost immediately. A monk named Gaunilo writes a reply literally titled "On Behalf of the Fool." His move: imagine the most excellent island, the island than which no greater island can be conceived. Loaded with treasure, impossibly beautiful. By Anselm's reasoning, if it existed only in the mind, a real version would be greater, so it must exist in reality. But that's absurd. You can't define an island into existence. And you can't define God into existence either.

Anselm's reply turns on the concept of an intrinsic maximum. Islands are great by piling up features: more palm trees, more treasure, more beauty. But there's no greatest possible number of palm trees; you can always add one. So "the perfect island" has no built-in ceiling. It's an incoherent idea. There's nothing for the description to actually pick out.

God is different in kind. God isn't the greatest member of a class the way the island is supposed to be the greatest island. God is unsurpassable being as such, unsurpassable in every respect. That description does have a ceiling. So the parody doesn't transfer.

Though it's worth noting: this reply may not fully seal the door. What about a perfect orchid, or a perfect detective who can solve every conceivable crime? Some finite kinds do seem to have an intrinsic maximum. If the ontological form works for unsurpassable being, why not for a perfect finite thing? That tension stays open.

Act II: Descartes Goes Bigger

Fast forward to the 17th century. In the Fifth Meditation, Descartes simplifies the argument and, in doing so, makes himself a much easier target. By "God," he says, we mean a supremely perfect being, a being with every perfection. Existence is a perfection. A supremely perfect being that lacked existence would be missing a perfection, which is a contradiction, like a triangle whose angles don't add up to 180°.

(P1) By "God" I understand a supremely perfect being, one possessing all perfections.

(P2) Existence is a perfection.

(P3) A supremely perfect being lacking existence would lack a perfection, which is a contradiction.

(C) Therefore God, the supremely perfect being, necessarily exists.

Cleaner than Anselm, and that's exactly the problem. Descartes openly treats existence as a property the thing has and reads it straight off the definition. He's standing in the open.

Kant: "Being Is Not a Real Predicate"

Immanuel Kant actually coined the phrase "the ontological argument," and he did it so he could destroy it. He has two objections.

First objection: no contradiction. Saying "God does not exist" is not self-contradictory. If you keep the subject and reject a predicate, sure, you get a contradiction: a triangle with no angles. But if you reject the subject and its predicates together (the whole triangle, angles and all), nothing is left to contradict. Reject God entirely and no contradiction arises. So you can't squeeze existence out of non-contradiction.

Second objection: the famous one. "Being is obviously not a real predicate." Existence adds nothing to the content of a concept. Kant's example: a hundred real coins don't contain a single coin more than a hundred merely possible coins. The real ones aren't conceptually richer; they're just there. To say a thing exists is not to describe it; it's to posit it. So existence can't be one of the perfections you pack into a concept, and Descartes's P2 collapses.

You might think that buries Anselm right next to Descartes. Hold that thought. We're going to come back and dig Anselm out, and the rescue comes from a direction nobody expects: it comes from agreeing with Kant, not fighting him.

Frege: Existence Is Just Counting

Kant's slogan got a modern engine from Gottlob Frege. Frege says existence is not a property of objects at all. It's a property of concepts. It's a statement of number.

"Horses exist" really means: the concept "horse" has at least one instance. In logic: there exists an x such that x is a horse. Existence is what the existential quantifier expresses. It's second-order, a remark about whether a concept is filled, like "some," "many," or "none."

His knockout example: "Venus has 0 moons." The number 0 isn't a property of any moon; there aren't any. It's a property of the concept "moon of Venus." So "A's exist" just means "the number of A's is not zero." Existence, Frege says, is nothing but the denial of the number zero.

And if that's the whole story, the ontological argument is dead on arrival. It needs existence to be a perfection an individual has. But if existence is never a first-order property of individuals (if it's just counting concepts), then there's nothing there to build a perfection out of. Game over.

Except: this is where I get off the bus.

My Turn: Existence Is Not a Mere Quantifier

Here's what the Fregean view quietly pulls off. It says existence is just instantiation: the box has at least one thing in it. But notice: that presupposes a stock of things that already exist and then reports that the stock isn't empty. It analyzes "there is an F." It tells you precisely nothing about the act by which any individual is at all, what the medievals called esse: the actuality of a thing, the most intimate fact about it, that it's here rather than not.

Five problems with treating existence as nothing but a quantifier.

1. Singular existence breaks it. The quantifier reading nails "horses exist." It chokes on "Socrates exists," where the subject is a real name. You either render it "there is an x identical to Socrates" (which presupposes the name refers, making "Socrates exists" trivially true and "Socrates does not exist" incoherent) or you dissolve the name into a disguised description (Quine's "socratizes"). Either way, the claim stops being about that individual.

2. Negative existentials. "Pegasus does not exist" is plainly about Pegasus: denying that this very posited thing is real. The second-order machinery only saves the sentence by re-reading it as the non-instantiation of a description. That's convenient for the logic, not faithful to the thought.

3. It changes the subject. Frege isn't analyzing esse and finding it second-order. He's swapping the act of existing for the cardinality of a concept. "How many?" is a different question from "Why is this here at all?" Counting existents presupposes that the things already actually are. The quantifier counts existents; it never accounts for their existing. This is Barry Miller's point, and Geach and Kenny press it from both sides.

4. Contingency goes mute. If existence just means the domain is non-empty, then the radical contingency of an individual (that it is, but might not have been) can't even be stated at the level of the individual. And "why is there something rather than nothing?" can't get a grip, because the quantifier always already presupposes a domain to range over. For anyone who cares about the cosmological argument, that's not a feature. That's the bug that hides the question.

5. Quantification and existence may simply come apart. "Existence is what the quantifier expresses" sounds like a definition but is a substantive thesis. Free logics quantify over non-existents. Meinongians say there are things that don't exist. The bare coherence of those systems shows the quantifier needn't mean "exists." Grant that, and the door reopens for existence as a genuine first-order actuality: exactly the notion Frege banished. See Barry Miller and Colin McGinn's Logical Properties on this point.

Here's the payoff. Even if Frege is right that existence isn't a quality you pack into a concept (and I think he is, which is why Descartes loses), it does not follow that existence is nothing but counting. There's a third option neither Frege nor Kant ever puts on the table: existence as act, actus essendi, what makes the difference between a possible thing and a real one. And that is exactly what serious theistic metaphysics has always been about.

Back to Anselm: Esse Isn't a Predicate, and He Never Needed It to Be

So let me net out where we are, because this completely changes Anselm's situation.

Frege was wrong about quantification: existence is not mere counting; it's act. But Frege and Kant were right about the deeper thing: esse is not a predicate. It is not a quality you can pack into a concept and read off a definition. Existence is never part of what a thing is.

And here's the twist almost everyone misses. That verdict is fatal to Descartes. He openly needed existence to be a perfection inside the concept of God, and it simply isn't one, so he's finished. But the very same verdict is what rescues Anselm, because, read correctly, Anselm never needed existence to be a predicate at all. One man dies and the other walks free on the exact same principle.

Pull the two translations back out. On Translation 1 ("which is greater"), Anselm treats being-in-reality as a great-making quality of the being. That's the Descartes move, and Kant and Frege bury it. But on Translation 2 ("what is greater"), Anselm predicates existence of nothing. He runs a reductio on a supposition: suppose that than which nothing greater can be conceived were mind-only; then a greater thing (its really-existing counterpart) could be conceived; so the supposition contradicts itself. Existence never lands on a list of God's attributes. It shows up as a condition the description has to meet to stay coherent.

So when Kant says "being is not a real predicate" and Frege says "existence is just the number of a concept," Anselm can simply nod. Fine. He wasn't using existence as a predicate. The whole Kant/Frege apparatus, correct as far as it goes, sails clean past him. This is Brian Davies's point, and it's why he thinks Translation 2 is the charitable reading of Anselm: the most famous objection in the literature turns out to be answering a question Anselm never asked. Descartes asks how to move from the definition of God to the reality of God, and Kant rightly blocks the move. Anselm's question in Proslogion 2 is only whether we can reasonably suppose the unsurpassable being exists only in the intellect, and "being is not a predicate" is no answer to that at all.

And notice how this fits the view I defended above. The difference between the unsurpassable being existing in reality and existing in the intellect alone is not a difference in its concept; its quiddity is identical either way. It's a difference in actuality. That's not existence-as-quality, and it's not existence-as-counting. It's the ghost of existence-as-act (actus essendi) haunting the argument nine hundred years before anyone gave it that name.

A caveat: Anselm did not have the real distinction between essence and existence. That's Aquinas and, later, Cornelio Fabro's intensive esse. The "ghost of actus essendi" is my gloss, a bridge to my own view, not a historical claim about Anselm. It's a suggestive resonance, not a thesis.

So Anselm survives Kant and Frege. Bruised, leaning his whole weight on one contested premise (that a really-existing thing is greater than a merely-conceived one), but standing. Which is more than Descartes can say.

Act III: Plantinga's Modal Comeback

If you want an ontological argument built on firmer modern ground, you want Alvin Plantinga, who rebuilds the whole thing with one of the slickest moves in 20th-century philosophy: possible worlds.

A possible world is just a complete way things could have been. Now two definitions. Maximal excellence in a world means: omniscient, omnipotent, and morally perfect in that world. Maximal greatness means: having maximal excellence in every possible world.

(P1) There is a possible world W in which a being with maximal greatness exists. [The possibility premise]

(P2) A being has maximal greatness in a world only if it has maximal excellence in every possible world.

(P3) So if maximal greatness is exemplified in any world, a maximally excellent being exists in every world, including the actual one.

(C) Therefore there actually exists a being that is omniscient, omnipotent, and morally perfect.

By building necessary existence into the concept (greatness across all worlds), mere possibility plus the modal logic delivers actuality. If it's even possible that a necessary being exists, then it exists necessarily, and so it actually exists. That's not a trick of grammar; it's valid in S5 modal logic.

The Parity Problem

The whole thing leans its full weight on Premise 1. Is maximal greatness possibly exemplified? And here's the catch. You can run the mirror image:

(P1*) There is a possible world in which NO maximally great being exists.

(P2) But maximal greatness, to hold in any world, must hold in every world.

(C*) Therefore maximal greatness is exemplified in NO world. God does not exist, necessarily.

Both possibility premises can't be true, and the argument gives you no way to decide which to believe. Plantinga, to his great credit, admits this. He insists the argument is logically valid (and it is), but he grants that whether it actually shows God exists depends on whether unsurpassable greatness is possibly exemplified.

So Plantinga's argument proves something more modest and more honest than people think: not that God exists, but that theism can be rational, if you're already entitled to the possibility premise.

The Thomist's Diagnosis: Aquinas Threads the Needle

Thomas Aquinas rejects the ontological argument: you can't define God into existence (Summa Theologiae I, q. 2, a. 1). But watch why, because it isn't Kant's reason.

Aquinas grants that "God exists" is self-evident in itself (per se notum secundum se), because in God, essence and existence are identical. God doesn't have existence; God is His own act of being, ipsum esse subsistens. Subject and predicate really are the same thing. So in itself, "God exists" is the most self-evident proposition there could be.

But it is not self-evident to us (per se notum quoad nos), because we don't grasp the divine essence. Our minds are built for creatures, where essence and existence come apart, so we can never read existence off an essence; we always have to look and see. And we certainly can't read it off God's essence, which we don't comprehend. So the proposition that would be obvious if we saw the essence stays, for us, something to be demonstrated: from effects, a posteriori, the Five Ways, not assumed a priori from a concept.

That's the cleanest verdict in the whole debate. What God is entails that God is: that's the legitimate kernel Anselm and Plantinga keep circling. But we can't run the entailment forward, because the essence isn't ours to inspect. The ontological argument has the metaphysics half-right and the epistemology backwards.

The Argument Is a Mirror

So: can you think God into existence?

Descartes says yes, and Kant shows he smuggled existence in as a fake property. Frege says you've confused a remark about a concept with a fact about a thing, and I say Frege's "fix" quietly buries the only sense of existence that ever mattered. Anselm, read charitably, isn't defining anything into being; he's daring you to coherently think the unsurpassable as not real. And Plantinga shows the argument is airtight, and leans its whole weight on a single word: possible.

Here's what I think is really going on. The ontological argument was never a vending machine that dispenses God when you feed it the right concept. It's a mirror. It takes whatever you already think existence is (a quantity? a property? an act?) and shows you what that commitment costs you.

So before you tell me whether God exists, tell me this: what do you think it means for anything to exist at all? Answer that one honestly, and the ontological argument stops being a trick and starts being a question about you.