可能的世界

一个可能的世界是一个完整的、一致的世界是或可能是的方式。

可能的世界被广泛地用作逻辑学、哲学和语言学中的一种形式装置，以便为延拓逻辑和模态逻辑提供语义。

它们的形而上学地位在哲学中一直是一个有争议的话题，像大卫-刘易斯这样的模态现实主义者认为它们是字面上存在的另一种现实，而像罗伯特-斯塔尔纳克这样的人则认为它们不是。

可能的世界是模态逻辑和扩展逻辑的基础概念之一。这些逻辑中的公式被用来表示关于什么可能是真的、什么应该是真的、什么人相信是真的等等的陈述。

为了给这些陈述一个正式的解释，逻辑学家使用了包含可能世界的结构。

例如，在经典的命题模态逻辑的关系语义中，公式◊P{displaystyleDiamondP}（读作可能的P）实际上是指(读作可能P)实际上是真的，当且仅当在某个可以从实际世界进入的世界是真的。

可能的世界在语言学家和哲学家的形式语义学工作中都发挥着核心作用。当代形式语义学以植根于蒙塔古语法的形式系统为载体，而蒙塔古语法本身就是建立在理查德-蒙塔古的扩展逻辑之上的。

当代语义学的研究通常使用可能世界作为形式工具，而不承诺对其形而上学地位的特定理论。即使是那些不重视形而上学意义的人也会保留可能世界这个术语。

可能世界经常被怀疑，这就是为什么它们的支持者一直在努力寻找有利于它们的论据。

一个经常被引用的论点被称为"方式论"。它将可能世界定义为事物可能发生的方式，并将其前提和推论依赖于自然语言的假设，例如。(1)希拉里-克林顿可能赢得2016年美国大选。(2)所以事情还有其他可能的方式。(3)可能的世界是事情可能的方式。(4)所以有其他可能的世界。这个论证的核心步骤发生在(2)，在这里，合理的(1)被解释为涉及对方式的量化。许多哲学家，继威拉德-范-奥曼-奎因之后，认为量化包含本体论的承诺，在这种情况下，是对可能世界的存在的承诺。奎因本人把他的方法限制在科学理论上，但其他人也把它应用于自然语言，例如，阿米-L-托马森在她的论文《本体论变得简单》中。方式论证的强度取决于这些假设，并可能通过对本体论的量子化方法或自然语言作为本体论的指导的可靠性提出质疑。

可能世界的本体论地位引发了激烈的辩论。大卫-刘易斯（DavidLewis）著名地主张一种被称为模态现实主义的立场，认为可能世界是真实的、具体的地方，其存在的意义与实际世界的存在完全一样。在刘易斯的观点中，现实世界的特殊性只在于我们生活在那里。这一学说被称为实际性的索引性，因为它可以被理解为声称实际这个词是一个索引，就像现在和这里。刘易斯为这一立场提出了各种论据。他认为，正如原子的现实性在物理学中是由其解释力来证明的一样，可能世界在哲学中也是由其解释力来证明的。他还认为，可能世界必须是真实的，因为它们只是事物可能存在的方式，没有人怀疑这种事物的存在。

最后，他认为它们不可能被还原成更多本体论上值得尊重的实体，比如最大化一致的命题集，而不会使模态理论变成循环。(他把这些理论称为冒牌的模态现实主义，试图以廉价的方式获得可能世界语义学的好处）。模态现实主义是有争议的。W.V.Quine拒绝了它，认为它是形而上的奢侈。斯塔纳克对刘易斯的论点做出了回应，他指出，事物可能存在的方式本身并不是一个世界，而是这样一个世界可能具有的一个属性。既然属性可以在不适用任何现有物体的情况下存在，那么就没有理由得出结论说像我们这样的其他世界存在。Stalnaker的另一个论点攻击了刘易斯的实际性索引理论。Stalnaker认为，即使英语单词actual是一个索引，这也不意味着其他世界的存在。作为比较，人们可以使用索引性的我而不相信其他人实际存在。