可能世界的形而上学

可能世界是事物可能存在的所有完整方式。本主题关注它们的形而上学地位：它们是具体的宇宙、抽象的事态，还是命题集合，以及这对模态分析意味着什么。

Definition

可能世界是实在可能存在的一种最大方式；可能世界的形而上学关注这些世界是什么以及它们是否存在。

Scope

涵盖可能世界的本体论而非其形式语义：具体模态实在论、替代或抽象的世界概念、将模态主张分析为对世界的量化，以及每种观点的形而上学成本和收益。

Core questions

• 可能世界是具体的还是抽象的？
• 非实际世界是否与实际世界以相同的意义存在？
• 模态能否通过世界进行还原性分析？
• 什么使一个世界个体化并使其成为实际的？

Key concepts

• 可能世界
• 具体世界
• 替代世界
• 实际性
• 最大事态
• 模态的还原

Key theories

具体模态实在论

刘易斯认为，可能世界是具体的、时空上相互隔离的宇宙，它们的存在与我们自己的宇宙一样真实；“实际的”是索引性的，指代说话者所在的世界。

替代（抽象）世界

世界是抽象的表征，例如命题的最大一致集合或最大事态；只有实际世界是具体的，而其他世界是抽象的替代物。

History

莱布尼茨谈到上帝在可能世界中进行选择。在可能世界成为模态逻辑的核心之后，哲学家们就其本质展开了辩论：刘易斯在1986年捍卫了具体的模态实在论，而斯塔尔纳克、普兰丁格和亚当斯则发展了抽象或替代概念，避免了刘易斯的本体论奢侈。

Debates

具体世界与替代世界

刘易斯认为，只有具体世界才能对模态进行真正的还原性分析，尽管这需要接受庞大的本体论；替代论者则回应说，抽象世界在不付出令人难以置信的代价的情况下，也能获得相同的理论益处。

Key figures

• David Lewis
• Robert Stalnaker
• Alvin Plantinga
• Saul Kripke
• Gottfried Wilhelm Leibniz

Seminal works

• lewis1986
• plantinga1974

Frequently asked questions

使用可能世界是否意味着你必须承认它们的存在？

不一定。像刘易斯这样的具体模态实在论者肯定了真实存在的可能世界，但大多数哲学家采用抽象或替代概念，在这种概念下，谈论世界是一种描述可能性的方式，而无需假设存在其他具体的宇宙。