一句话说清
「必然」与「可能」可以像「非」「且」一样当符号来算。
为什么值得懂
「必然」「可能」天天在用，含义却极不稳：天气预报说「可能下雨」，法律说「必须申报」，你心里说「他应该知道」。模态逻辑把这几个词统一成一个符号，再配一套算法，它由此成了程序验证与知识推理的工具。先读《命题逻辑》。
零基础讲解
两个新符号。 □ 读「必然」，◇ 读「可能」，互为对偶：◇p 就是 ¬□¬p。命题逻辑只问一句是真是假，模态逻辑多问一层：在哪些情形下为真。
可能世界语义。 克里普克的做法是：模型＝一堆世界＋一个可达关系 R。□p 为真，当且仅当能看到的每个世界都为真；◇p 为真，只要有一个可达世界为真。R 的性质决定系统：自反得 T，再加传递得 S4，再加对称得 S5。
换一种读法就换一门逻辑。 同一个 □，读成「应当」是道义逻辑，读成「知道」是认知逻辑，读成「以后总是」是时序逻辑。
到了计算机里。 把程序运行看成一条时间线，「坏事绝不发生」与「好事终将发生」都能写成模态公式，交给工具自动检验。
一个例子
门其实没锁，但你从没查过。除了现状，还有一个「门锁了」的世界，两者对你完全一样。于是「你可能不知道门没锁」为真，「你知道门没锁」为假。
常见误解
- 以为「可能」是概率：模态只说有没有可达世界，不管比例。
- 以为「必然」只有一种：逻辑必然、物理必然、「应当」共用同一个 □。
- 以为可能世界是玄学：它只是一份假设情形的清单，是模型不是宇宙。
应用场景
- 生活：争论「这是不是必然」时改问「在哪些情形下」——「必然」就是「我想到的所有情形里」。
- 职场：写接口或流程文档时，把要求分成「绝不发生」和「最终会」两类，比一堆形容词清楚。
- 写作与创作：写推理故事时，让读者分清「事实」与「角色所知」，谜题难度立刻可控。
关联知识点
- 命题逻辑（propositional-logic，先读那篇，模态算子建在它上面）
- 语义与语用（semantics-pragmatics，自然语言的「可能」还带语气）
- 什么是知识（what-is-knowledge，认知逻辑把「知道」写成模态算子）