可能世界（英語：Possible world）的概念在哲學和邏輯中用于表達模態斷言。在哲學中，術語“模態”涵蓋了諸如“可能性”“必然性”“偶然性”等觀念。雖然在當代哲學討論中，尤其是英語世界中，對可能世界的探討非常普遍，但也存在著廣泛的爭議。
歷史背景
可能世界的思想最早可追溯至戈特弗里德·萊布尼茨，他認為可能世界是雅威思想中的構想，并以此論證我們所處的實際世界是“所有可能世界中最好的”。然而，這一理念也在Lucretius、Averroes和John Duns Scotus的作品中有所體現。Saul Kripke是將此概念引入現代哲學的先驅人物。
形式語義
可能世界語義作為一種系統的理論，最初由Saul Kripke及其同事在1950年代提出。在此基礎上，可能世界被用于為模態邏輯中的可能性和必然性斷言提供語義。在模態邏輯中，“可能的”陳述被認為是至少在一個可能世界中為真；而“必然的”陳述則是在所有可能世界中均為真。“真實的”陳述至少在當前世界即實際世界中為真。值得注意的是，Kripke語義不僅限于真勢模態，也不一定假設模態現實主義。
應用與發展
自1960年代以來，“可能世界”已成為許多哲學發展的重要組成部分。David Lewis和Robert Stalnaker提出的反事實條件分析，尤其依賴于“臨近的可能世界”。在這種分析中，當討論某個條件成立時會發生什么情況時，其真實性取決于具有這些條件的最接近的可能世界（或最接近的可能世界的集合）。可能世界W1在R方面的鄰近程度決定了它與其他可能世界W2的關系。如果在最接近的真實世界的某些世界中，George Bush和Al Gore均未擔任總統，則相應的反事實斷言就是虛假的。
參考資料 >
什么是「可能世界」(Possible World)?.知乎.2024-09-23
Possible-world.Bing搜索.2024-09-23