Argument

Perfection Argument

Intro

What is the greatest being you can think of? Whatever it is, picture two versions: one that exists only as an idea in your head, and one that also exists out there in reality. The second is greater. So if the greatest being you can think of exists only as an idea, you have not yet thought of the greatest being.

That is the move Anselm made in 1078, sitting in a monastery in Bec. He defined God as that than which nothing greater can be conceived and argued that this being cannot exist only in the mind. The argument works from the concept alone. It does not need telescopes, fossils, or fine-tuning constants. Centuries later Descartes ran a similar move: existence belongs to the essence of a perfect being the way three angles belong to the essence of a triangle.

The argument has been attacked from day one. A monk named Gaunilo replied that the same logic seems to prove a perfect island. The reply was that islands have no intrinsic maximum (you can always add a palm tree), while qualities like knowledge, power, and goodness do (you cannot improve on knowing everything). Modern philosophers like Plantinga reworked the same intuition in the modal ontological argument, using possible-worlds logic.

This page lays out the classical Anselm-Descartes version premise by premise, walks through the standard objections (the parody objection, the existence-is-not-a-predicate objection from Kant, the question whether the concept is even coherent), and shows how the argument fits with the family of perfection-based theistic arguments.

In full

A perfection-based argument that derives God's existence from the concept of a maximally perfect being. Distinct from the Modal Ontological Argument (which works in S5 possible-world logic), this version uses the classical Anselm-Descartes line: a being than which none greater can be conceived must exist, since necessary existence is greater than non-existence (or contingent existence). The argument is a priori: it does not depend on empirical premises; it works from the concept of God alone. This page is structured as debate prep, each premise carries a second-order positive case, anticipated objections, rebuttals, a live-cite kit, and tactical notes.

Argument structure

Form

Deductive, a priori. The argument works from concepts alone; if the premises are coherent, the conclusion follows. The Anselmian version of Proslogion 2 is reductio ad absurdum in shape: assume the greatest conceivable being exists in the understanding alone; then a greater can be conceived (one that also exists in reality); contradiction; therefore it exists in reality. The Descartes version (Meditation V) treats existence as a perfection contained in the essence of God. The contemporary modal recovery (Plantinga, Hartshorne, Malcolm) treats necessary existence as the relevant property and runs the inference in S5, see Modal Ontological Argument.

P1, God is the greatest conceivable being

Affirmative case (second-order arguments)

