Of all the arguments ever devised for the existence of God, none has generated more fascination, more controversy, or more sheer intellectual audacity than the ontological argument. It is, in its purest form, an argument that begins not with the physical universe, not with moral experience, not with the fine-tuning of cosmic constants — but with a definition. It asks you to think carefully about what the word “God” means, and then demonstrates that if you understand the concept properly, you are rationally compelled to affirm that God exists. It is the only major theistic proof that operates entirely within the realm of thought. And it has captivated philosophers for nearly a thousand years.

The ontological argument was first formulated by Anselm of Canterbury in 1078, in a short devotional work called the Proslogion. Anselm was not writing a dry philosophical treatise. He was praying. The Proslogion is addressed to God, and the argument arises out of meditation — out of what Anselm called fides quaerens intellectum, “faith seeking understanding.” Anselm already believed in God. What he sought was a single, self-contained argument that would demonstrate God’s existence from the very concept of God itself — an argument so powerful that it would be irrefutable on its own terms.

What he produced is one of the most remarkable pieces of reasoning in the history of Western thought.

The Pedagogical Construction of the Argument

Before we state the argument formally, let us walk through the reasoning as Anselm develops it. The best way to understand the ontological argument is to construct it step by step, as a thought experiment.

Begin with a simple question: Can you conceive of the greatest possible being? Not merely a great being, not merely a powerful being, but the greatest being that could possibly exist — a being than which nothing greater can be conceived. Anselm uses the Latin phrase aliquid quo nihil maius cogitari possit: “something than which nothing greater can be thought.”

Now, most people — including atheists — can form this concept in their minds. Even the person who denies that God exists can understand what the phrase means. The fool who says in his heart “there is no God” (Psalm 14:1) at least understands the concept of God that he is denying. The idea exists in the understanding, even if the fool denies that it exists in reality.

Here is the critical move. Ask yourself: Which is greater — a being that exists only in the mind, or a being that exists both in the mind and in reality? The answer is obvious. A being that exists in reality is greater than one that exists merely as a concept. Real existence is a great-making property. A hundred real dollars are greater than a hundred imaginary dollars. A real friend is greater than an imaginary friend. Actual existence adds something that mere conceptual existence lacks.

Now apply this to the greatest conceivable being. If the greatest conceivable being existed only in the mind and not in reality, then it would not truly be the greatest conceivable being — because we could conceive of something even greater, namely, the same being existing in reality. But that is a contradiction. It would mean that the greatest conceivable being is not the greatest conceivable being. The concept defeats itself.

Therefore, the greatest conceivable being must exist not only in the mind but also in reality. To deny this is to fall into logical contradiction. And this greatest conceivable being is what we call God.

The Critical Move: The Formal Argument

Let us now state the argument with formal precision:

  1. God is defined as the greatest conceivable being — a being than which nothing greater can be conceived.
  2. This concept exists in the understanding — even the atheist can grasp what the term means.
  3. Existence in reality is greater than existence in the understanding alone.
  4. If God existed only in the understanding, a greater being could be conceived — namely, one that also exists in reality.
  5. But this contradicts the definition of God as the greatest conceivable being. Therefore, God must exist in reality.

The argument is deductive. If the premises are true, the conclusion follows necessarily. There is no probabilistic gap, no inductive leap. If you accept the definition and the principle that real existence is greater than merely conceptual existence, you are logically committed to affirming that God exists.

Anselm went even further in Proslogion 3, arguing that God not only exists but exists necessarily. A being whose nonexistence is conceivable is less great than a being whose nonexistence is inconceivable. Therefore, the greatest conceivable being cannot merely happen to exist — it must exist in such a way that it could not fail to exist. God’s existence, on this argument, is not contingent but necessary.

“Before the mountains were brought forth, or ever thou hadst formed the earth and the world, even from everlasting to everlasting, thou art God.” — Psalm 90:2 (KJV)

What the Argument Is and Is Not

It is important to understand what the ontological argument claims and what it does not. The argument does not claim that you can define anything into existence. It does not claim that merely thinking about something makes it real. It makes a very specific and limited claim: that the concept of a maximally great being — and only this concept — entails real existence as part of its very definition. Existence is not being arbitrarily attached to the concept from outside; it is being shown to be an inseparable component of what the concept means.

The argument has attracted some of the greatest minds in the history of philosophy. René Descartes offered his own version in the Meditations, arguing that existence belongs to the essence of a supremely perfect being just as three angles belong to the essence of a triangle. Gottfried Wilhelm Leibniz refined the argument by adding that God’s existence follows necessarily if the concept of a maximally great being is even possible — that is, if it contains no internal contradiction. And in the twentieth century, Alvin Plantinga developed a modal version of the argument using the tools of modern logic.

