模态实在论与实际论

如果我们用可能世界来分析模态，那么这些世界是否与实际世界一样真实？模态实在论者认为是；实际论者则认为只有实际世界是具体的，并将其他世界重构为抽象实体。

Definition

模态实在论认为非实际的可能世界是具体的实在；实际论认为存在的一切都是实际的，因此其他世界（如果被承认的话）是抽象的。

Scope

涵盖刘易斯的具体模态实在论及其对应理论、实际论和替代论的替代方案、实际性的指示词分析，以及权衡世界理论益处与本体论成本的论证。

Core questions

• 非实际的可能世界是具体的还是抽象的？
• 说我们的世界是实际世界意味着什么？
• 实际论能否恢复可能世界分析的益处？
• 是否存在跨世界个体，还是只有对应物？

Key concepts

• 模态实在论
• 实际论
• 可能性主义
• 对应理论
• 指示词实际性
• 替代世界

Key theories

具体模态实在论与对应理论

刘易斯认为所有可能世界都是同样具体的；一个个体只存在于一个世界中，并通过对应物在其他世界中得到体现，这些相似的个体构成了其本质模态属性的基础。

实际论与抽象世界

普兰丁格和亚当斯认为只有实际世界是具体的，将可能世界分析为抽象对象，例如最大事态或世界故事，从而使存在的一切都是实际的。

History

在可能世界被证明在理论上富有成效之后，其本质问题变得紧迫。刘易斯在《论世界的多元性》（On the Plurality of Worlds, 1986）中捍卫了它们的具体实在性，引发了“难以置信的凝视”。普兰丁格（Plantinga）和亚当斯（Adams）等实际论者发展了世界的抽象概念和实际性的指示词处理，作为主要的替代方案。

Debates

模态实在论的益处是否证明其本体论是合理的？

刘易斯认为，只有具体的多元世界才能产生完全还原的模态理论，并接受其本体论成本；实际论者则认为，抽象世界可以在不假设其他具体宇宙的情况下提供可比的益处。

Key figures

• David Lewis
• Alvin Plantinga
• Robert M. Adams
• Robert Stalnaker
• Saul Kripke

Seminal works

• lewis1986
• plantinga1974

Frequently asked questions

什么是针对模态实在论的“难以置信的凝视”异议？

这是对刘易斯关于存在无数具体世界（其中包含会说话的驴子等等）的主张的普遍反应，认为这简直令人难以置信。刘易斯承认了这种反应，但认为该理论的系统性益处超过了它。