定义
可能世界是用以分析「必然 / 可能 / 偶然」的概念工具：必然即在所有可能世界中为真，可能即在某个可能世界中为真。
核心内容
模态陈述（「他本可以不来」「水必然是 H₂O」）无法只用现实世界中发生的事来刻画。克里普克把可能世界当作「现实世界的可能情形」而非遥远离的星球，并用它区分：先天／后天是认识论范畴，必然／偶然是形而上学范畴——「晨星是昏星」是后天发现的，却一旦为真就必然为真。刘易斯的模态实在论则激进主张所有可能世界都同样真实；更多人采取温和立场，把可能世界视作抽象的模型或状态描述。
源流
从莱布尼茨「上帝在无穷可能世界中选了最好的一个」的神学语境，到二十世纪模态逻辑的形式语义学，可能世界成为分析因果、反事实与本质的标准语言。
要点
必然 / 可能 / 不可能，用「所有 / 某个 / 没有任何世界」来刻画
先天 ≠ 必然，后天 ≠ 偶然，两组区分不可混用
反事实（若当时没……）是可能世界语义最直接的应用
论证
正文
我们能想象古人不知道水的成分（后天获知），却难以想象「水不是 H₂O」仍算是水——若某液体成分不同，我们会说那不是水。克里普克由此说明：存在「后天的必然真理」，必然性来自事物的同一性而非我们认知的确定性。
启示
「我无法想象它不成立」不等于「它必然成立」；把想象的限度与世界的限度分开，是很多争论的解药。
标题
「水必然是 H₂O」
常见误解
误解：可能世界是科幻里的平行宇宙。对多数哲学家，它只是描述「事情本可如何不同」的语义工具。
误解：凡可能者迟早会实现。「可能」只表示无矛盾，并不含有任何时间或概率承诺。
场景应用
情境
复盘决策
tip
用「若当时选 B，会怎样」构造一个具体邻近世界，比笼统后悔更能提炼可复用信息。
情境
争论「不可能」
tip
先区分逻辑不可能、物理不可能与我暂时想不出，三者常被混作一谈。
关联内容
名称
因果的反事实理论
note
「若 A 没发生，B 就不会发生」正是借助邻近可能世界来判定。
名称
自由意志
note
「本可以做别的选择」本身就是一个模态主张。
术语表
def
关于必然性、可能性与偶然性的范畴。
term
模态
def
在所有可能世界中指向同一对象的名称，如专名。
term
严格指示词
出处
莱布尼茨 / 克里普克 / 大卫·刘易斯
分类
philo
标签
形而上学