邏輯可能性

出自 MBA智库百科(https://wiki.mbalib.com/)

　　邏輯可能性的概念被用來在哲學和邏輯中，表達模態斷言。在哲學中，術語“模態”覆蓋瞭如“可能性”、“必然性”和“偶然性”這種觀念。

　　那些使用可能世界概念的人認為“實際”世界是很多可能世界中的一個。對於世界可以是的每個不同方式，都被稱為一個獨特的可能世界；實際世界是我們事實上住在的世界。命題的模態狀態被按照“在其中它為真的世界”的方式來理解；所以：

　　真命題是“在實際世界中為真”的命題（例如：“唐納·川普在2016年成為總統。”）

　　可能命題是“至少在一個可能世界中為真”的命題（例如：“希拉里在2016年成為總統。”）

　　偶然命題是“在一些可能世界中為真在另一些中為假”的命題（比如：“唐納·川普在2016年成為總統。”，這是“偶然為真的”，“希拉里在2016年成為總統。”，這是“偶然為假的”。）

　　必然命題是“在所有可能世界中為真”的命題（例如：“明天或者下雨或者不下雨。”）

　　不可能命題（或“必然假命題”）是“不在可能世界中為真”（例如：“老王和老張同時比對方高。”）

　　邏輯可能性的想法最普遍的歸功於萊布尼茲，他稱可能世界為神頭腦中的想法，並使用這個觀念來爭辯說，我們實際上的神造的世界一定是“所有可能世界中最好的”。但是，學者也曾在Lucretius、Averroes和John Duns Scotus的著作中找到了這種想法的蹤跡。這個觀念的現代哲學使用的先驅是Saul Kripke。

　　以此作為根基，“邏輯可能性”成為很多哲學開發的中心部分，從1960年代至今–包括依據David Lewis和Robert Stalnaker開發最著名的反事實條件分析，它依據的是“鄰近的可能世界”。在這個分析中，當我們討論“如果”某些條件在場“就會”發生什麼的時候，我們的斷言的真實性由在具備這些條件的最鄰近的可能世界（或最鄰近的可能世界的“集合”）中什麼是真的來決定。（可能世界W1被稱為在R方面鄰近於另一個可能世界W2，在達到W1和W2在R方面發生同樣的事情的程度上；兩個可能世界在特定方面上發生的事情差異越“大”，它們相互之間在這個方面就越“遠”。）使用早先給出的反事實的例子，“如果喬治布希沒有在2001年成為美國總統，戈爾就會成為美國總統”，表達了一個斷言的這個句子可以被重新公式化為如下：“在最鄰近（在有關方面最鄰近）於我們實際世界的所有可能世界中，那裡喬治布希2001年沒有成為美國總統，而是戈爾成為了美國總統”。在關於這個句子的這種解釋上，如果有最鄰近（在有關方面最鄰近）於真實世界的某些世界，這裡喬治布希和戈爾都沒有成為美國總統，則這個反事實所表達的斷言是假的。