Modal Logic — An extension of propositional (or first-order) logic that incorporates operators of modality: necessity (□; read “it is necessary that”) and possibility (◇; read “it is possible that”). A proposition is necessarily true if it cannot be false; it is possibly true if it could be true. The two operators are interdefinable: □p ≡ ¬◇¬p (“it is necessary that p” is equivalent to “it is not possible that not-p”).
Origins: Aristotle and the Logic of Modals: The investigation of modalities is as old as logic itself. Aristotle, in De Interpretatione and the Prior Analytics, analysed propositions about what is necessary, possible, impossible, and contingent, and constructed modal syllogisms — though with results that generated centuries of interpretative debate.
C.I. Lewis and the Modern Systems: Modern modal logic emerges with Clarence Irving Lewis, who from 1912 (article “Implication and the Algebra of Logic”) developed a critique of material implication in classical logic — according to which any false proposition materially implies any proposition, which Lewis regarded as paradoxical. He proposed strict implication (if p, then necessarily q) and, in the 1910s and 1920s, elaborated a series of axiomatic systems, published in Symbolic Logic (with C.H. Langford, 1932). The most influential are S1, S2, S3, S4, and S5, each with progressively stronger axioms. S4 adds: □p → □□p (if something is necessary, it is necessarily necessary). S5 adds: ◇p → □◇p (if something is possible, it is necessarily possible).
Kripke Semantics and Possible Worlds: The major semantic advance came with Saul Kripke, who between 1959 and 1963 (articles including “A Completeness Theorem in Modal Logic”, 1959, Journal of Symbolic Logic) developed relational semantics (or possible-worlds semantics). A Kripke model is a triple ⟨W, R, V⟩: W is a set of possible worlds; R is an accessibility relation between worlds (w₁Rw₂ means “w₂ is accessible from w₁”); V is a valuation function that assigns, for each propositional variable, the set of worlds in which it is true. □p is true at w if p is true at all worlds accessible from w; ◇p is true at w if p is true at some world accessible from w. Different properties of the accessibility relation (reflexivity, transitivity, symmetry, Euclideanness) correspond to different modal systems: S4 corresponds to reflexive and transitive relations; S5 to equivalence relations (reflexive, symmetric, and transitive).
Applications of Modal Logic:
Modal Metaphysics: David Lewis (in On the Plurality of Worlds, 1986) defended modal realism — possible worlds are concrete entities as real as the actual world. Alvin Plantinga proposed a “moderate” modal realism (possible worlds as maximally inclusive states of affairs). Kripke, in Naming and Necessity (1972/1980), used possible worlds for the theory of descriptions, necessary identity, and essences.
Epistemic Logic: Modal operators are reinterpreted as “knows that” (K) and “believes that” (B). An agent knows that p if p is true in all worlds the agent considers epistemically possible. Hintikka (Knowledge and Belief, 1962) systematised this approach.
Deontic Logic: Modal operators are reinterpreted as “it is obligatory that” (O) and “it is permitted that” (P). Von Wright formulated deontic logic in 1951.
Temporal Logic: Modal operators are reinterpreted as “always” (□) and “at some time” (◇), with variants for past and future. Prior developed tense logic from the 1950s onwards.
← Glossary