Argument

Modal Ontological Argument

Intro

If God's existence is even possible, then God exists. That is the strange and powerful claim of the ontological argument.

Here is the shape. A "maximally great being" is a being who has every great-making property to the highest degree, all knowledge, all power, perfect goodness, and the kind of existence that cannot fail (existing in every possible reality, not just this one). If a being like that is even possible (if the concept does not contain a hidden contradiction), then by the rules of how necessity works in logic, that being exists in every possible reality, including this one.

The argument matters because it flips the burden. The atheist usually says, "Show me God exists." The ontological argument says, "All you have to grant me is that God is possible, that the concept makes sense, and the rest follows. To deny the conclusion, you have to show the very idea of God is impossible, like a square circle." That is a much heavier lift.

The strongest objection: "But by the same move I could imagine a maximally great pizza, or a maximally evil being." The Christian reply: pizzas have no intrinsic maximum (there is no perfect number of pepperonis), and a maximally evil being would lack necessary existence (since existence is a perfection, not a defect). The parodies do not survive scrutiny.

The argument was first put forward by Anselm in 1078 and reformulated using modern logic by Christian philosopher Alvin Plantinga in 1974. It is the most discussed argument in contemporary philosophy of religion.

The full debate-prep treatment follows.

In full

Plantinga's S5 modal reformulation of Anselm's ontological argument. The argument runs: if a maximally great being is possible, then by the modal logic of necessity (theorem of S5), it exists in every possible world, including the actual one. The contested premise is P1 (the possibility of a maximally great being); P2-P5 are formal modal logic consequences. The argument is the contemporary anchor for the ontological-argument family and the paradigm apologetic use of S5 modal logic. 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

Modal logic in the S5 system. The key inference is ◇□P → □P: if it is possibly necessary that P, then P is necessary. This is a theorem of S5 (the standard modal logic for metaphysical possibility, as distinct from epistemic or physical possibility). The argument's deductive validity is uncontested given S5 and the property-definitions; the entire dispute concerns P1 (the possibility premise). Soundness is contested precisely there. Plantinga himself characterizes the argument as "rational to accept" rather than as a knockdown proof, its dialectical force is to show that if the possibility of an MGB is rationally entertainable, then theism follows.

"Maximally great being" defined

A maximally great being possesses, in every possible world:

• Omniscience, knows all truths
• Omnipotence, has all powers compatible with maximal greatness
• Omnibenevolence, is morally perfect
• Necessary existence, cannot fail to exist (exists in every possible world)

The fourth property is the load-bearing one. It distinguishes the modal version from the classical Anselmian version (which treated necessary existence as a great-making property of the first three; see Perfection Argument) and bypasses Kant's "existence is not a predicate" objection by treating necessary existence as a modal property of maximal greatness, not as a free-standing existence-predicate.

P1, It is possible that a maximally great being exists

Affirmative case (second-order arguments)