1. Definitional / "perfect being theology" tradition. Anselm, Aquinas, Descartes, Leibniz, Hartshorne, Morris, Plantinga, Nagasawa all agree that "God" properly refers to a being possessing every perfection. The definition is not a stipulation about the word but a substantive thesis about the concept of ultimate reality, God just is the maximal-perfection being. Anything less than that is not what monotheistic theology means by "God." (Thomas Morris, Perfect Being Theology, 1991; Yujin Nagasawa, Maximal God, 2017.)
2. Convergence across natural-theology traditions. Greek philosophical theology (Plato's Form of the Good; Aristotle's Prime Mover; Plotinus's One), classical Jewish theology (Maimonides), Islamic philosophy (Avicenna, Al-Ghazali), and Christian theology (Augustine, Aquinas, Anselm) all converge on the maximal-perfection conception. The convergence is not coincidence; it reflects the structural demands of the concept of ultimate reality.
3. The maximal-perfection concept is uniquely coherent at the maximum. Unlike contingent kinds (islands, hamburgers, cars), divinity has intrinsic maxima, omniscience is the maximum of knowledge; omnipotence the maximum of power; omnibenevolence the maximum of moral goodness. These maxima cohere with each other (perfect knowledge implies perfect wisdom, etc.). Contingent kinds lack intrinsic maxima, there is no "maximum number of palm trees" that defines island-perfection. (Anselm's reply to Gaunilo; cf. Morris, Nagasawa.)

Anticipated objections

1. "The concept of God is incoherent, the omni-attributes generate paradoxes." Stone-too-heavy, free-will-vs-omniscience, omnipotence-vs-omnibenevolence (problem of evil).
2. "You're stipulating God into existence by definition." Pure definitional moves don't establish existence.
3. "'Greatest conceivable' depends on whose conceiving, concept-relative." Different cultures conceive greatness differently; no shared maximum.

Rebuttals

1. The omni-paradoxes dissolve under classical theism. Stone-too-heavy: a self-contradictory description has no referent; God can do anything that is doable, square circles aren't unmade things, they aren't things at all. Free-will-vs-omniscience: God's knowledge is timeless or middle-knowledge-structured, not future-relative; B-theory of time, Molinism, and simple-foreknowledge views all dissolve the conflict. Omnipotence-vs-omnibenevolence: handled by Plantinga's Free Will Defense and theodicies of soul-making and skeptical theism. The paradoxes presuppose naive readings of the omni-attributes that classical theology rejects. See God is Impossible Paradox Cluster. Failure-mode: straw-omni.
2. The argument doesn't move from definition to existence by stipulation, it moves via the coherence of the concept. P2 is the substantive premise: necessary existence is a great-making property. If P2 is true, then a coherent concept of God includes necessary existence, and a being whose concept includes necessary existence cannot fail to exist (or the concept would be incoherent). The work is done by P2, not by P1's definition. Failure-mode: confusing the structure of the argument.
3. Concept-relativity collapses all cross-cultural philosophy, not just theology. If "greatest" is irreducibly culture-relative, then no comparative ranking is possible, but we routinely rank, e.g., "two is greater than one" cross-culturally. The objection proves too much. The maximal-perfection concept relies on intrinsic maxima (omniscience, omnipotence, omnibenevolence) that are not culture-relative, they are formally specifiable. Failure-mode: over-broad relativism.

Live-cite kit

• Scripture: Psalm 145:3 ("His greatness is unsearchable"); Job 11:7-9; Isaiah 40:18; Romans 11:33-36; Matthew 5:48 ("be perfect as your Father in heaven is perfect"); 1 John 1:5
• Scholarly: Anselm (Proslogion, 1078, esp. 2-3); Thomas Morris (Perfect Being Theology, 1991); Yujin Nagasawa (Maximal God, 2017); Brian Leftow (God and Necessity, 2012); Jeff Speaks (The Greatest Possible Being, 2018), for steelman of the perfect-being-theology critique
• Aphorism: "If God is anything less than the greatest possible, then He is not God, only a more-elevated creature."

Tactical notes

• Don't try to derive specific divine attributes (omniscience, omnipotence, etc.) at this premise, defer to perfect-being-theology hubs. The premise is the bare definition.
• The omni-paradoxes deflection is a common pivot. Have the failure-modes ready (especially the "doable things" reply to stone-too-heavy) but don't rabbit-hole, defer detailed paradox-resolution to God is Impossible Paradox Cluster.
• Force-commit move: "What concept of God are you trying to refute? If you're refuting a being less than the greatest possible, you're not refuting the God classical theism worships."

P2, Necessary existence is a great-making property

Affirmative case (second-order arguments)

1. The standard answer (Anselm). Between two beings exactly alike except that one exists contingently and the other necessarily, the latter is greater. The contingent being could fail to exist (and in some possible worlds does fail to exist); the necessary being exists in every possible world. Necessary existence is a stronger / fuller mode of being. This is intuitively forceful: a being that might not have existed is in a sense more vulnerable, more dependent, less self-sufficient than one that cannot fail to exist.
2. Aseity is constitutive of divinity. Classical theology has always held that God exists a se, from Himself, not dependent on anything else for His existence. Aseity entails necessary existence (a being dependent on nothing for its existence must exist in every possible world; otherwise some possible-world condition could fail and it would not exist). So necessary existence is built into the perfect-being conception via aseity. See Aseity, Ipsum Esse Subsistens.
3. Necessary existence harmonizes with the other perfections. Omniscience means knowing all truths in every possible world (which presupposes existence in every possible world). Omnipotence means having all powers compatible with maximal greatness in every possible world. Omnibenevolence means being morally perfect in every possible world. Each of the great-making properties presupposes existence in every possible world for its full realization. Necessary existence is therefore not an ad-hoc addition but a structural requirement.

Anticipated objections

1. Kant: "Existence is not a real predicate." Existence doesn't add to the description of a thing; it merely posits the thing. Therefore necessary existence is not really a property that can be added to the concept of God.
2. "Necessary existence is great only if existing is great, and existing is just being, not greatness." Hume-style.
3. "Why should we accept that necessary existence is greater than contingent existence?" Intuition, not argument.

Rebuttals

1. Kant's objection has been answered by modal recovery. The Plantinga-Hartshorne-Malcolm move recasts the argument: "maximal greatness" is the property; the question is whether maximal greatness is possibly instantiated. If possibly, then necessarily (in S5). This bypasses the existence-as-predicate dispute by treating necessary-existence as a modal property of maximal greatness, not as a free-standing predicate. See Modal Ontological Argument for the full move. Norman Malcolm ("Anselm's Ontological Arguments," Philosophical Review, 1960) and Charles Hartshorne (The Logic of Perfection, 1962) developed this independently in the mid-20th century. Failure-mode: ignoring the modal recovery.
2. The premise concerns necessary existence as a mode, not existence itself. Granted that bare existence is not a perfection, necessary-vs-contingent existence is a mode of existence and modes are evaluable. Compare: bare power is not a perfection (a stone has it), but omnipotence is a mode of power that is. Bare knowledge is not a perfection (a thermostat has it in a thin sense), but omniscience is a mode of knowledge that is. Similarly, bare existence is not a perfection but necessary existence is. Failure-mode: confusing existence-as-such with mode-of-existence.
3. The intuition is supported by reflection on dependence and self-sufficiency. A being that exists by virtue of something else is dependent, and dependence is a deficiency. A being that exists by virtue of its own nature is self-sufficient, and self-sufficiency is a perfection. Necessary existence just is self-sufficiency in being. The intuition tracks something deep: greatness is a function of self-sufficiency, and necessary existence is the maximum of existential self-sufficiency. (Aquinas, ST I.2.3; Edward Feser, Five Proofs, 2017.) Failure-mode: dismissing intuition without engaging the structural argument behind it.

Live-cite kit

• Scripture: Exodus 3:14 ("I AM WHO I AM", divine self-existence); John 8:58 ("before Abraham was, I AM"); Psalm 90:2 ("from everlasting to everlasting, You are God"); 1 Timothy 6:16 ("who alone possesses immortality"); Hebrews 13:8; Revelation 1:8
• Scholarly: Anselm (Proslogion 2-3); Aquinas (ST I.2.3); Norman Malcolm ("Anselm's Ontological Arguments," Philosophical Review, 1960); Charles Hartshorne (The Logic of Perfection, 1962); Alvin Plantinga (The Nature of Necessity, 1974; God, Freedom, and Evil, 1974); Robert M. Adams ("The Logical Structure of Anselm's Arguments," Philosophical Review, 1971); Yujin Nagasawa (Maximal God, 2017); Edward Feser (Five Proofs, 2017)
• Aphorism: "A God who might not have existed is hardly the kind of God worth worshipping."

Tactical notes

• The Kant objection is the single most common deflection. Have the modal recovery ready, frame it as: "Granted Kant's point, the modern version doesn't need existence-as-predicate; it just needs necessary existence as a property of maximal greatness. That property is well-formed in modal logic."
• Connect to aseity early. Most theists already grant divine aseity, and aseity entails necessary existence. The argument can run from aseity rather than from the bare intuition.
• Do NOT defend the intuition without backup. Bare appeal to "necessary existence feels greater" loses to a sophisticated naturalist. The dependence-vs-self-sufficiency framing is the load-bearing move.

Anselm's classic formulation

"We believe You to be that than which a greater cannot be thought… Even the fool is convinced that something exists in his understanding, at least, of which he hears, because he understands what he hears, and what he understands is in his understanding. And what he understands is in his understanding even if he does not understand it to exist. For it is one thing for an object to be in the understanding, and another to understand that an object exists. Therefore, even the fool is bound to agree that there exists in the understanding, at least, something than which nothing greater can be thought, because when he hears this, he understands it; and whatever is understood exists in the understanding. And surely that than which a greater cannot be thought cannot exist in the understanding alone. For if it exists in the understanding alone, it can be thought to exist in reality also, which is greater. Therefore, if that than which a greater cannot be thought exists in the understanding alone, that very thing than which a greater cannot be thought is something than which a greater can be thought. But this is clearly impossible. Therefore, there can be no doubt that something than which a greater cannot be thought exists both in the understanding and in reality." (Proslogion 2)

Master objections to the whole argument

1. Gaunilo's "perfect island" parody (11th century). By parallel reasoning, we could prove the existence of a "most perfect island" (one with maximal beaches, weather, fruit, etc.), but no such island exists. Therefore Anselm's argument proves too much.

Anselm's reply (still definitive): the parallel fails because islands don't have intrinsic maxima, there's no "maximum number of palm trees" that defines island-perfection. Beings (in the metaphysical sense) do have intrinsic maxima, omniscience is the maximum of knowledge; omnipotence the maximum of power. The concept of God uniquely yields a coherent maximum. The parody substitutes a kind without intrinsic maxima for one with them, that substitution is illegitimate. Failure-mode: ignoring the intrinsic-maxima distinction.

2. "It conflates conceptual and ontological." The argument illegitimately moves from conceptual content ("God is conceived as having necessary existence") to actual existence ("therefore God exists").

Reply: the argument does not move from "God is conceived as existing" to "God exists", that would indeed be illegitimate. It moves from "if God exists, He exists necessarily" + "the concept of God is coherent / possibly instantiated" to "God exists necessarily." The work is done by the modal logic of necessity, not by simple conceptual-to-ontological inference. Failure-mode: misidentifying the inference.

3. "Russell-Frege: the argument confuses existence with predication." Existence is a quantifier, not a predicate; the argument illicitly treats existence as a property.

Reply: same as Kant rebuttal under P2. The modal recovery treats maximal greatness as the property and necessary existence as a modal entailment. The Russell-Frege concern is bypassed.

4. "Even granted P1 and P2, the argument requires the possibility of God's existence, which is precisely what is contested." Van Inwagen, Oppy.

Reply: this is the strongest objection. Plantinga concedes that the argument doesn't prove God's existence to a hostile interlocutor, but it shows that belief in God is rational if the possibility premise is rational. The argument's value is partly defensive (showing theism is internally coherent), partly offensive (forcing the atheist to argue for the impossibility of God, which is a much harder task than arguing for non-existence). See Modal Ontological Argument for the full possibility-premise defense.

Tactical opening / closing

Opening line: "Let me argue from the concept of God: if God is the greatest conceivable being, and if necessary existence is greater than contingent existence, then the greatest conceivable being exists necessarily. The argument is a priori, it doesn't need any empirical input. Want to walk through it?"

Closing landing strip: "The Perfection Argument doesn't claim to compel belief, it claims to show that the concept of God includes necessary existence. The atheist's burden is not just to deny that God exists, but to show that the concept is incoherent. That's a much heavier burden than denying mere existence."

Connection to Scripture

• Exodus 3.14, ehyeh asher ehyeh, "I AM WHO I AM", God identified with self-existent being
• John 8:58, Jesus's egō eimi, divine self-existence claim
• Hebrews 13:8, Christ "the same yesterday, today, and forever"
• Revelation 1:8, "the Alpha and the Omega, the One who is and who was and who is to come"
• Acts 17:28, "in Him we live and move and exist"
• Psalm 90:2, "from everlasting to everlasting, You are God"
• Psalm 145:3, "His greatness is unsearchable"
• 1 Timothy 6:16, "who alone possesses immortality"

Patristic / scholarly note

Classical / patristic / medieval:

• Augustine (Confessions X-XIII; De Trinitate), perfect-being framework antecedent to Anselm
• Anselm (Proslogion, 1078), the founding text; Reply to Gaunilo
• Aquinas (ST I.2.1, ad 2), accepts the argument's general structure but skeptical of its precise version; prefers cosmological arguments
• Bonaventure (De Mysterio Trinitatis), sympathetic engagement
• Duns Scotus, modifies and develops in the direction of modal-perfection arguments
• Descartes (Meditation V, 1641), revives and modifies; treats existence as a perfection contained in the essence of God
• Spinoza (Ethics I), gives a pantheistic version
• Leibniz (Monadology §44-45; New Essays), supplies a refined version that prefigures the modal recovery

Critics:

• Gaunilo (On Behalf of the Fool, 11th c.), the perfect-island parody
• Kant (Critique of Pure Reason, 1781), existence-is-not-a-predicate
• Bertrand Russell, Russellian rejection on Frege-Russell theory of quantification
• J. L. Mackie (The Miracle of Theism, 1982), comprehensive atheist rebuttal
• Peter van Inwagen, modal-possibility-premise objection
• Graham Oppy (Ontological Arguments and Belief in God, 1995), most extended contemporary atheist treatment

Modern defense:

• Charles Hartshorne (The Logic of Perfection, 1962), modal recovery; process-theology version
• Norman Malcolm ("Anselm's Ontological Arguments," Philosophical Review, 1960), Anselm-style modal argument
• Alvin Plantinga (God, Freedom, and Evil, 1974; The Nature of Necessity, 1974), the canonical contemporary treatment
• Robert M. Adams ("The Logical Structure of Anselm's Arguments," Philosophical Review, 1971)
• Thomas Morris (Perfect Being Theology, 1991), perfect-being-theology framework
• Yujin Nagasawa (Maximal God, 2017), most extended contemporary defense; introduces the "maximal God" thesis
• Brian Leftow (God and Necessity, 2012)
• Edward Feser (Five Proofs of the Existence of God, 2017), Augustinian Proof, integrating perfection-arguments with classical theism
• Jeff Speaks (The Greatest Possible Being, 2018), sophisticated critique that has reopened debate

See also

• Ontological Arguments, parent concept hub
• Modal Ontological Argument, modal-logic / S5 form
• Aquinas Five Ways, esp. Way 4 (degrees of perfection)
• Necessary Being is an Intelligent Mind, hybrid argument that uses the cosmological route
• Necessary vs Contingent Being, modal-distinction concept
• Kalam Cosmological Argument, independent route to necessary being
• Contingency Argument, Leibnizian route
• Divine Simplicity, classical-theist anchor
• Aseity, entailment of necessary existence
• Ipsum Esse Subsistens, Aquinas's "subsistent being itself"
• God is Impossible Paradox Cluster, answers omni-paradox objections to P1
• Anselm (entity, pending)
• Trinity, God's perfection includes tri-personal being
• Christian God is the Only True God, comparative cumulative case (P2)
• Arguments, master index