「可能世界语义学」最容易和「严格蕴含与实质蕴含」混在一起。两者同属模态逻辑与思维方法,但关注点不同。
对照表
| 对比项 | 可能世界语义学 | 严格蕴含与实质蕴含 |
|---|---|---|
| 核心含义 | 可能世界是逻辑上一致的完整世界方案;命题在某个可能世界中取真值。 | 实质蕴含只要求不出现「前件真后件假」;严格蕴含还要求后件在所有可能世界中都随前件为真。 |
| 第一个要点 | 必然:在所有可及的可能世界中都真。 | 实质蕴含会出现「假命题蕴含一切」的怪论。 |
| 常见错误 | 把「可能世界」理解成现实中已经存在的平行宇宙。 | 不加区分地使用「蕴含」一词。 |
一句话区分
记忆锚点看到问题在问「可能世界语义学」,找的是:必然:在所有可及的可能世界中都真。;问的是「严格蕴含与实质蕴含」,找的是:实质蕴含会出现「假命题蕴含一切」的怪论。。
易错的组合
- 把 可能世界语义学 的判断标准套到 严格蕴含与实质蕴含 上;
- 认为两者是包含关系,实际上它们考察的维度并不重合;
- 在模态逻辑与思维方法的综合题中只写结论不写依据,导致踩错知识点。