Concept

Ontological Arguments

Intro

What if you could prove that God exists just by thinking carefully about the concept of God? Not by observing the universe. Not by looking at order in nature. Not by appealing to historical evidence. Just from the idea itself.

That is what the ontological arguments try to do. They are the strangest and most ambitious of all the arguments for God's existence. They claim that if you understand what the word "God" really means, you will see that God must exist.

The classic version comes from Anselm of Canterbury in 1078. Anselm defined God as "that than which nothing greater can be conceived." Then he asked: which is greater, a God who exists only in your mind, or a God who exists in your mind and in reality? Obviously, the one who exists in reality. So if God is the greatest conceivable being, He cannot exist only in your mind; He must exist in reality. Otherwise, you could conceive of something greater, a God who also exists, and your starting concept was not really the greatest.

The argument has been attacked for a thousand years, most famously by Kant, who said existence is not a property that can make something greater or lesser. And yet the argument keeps coming back, because every counter seems to leave something unexplained. Modern philosophers Alvin Plantinga and Norman Malcolm developed a modal version (using possible-worlds logic) that takes the original move and reframes it as: if God's existence is even possible, then God must exist necessarily in every possible world, including this one.

The ontological arguments are not knockout debate weapons. Even their defenders usually treat them as one piece of a larger cumulative case. But they do something the other arguments do not: they force a careful look at what "necessary existence" even means.

This page lays out the family, from Anselm's original to Plantinga's modal version, the standard objections (especially Gaunilo's "perfect island" and Kant's existence-is-not-a-predicate), and where the argument stands in current analytic philosophy of religion.

In full

A family of arguments for God's existence proceeding a priori, from the concept of God alone (without empirical premises) to the conclusion that God necessarily exists. The most distinctive of the four classical natural-theology argument-families: it is the only one that doesn't begin from empirical facts about the world.

The basic structure

The standard formulation:

Define God as a being possessing every great-making property to the maximum compatible degree (omniscience, omnipotence, omnibenevolence, necessary existence)
Necessary existence is a great-making property, a being that cannot fail to exist is greater than one that contingently exists
Therefore the greatest conceivable being possesses necessary existence
Therefore God exists (necessarily, not contingently)

The argument is a priori, drawing only on the concept of God, not empirical facts. This makes it the most philosophically distinctive but also the most contested.

The major ontological arguments

The codex has dedicated syllogism pages:

Modal Ontological Argument, modern formal version using S5 modal logic. Source: Charles Hartshorne (1962); Norman Malcolm (1960); Alvin Plantinga (1974). Argument: if a maximally great being is possible, it exists in some possible world; maximal greatness includes existing in every possible world; therefore (by S5) it exists in every possible world, including ours.
Perfection Argument, Anselm's classic Proslogion 2-3 version. Argument: God is that than which a greater cannot be thought; existing in reality is greater than existing in understanding only; therefore God must exist in reality.

Historical development

Anselm (1078)

The original ontological argument in Proslogion 2-3:

"We believe You to be that than which a greater cannot be thought."

The argument: if God exists only in the understanding, then a greater being could be thought (one that exists in reality too); therefore God must exist in reality.

See Anselm and Perfection Argument.

Gaunilo's "perfect island" objection (11th c.)

Anselm's contemporary Gaunilo objected: by parallel reasoning, we could prove the existence of a "most perfect island" (an island so perfect that none greater can be thought). But no such island exists.

Anselm's reply: islands have no intrinsic maximum (no upper bound on perfections); but God uniquely has an intrinsic maximum (every great-making property to the maximum degree). The parallel fails.

Aquinas's rejection

Thomas Aquinas (Summa I.2.1 ad. 2) rejected Anselm's argument. Aquinas argued:

The argument requires the concept of God to be self-evident, which it isn't to us
Even granting the concept, the move from concept to existence is illegitimate
Aquinas preferred a posteriori arguments (Five Ways)

This rejection cooled the ontological-argument tradition for ~500 years.

Descartes (Meditations V, 1641)

