# Modal Logic: Necessity and Possibility

Philosophy I · Logic · https://tryals.app/learn/philosophy-i/modal-logic-necessity-and-possibility

## What Could Have Been Otherwise

Propositional logic distinguishes true from false and stops there. It cannot express the difference between something that merely happens to be true and something that could not have been otherwise, yet that distinction runs through metaphysics, ethics and the philosophy of science.

**Modal logic** adds two operators. $\Box P$ means "necessarily $P$" and $\Diamond P$ means "possibly $P$". They are **interdefinable** by a duality worth memorising:

$$\Box P \equiv \neg \Diamond \neg P, \qquad \Diamond P \equiv \neg \Box \neg P$$

Necessarily $P$ is exactly: not possibly not $P$. Possibly $P$ is: not necessarily not $P$. Either operator can be defined from the other with two negations, which is the same pattern as the quantifier duality between "all" and "some".

The standard semantics is **possible worlds**. A sentence is **necessary** if true in every accessible world, **possible** if true in at least one. A **model** consists of a set of worlds, an **accessibility relation** saying which worlds are possible relative to which, and an assignment of truth values at each world.

Accessibility is what makes modal logic interesting, because different constraints on it validate different principles:

| Constraint on accessibility | Validates | System |
|---|---|---|
| Reflexive | $\Box P \rightarrow P$ | T |
| Reflexive + transitive | $\Box P \rightarrow \Box\Box P$ | S4 |
| Reflexive + symmetric + transitive | $P \rightarrow \Box\Diamond P$ | S5 |

Reflexivity gives the principle that whatever is necessary is actually true, which sounds trivial and is nonetheless a substantive assumption that some readings of the operators reject.

That is the crucial move: **the same symbols admit different readings**. $\Box$ may mean logical necessity, physical necessity, obligation (**deontic** logic), knowledge (**epistemic** logic), or "always" (**temporal** logic). The right system depends on the reading. In deontic logic $\Box P \rightarrow P$ must be **rejected**: obligations are frequently unmet, and a logic that made "ought" imply "is" would be useless.

> **Common pitfall:** reading $\Diamond P$ as "$P$ is probably true" or "$P$ might be, for all I know". Possibility here is not probability and not ignorance: $\Diamond P$ says there is *some* accessible world where $P$ holds, however unlikely or well known.

## Practice questions

6 of this lesson's 11 practice questions, with answers. The full set is in the app.

### 1. Why must deontic logic reject the principle that whatever is necessary is actually true?

A. Deontic accessibility relations must always remain symmetric
B. Moral duties cannot be formalised using standard modal operators
C. The principle fails to hold in all systems stronger than S4
D. Obligations are frequently unmet, so "ought" must not imply "is"

**Answer:** D. Obligations are frequently unmet, so "ought" must not imply "is"

**Why:** Under the deontic reading the principle says every obligation is met, which is plainly false, and a logic asserting it could not represent wrongdoing at all. The principle is valid where accessibility is reflexive; deontic accessibility is not.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/why-must-deontic-logic-reject-the-principle-that-whatever-is

### 2. The possibility operator means that a sentence is probably true.

**Answer:** False

**Why:** False, possibility is not probability. $\Diamond P$ says merely that *some* accessible world makes $P$ true, however improbable. Confusing the two turns a claim about what could be into a claim about what is likely.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/the-possibility-operator-means-that-a-sentence-is-probably-true

### 3. Arrange these modal systems in order of increasing strength, from the weakest constraints on accessibility to the strongest.

**Answer:**

1. K, with no constraint on accessibility
2. T, with reflexive accessibility
3. S4, reflexive and transitive
4. S5, reflexive, symmetric and transitive

**Why:** Each added constraint validates further principles, so the systems nest. S5 makes accessibility an equivalence relation, which collapses iterated modalities, in S5 a string of boxes and diamonds reduces to its last operator.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/arrange-these-modal-systems-in-order-of-increasing-strength-from-the

### 4. Modal logic models necessity across possible worlds rather than degrees of belief. What follows from treating possibility this way rather than as epistemic uncertainty?

A. Every possible statement carries a quantifiable non-zero probability
B. Possibility depends on an agent having incomplete empirical knowledge
C. A claim known to be false remains possible if consistent with a world
D. Truth across every conceivable world is required for local possibility

**Answer:** C. A claim known to be false remains possible if consistent with a world

**Why:** Modal semantics evaluates claims across accessible model worlds, not epistemic states or probability distributions. Treating possibility as uncertainty confuses formal accessibility with subjective ignorance, which breaks down when analysing counterfactual alternatives.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/modal-logic-models-necessity-across-possible-worlds-rather-than

### 5. Match each accessibility constraint to the principle it validates.

**Answer:**

- Reflexive → Whatever is necessary is actually true
- Transitive → Whatever is necessary is necessarily necessary
- Symmetric → Whatever is true is necessarily possible
- No constraint at all → Only the minimal distribution principle holds

**Why:** The correspondence between relational properties and modal axioms is exact and was one of the great results of twentieth-century logic, it turned choosing a modal system into a question about the structure of accessibility.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/match-each-accessibility-constraint-to-the-principle-it-validates

### 6. Sort each claim by whether it concerns necessity or possibility.

**Answer:**

- Necessity: True in every accessible world, Could not have been otherwise
- Possibility: True in at least one accessible world, Might have been the case

**Why:** The formal contrast is universal versus existential quantification over worlds, and the ordinary phrasings track it well, "could not have been otherwise" really is truth in every accessible world.

Page: https://tryals.app/practice/philosophy-i/modal-logic-necessity-and-possibility/sort-each-claim-by-whether-it-concerns-necessity-or-possibility