[科普中國]-虛擬可能性

虛擬可能性(也叫做真勢可能性或形而上學(xué)可能性）是在模態(tài)邏輯中研究最多的模態(tài)。虛擬可能性是我們在關(guān)注反事實條件的時候考慮的那種可能性; 虛擬模態(tài)是有關(guān)于一個陳述是否可能已經(jīng)為真的模態(tài)詞——包括可能、可以、必定、必然、偶然等等。虛擬可能性包括邏輯可能性、形而上學(xué)可能性、法則可能性和時間可能性。1

虛擬可能性及其它模態(tài)虛擬可能性的概念是相對于同類中的認知可能性（或稱知態(tài)可能性，研究的是事物“可從所知事實得出的可能的性質(zhì)”）和道義可能性（也稱應(yīng)態(tài)可能性，研究的是“事物應(yīng)該具有的性質(zhì)”）的概念的。

認知可能性由于在通常的語言中表示同樣意思的說法“可能是”、“不可能是”、“一定是”經(jīng)常用來表達某一種可能性，因此與認知可能性相反的概念對推斷結(jié)論來說尤其重要。然而它們是不同的。我們不確知哥德巴赫猜想是否成立（無人可證明）；所以（以我們的認識來說）它既可能成立也可能不成立。但如果實際上能證明它確實成立的話（我們都知道這是有可能的），則（從主觀假設(shè)的虛擬角度來說，我們認為）其一定是必然地成立；“能證明它成立”的意思是指（在邏輯上）它不可能不成立。類似地，“外面可能在下雨”這件事或許（從認知上來說）根本不可能——我們可能是確定無疑地知道外面沒有下雨——但這很難說明“外面（主觀虛擬地）一定不可能下雨。”2

道義可能性雖然虛擬可能性和道義可能性有些在語言中交疊的情況，例如語言中“你可以/不能怎樣怎樣”的說法有時用來表達的是你主觀虛擬地能夠做到或不可能做到的某事（即表達的是“你能夠/不可能做到這個”的意思，這樣表達的是主觀可能性），也有時用來表達的是可以或者不該那么做的某事（即表達的是“你可以/不該這么做”的意思，這樣表達的是道義可能性），但在通常的語言表達中，這兩者的接近程度要比起虛擬可能性和認知可能性的接近程度小。虛擬模態(tài)和道義模態(tài)表達的邏輯有一些重要的區(qū)別：特別地，虛擬的必然性往往伴隨的就是實際真相。（例如，如果張三邏輯上必定如何，則可推斷他實際上確實如何；然而由于道義觀的不確定，不能同樣地從事實推斷出張三道義上必定如何。）

虛擬可能性的種類有多種不同的類型虛擬模態(tài)，由于取決于分類時所依據(jù)的用以決定哪些情況算作“可能”的規(guī)則的嚴格程度，某一類既可能會比另一類包含更寬的范圍，也可能（使用不同嚴格程度的規(guī)則劃分時）會比同樣另一類的范圍要窄。經(jīng)常討論的一些模態(tài)種類是：

邏輯可能性，通常認為是可能性分類中最廣泛的一種；對一個陳述來說，如果它能不含邏輯矛盾地成立，則稱該陳述是邏輯可能的?！暗峡恕で心崾菃紊頋h”這個陳述是邏輯可能的，盡管事實上迪克·切尼不是單身漢；大部分哲學(xué)家認為象“如果非常用力地扇動胳膊，人就能飛起來”這類命題是邏輯地可能的，盡管（按自然法則來說）它們是法則不可能的。另一方面，“迪克·切尼是已婚的單身漢”則是邏輯不可能的，這是因為大家都明白單身漢即未婚者，這使句子里包含了一個邏輯矛盾。

形而上學(xué)可能性可能等價于邏輯可能性，也可能是個更窄的概念（取決于某個哲學(xué)家對這兩者間關(guān)系的認識，或者部分地取決于該人對邏輯的觀點）。某些哲學(xué)家所持的發(fā)現(xiàn)的同一性（discovered identities）觀點（如克利普克的“水是 H2O”）是形而上學(xué)必然的、但不是邏輯必然的（有人可能堅持 “水不是H2O”不存在形式上的矛盾，盡管這變成了形而上學(xué)不可能的 ）。

法則可能性是一種自然規(guī)律下的可能性。大衛(wèi)·休謨以來的大多數(shù)哲學(xué)家持有自然規(guī)律屬于形而上學(xué)偶然的觀點，即可能存在著和人們實際獲得的自然規(guī)律不同的自然規(guī)律。如果是這樣，就不應(yīng)是邏輯地或形而上學(xué)地不可能的。譬如，“要想在一天之內(nèi)到達南門二星球，這只能發(fā)生在你能比光速更快的情況下”，然而這之中當(dāng)然地含有一種這件事不可能的重要理解；就算自然規(guī)律真的就是那樣，你也沒辦法實際做到。（有些哲學(xué)家，如西德尼·舒梅克（Sydney Shoemaker），爭辯說自然規(guī)律是事實上必然而非偶然的；如果這樣，則法則可能性就是等價于形而上學(xué)可能性的。

時間可能性是在給定了世界實際歷史的前提下的可能性。大衛(wèi)·劉易斯（David Lewis）曾經(jīng)可以選擇接受會計學(xué)學(xué)位而不是哲學(xué)學(xué)位；然而這之中包含了一種重要的理解，即他當(dāng)前不能進行選擇?！霸?jīng)可以”表達的事實是，劉易斯擁有一個會計學(xué)學(xué)位而非一個哲學(xué)學(xué)位這件事和邏輯的、形而上學(xué)的、以及法則的不可能性無關(guān)；“當(dāng)前不能”表達的事實是，在給定了過去即如實際事實的前提下，就不能再實現(xiàn)那種“可能性”。

本詞條內(nèi)容貢獻者為:

李嘉騫 - 博士 - 同濟大學(xué)