Revived the ontological argument: I have a clear and distinct idea of God as a supremely perfect being; existence is a perfection; therefore God exists.

Leibniz's refinement

Leibniz (New Essays IV.10) argued the argument works if a most perfect being is possible. Leibniz believed the possibility could be demonstrated (no contradiction in maximal compossibility of perfections). This insight underlies modern modal versions.

Kant's critique (1781)

Immanuel Kant (Critique of Pure Reason A592-602/B620-630) gave the most influential objection: existence is not a predicate. Adding "exists" to the concept of God doesn't enrich the concept; it just posits the concept's referent. The ontological-argument move is illegitimate.

Kant's critique was widely received as decisive for ~150 years. The ontological argument was largely dismissed in 19th-early-20th-century philosophy.

20th-century modal revival

The argument was decisively revived in modal-logic form:

Charles Hartshorne (The Logic of Perfection, 1962)
Norman Malcolm ("Anselm's Ontological Arguments," Philosophical Review, 1960)
Alvin Plantinga (The Nature of Necessity, 1974; God, Freedom, and Evil, 1974)

Plantinga's modal version uses S5 modal logic:

Maximal greatness = the property of being maximally excellent in every possible world (omniscient, omnipotent, omnibenevolent in every world)
It is possible that maximal greatness is instantiated
(S5 axiom: ◇□p → □p), what is possibly necessary is necessary
Therefore maximal greatness is necessarily instantiated
Therefore there exists a being who is omniscient, omnipotent, omnibenevolent in every world (including ours)

The argument's deductive validity in S5 is uncontested. The dispute is over premise 2 (the possibility of maximal greatness). Plantinga himself acknowledges that he hasn't shown maximal greatness is possible, only that if it is possible, the conclusion follows.

Plantinga's restraint

Plantinga doesn't claim the modal argument proves God's existence. He claims it shows that belief in God can be rational, if you accept the possibility of maximal greatness as a properly basic premise, the conclusion follows. The argument shifts the dispute to the rationality of accepting the possibility-premise.

Recent work

Robert Adams ("The Logical Structure of Anselm's Arguments," Philosophical Review, 1971)
Yujin Nagasawa (Maximal God, 2017)
Joshua Rasmussen has done recent work on ontological / contingency arguments

Common objections and responses

"Existence is not a predicate" (Kant)

Modern responses:

Plantinga's modal version sidesteps this by working with necessary existence as a modal-property of beings, not as a first-order predicate
Even granting Kant's point, necessary existence (vs contingent existence) seems clearly a different kind of being. Whether technical "predicate" or not, it's a real metaphysical distinction

"Gaunilo's perfect island"

Anselm's response: islands have no intrinsic maximum. The parallel fails because God uniquely has the property of being maximally great in every dimension; islands don't.

"We can imagine an even greater being"

This requires specifying what would make a being greater than the one defined as maximally great. By definition, maximal greatness is the upper bound; any greater being would be the maximally great being (renaming, not adding).

"Possibility-premise is question-begging"

A serious challenge: how do we know maximal greatness is possible? Plantinga's response: the argument doesn't require proving possibility; it shows that if you find the possibility-premise plausible, the conclusion follows. This makes the ontological argument a defensive argument supporting belief, not an offensive proof for converting atheists.

"Reverse ontological argument"

Some atheists argue: if we can use ontological arguments for God, we can use them for the non-existence of God (a "maximally non-divine" being, or the impossibility of maximal greatness). Plantinga acknowledges symmetry, both possibility-premises (God-possible vs God-impossible) cannot both be true. The argument therefore depends on the rational priority of the possibility-of-God premise.

Apologetic significance

The ontological argument anchors:

The intellectual coherence of theism, the concept of God is not contradictory; God is at least possibly existent
The maximally great being concept, useful in articulating classical theism's God-concept
The defensive case for theism, supports the rationality of theistic belief without claiming to convert atheists
Modal metaphysics applications, the argument participates in broader modal-logic / possible-worlds discussions
The classical-perfection-being theology, Anselm's framework grounds the systematic theology of divine attributes