Plantinga’s modal ontological argument runs as follows: If it is possible that a maximally great being exists, then a maximally great being exists in some possible world. A maximally great being, by definition, possesses maximal excellence in every possible world. Therefore, if a maximally great being exists in any possible world, it exists in all possible worlds — including the actual world. The only way to deny the conclusion is to deny the initial premise — that is, to claim that the very concept of a maximally great being is impossible, that it contains a hidden logical contradiction. But there is no good reason to think that it does.

“The fool hath said in his heart, There is no God.” — Psalm 14:1 (KJV)

Anselm would say that the denial of God’s existence is not merely wrong — it is incoherent. The person who truly understands what “God” means cannot consistently deny that God exists.

The Objection: Gaunilo’s Perfect Island

No discussion of the ontological argument would be complete without addressing the most famous objection to it. Within Anselm’s own lifetime, a monk named Gaunilo of Marmoutiers responded with what he considered a devastating counterexample.

Gaunilo proposed the concept of a “Lost Island” — the greatest conceivable island, an island than which no greater island can be conceived. Using Anselm’s own logic, Gaunilo argued, one could prove that this perfect island must exist in reality. After all, an island that exists in reality is greater than one that exists only in the mind. So the greatest conceivable island must exist. But this is absurd. Therefore, Anselm’s reasoning must be flawed.

It is a clever objection, and it has been repeated in various forms ever since. But Anselm had a ready reply, and it strikes at the heart of Gaunilo’s analogy. The concept of a “greatest conceivable island” is incoherent in a way that the concept of a “greatest conceivable being” is not. An island is a contingent, material, limited thing. You can always add another palm tree, another mile of coastline, another degree of pleasant temperature. There is no intrinsic maximum for an island. The concept of “the greatest possible island” has no coherent upper bound.

But the concept of a greatest conceivable being does have a coherent upper bound. Omnipotence, omniscience, omnibenevolence, necessary existence — these are properties that admit of a maximum. The concept is not infinitely expandable in the way that the island concept is. Anselm’s argument applies uniquely to the concept of God because only the concept of God — understood as a maximally great being — has the logical structure that the argument requires.

Later philosophers have reinforced this point. The ontological argument does not work for islands, unicorns, or pizzas — because none of these concepts include necessary existence as part of their essential nature. Only the concept of a being that possesses all perfections to the maximum degree generates the logical entailment that Anselm identified.

Conclusion: Faith Seeking Understanding

The ontological argument will never be the argument that converts the skeptic on a street corner. It is too abstract, too philosophical, too removed from the concrete realities of everyday experience. But that was never its purpose. Anselm did not devise it as an evangelistic tool. He devised it as an act of worship — an exercise in faith seeking understanding.

The ontological argument demonstrates something profound about the nature of God: that God is not a being whose existence is an open question, to be settled by empirical investigation the way we might investigate whether there is water on Mars. God’s existence, if the argument is sound, is a necessary truth — a truth grounded in the very nature of reality, as certain and unavoidable as the laws of logic themselves. To conceive of God properly is to recognize that His nonexistence is impossible.

This is exactly what Scripture teaches. God does not present Himself as a hypothesis to be tested. He presents Himself as the ground of all reality, the one in whom “we live, and move, and have our being” (Acts 17:28). He is not waiting to be discovered by human cleverness. He has made Himself known. The ontological argument, at its best, is a way of articulating what the believer already knows by faith and what the created order already declares by design: that God is, and that He could not not be.

“For the invisible things of him from the creation of the world are clearly seen, being understood by the things that are made, even his eternal power and Godhead; so that they are without excuse.” — Romans 1:20 (KJV)

Anselm’s argument remains, after nearly a millennium, one of the most provocative and enduring contributions to the philosophy of religion. It has been defended by Descartes, Leibniz, Gödel, and Plantinga. It has been criticized by Gaunilo, Aquinas, Hume, and Kant. But it has never been ignored. And for the Christian who seeks to love the Lord with all of his mind, the ontological argument is a reminder that the deepest truths about God are not merely felt but known — not merely believed but understood — and that faith and reason, rightly ordered, lead to the same glorious destination.

Rooted. Reasoned. Relevant.

Dr. Peter J. Carter is a theologian, author, and the founder of Theology in Focus. He holds a D.Min. with a concentration in theology and apologetics and has spent over two decades teaching, preaching, and writing to make theology accessible to every believer.