Questions: Formal Semantics of Modality and Possibility

Question 1

'You must leave now' can mean either 'It is obligatory that you leave' or 'I conclude from the evidence that you must be leaving.' How does possible-worlds semantics account for this ambiguity?

• A. The sentence has two separate lexical entries for 'must' — one deontic, one epistemic — that happen to be phonologically identical
• B. The ambiguity is pragmatic, not semantic — context determines which meaning applies without any formal difference
• C. The same operator □ applies in both readings, but the accessibility relations differ: deontic accesses worlds consistent with norms/rules; epistemic accesses worlds consistent with the speaker's evidence
• D. The deontic reading uses universal quantification over worlds while the epistemic reading uses existential quantification

Answer: (C)

This is the power of possible-worlds semantics: the formal operator □ (necessarily) is uniform across modal flavors. What changes between 'You must leave' (deontic) and 'You must be leaving' (epistemic) is the accessibility relation — which worlds count as relevant. For deontic modality, accessible worlds are those consistent with the relevant rules or norms; for epistemic modality, accessible worlds are those consistent with the speaker's knowledge or evidence. The word 'must' is identical; the relation determines the interpretation. This unification is what makes the framework powerful — one logical tool analyzes many natural language phenomena.

Question 2

In possible-worlds semantics, what is the truth condition for 'It might rain tomorrow' (epistemic reading)?

• A. 'It rains tomorrow' is true in the actual world
• B. 'It rains tomorrow' is true in every world accessible from the current world given what the speaker knows
• C. 'It rains tomorrow' is true in at least one world accessible from the current world given what the speaker knows
• D. 'It rains tomorrow' is true in the majority of worlds accessible from the current world

Answer: (C)

◇φ (possibly φ) is true at world w iff there exists at least one world v such that wRv and φ is true at v. 'Might' is an existential quantifier over accessible worlds — it requires only one accessible world where it rains. This contrasts with □φ (necessarily φ / 'must'), which requires rain in *all* accessible worlds. The common error is thinking 'might' means something weaker than its formal definition — e.g., 'probably' or 'more likely than not.' Formally, 'might' asserts only that the complement of one accessible world is non-empty, which is a much weaker claim.

Question 3

'It is necessarily true that 2+2=4' means the same thing as 'It is actually true that 2+2=4' — both are asserting truth in the world we inhabit.

• T. True
• F. False

Answer: False

Necessary truth and actual truth are categorically different claims. 'It is actually true that 2+2=4' asserts truth at the evaluation world. 'It is necessarily true that 2+2=4' asserts truth at *all* worlds accessible from this one. A claim can be actually true without being necessarily true: 'It is actually true that the US has 50 states' holds in the actual world, but there are accessible worlds where different political history produced a different number. Conversely, necessary truths (logical and mathematical) hold across all mathematically coherent worlds. This distinction is fundamental to understanding why necessary truth is a stronger and categorically different claim than actual truth.

Question 4

In formal modal semantics, the operators □ (necessarily) and ◇ (possibly) function as quantifiers over possible worlds — □ as universal quantification and ◇ as existential quantification over worlds accessible via the accessibility relation.

• T. True
• F. False

Answer: True

This is the core formal insight: □φ is true at w iff φ is true at all v such that wRv (universal quantification over accessible worlds); ◇φ is true at w iff φ is true at some v such that wRv (existential quantification). This connects modality directly to standard quantifier semantics, meaning that the tools already in the formal semanticist's toolkit — type theory, lambda abstraction, functional application — apply to modal analysis. It also makes clear why 'must' and 'might' are duals: ◇φ ≡ ¬□¬φ, just as ∃x Px ≡ ¬∀x ¬Px.

Question 5

Why does formal modal semantics need an accessibility relation, and how does varying it allow the same logical framework to analyze both epistemic and deontic modality?

Model answer: The accessibility relation specifies which possible worlds are 'relevant' when evaluating a modal claim at a given world — which worlds the quantification ranges over. Without it, 'necessarily' would mean 'true in all possible worlds whatsoever,' which is too strong for most natural language uses of 'must' and 'might.' By varying the accessibility relation, the same formal operators model different modal flavors: for epistemic modality, accessible worlds are those consistent with the agent's knowledge or evidence; for deontic modality, accessible worlds are those consistent with the relevant norms or rules; for circumstantial modality, accessible worlds are those consistent with physical circumstances. The word 'must' is formally identical across all uses — what shifts is the set of worlds over which the universal quantifier ranges, determined by the accessibility relation.

This question targets the key architectural insight of possible-worlds semantics: a single formal apparatus with one variable parameter (the accessibility relation) can model the full diversity of modal meaning in natural language. Students often think different modal flavors require completely different theories; the elegance is that they require only different specifications of one relation.