# Modal Logic ## Intro Modal logic is the part of logic that handles ideas like *necessarily*, *possibly*, and *contingently*. Most of regular logic is just *is this statement true or false?* Modal logic adds another question: *if it is true, what kind of true is it?* Some truths are necessary. *Two plus two equals four* is true here, true in every other planet, true at every moment of history, true no matter what the universe looks like. You cannot imagine a world where it fails. That is necessary truth. Some truths are contingent. *The Eiffel Tower is in Paris* is true now, but it could have been built somewhere else, or never built at all. That is contingent truth. Some claims are impossible. *A married bachelor* describes nothing that could ever exist anywhere. Modal logic uses two boxes-and-diamonds symbols to mark these. A box means *necessarily true*. A diamond means *possibly true*. The "possible worlds" picture is the standard way to think about it: imagine every way the universe could have been. A claim is necessary if it is true in every possible world. It is possible if it is true in at least one. It is impossible if it is true in none. This matters for apologetics because several major arguments for God use modal logic. The Modal Ontological Argument runs: if it is even *possible* that a maximally great being exists, then by modal logic that being exists in every possible world, including this one. The Argument from Necessary Being uses the same machinery. The page lays out the basic operators, the standard systems (T, S4, S5), and the philosophical questions about possible worlds. ## In full Modal logic is the formal logic of *modality*, the modes of truth. Where classical propositional logic asks only "is P true?", modal logic asks how P is true: necessarily, possibly, contingently, or impossibly. It extends propositional and predicate logic with two core operators (◻ "necessarily", ◇ "possibly") and is the formal backbone of several major theistic arguments (Modal Ontological, Modal Argument from Mind, Argument from Necessary Being). ## Definition Modal logic adds *modal operators* to a base logic: - **◻P**, "necessarily P", P is true in every possible world. - **◇P**, "possibly P", P is true in at least one possible world. The two are interdefinable: ◻P ≡ ¬◇¬P, and ◇P ≡ ¬◻¬P. Necessity is "no world without P"; possibility is "some world with P". Three modes of truth are then distinguished: - **Necessary truth**, true in every possible world (e.g. "triangles have three sides"; "2 + 2 = 4"). Formally ◻P. - **Contingent truth**, true in the actual world but false in some other possible world (e.g. "humans live on Earth"). Formally P ∧ ◇¬P. - **Impossible**, true in no possible world (e.g. "a married bachelor"). Formally ◻¬P, equivalently ¬◇P. A *contingent being* could have failed to exist (depends on another); a *necessary being* could not have failed to exist (is self-grounded). See [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/). ## Possible-world semantics Modal claims are interpreted using the framework of *possible worlds*, a way things could have been. The actual world is one of many such worlds; necessity quantifies over all worlds, possibility over at least one. **Saul Kripke** formalized this semantics in the late 1950s and early 1960s; his lectures *Naming and Necessity* (1980) made the framework central to analytic metaphysics. A Kripke model adds an *accessibility relation* R between worlds: ◻P at world w means P holds at every world accessible from w. The properties imposed on R determine which modal system results. ## Major modal systems Different commitments about the accessibility relation yield different systems, each strictly stronger than the last: - **K**, the minimal system. Only requires that ◻ distributes over implication: ◻(P → Q) → (◻P → ◻Q). - **T**, adds reflexivity (every world accesses itself): ◻P → P. "What is necessary is true." - **S4**, adds transitivity: ◻P → ◻◻P. "What is necessary is necessarily necessary." - **S5**, adds symmetry / equivalence on accessibility: ◇P → ◻◇P. "What is possibly true is necessarily possibly true." In S5, the accessibility relation collapses to identity: every world accesses every other. S5 is the standard system for *metaphysical* modality and is the system in which Plantinga's Modal Ontological Argument is run. ## Apologetic and theological uses Modal logic is load-bearing in three major theistic arguments, each formalized using ◻ and ◇: ### 1. Modal Ontological Argument [Alvin Plantinga](/codex/alvin-plantinga/)'s reformulation (*The Nature of Necessity*, 1974): 1. It is possible that a maximally great being exists. (◇MGB) 2. If it is possible, then it exists in some possible world. 3. Maximal greatness entails necessary existence and maximal excellence in every world. 4. Therefore in *every* world, the maximally great being exists. 5. Therefore it exists in the actual world. The crucial inference (◇◻P → ◻P) is valid in S5, the strongest metaphysical-modality system. See [Modal Ontological Argument](/codex/modal-ontological-argument/) and [Ontological Arguments](/codex/ontological-arguments/). ### 2. Modal Argument from Mind Originating with Descartes and refined by Kripke (*Naming and Necessity*) and Plantinga, the modal argument from mind argues that mental states are not identical to brain states because they have different modal properties: it is conceivable (and so possibly true) that mind exists without body. If mind = brain, then in every possible world they coincide; but we can coherently conceive their separation; therefore they are not identical. [David Chalmers](/codex/david-chalmers/)'s "zombie argument" (*The Conscious Mind*, 1996) runs this in modal form against physicalism. See [Modal Argument from Mind](/codex/modal-argument-from-mind/) and [Argument from Consciousness](/codex/argument-from-consciousness/). ### 3. Argument from Necessary Being Cosmological-from-contingency arguments (Aquinas's Third Way, [Leibniz](/codex/leibniz/), contemporary defenders like Pruss and Koons) argue that the universe is contingent (it could have failed to exist), every contingent being requires explanation in something else, and the chain terminates only in a *necessary being*, one whose non-existence is impossible. This necessary being is identified with God. See [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/), [Cosmological Arguments](/codex/cosmological-arguments/), [Contingency Argument](/codex/contingency-argument/). ## Modal logic and the laws of logic Modal claims presuppose the classical laws of logic, Identity, Non-Contradiction, Excluded Middle, applied within and across possible worlds. Denying the [Law of Non-Contradiction](/codex/law-of-non-contradiction/) within a single world makes modal reasoning collapse; denying excluded middle for modal propositions yields intuitionistic modal logic. The standard apologetic use assumes classical underpinnings; see [Laws of Logic](/codex/laws-of-logic/). ## Strengths and weaknesses **Strengths:** - Captures intuitive distinctions (necessary / contingent) that classical logic cannot express. - Provides clean formal tools for metaphysics, philosophy of religion, philosophy of language, and computer science. - Possible-world semantics gives a clear model-theoretic picture. **Weaknesses / contested points:** - The metaphysical status of possible worlds is disputed (Lewis's modal realism vs ersatz / abstract approaches vs fictionalism). - *Conceivability ≠ possibility* is a standing objection to many modal arguments (Stephen Yablo, "Is Conceivability a Guide to Possibility?" 1993): just because we can conceive ◇P doesn't guarantee ◇P. - Choice of system (K, T, S4, S5) is itself a metaphysical commitment, not a neutral formal selection. ## Christian engagement Christian philosophers have largely embraced modal logic as a precision tool for theology and apologetics. God's necessary existence (aseity), the impossibility of God's non-existence, the contingency of creation, and the logical structure of divine attributes (omnipotence as ability across worlds, omniscience as knowledge of all worlds) all receive sharper expression in modal terms. Plantinga, [William Lane Craig](/codex/william-lane-craig/), [Richard Swinburne](/codex/richard-swinburne/), Robert Adams, and Joshua Rasmussen are the most prolific Christian modal logicians. ## See also - [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/), the metaphysical distinction modal logic formalizes. - [Principle of Sufficient Reason](/codex/principle-of-sufficient-reason/), together with contingency drives the modal cosmological argument. - [Modal Ontological Argument](/codex/modal-ontological-argument/), the paradigm apologetic use of S5. - [Quinean Rejection of Modal Logic Objection Defeater](/codex/quinean-rejection-of-modal-logic-objection-defeater/), the answer to Quine's rejection of modal logic, de re necessity, and possible worlds. - [Modal Argument from Mind](/codex/modal-argument-from-mind/), the modal argument against physicalism. - [Contingency Argument](/codex/contingency-argument/), [Cosmological Arguments](/codex/cosmological-arguments/), apologetic applications. - [Laws of Logic](/codex/laws-of-logic/), modal logic extends, never replaces, classical. - [Deductive Reasoning](/codex/deductive-reasoning/), modal arguments are a species of deductive reasoning. - Alvin Plantinga, Leibniz, [Rene Descartes](/codex/rene-descartes/), major contributors.
## Common questions this page answers **Q: What is modal logic?** Modal logic is the formal logic of modality, the modes of truth. Where classical logic asks "is P true?", modal logic asks *how* P is true: necessarily, possibly, contingently, or impossibly. It uses two core operators: the box (◻, "necessarily") and the diamond (◇, "possibly"). It extends propositional and predicate logic without replacing them. **Q: What is a possible world?** A possible world is a complete way the universe could have been. A claim is *necessarily* true if it is true in every possible world (mathematics, logic). A claim is *possibly* true if it is true in at least one. A claim is *impossible* if it is true in none ("a married bachelor"). The possible-worlds framework was developed by Saul Kripke and David Lewis as the standard semantics for modal logic. **Q: What is the difference between S4 and S5?** S4 and S5 are two of the major axiom systems for modal logic. In S4, if something is necessary, then it is necessarily necessary. In S5, all modal claims about a proposition are themselves necessary: necessity does not vary across possible worlds. S5 is the standard system for theistic arguments because it captures the intuition that what is metaphysically necessary is necessary *across all possible worlds*, not just at certain levels of nesting. [Plantinga](/codex/alvin-plantinga/)'s [Modal Ontological Argument](/codex/modal-ontological-argument/) uses S5. **Q: How does modal logic ground arguments for God?** Several theistic arguments use modal structure. The [Modal Ontological Argument](/codex/modal-ontological-argument/) (Plantinga 1974) runs: if it is *possible* that a maximally great being exists, then (by S5) that being exists necessarily, so in every possible world, including this one. The argument from contingency runs: if there are contingent beings, there must be a necessary being to explain them. [Aquinas's third way](/codex/aquinas-five-ways/) is a contingency argument. **Q: What is the strongest objection to the modal ontological argument?** The "reverse ontological argument": if it is *possible* that no maximally great being exists, then (by parallel reasoning) no such being exists in any possible world, including this one. So the argument's persuasiveness depends on which possibility-claim is more plausible. Defenders (Plantinga) reply that the conceivability of a maximally great being grounds the first premise; critics press that conceivability is not metaphysical possibility, and the symmetric move is just as available.