# 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: 1. **Define God** as a being possessing every great-making property to the maximum compatible degree (omniscience, omnipotence, omnibenevolence, necessary existence) 2. **Necessary existence is a great-making property**, a being that cannot fail to exist is greater than one that contingently exists 3. **Therefore the greatest conceivable being possesses necessary existence** 4. **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: 1. **[Modal Ontological Argument](/codex/modal-ontological-argument/)**, modern formal version using S5 modal logic. Source: Charles Hartshorne (1962); Norman Malcolm (1960); [Alvin Plantinga](/codex/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. 2. **[Perfection Argument](/codex/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](/codex/anselm/) and [Perfection Argument](/codex/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](/codex/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](/codex/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](/codex/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](/codex/alvin-plantinga/)** (*The Nature of Necessity*, 1974; *God, Freedom, and Evil*, 1974) Plantinga's modal version uses S5 modal logic: 1. *Maximal greatness* = the property of being maximally excellent in every possible world (omniscient, omnipotent, omnibenevolent in every world) 2. It is *possible* that maximal greatness is instantiated 3. (S5 axiom: ◇□p → □p), what is possibly necessary is necessary 4. Therefore maximal greatness is *necessarily* instantiated 5. 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: 1. **The intellectual coherence of theism**, the concept of God is not contradictory; God is at least *possibly* existent 2. **The maximally great being concept**, useful in articulating classical theism's God-concept 3. **The defensive case for theism**, supports the rationality of theistic belief without claiming to convert atheists 4. **Modal metaphysics applications**, the argument participates in broader modal-logic / possible-worlds discussions 5. **The classical-perfection-being theology**, Anselm's framework grounds the systematic theology of divine attributes ## See also - [Modal Ontological Argument](/codex/modal-ontological-argument/), primary modern syllogism - [Perfection Argument](/codex/perfection-argument/), Anselmian classical syllogism - [Cosmological Arguments](/codex/cosmological-arguments/), [Teleological Arguments](/codex/teleological-arguments/), [Moral Arguments](/codex/moral-arguments/), companion families - [Anselm](/codex/anselm/), primary developer - [Alvin Plantinga](/codex/alvin-plantinga/), modal-logic revival - [Leibniz](/codex/leibniz/), possibility-premise refinement - [Immanuel Kant](/codex/immanuel-kant/), primary critique - [Thomas Aquinas](/codex/thomas-aquinas/), classical rejection - Hubs Roadmap
## Common questions this page answers **Q: What is the ontological argument?** The family of *a priori* arguments for God's existence that reason from the *concept* of God alone, without empirical premises. The most famous version: God is the greatest conceivable being; existing in reality is greater than existing only in thought; therefore God must exist in reality. Anselm formulated it in 1078. **Q: How does Plantinga's modal ontological argument work?** If a maximally great being is possible (exists in some possible world), then by S5 modal logic it exists in every possible world, including ours. The argument's deductive validity is uncontested; the dispute is over whether maximal greatness is genuinely possible. **Q: Did Kant refute the ontological argument?** Kant argued (*Critique of Pure Reason*, 1781) that existence is not a predicate, so adding "exists" to the concept of God doesn't enrich the concept. This critique dominated for ~150 years. The modern modal version sidesteps Kant by treating *necessary existence* as a modal property, not a first-order predicate. **Q: What did Aquinas think of the ontological argument?** [Thomas Aquinas](/codex/thomas-aquinas/) (*Summa* I.2.1 ad. 2) rejected Anselm's argument because (1) the concept of God is not self-evident to us and (2) you cannot move from a concept to existence directly. Aquinas preferred *a posteriori* arguments (the Five Ways). His rejection cooled the tradition for ~500 years. **Q: Does the ontological argument really work?** Even its defenders typically treat it as one piece of a cumulative case, not a knockout argument. Plantinga himself acknowledges the argument shows belief in God can be rational *if* you accept the possibility premise, not that it converts atheists. The argument's strength is in articulating maximal greatness, not in compelling assent. **Q: What's the "reverse ontological argument"?** Some atheists argue: if we can use ontological arguments for God's existence, we can use them for God's non-existence (maximal-non-divinity, or impossibility of maximal greatness). Plantinga grants the symmetry; the dispute reduces to the rational priority of the possibility-of-God premise.