6.2 Modal logic and possible worlds semantics

Modal Logic

Modal logic expands classical logic by adding operators for necessity and possibility. Instead of just asking "Is this true?", modal logic asks "Is this necessarily true?" or "Could this possibly be true?" To answer those questions, it uses a framework called possible worlds semantics, which evaluates truth across different hypothetical realities.

This matters for semantics because natural language is full of modal expressions. Words like must, may, and can don't just describe what is the case; they describe what has to be or could be the case. Modal logic gives us precise tools to analyze those meanings.

Concepts of Modal Logic

Modal logic extends classical propositional logic by adding two modal operators:

• Necessity operator ($\square$): A proposition is necessarily true, meaning it's true in all possible worlds. If you write $\square p$, you're saying "p must be the case."
• Possibility operator ($\diamond$): A proposition is possibly true, meaning it's true in at least one possible world. If you write $\diamond p$, you're saying "p could be the case."

These two operators are interdefined. Saying something is necessary ($\square p$) is the same as saying it's not possible for it to be false ($\neg \diamond \neg p$). Likewise, saying something is possible ($\diamond p$) is the same as saying it's not necessarily false ($\neg \square \neg p$).

Accessibility relations define which possible worlds are relevant when evaluating a modal claim. A world $w_1$ is accessible from world $w_2$ if $w_1$ counts as a genuine alternative from the perspective of $w_2$. Different types of modality use different accessibility relations:

• Epistemic modality (knowledge/belief): accessible worlds are those compatible with what a speaker knows.
• Deontic modality (obligation/permission): accessible worlds are those where all the relevant rules or laws are followed.
• Dynamic modality (ability/capacity): accessible worlds are those where the subject's abilities allow certain outcomes.

Modal axioms constrain the properties of accessibility relations, producing different logical systems:

• Reflexivity: Every world is accessible from itself. (If something is necessarily true, then it's true in the actual world too.)
• Symmetry: If $w_1$ is accessible from $w_2$, then $w_2$ is accessible from $w_1$.
• Transitivity: If $w_1$ is accessible from $w_2$, and $w_2$ is accessible from $w_3$, then $w_1$ is accessible from $w_3$.

Which axioms you adopt depends on the type of modality you're modeling. For example, epistemic accessibility is often taken to be reflexive and transitive, while deontic accessibility may not be reflexive (just because something is obligatory doesn't mean it actually happens).

Possible Worlds Semantics Framework

A possible world is a complete, consistent way things could be. Think of it as an alternate reality where certain facts differ from the actual world. The actual world is just one possible world among many.

In this framework, truth values are always evaluated relative to a specific world. A proposition like "It is raining" might be true in world $w_1$ but false in world $w_2$. There's no single, context-free truth value for modal claims.

Modal expressions work by quantifying over possible worlds:

• Necessity ($\square p$): $p$ is true in every world accessible from the current world.
• Possibility ($\diamond p$): $p$ is true in at least one world accessible from the current world.

The accessibility relation does the heavy lifting here. It restricts which worlds you're quantifying over, so you don't have to check every conceivable world. You only check the ones that are relevant given the type of modality in play.

Modal Verbs Analysis

Natural language modal verbs map onto this formal system:

'Must' expresses necessity. "John must be at home" means that in all accessible possible worlds, John is at home. There's no accessible alternative where he isn't.

• In its epistemic use, "must" signals a strong inference from available evidence. You're saying: given everything you know, every compatible scenario has John at home.

'May' expresses possibility. "John may be at home" means there's at least one accessible world where John is at home. You can't rule it out.

• In its epistemic use, "may" signals uncertainty. The speaker's evidence is compatible with John being home, but also compatible with him being elsewhere.

'Can' also expresses possibility, but typically of a different kind. "John can swim" means there's at least one accessible world where John swims.

• In its dynamic use, "can" is about ability or capacity rather than evidence. The accessible worlds are those where John's physical abilities and circumstances permit swimming.

Notice that "may" and "can" both involve the possibility operator ($\diamond$), but they differ in which accessibility relation is at work: epistemic for "may," dynamic for "can." This is how the framework captures the fact that these words feel different even though they both express possibility.

Strengths vs. Limitations of Modal Logic

Strengths:

• Provides a formal, precise framework for analyzing modal expressions in natural language
• Handles different flavors of modality (epistemic, deontic, dynamic) by varying the accessibility relation
• Captures the core intuitions behind necessity and possibility
• Supports reasoning about counterfactuals and alternative scenarios

Limitations:

• Choosing the right set of accessible worlds and the right accessibility relation can be subjective and context-dependent
• Natural language modal expressions often carry pragmatic and contextual meaning that the formal system doesn't capture. For instance, "You must try this cake" isn't really about necessity in any logical sense.
• The framework can struggle with graded modality. In everyday language, some things feel "more possible" than others, but the basic system treats possibility as all-or-nothing.
• It's difficult to empirically test whether a proposed set of possible worlds and accessibility relations actually matches how speakers understand modal sentences.