1. Conceptual coherence. The concept of an MGB is not contradictory in the way "married bachelor" or "round square" is. Each of the omni-attributes can be coherently characterized; they cohere with each other (perfect knowledge implies perfect wisdom; perfect goodness implies perfect justice and mercy in harmony). The burden falls on the atheist to show specific incoherence, which has not been successfully done. (Plantinga, The Nature of Necessity, 1974; Yujin Nagasawa, Maximal God, 2017.)
2. Wide reflective intelligibility. Across diverse cultures and philosophical traditions, the concept of a maximally great being has been entertained and developed, Greek philosophy (Plato's Form of the Good; Aristotle's Prime Mover; Plotinus's One), classical Jewish theology (Maimonides), Islamic philosophy (Avicenna, Al-Ghazali), Christian theology (Augustine, Aquinas, Anselm), and contemporary analytic philosophy of religion. Wide intelligibility is defeasible evidence of conceptual coherence.
3. The asymmetry of modal proof. Establishing that something is possible is generally easier than establishing that it is impossible. To show impossibility, one must derive a contradiction from the concept; to show possibility, it suffices to provide a coherent characterization. The MGB has a coherent characterization (the omni-attributes); no contradiction has been derived. Therefore the modal default favors possibility. (Plantinga; Joshua Rasmussen, How Reason Can Lead to God, 2019.)

Anticipated objections

1. "Possibility of MGB is equivalent to MGB's necessity, so claiming possibility begs the question." Van Inwagen, Oppy. If "possibly necessary" entails "necessary" (S5), then granting the possibility premise is dialectically equivalent to granting the conclusion.
2. "Conceptual coherence does not entail metaphysical possibility." Coherent description is necessary but not sufficient for genuine modal possibility.
3. "The omni-attributes generate paradoxes, so the MGB concept is incoherent." Stone-too-heavy, free-will-vs-omniscience, omnipotence-vs-omnibenevolence (problem of evil).

Rebuttals

1. Plantinga concedes the dialectical point but recasts the argument's purpose. Plantinga grants that an opponent who already denies God's existence will (by S5) also deny the possibility of an MGB; the argument therefore does not prove God to a hostile interlocutor. But it shows: (a) belief in God is rational if the possibility premise is rational, and (b) the atheist now bears the burden of arguing for the impossibility of an MGB, a much heavier task than denying mere existence. The argument's value is partly defensive (showing theism is internally coherent) and partly burden-shifting (forcing the atheist into proving impossibility). The "begs the question" charge is a feature of the modal logic, not a defect of the argument. Failure-mode: confusing dialectical asymmetry with logical defect.
2. Conceptual coherence is the best evidence we have for metaphysical possibility, absent specific defeaters. The standard practice in modal epistemology (Yablo, Chalmers, Hawthorne) is to treat conceivability as defeasible evidence of possibility. The objection would invalidate not just the MOA but most modal claims in metaphysics, mathematics, and science. The proper move is to ask whether there are specific defeaters of the MGB's possibility, and there aren't (see #3). Failure-mode: over-broad skepticism about modal epistemology.
3. The omni-paradoxes have been answered. Stone-too-heavy: a self-contradictory description has no referent; God can do anything that is doable. Free-will-vs-omniscience: B-theory of time, Molinism, and simple-foreknowledge views all dissolve the conflict. Omnipotence-vs-omnibenevolence: handled by Plantinga's Free Will Defense 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; failure to engage classical-theist clarifications.

Live-cite kit

• Scripture: Exodus 3:14 ("I AM"); Psalm 90:2; Psalm 145:3; Isaiah 40:18; Hebrews 13:8; Revelation 1:8
• Scholarly: Alvin Plantinga (The Nature of Necessity, 1974, ch. 10; God, Freedom, and Evil, 1974, Part II); Charles Hartshorne (The Logic of Perfection, 1962); Norman Malcolm ("Anselm's Ontological Arguments," Philosophical Review, 1960); Yujin Nagasawa (Maximal God, 2017); Joshua Rasmussen (How Reason Can Lead to God, 2019); Robert M. Adams ("The Logical Structure of Anselm's Arguments," Philosophical Review, 1971); Brian Leftow (God and Necessity, 2012)
• Aphorism: "If God's existence is even possible, He exists. The atheist must prove the impossible, that the greatest possible being is impossible."

Tactical notes

• This is the only contested premise. P2-P5 are formal modal logic; do not let the opponent fight on those grounds.
• The dialectical-asymmetry move (Plantinga's "rational to accept" framing) is the right framing for live debate. Don't oversell the argument as a knockdown proof; sell it as burden-shifting.
• Force-commit move: "Are you claiming that a maximally great being is impossible, i.e., that the concept entails contradiction? If so, derive the contradiction. If not, you've granted the possibility premise."
• The omni-paradoxes are the most common deflection. Have the failure-modes ready (especially "doable things" for stone-too-heavy and Molinism for foreknowledge) but don't rabbit-hole, defer to God is Impossible Paradox Cluster.
• Do NOT defend the conceivability-implies-possibility principle in full generality. Defend it as the default in modal epistemology, defeasible by specific incoherence arguments.

P2, If it is possible that an MGB exists, then an MGB exists in some possible world

Affirmative case (second-order arguments)

1. Definitional / standard modal semantics. "Possibly P" in standard modal semantics (Kripke) just means "P is true in some possible world." So if an MGB is possible, by definition an MGB exists in some possible world. The premise is analytic given the modal semantics.
2. Independent of S5. This premise holds in every standard modal logic system (T, S4, S5). It is not where the dispute lies.

Anticipated objections

1. "Possible-worlds semantics is a mathematical abstraction, not metaphysics." Lewisian modal-realism vs. ersatzism dispute.

Rebuttals

1. The argument doesn't require Lewisian modal realism. Possible-worlds semantics is interpretation-neutral on the metaphysical status of worlds. Whether worlds are concrete (Lewis), abstract (Plantinga, Stalnaker), or mere semantic devices (Kripke), the inference "possibly P → in some world P" holds. The objection misidentifies the argument's commitments. Failure-mode: importing Lewisian metaphysics where it isn't required.

Live-cite kit

• Scholarly: Saul Kripke (Naming and Necessity, 1980); Robert Stalnaker (Inquiry, 1984); David Lewis (On the Plurality of Worlds, 1986); Plantinga (The Nature of Necessity, 1974)
• Aphorism: "If it's possible, then somewhere in modal space, it's actual."

Tactical notes

• Don't get drawn into possible-worlds metaphysics. The premise is uncontroversial in standard modal semantics; defer interpretive disputes.

P3, If an MGB exists in some possible world, then it exists in every possible world

Affirmative case (second-order arguments)

1. The Brouwerian / S5 axiom: ◇□P → □P. The S5 axiom system (the standard modal logic for metaphysical possibility) includes the principle: if it is possibly necessary that P, then P is necessary. Maximal greatness includes necessary existence (existence in every possible world); so if an MGB exists in some possible world, then in that world it has necessary existence, i.e., it exists in every possible world. The principle ◇□P → □P delivers the conclusion.
2. The definitional content of maximal greatness. Maximal greatness includes necessary existence by stipulation. If an MGB exists in some possible world without necessary existence, it isn't maximally great in that world. So the only consistent way an MGB exists in some possible world is if it has necessary existence in that world, which means existing in every possible world.

Anticipated objections

1. "S5 is not the right modal logic, use S4 or T instead." The argument depends on a specific modal-logic choice that is not forced.
2. "Necessary existence is not a coherent property." Quinean / nominalist objection.

Rebuttals

1. S5 is the standard logic for metaphysical (broadly logical) possibility. Other modal logics (T, S4) capture other modalities (epistemic, deontic, physical). For metaphysical possibility, the modality at issue in the argument, S5 is widely accepted as correct (Plantinga, Williamson, Kment). The objection conflates different modalities. Failure-mode: modality conflation.
2. De re modal claims are coherent and standard in modal logic. Quine's nominalism is a minority position; Kripke, Plantinga, Lewis, Lowe all deploy de re necessity. The objection conflates de dicto with de re necessity. Failure-mode: equivocating de re and de dicto necessity. (See Necessary vs Contingent Being.)

Live-cite kit

• Scholarly: C. I. Lewis & Cooper Langford (Symbolic Logic, 1932), S5 system; Saul Kripke (Naming and Necessity, 1980); Timothy Williamson (Modal Logic as Metaphysics, 2013); Boris Kment (Modality and Explanatory Reasoning, 2014); Plantinga (The Nature of Necessity, 1974, ch. 10)
• Aphorism: "Necessity in one possible world is necessity in every possible world, that's just what 'necessary' means."

Tactical notes

• The S5 dispute is a sophisticated philosopher's move. Most opponents won't raise it; if they do, cite Williamson and Kment.
• Don't get drawn into the de re / de dicto distinction unless the opponent raises it. If they do, the standard reply is: maximal greatness is a de re property of the MGB (it characterizes the being itself, not just propositions about it), and de re modal properties are standard.

P4, If an MGB exists in every possible world, then it exists in the actual world

Affirmative case (second-order arguments)

1. The actual world is one of the possible worlds. This is uncontroversial in standard modal semantics. Whatever exists in every possible world exists in the actual world (which is among the possible worlds).

Anticipated objections

1. None substantive, the premise is definitionally entailed by P3 and standard modal semantics.

Live-cite kit

• Aphorism: "The actual world is just one of the possible ones, and an MGB is in all of them."

Tactical notes

• Don't waste live-debate time defending this premise. It follows trivially.

Master objections to the whole argument

1. The reverse ontological argument (parody). "It is possible that an MGB does not exist; therefore by parallel reasoning, an MGB does not exist in any possible world; therefore an MGB does not exist."

Reply: the parody fails because the modal logic of necessary existence is asymmetric. If an MGB exists in some possible world, by S5 it exists in all (since it has necessary existence). If an MGB fails to exist in some possible world, that doesn't entail it fails to exist in all, non-existence in one world is consistent with existence in another (for contingent beings). The asymmetry comes from the necessary-existence property in maximal greatness, which has no parallel in non-existence. Failure-mode: ignoring the modal asymmetry of necessary existence.

2. Maximally evil being parody. "By parallel construction, a maximally evil being is possible, hence necessary, hence actual."

Reply: "maximally evil" is internally incoherent. Necessary existence is a great-making property (P2 of the Perfection Argument), not an evil-making one. A maximally evil being would have to lack necessary existence (since possessing it is a perfection, not an imperfection). So the parody doesn't get off the ground. (Aquinas: goodness and being are convertible; Augustine: evil is privation, not substance; cf. Augustinian Privation Theory of Evil (pending).) Failure-mode: misclassifying necessary existence as morally neutral.

3. Maximally great pizza / island parody (Gaunilo-style). "By parallel reasoning, a maximally great pizza exists necessarily."

Reply: parodies fail because "maximal greatness" applies to beings (in the metaphysical sense), not to artifacts or contingent kinds. Beings have intrinsic maxima (omniscience is the maximum of knowledge; omnipotence the maximum of power); pizzas, islands, and other contingent kinds do not (there is no "maximum number of pepperonis" that defines pizza-perfection). The intrinsic-maxima requirement is built into the concept of maximal greatness, and only divinity has it. (Anselm's reply to Gaunilo, still definitive.) Failure-mode: ignoring the intrinsic-maxima requirement.

4. "Mackie's reductio: if MOA is sound, then by similar reasoning many absurd entities are necessary." Mackie (The Miracle of Theism, 1982) argues the modal move proves too much.

Reply: Mackie's specific reductio examples each fail to satisfy the intrinsic-maxima or maximal-greatness requirement when examined carefully. Plantinga responded directly (The Nature of Necessity, 1974); Adams reinforced (The Virtue of Faith, 1987). The reductio doesn't run. Failure-mode: insufficient specification of the parody candidate.

5. Brute possibility objection. "Possibility could be brute / not have a deeper grounding."

Reply: even granting brute possibility, the argument runs. The premise is possibly MGB exists, however that possibility is grounded. The objection is orthogonal to the inference structure.

Tactical opening / closing

Opening line: "Let me run a modal-logic argument: if a maximally great being is even possible, then by the modal logic of necessity, He exists in every possible world, including this one. The whole argument turns on whether the concept of God is coherent. Want to test it?"

Closing landing strip: "I'm not claiming the MOA forces belief, Plantinga himself doesn't. I'm claiming it shifts the burden: the atheist must prove not just that God doesn't exist, but that the very concept of God is impossible. That's a much heavier burden than denying mere existence. Where's the contradiction in the concept?"

Connection to Scripture

The classical attributes of God grounded in the argument, necessity, simplicity, aseity, perfection, have biblical roots:

• Exodus 3.14, divine aseity ("I AM WHO I AM")
• 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"
• Hebrews 13:8, Christ "the same yesterday, today, and forever"
• Revelation 1:8, "the Alpha and the Omega"
• Isaiah 40:18, "to whom then will you liken God?"

Patristic / scholarly note

Classical / patristic / medieval:

• Anselm (Proslogion, 1078), original ontological argument; Reply to Gaunilo
• Aquinas (ST I.2.1, ad 2), initially rejected the ontological argument as making God's existence self-evident in itself but not to us; preferred cosmological arguments
• Bonaventure, sympathetic engagement
• Duns Scotus, modifies and develops in the direction of modal-perfection arguments
• Descartes (Meditation V, 1641), revives in non-modal form
• Leibniz (Monadology §44-45), supplies a refined version that prefigures the modal recovery

Modern critics:

• Gaunilo (On Behalf of the Fool, 11th c.), perfect-island parody
• Kant (Critique of Pure Reason, 1781), existence-is-not-a-predicate (bypassed by modal recovery)
• Bertrand Russell, Frege-Russell quantifier objection
• J. L. Mackie (The Miracle of Theism, 1982), comprehensive atheist treatment
• Peter van Inwagen, 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 (The Nature of Necessity, 1974, ch. 10; God, Freedom, and Evil, 1974), the canonical contemporary treatment
• Robert M. Adams ("The Logical Structure of Anselm's Arguments," Philosophical Review, 1971; The Virtue of Faith, 1987)
• Yujin Nagasawa (Maximal God, 2017), most extended contemporary defense
• Brian Leftow (God and Necessity, 2012)
• Joshua Rasmussen (How Reason Can Lead to God, 2019), accessible modal-style argument
• Edward Feser (Five Proofs, 2017), broader treatment of perfect-being theology
• Jeff Speaks (The Greatest Possible Being, 2018), sophisticated critique that has reopened debate

See also

• Ontological Arguments, parent concept hub
• Perfection Argument, classical Anselmian sister argument
• Necessary vs Contingent Being, modal-distinction concept
• Modal Logic, S5 framework
• Necessary Being is an Intelligent Mind, uses cosmological route to necessary being
• Kalam Cosmological Argument, independent route
• Contingency Argument, independent route
• Aquinas Five Ways, esp. Way 4 (degrees of perfection)
• Divine Simplicity, classical-theist anchor
• God is Impossible Paradox Cluster, answers omni-paradox objections to P1
• Plantinga's Free Will Defense, answers problem-of-evil objection to P1
• Anselm (entity, pending)
• Alvin Plantinga (entity, pending)
• Transcendental Argument for God
• Reductio ad Absurdum (pending)
• Christian God is the Only True God, comparative cumulative case (P2)
• Arguments, master index

Connection to codex concepts (added 2026-04-28 bulk extraction)

• Ontological Arguments, listed first among the major ontological-argument syllogisms; Plantinga's S5 modal reformulation
• Modal Logic, the paradigm apologetic use of S5; ◇MGB → ◻MGB → MGB inference
• Necessary vs Contingent Being, uses necessary existence as a great-making property
• Cosmological Arguments, Teleological Arguments, listed as the companion natural-theology family
• Critical Thinking Christian Framework, referenced in ris3n's notes as part of the apologetic toolkit
• Anthropic Principle, adjacent natural-theology strand
• Naturalism, primary alternative the argument addresses
• Presuppositionalism, overlaps via necessary-being grounding (ris3n's note treats it presuppositionally)
• Deductive Reasoning, paradigm modal-deductive form (S5)
• Molinism, middle knowledge depends on counterfactuals across possible worlds (modal-logical adjacency)
• Rationalism, the a priori / concept-of-God starting point makes this a paradigm Christian-rationalist argument