先講個(gè)非虛構(gòu)故事！顯然，現(xiàn)實(shí)世界中的你正在閱讀《什么是可能世界》這篇哲學(xué)筆記。站在當(dāng)下，我們可以想象，要么你接下來(lái)看懂了、要么你最終沒(méi)看懂。此刻，我們構(gòu)造出了3個(gè)世界：你正在看但還沒(méi)看完的「現(xiàn)實(shí)世界」、你看了并且看懂了的「可能世界」、你看了卻沒(méi)看懂的「可能世界」。嚴(yán)格來(lái)說(shuō)，這3個(gè)世界都是我們可以想象的世界 —— 這種可以被人類(lèi)理性所構(gòu)造并理解的世界都是一個(gè)個(gè)可能世界 (possible worlds)。
「可能世界」是現(xiàn)代邏輯的術(shù)語(yǔ)，它與「命題」緊密相關(guān)：
- 一個(gè)命題是 真命題 或 實(shí)真命題 (a true proposition or actually true proposition)，當(dāng)且僅當(dāng)，它在現(xiàn)實(shí)世界中是個(gè)真命題。例如「你正在閱讀這篇哲學(xué)筆記」這個(gè)命題 —— 它是真的，因?yàn)槟?em>確實(shí) 正在讀它。
- 一個(gè)命題是 假命題 或 實(shí)假命題 (a false proposition or actually false proposition)，當(dāng)且僅當(dāng)，它在現(xiàn)實(shí)世界中是個(gè)假命題。例如「你此刻在聊微信」這個(gè)命題 —— 它是假的，因?yàn)槟阍谧x筆記就不是在 聊微信。
- 一個(gè)命題是 可能命題 或 可真命題 (a possible proposition or possibly true proposition)，當(dāng)且僅當(dāng)，這個(gè)命題在至少一個(gè)可能世界 中是個(gè)真命題。例如「你看了卻沒(méi)看懂」這一情況是有可能 發(fā)生的。
- 一個(gè)命題是 偶然命題 或 偶真命題 (an contingent proposition or contingently true proposition)，當(dāng)且僅當(dāng)，該命題在一些可能世界中是個(gè)真命題、同時(shí)在其他可能世界中是個(gè)假命題。例如「我相信上帝」這種斷言顯然不符合每個(gè)人的實(shí)際情況，因?yàn)橛械娜耸菬o(wú)神論者 —— 由于這一命題在基督徒那里是真的、在無(wú)神論者那里是假的，所以它在一些情況下是真的、在另一些情況下是假的 —— 從而是偶然命題。
- 一個(gè)命題是 必然命題 或 必真命題 (a necessary proposition or necessarily true proposition)，當(dāng)且僅當(dāng)，該命題在所有可能世界中都是個(gè)真命題。例如「邏輯真理是顛撲不破的」在任何一種 人類(lèi)可以想象的可能世界 中都是真的，所以是必然真理，也就是必然命題。
- 一個(gè)命題是 不可能命題 或 必假命題 (an impossible proposition or necessarily false proposition)，當(dāng)且僅當(dāng)，該命題在所有可能世界中都是個(gè)假命題。例如「自相矛盾的概念是可以被構(gòu)造的」這一命題 —— 在任何一種人類(lèi)可以想象的可能世界中，我們都無(wú)法構(gòu)造 出自相矛盾 的概念，所以 —— 這句話是必然假的，也就是不可能命題。
用邏輯語(yǔ)言來(lái)表述這些命題 —— 假設(shè) p 是命題變?cè)?em>w 是可能世界變?cè)?em>wa 是可能世界常元「現(xiàn)實(shí)世界」：
- p 是真命題，當(dāng)且僅當(dāng)，在可能世界 wa 中 p 是個(gè)真命題。
- p 是假命題，當(dāng)且僅當(dāng)，在可能世界 wa 中 p 是個(gè)假命題。
- p 是可能命題，當(dāng)且僅當(dāng)，至少存在一個(gè)可能世界 w ，p 在其中是個(gè)真命題。
- p 是偶然命題，當(dāng)且僅當(dāng)，至少存在一個(gè)可能世界 w ，p 在其中是個(gè)真命題；并且，至少存在一個(gè)可能世界 w ，p 在其中是個(gè)假命題。
- p 是必然命題，當(dāng)且僅當(dāng)，在任一可能世界 w 中，p 都是真命題。
- p 是不可能命題，當(dāng)且僅當(dāng)，不存在一個(gè)可能世界 w ，p 在其中是個(gè)真命題。
直觀地說(shuō)，可能世界就是可以任由理性構(gòu)造出的無(wú)邏輯矛盾的理念世界。由于我們找不出一個(gè)容納不可能命題的可能世界，所以，由前5種命題中的一種或者幾種命題構(gòu)造出的理念世界 都是 可構(gòu)造的可能世界。
