一、这是什么
可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
二、核心要点
- 必然：在所有可及的可能世界中都真。
- 可能：至少在一个可及的可能世界中为真。
- 可及关系决定了模态词的强度。
- 这套语义让模态推理可以被精确定义。
三、为什么重要
「可能世界语义学」属于模态逻辑与思维方法板块的基础内容。模态逻辑研究「必然」「可能」这类模态词的逻辑性质。它把真假的判断放到「相对于哪个可能性」的背景下来考察，是形式逻辑与现代思维方法的交汇处。
一句话记住它可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
四、容易踩的坑
- 把「可能世界」理解成现实中已经存在的平行宇宙。
五、相关联的术语
可能、逆向思维、严格蕴含、辩证思维、可能世界。学习本课时，请把「可能世界语义学」放在这组术语的关系网里理解，而不是孤立记忆。