掌握「可能世界语义学」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：必然：在所有可及的可能世界中都真。
- 第 2 步：可能：至少在一个可及的可能世界中为真。
- 第 3 步：可及关系决定了模态词的强度。
- 第 4 步：这套语义让模态推理可以被精确定义。
每一步在防什么错
- 顺序不能颠倒：必然：在所有可及的可能世界中都真。 是后面所有步骤的前提。
- 中间要让结论可检验：可能：至少在一个可及的可能世界中为真。
- 最后用反例自查：把「可能世界」理解成现实中已经存在的平行宇宙。
配套工具与术语
逆向思维、可能、不可能、偶然、辩证思维。
自查口诀把「可能世界语义学」的判定过程写下来，能写出完整的第 1 到第 4 步，就说明真的掌握了；只能说出结论，多半还是背下来的。