# Quinean Rejection of Modal Logic Objection Defeater ## Intro A philosophically-trained skeptic sometimes answers the Modal Ontological Argument not by disputing a premise but by rejecting the whole toolkit: *"Modal logic itself is suspect. Following Quine, talk of what is 'necessary' or 'possible' about a thing (de re modality) is confused, essentialism is unintelligible, and 'possible worlds' are not real entities, at best they are just state-descriptions, consistent sets of sentences. So an argument that runs on necessity, essential properties, and possible worlds never gets off the ground."* This is a more sophisticated move than the usual objections, and it deserves respect. Willard Van Orman Quine really did argue, across several classic papers, that quantified modal logic commits you to a dubious Aristotelian essentialism and should be abandoned. If he was right, the Modal Ontological Argument, and a good deal of possible-world talk in philosophy of religion, loses its footing. But three things defuse it. First, Quine's rejection is a **minority, revisionary position**, not a neutral default. To reject modal logic you must also give up ordinary, indispensable talk of dispositions, laws of nature, causation, counterfactuals, and even validity itself, which is why most philosophers did not follow him. Second, **Saul Kripke answered Quine**: he gave modal logic a rigorous semantics and rehabilitated de re necessity and essentialism, and that rehabilitation, not Quine's rejection, became the mainstream. Third, even if you **grant** the deflationary "possible worlds are just state-descriptions" reading, the modal argument does not die; the whole contest simply relocates to one place, the possibility premise, which is exactly where the real debate belongs. And there is a sting in the tail: Quine's program, pressed consistently, destabilizes the necessity of logic itself, which folds back into the argument that logic is better grounded in God than in a world of matter in motion. ## In full Defeater for the objection: *"The Modal Ontological Argument, and possible-world reasoning generally, presuppose quantified modal logic, de re modal properties (a thing's having necessity essentially, not just under a description), and possible worlds as a semantic apparatus. W. V. O. Quine showed that quantifying into modal contexts requires an unintelligible Aristotelian essentialism ('Reference and Modality'; 'Three Grades of Modal Involvement'), that modal contexts are referentially opaque and fail the substitutivity of identicals, and that the analytic/synthetic distinction on which necessity-as-analyticity rested is itself untenable ('Two Dogmas of Empiricism'). Possible worlds are not real entities; at most they are Carnapian state-descriptions, consistent linguistic constructs. Therefore the modal apparatus is confused, and any theistic argument built on it fails before it begins."* The objection is **strong in a way most are not**: it does not merely deny a premise, it challenges the intelligibility of the whole framework, and it invokes a genuinely great logician who genuinely held the view. Quine's referential-opacity point is real (in "9 = the number of the planets," "necessarily 9 is greater than 7" is true while "necessarily the number of the planets is greater than 7" is false, so identity-substitution fails inside modal contexts), and his math-cyclist example (a cyclist is necessarily two-legged but contingently rational; a mathematician the reverse; so the necessity seems to attach to the *description*, not the object) is a serious challenge to de re modality. The defeat structure is **five-pronged**. (1) **Minority-position exposure**: Quine's anti-modalism is a revisionary program with enormous collateral cost (it discards dispositions, natural laws, causation, counterfactuals, and validity), so it is not a neutral starting point but a heavy commitment the objector must defend. (2) **Kripke's rehabilitation**: Saul Kripke supplied a rigorous model-theoretic semantics for quantified modal logic and, in *Naming and Necessity*, restored de re necessity via rigid designation, the necessity of identity, and a posteriori necessity, and this became the mainstream, not Quine's rejection. (3) **Deflationary-concession judo**: even granting "possible worlds are just state-descriptions," the modal argument survives, because on the ersatz reading "possibly a maximally great being exists" simply means "some maximal consistent description includes one," which relocates the entire fight to the possibility premise rather than defeating it. (4) **Non-hostage**: the theist is not dependent on modal logic; the cumulative case (contingency, moral, teleological, and the abductive resurrection case) stands even if the Modal Ontological Argument is set aside. (5) **Transcendental turnabout**: Quine's rejection of analyticity and his extensionalism destabilize the necessity and universality of logic itself (validity is a modal notion), so the atheist who wields Quine to kill the modal argument risks undercutting the very laws of logic the debate presupposes, which supports rather than defeats the theistic conclusion. A **burden-rebalancing observation** frames all five: the objection is often presented as though rejecting modal logic were the cautious, hard-headed, default-empiricist stance and modal metaphysics the extravagant one. The actual dialectical situation is the reverse. Ordinary reasoning, science, and mathematics are saturated with modality; it is Quine's thoroughgoing extensionalism that is the radical, revisionary, and minority program. Once that is seen, the objector is not defending common sense against theistic excess; he is defending a contested and costly philosophical system, and he owes its defense. ## Cheatsheet **The 30-second reply:** > Quine did reject modal logic, but that is a minority, bullet-biting position, not a neutral default. To reject it you also have to give up dispositions, laws of nature, causation, counterfactuals, and even validity, since "valid" just means "necessarily truth-preserving." That is why the profession followed Kripke, not Quine: Kripke gave modal logic a rigorous semantics and rehabilitated de re necessity, and that is the mainstream now. And even if I grant you that possible worlds are only state-descriptions, the modal argument does not die, it just relocates to the one real question, whether a maximally great being is genuinely possible. You have not refuted the argument, you have moved the fight to exactly where it always belonged. **The 5 fast facts:** 1. **Quine's anti-modalism is a minority, revisionary program.** Rejecting modal logic costs you dispositions, natural laws, causation, counterfactuals, and validity itself. Most philosophers declined to pay it. 2. **Kripke answered Quine and won the mainstream.** A rigorous possible-world semantics for quantified modal logic, plus the rehabilitation of essentialism via rigid designators and a posteriori necessity ("water is H2O"). De re modality is now standard. 3. **De re versus de dicto is the key distinction.** Quine's opacity examples target *de dicto* readings and description-relative necessity; the maximally great being's necessary existence is a *de re* property of the being itself. The objection often equivocates between the two. 4. **"Worlds are state-descriptions" concedes nothing decisive.** On Carnap's ersatz reading, "possibly a maximally great being exists" just means "some maximal consistent description includes one." That relocates the debate to the possibility premise; it does not settle it. 5. **The turnabout.** Quine's rejection of analyticity destabilizes the necessity of logic itself. Validity is modal. The atheist who kills modality may saw off the branch the debate sits on. **The 3 strongest counter-moves:** - *"Name the cost."* Make the objector state what *else* goes when modal logic goes (laws, dispositions, counterfactuals, validity). The bill is enormous, and it exposes the position as revisionary, not neutral. - *"De re or de dicto?"* Force the distinction. Quine's opacity cases are description-relative; necessary existence is a de re property of the being. Make him show the *de re* reading is incoherent, not just the de dicto one. - *"I will grant you state-descriptions."* Concede the deflationary metaphysics and watch the whole objection collapse into the possibility premise, which is defensible on independent grounds (wide cross-traditional intelligibility of the maximally-great-being concept). **Concessions to make freely (each collects a larger one):** - Yes, Quine genuinely rejected quantified modal logic, and he was a great logician. Concede it. In exchange the objector must concede that Kripke, Plantinga, Marcus, Lewis, and the post-1960s mainstream rejected *Quine's* rejection, so citing Quine is citing a live minority, not settled consensus. - Yes, modal contexts are referentially opaque (identity-substitution fails inside them). Concede it. In exchange the objector must concede that opacity is a feature the Kripkean semantics *handles*, via rigid designation, rather than a refutation of modality. - Yes, possible worlds need not be concrete Lewisian entities. Concede it happily. In exchange the objector must concede that the argument never needed them to be, so deflating worlds to state-descriptions does not touch the argument's structure. - Yes, the Modal Ontological Argument is not a knockdown proof; its possibility premise is symmetric and it establishes rational acceptability rather than compulsion. Concede it. It was always so, independent of Quine, so Quine adds no new defeat. **What NOT to defend:** - Do not defend Lewisian concrete modal realism; the argument does not need it, and it is a costly, separable thesis. - Do not claim Quine was simply confused; he was not, and saying so forfeits credibility. Say he was answered. - Do not tie the entire theistic case to the Modal Ontological Argument; it is one argument among many. - Do not insist necessity reduces to analyticity; Kripke severed that link, and a posteriori necessity is the better view. **The closing line:** > *"You reached for Quine to reject modal logic. But Quine's price is the whole modal furniture of ordinary thought, laws, causes, counterfactuals, and validity itself, and the discipline paid Kripke's price instead, which keeps all of it. Grant me even your deflated 'worlds are just descriptions,' and the argument still stands; you have only moved the question to whether a greatest possible being is possible. That is the right question. Let us have it."* ## Argument structure | | Premise | Notes | |---|---|---| | **P1** | **Quine's rejection of modal logic is a minority, revisionary program, not a neutral default.** Quine's anti-modalism ("Reference and Modality," "Three Grades of Modal Involvement," *Word and Object*) is a thoroughgoing extensionalism that treats modal operators as illegitimate. But modality is woven through ordinary and scientific reasoning: dispositions ("soluble," "fragile"), laws of nature (which support counterfactuals), causation, counterfactual conditionals, and, decisively, **logical validity itself**, which is defined as *necessary* truth-preservation. To reject modal logic wholesale is to owe a revisionary account of all of these. Most philosophers judged the cost too high, which is why quantified modal logic became standard rather than abandoned. The objector is therefore not occupying a cautious default; he is defending a costly and contested system, and the burden of that defense is his. | Minority-position exposure / burden-rebalancing | | **P2** | **Kripke rehabilitated de re modality and gave modal logic a rigorous semantics; that, not Quine's rejection, is the mainstream.** Saul Kripke's model-theoretic semantics (a set of worlds, an accessibility relation, a valuation) gave quantified modal logic a precise and consistent interpretation, answering the charge that it was unintelligible. In *Naming and Necessity* he rehabilitated de re necessity and essentialism through **rigid designators** (a name picks out the same object in every world in which it exists), the **necessity of identity**, and the category of **a posteriori necessity** ("water is H2O"; "Hesperus is Phosphorus" are necessary though discovered empirically). Essential properties (origin, kind, identity) proved commonsensical rather than "invidious." Ruth Barcan Marcus had already defended quantified modal logic formally against Quine. The upshot: de re modality is now textbook, and Quine's rejection is the position that lost the mainstream. | Kripkean rehabilitation | | **P3** | **Even granting "possible worlds are only state-descriptions," the modal argument survives; the contest relocates to the possibility premise.** The metaphysics of possible worlds is genuinely open: David Lewis's concrete modal realism at one end, Carnap's linguistic state-descriptions (a maximal consistent set of atomic sentences) at the other, with Plantinga's and Adams's abstract actualist ersatz worlds (maximal states of affairs, maximal consistent propositions) in between. The Modal Ontological Argument needs *none* of these to be concrete; it works on any ersatz reading. On the state-description construal, "possibly a maximally great being exists" simply means "there is a maximal consistent description that includes a maximally great being." That does not refute the argument; it **relocates** it onto the possibility premise, is the concept of a maximally great being genuinely consistent? which is precisely where the substantive debate already lay (Gaunilo-style parody, the symmetric "possibly there is no such being"). Deflating the worlds moves the battlefield; it does not win the battle. | Deflationary-concession judo | | **P4** | **The theist is not hostage to modal logic; the cumulative case survives without the Modal Ontological Argument.** The modal argument is one line among many. The [Contingency Argument](/codex/contingency-argument/) (in its Leibnizian, explanation-based form), the moral argument, the teleological and fine-tuning arguments, and the abductive historical case for the resurrection do not stand or fall with quantified modal logic. If a determined Quinean simply refuses all modal reasoning, the theist can set the Modal Ontological Argument aside and press the rest, and the Quinean has purchased that refusal at the P1 cost of gutting his own modal vocabulary. The objection, even at maximum strength, removes one arrow, not the quiver. | Non-hostage / cumulative-case | | **P5** | **Turnabout: Quine's program destabilizes the necessity of logic itself, which supports the theistic conclusion.** Quine's rejection of the analytic/synthetic distinction ("Two Dogmas") and his web-of-belief holism make even the laws of logic in principle revisable and deny them a distinctive necessary status. But the laws of logic are used, as necessary and universal, in the very act of debating, and validity, the currency of all argument, is itself a modal notion. A consistent Quinean naturalism therefore struggles to ground the necessity and universality of logic that reasoning presupposes. This is the transcendental point ([Syllogisms for Logic Itself](/codex/syllogisms-for-logic-itself/), [Laws of Logic](/codex/laws-of-logic/)): necessary, universal, immaterial laws sit naturally in a worldview grounded in a necessary, universal, immaterial mind, and awkwardly in a world of contingent matter. The atheist who wields Quine to destroy modality risks sawing off the branch the debate sits on, which is evidence for, not against, the theistic frame. | Transcendental reductio / turnabout | | **Surprise** | **The deflationary move helps the theist.** The objector offers "worlds are only state-descriptions" as a *deflation* meant to trivialize modal talk. But once modality is read as consistency of maximal descriptions, the whole question becomes whether the description "there exists a maximally great being" is consistent, and here the theist has positive, defeasible evidence: the concept of a maximally great being has been entertained and developed across Greek philosophy, classical Jewish and Islamic theology, and analytic philosophy of religion (Plato, Aristotle, Plotinus, Maimonides, Avicenna, Anselm, Aquinas), which is *wide intelligibility*, a defeasible sign of coherence. The burden then shifts to the objector to exhibit a hidden contradiction in the concept, which is exactly the Gaunilo-parody project that has repeatedly failed to find a stable one. The deflation the objector meant as a solvent turns into a spotlight on the possibility premise, where the theist is comfortable standing. | Burden-shift / concept-coherence | | **C** | The Quinean objection requires (a) treating a costly, revisionary, minority extensionalism as if it were the neutral default, against the modality saturating ordinary and scientific reasoning; (b) ignoring Kripke's mainstream rehabilitation of de re necessity and quantified modal logic; (c) equivocating between de dicto and description-relative necessity (where Quine's opacity cases bite) and de re necessity (which the argument uses and which survives); (d) assuming that deflating possible worlds to state-descriptions defeats the argument, when it only relocates it to the possibility premise; (e) not noticing that the same anti-modal program destabilizes the necessity of logic the debate itself presupposes. Each condition fails. **Quine was answered, not vindicated; de re modality is standard; the worlds can be as cheap as you like; the theist is not hostage to the modal argument anyway; and the anti-modal program turns on its user.** The modal apparatus, and the Modal Ontological Argument built on it, remain rationally available, with the real question rightly located at the possibility premise. | | ## Master objections to the whole argument **MO1: "You are just appealing to majority opinion. 'Kripke won the mainstream' is a popularity contest, not an argument. Quine's technical objections about referential opacity and essentialism were never actually answered, philosophers just found modal logic convenient and moved on."** - The appeal is not to popularity but to the *resolution* of Quine's specific technical challenges. Opacity was not ignored; it was *diagnosed and handled*: Kripke's rigid-designation semantics explains exactly why identity-substitution fails inside modal contexts (non-rigid designators like "the number of the planets" pick out different objects in different worlds, while rigid designators like "9" do not), which turns Quine's puzzle from a refutation into a predicted feature of the semantics. Essentialism was not waved away but *defended*: Kripke and Plantinga argued that origin, kind, and identity are essential properties on independent, commonsensical grounds, and the necessity of identity is a theorem, not a convenience. The mainstream shifted *because* the objections were met, not in spite of their standing. The objector is welcome to reopen the technical case, but he must engage the Kripkean answers, not simply assert they never came. **MO2: "Kripke's semantics is circular. It 'explains' necessity by quantifying over possible worlds, but possible worlds are just necessity and possibility in disguise. You have defined the modal in terms of the modal and called it progress."** - Two replies. (a) The circularity charge, if it worked, would prove too much: *every* fundamental notion is explicated in terms of a small circle of equally fundamental notions (truth, reference, set-membership, part-whole), and semantics for extensional logic is no less "circular" in that sense (it explains truth in terms of satisfaction and domains). A semantics need not be *reductive* to be *illuminating*; Kripke's frames give precise, fruitful, formally tractable truth-conditions that settle validity questions, which is what a semantics is for. (b) For those who *want* reduction, the ersatz programs (Carnap's state-descriptions, Adams's consistent propositions, combinatorial theories) attempt to build worlds from non-modal or less-modal materials. Whether any fully succeeds is contested, but the argument does not need reduction; it needs the apparatus to be intelligible and truth-evaluable, which the Kripkean semantics delivers. "Not reductive" is not "not intelligible." **MO3: "Granting your state-description move, you have admitted the whole thing is just about the consistency of a set of sentences. But consistency is cheap and formal; it tells us nothing about what actually exists. 'There is a consistent description of a maximally great being' does not make one real."** - Correct, and the argument does not claim otherwise at that step; this is the argument working as designed, not failing. The Modal Ontological Argument's structure is: *if* a maximally great being is possible (there is such a consistent maximal description), and *if* maximal greatness includes necessary existence, then by the characteristic S5 principle the being exists in the actual world. The state-description reading supplies the meaning of the possibility premise; the *inference* from possible necessary existence to actual existence is what moves from consistency to actuality, and it does so validly given S5. So the objector's "consistency is not existence" is true for possibilities in general but *not* for the special case of a being whose essence includes necessary existence, which is the entire point of the argument. To block it he must deny the possibility premise (show the concept inconsistent) or reject S5, not merely observe that consistency is usually inert. **MO4: "S5 is exactly the problem. The characteristic S5 axiom is question-begging in this context: it lets you go from 'possibly necessarily p' to 'p,' which is precisely the disputed move. Why should anyone grant S5 for existence claims about God?"** - S5 is not an ad hoc device smuggled in for theism; it is the standard modal logic for **broadly logical (metaphysical) necessity**, motivated independently by the thought that what is possible or necessary does not itself vary from world to world (if something is possible, it is not a contingent accident of our world that it is possible). Most philosophers who work on metaphysical modality accept S5 for that reason, entirely apart from any theological application. Granting S5 is therefore not granting the conclusion; it is adopting the mainstream logic of metaphysical necessity, within which the argument is valid. The live question remains the *possibility premise*, not S5. And if the objector rejects S5 for metaphysical modality, he owes an account of why metaphysical possibility should be world-relative, which is a steep and independent commitment. **MO5: "Quine's deeper point in 'Two Dogmas' still stands: there is no defensible analytic/synthetic distinction, so there is no clean notion of necessity for your argument to use. Necessity was always parasitic on analyticity, and you have no replacement."** - This inverts the post-Kripke situation. Kripke's central achievement was precisely to **decouple necessity from analyticity and apriority**: "water is H2O" is necessary but a posteriori and (arguably) synthetic; "the standard meter is one meter long" is (on one reading) contingent but a priori. Metaphysical necessity is a *worldly*, de re notion, not a linguistic one, so it does not require the analytic/synthetic distinction Quine attacked. "Two Dogmas" was aimed at necessity-as-analyticity, the C. I. Lewis conception; it does not touch metaphysical necessity as Kripke reconceived it. The objector is fighting the previous war. Even granting that the analytic/synthetic distinction is blurry at the edges, the necessity the argument uses is not built from it. **MO6: "This is all a distraction. You concede the Modal Ontological Argument is not a proof and that the possibility premise is symmetric, that the atheist can equally run 'possibly there is no maximally great being, therefore necessarily there is none.' So the argument is dialectically inert, and Quine or no Quine, it proves nothing."** - The symmetry is real and conceded, and it means the argument does not *compel* the committed atheist; that has been acknowledged since Plantinga. But "does not compel" is not "inert." The argument shows that theism is **rationally acceptable** and that the debate turns entirely on which possibility premise is better supported, and here the considerations are not symmetric: the maximally-great-being concept has wide cross-traditional intelligibility and no demonstrated internal contradiction, while the "no maximally great being is possible" premise requires showing the concept incoherent, which the parody tradition has not achieved. So the argument does real work: it reframes the burden and locates the crux. Moreover, this whole point is *independent of Quine*; it means the Quinean objection adds nothing to the argument's known modesty. The Quinean cannot both say "the argument was already inert" and "Quine defeats it"; if it was inert, there was nothing for Quine to defeat, and if Quine defeats it, it was not inert. **MO7: "Your turnabout in P5 is a cheap 'you can't ground logic' move. Logic does not need grounding in God; it is just the rules of language, or brute, or evolved. You have smuggled presuppositionalism into a technical dispute about modal logic."** - The turnabout is offered as a *consequence* of the Quinean's own commitments, not as a freestanding presuppositional demand. The point is internal: *Quine himself* made logic revisable and denied it distinctive necessity, and *the objector* is invoking Quine. So the objector, by his own chosen authority, cannot help himself to necessary, universal logical laws, yet his objection (and every argument he makes) treats validity, a modal notion, as binding. That is an internal tension in the Quinean position, surfaced by pressing it, not an external theological premise imposed on it. Whether logic ultimately needs God is argued elsewhere ([Syllogisms for Logic Itself](/codex/syllogisms-for-logic-itself/)); here the modest claim is only that the anti-modal program cannot consistently fund the modality of logic it relies on, which neutralizes the objection from the inside. ## Premise 1, Rejecting modal logic is revisionary, not neutral ### Affirmative case 1. **Modality pervades ordinary and scientific discourse.** Dispositional properties ("soluble," "fragile," "toxic") are modal (they concern what *would* happen under conditions that may not obtain). Laws of nature are standardly distinguished from accidental regularities precisely by their support of counterfactuals (a law says the sugar *would* dissolve). Causation, on most analyses, involves counterfactual dependence. To reject modal logic is to owe a revisionary treatment of all of this. 2. **Validity is itself modal.** An argument is valid when it is *not possible* for the premises to be true and the conclusion false. Every appeal to "valid" or "invalid," including the objector's, is an appeal to a modal notion. A thoroughgoing rejection of modality therefore threatens the vocabulary of logical appraisal the debate is conducted in. 3. **Quine's own alternative is austere and contested.** Quine's remedy was a first-order extensional logic plus a naturalized epistemology, handling "necessity" at most as a semantic predicate of sentences (his tolerable "grade 1"), never as a de re operator. This is a coherent program, but a demanding one that most philosophers found more costly than the modality it was meant to avoid. 4. **The historical verdict.** After the Kripke-Marcus developments of the late 1950s and 1960s, quantified modal logic became a standard part of logic and metaphysics. Quine's rejection is studied and respected, but it is a minority position, not the discipline's settled default. ### Anticipated objections 1. *"Pervasiveness is not correctness; ordinary talk is full of confusions that philosophy corrects. Modality could be one of them."* 2. *"Validity can be handled proof-theoretically, as derivability, without any modal notion of 'possibility.'"* ### Rebuttals 1. Granted that ubiquity is not proof; the argument is not "common usage, therefore true." The point is about **burden and default**: a program that must revise dispositions, laws, causation, counterfactuals, and the ordinary notion of validity is a *revisionary* program, and revisionary programs bear the burden of showing the wholesale correction is warranted and workable. That burden is the objector's, and citing Quine names the program without discharging it. 2. Proof-theoretic derivability does not eliminate the modal notion; it *models* one notion of consequence, and the *soundness* of a proof system (that it derives only truth-preserving inferences) is itself stated modally (necessarily, if the premises are true the conclusion is). Semantic validity, the target notion, is modal by definition. Proof theory relocates the modality; it does not remove it. ## Premise 2, Kripke rehabilitated de re modality ### Affirmative case 1. **A rigorous semantics.** Kripke's frames (worlds, accessibility relation, valuation) provide precise truth-conditions for modal sentences and settle which modal-logical systems (K, T, S4, S5) validate which principles. This answered the charge that quantified modal logic was formally unintelligible; it is as rigorously specified as extensional model theory. 2. **Rigid designation dissolves the opacity puzzle.** Quine's "number of the planets" case trades on a *non-rigid* designator (it names different numbers in different possible circumstances). Kripke's distinction between rigid designators (names, "9") and non-rigid descriptions ("the number of the planets") explains exactly why substitution fails for the latter inside modal contexts and succeeds for the former. The puzzle becomes a *result* of the semantics, not a refutation of it. 3. **A posteriori necessity.** Kripke showed that some necessities are known empirically ("water is H2O"; "gold has atomic number 79"; "Hesperus is Phosphorus"). This severed necessity from analyticity and apriority and gave metaphysical necessity a worldly, de re home immune to the "Two Dogmas" critique of analyticity. 4. **Essentialism defended, not assumed.** Origin ("this table could not have been made of a wholly different hunk of matter"), kind ("this tiger could not have been a number"), and identity are defended as essential properties on intuitive, argued grounds. Quine's "essentialism is invidious" charge was met with a positive account, and the necessity of identity is provable. ### Anticipated objections 1. *"Kripkean intuitions about essential origin and kind are just that, intuitions, and intuitions are not evidence."* 2. *"A posteriori necessity is itself contested; some philosophers (two-dimensionalists) reanalyze it in ways friendly to a broadly Quinean picture."* ### Rebuttals 1. Modal intuitions function in philosophy the way observations function in science: as defeasible data a theory must accommodate or explain away. They are not incorrigible, but "it is only an intuition" is not a refutation; the objector must either accommodate the intuition or give a debunking account, and the widespread, cross-culturally stable intuitions about origin and kind are strong data. Quine's own position also rests on intuitions (about the oddity of essentialism); the appeal cannot be barred on one side only. 2. Two-dimensional semantics is a *reinterpretation* of a posteriori necessity, not an elimination of modality; it multiplies modal dimensions (primary and secondary intensions) rather than removing them. Even if a two-dimensional analysis is adopted, the framework is thoroughly modal and possible-world-based, so it does not vindicate Quine's rejection; it presupposes the apparatus Quine wanted to abolish. ## Premise 3, State-descriptions relocate rather than defeat ### Affirmative case 1. **The metaphysics of worlds is a separable question.** Whether possible worlds are concrete (Lewis), abstract states of affairs (Plantinga), maximal consistent propositions (Adams), or linguistic state-descriptions (Carnap) is a debate *within* modal metaphysics, not a debate about whether modal reasoning is legitimate. The Modal Ontological Argument is neutral among the ersatz options. 2. **The argument needs only truth-evaluable modal claims.** All the argument requires is that "possibly a maximally great being exists" have a determinate truth-value and support the S5 inference. Any ersatz semantics that assigns truth-conditions to modal sentences suffices; concreteness is not required. 3. **On the state-description reading, the argument is well-defined.** "Possibly p" is true iff some maximal consistent state-description contains p. So "possibly a maximally great being exists" is true iff a maximal consistent description includes one. The argument's premises and inference are all well-formed on this reading. 4. **The crux becomes the possibility premise.** The remaining question is whether that maximal description is genuinely consistent, which is the substantive issue the serious literature (Gaunilo, Kant, Plantinga, Oppy) has always contested. The deflation of worlds does not remove this question; it *is* this question. ### Anticipated objections 1. *"Carnapian state-descriptions only capture logical (L-) truth, a narrow syntactic notion, not the rich metaphysical necessity your argument needs."* 2. *"If worlds are just linguistic constructs, then 'necessary existence' is just a word in a description and cannot reach out and make anything actual."* ### Rebuttals 1. Granted that Carnap's original state-descriptions target L-truth; the point is not to adopt Carnap's narrow notion wholesale but to show that *even the most deflationary* ersatz construal keeps the argument well-formed. Richer actualist ersatzisms (Plantinga's states of affairs, Adams's propositions) supply exactly the metaphysical modality the argument uses while remaining ontologically modest (no concrete worlds). The objector cannot both offer state-descriptions as the deflation *and* complain that deflation is too thin; the theist accepts a modestly richer ersatzism that is still not Lewisian realism. 2. The reaching-out is done by the **S5 inference on a de re necessary-existence property**, not by the linguistic status of worlds. If it is *possible* that there exists a being whose essence includes existing in every world, then that being exists in every world, including the actual one, regardless of whether "worlds" are concrete or constructed. The construal of worlds fixes the meaning of "possible"; the modal *logic* does the reaching. Deflating the worlds leaves the inference untouched. ## Premise 5, The turnabout on the necessity of logic ### Affirmative case 1. **Quine denies logic a distinctive necessary status.** "Two Dogmas" rejects the analytic/synthetic distinction, and Quinean holism makes even logical laws revisable "in principle" under sufficient recalcitrant experience. On this view the laws of logic are central nodes in the web of belief, not necessary truths. 2. **But reasoning treats logical laws as necessary and universal.** The law of non-contradiction is not used as a well-entrenched contingent generalization we might revise if the data pushed hard; it is used as an inviolable constraint on any coherent thought whatever, including the thought that it might be revised. 3. **Validity is modal.** Since the whole practice of argument depends on the notion of valid (necessarily truth-preserving) inference, a program that cannot secure the necessity of logic cannot secure the currency of argument it trades in. 4. **The theistic frame grounds what the Quinean cannot.** Necessary, universal, immaterial laws are at home in a worldview grounded in a necessary, universal, immaterial mind; they are anomalous in a world exhaustively described as contingent matter in motion. So the anti-modal naturalist program, pressed consistently, points beyond itself. See [Syllogisms for Logic Itself](/codex/syllogisms-for-logic-itself/) and [Laws of Logic](/codex/laws-of-logic/). ### Anticipated objections 1. *"Quinean revisability is 'in principle' only; in practice no one revises logic, so the necessity of logic is safe enough for ordinary use."* 2. *"Logic can be grounded in the structure of language or thought without God; the turnabout overreaches."* ### Rebuttals 1. "Safe enough in practice" concedes the point at issue: if the laws of logic are, at bottom, merely maximally-entrenched contingent commitments, then their apparent necessity is a *practical* stability, not genuine necessity, and the objector has quietly given up the very modal status ("necessarily truth-preserving") that validity requires. Either logic is genuinely necessary, in which case Quinean holism is wrong about it, or it is not, in which case the objector's own reasoning has no necessary force. Both horns favor the theist's framing. 2. Grounding logic in "the structure of language or thought" either makes the laws contingent on contingent minds and languages (so not necessary and universal, contradicting their use) or posits a necessary structure of thought as such, which is closer to the theistic ground (a necessary mind) than to Quinean naturalism. The turnabout does not *prove* theism here; it shows that the anti-modal naturalist cannot consistently fund the necessity of logic his objection relies on, which is all P5 claims. ## Christian satisfaction, why the framework is internally coherent The five premises integrate without tension: - **Minority-position exposure** (P1) removes the objection's disguise as a neutral default and places the burden of a revisionary program on the objector. - **Kripkean rehabilitation** (P2) shows Quine's technical objections were met, not evaded, and that de re modality is now mainstream. - **Deflationary-concession judo** (P3) shows the argument survives the most modest metaphysics of worlds, relocating the contest to the possibility premise. - **Non-hostage** (P4) shows the theistic case does not depend on the modal argument in the first place. - **Transcendental turnabout** (P5) shows the anti-modal program cannot consistently fund the necessity of logic the debate presupposes. Each premise is independently sufficient to blunt the objection, and together they show that invoking Quine does not close the modal apparatus but merely names a contested, costly, minority program that the discipline declined in favor of Kripke's. The honest residue is real and worth stating: the Modal Ontological Argument remains a persuader rather than a proof, its possibility premise carries the weight, and reasonable people dispute that premise. But that modesty is intrinsic to the argument and independent of Quine; the Quinean objection adds no new defeat, and on its strongest reading it recoils on the modality of logic that the objector himself must use. ## Live-cite kit **Scripture (for the transcendental frame, deploy lightly):** - *[Colossians 1:17](/codex/colossians-1-17/)*, *"and in Him all things hold together,"* the ground of the world's intelligible order in a personal, necessary God. - *[Isaiah 46:10](/codex/isaiah-46-10/)*, *"declaring the end from the beginning, and from ancient times things which have not been done,"* God's knowledge ranges over what is and what could be. - *[John 1:1](/codex/john-1-1/)*, *"In the beginning was the Word (Logos),"* rationality is grounded in the divine, not in contingent matter. **Scholarly (for credibility):** - **Saul Kripke**, *Naming and Necessity* (Harvard, 1980), the rehabilitation of de re necessity, rigid designation, and a posteriori necessity. - **Alvin Plantinga**, *The Nature of Necessity* (Oxford, 1974), de re modality, possible worlds as states of affairs, and the modal ontological argument. - **Ruth Barcan Marcus**, the early formal defense of quantified modal logic against Quine. - **W. V. O. Quine**, "Reference and Modality" and "Three Grades of Modal Involvement" (in *From a Logical Point of View* and *The Ways of Paradox*), the objection stated at full strength. - **Rudolf Carnap**, *Meaning and Necessity* (Chicago, 1947), the state-description construal of possible worlds. - **David Lewis**, *On the Plurality of Worlds* (Blackwell, 1986), concrete modal realism (the option the argument does *not* need). - **Graham Oppy**, *Ontological Arguments and Belief in God* (Cambridge, 1995), the leading contemporary critic, for the honest opposing case on the possibility premise. **Aphorism (for the close):** - *"Quine's price for rejecting modality is the whole modal furniture of thought, laws, causes, counterfactuals, and validity itself. The discipline paid Kripke's price instead, and kept the furniture."* - *"Grant me that worlds are only descriptions, and you have not closed the argument, you have only told me where to stand: on the question whether a greatest possible being is possible."*
## Common questions this page answers **Q: Does Quine's rejection of modal logic refute the modal ontological argument?** No. Quine's rejection of quantified modal logic is a real and serious position, but it is a minority, revisionary one: to reject modal logic you also have to give up ordinary talk of dispositions, laws of nature, causation, counterfactuals, and even validity, since "valid" means "necessarily truth-preserving." That cost is why most philosophers followed Saul Kripke, who gave modal logic a rigorous semantics and rehabilitated necessity, rather than Quine. And even if you grant Quine's deflationary view that possible worlds are only state-descriptions, the modal argument does not collapse; it just relocates to the question of whether a maximally great being is genuinely possible. **Q: What is the difference between de re and de dicto necessity?** De dicto necessity attaches to a whole proposition ("necessarily, all bachelors are unmarried"); de re necessity attaches to a thing itself, having a property necessarily regardless of how it is described ("this water is necessarily H2O"). Quine's famous puzzles (the "number of the planets" case, the math-cyclist) target de dicto or description-relative necessity, where substituting different descriptions changes the truth-value. The modal ontological argument uses de re necessity: the maximally great being has necessary existence as a property of itself. Kripke defended de re necessity as coherent and commonsensical, so the objection often trades illegitimately on the de dicto cases. **Q: Do possible worlds have to be real for the modal argument to work?** No. The argument is neutral about what possible worlds are. They can be concrete (David Lewis), abstract states of affairs or propositions (Plantinga, Adams), or merely linguistic state-descriptions (Carnap). The argument needs only that modal claims like "possibly a maximally great being exists" have a definite truth-value and support the standard S5 inference. So conceding that worlds are "just consistent descriptions" does not defeat the argument; it simply makes the whole issue turn on whether the description of a maximally great being is genuinely consistent. **Q: Did Kripke actually answer Quine, or did philosophers just change the subject?** Kripke answered the specific objections. Quine's referential-opacity puzzle (that identity-substitution fails inside modal contexts) is explained by Kripke's distinction between rigid designators (like "9," which name the same thing in every world) and non-rigid descriptions (like "the number of the planets," which do not); the failure of substitution becomes a predicted feature of the semantics rather than a refutation. Quine's charge that essentialism is unintelligible was met by a positive, argued account of essential properties (origin, kind, identity) and the provable necessity of identity. And Kripke's a posteriori necessity ("water is H2O") freed necessity from the analytic/synthetic distinction Quine had attacked. The mainstream shifted because the objections were met. **Q: If the modal argument isn't a knockdown proof, why bother with it at all?** Because it does real dialectical work even though it does not compel. Its possibility premise is symmetric (an atheist can run "possibly there is no maximally great being, so necessarily none"), so it establishes that theism is rationally acceptable and shows that the whole debate turns on which possibility premise is better supported. There the case is not symmetric: the maximally-great-being concept has wide cross-traditional intelligibility and no demonstrated internal contradiction, while the opposing premise requires proving the concept incoherent, which the parody tradition has not achieved. The argument reframes the burden and locates the crux, which is valuable even short of proof.
## See also - [Modal Ontological Argument](/codex/modal-ontological-argument/), the argument this defeater shields; its possibility premise is where the real contest sits - [Modal Logic](/codex/modal-logic/), necessity, possibility, S5, and possible-world semantics - [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/), the de re / de dicto distinction and modal grounding - [Syllogisms for Logic Itself](/codex/syllogisms-for-logic-itself/), the transcendental argument the P5 turnabout draws on - [Laws of Logic](/codex/laws-of-logic/), the necessary and universal status of logic and its theistic fit - [Contingency Argument](/codex/contingency-argument/), the non-modal-ontological route that survives even if this argument is set aside - [Debate Logic Toolkit](/codex/debate-logic-toolkit/), the modal and inference tools deployed here - [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/), a companion argument facing the same nominalist and Quinean pressures