鑒于現(xiàn)實(shí)世界之總體，我們很容易接受存在一個(gè)極大特定的真命題，它能完整地描述現(xiàn)實(shí)世界的每個(gè)細(xì)節(jié)。所謂為真，即是被這個(gè)極大特定的真命題所邏輯蘊(yùn)涵。通常亦有一種表述：所謂可能，即是在某個(gè)可能世界中為真。這是否意味著，可能性即是被某個(gè)極大特定且可能為真的命題所蘊(yùn)涵？我們?cè)诖斯蠢找环N形而上學(xué)圖景：其中唯一的極大特定命題是由現(xiàn)實(shí)世界之總體所提供的。非現(xiàn)實(shí)的可能世界并非“存在于彼處”，我們也不具備完整描述它們的表達(dá)資源；即便從描述性角度而言，它們也僅是潛在的存在。我們同時(shí)展示了這一圖景所產(chǎn)生的邏輯系統(tǒng)，該邏輯通過(guò)兩種語(yǔ)言框架呈現(xiàn)：一種帶有命題偶真論特征，另一種則包含指稱(chēng)詞體系。