Types of linguistic modality
Linguistic modality expresses a speaker's attitude toward a proposition, but not an emotional attitude. Instead, it captures how the speaker relates the proposition to things like knowledge, rules, or abilities. There are three main types: epistemic (what you know or believe), deontic (what's required or allowed), and dynamic (what's possible in terms of ability or future happenings).
The same modal verb can belong to different types depending on context. "You must be tired" (epistemic) and "You must finish your homework" (deontic) use the same word with very different meanings. Recognizing which type of modality is at play is essential for getting the right interpretation.
Types of linguistic modality
Epistemic modality expresses the speaker's degree of certainty or confidence about whether a proposition is true, based on their evidence or reasoning.
- "John must be at home by now" (the speaker is highly confident, given what they know)
- "It might rain tomorrow" (the speaker considers it possible but not certain)
Deontic modality expresses permission, obligation, or prohibition. It's tied to some system of rules, laws, or norms.
- "You may leave the room" (permission)
- "Students should submit their assignments on time" (obligation)
Dynamic modality expresses ability, willingness, or dispositions of the subject, and sometimes future events.
- "I can swim" (ability of the subject)
- "The company will launch a new product next month" (future event/prediction)
Notice that epistemic and deontic modality reflect the speaker's perspective (what they know, what rules they're invoking), while dynamic modality often says something about the subject of the sentence (what they're able to do).
Semantics of epistemic modals
Epistemic modals can be analyzed using possible worlds semantics. The core idea is that a modal statement quantifies over a set of possible worlds that are compatible with what the speaker knows (the epistemic accessibility relation).
- Epistemic must is a universal quantifier: it says that in all worlds consistent with the speaker's knowledge, the proposition holds. "Given the evidence, the suspect must be guilty" means every scenario compatible with the evidence points to guilt.
- Epistemic might is an existential quantifier: it says that in at least one world consistent with the speaker's knowledge, the proposition holds. "She might have forgotten about the meeting" means there's at least one scenario, given what the speaker knows, where she forgot.
One subtlety worth noting: epistemic must is often considered weaker than a bare assertion. Saying "He must be home" actually conveys slightly less certainty than just saying "He's home," because must signals that the speaker is reasoning indirectly from evidence rather than stating a known fact.
Role of deontic modals
Deontic modals relate a proposition to a body of rules, laws, or moral principles. Instead of quantifying over worlds consistent with the speaker's knowledge, they quantify over worlds consistent with some set of norms.
- Deontic must expresses strong obligation: in all worlds where the relevant rules are obeyed, the proposition is true. "You must submit the report by Friday" means the rules require it.
- Deontic should expresses a weaker obligation or strong recommendation. "You should visit your grandparents more often" presents it as the right thing to do, but with less force than must.
- Deontic may expresses permission: there exists at least one norm-compliant world where the proposition holds. "Students may use their notes during the open-book exam" means the rules allow it.
The strength of deontic modals forms a rough scale: must > should > may. Context determines which set of norms is relevant (legal rules, social expectations, moral principles, etc.).
Semantics of dynamic modals
Dynamic modals describe capacities, dispositions, or future developments that depend on the subject or the circumstances rather than on the speaker's knowledge or a normative system.
- Dynamic can expresses ability or capacity. "I can swim" says something about the subject's physical capability. In possible worlds terms, there are accessible worlds (given the subject's abilities and circumstances) where the proposition is true.
- Dynamic will expresses future events or predictions. "The train will arrive at 6:30 PM" projects a proposition onto a future timeline.
- Dynamic would is used for counterfactual or hypothetical situations. "If I had more time, I would learn a new language" asks you to consider an alternative possible world where the speaker has more time, and states what follows in that world.
The analysis of would in counterfactuals connects to the broader semantics of conditionals. It involves selecting the closest possible worlds where the antecedent is true and checking whether the consequent holds there.
Comparison of modal types
What they share: All three types of modality involve quantification over possible worlds. Universal quantifiers (must, will) assert that the proposition holds across all relevant worlds; existential quantifiers (might, can, may) assert it holds in at least some. Each type expresses a stance toward a proposition rather than simply asserting it as fact.
What distinguishes them is the accessibility relation, meaning which set of worlds counts as relevant:
- Epistemic: worlds compatible with the speaker's knowledge/evidence
- Deontic: worlds compatible with a set of norms or rules
- Dynamic: worlds compatible with the subject's abilities or the circumstances
Ambiguity in practice. A single sentence can often receive more than one modal reading. "You must submit the report by Friday" could be deontic (it's required) or epistemic (given what I know, that's the only possibility). Disambiguation depends on context, intonation, and surrounding discourse.
Modals also interact with tense and aspect. "He must have left" combines epistemic modality with perfect aspect to express a conclusion about a past event. Modal concord, where multiple modals appear together (more common in some dialects, e.g., "He might could do it"), can further complicate interpretation, though this is less standard in formal English.