【哲學筆記】「可能世界」之初探

可能世界是這樣子說的：現實世界之外仍然有許多「世界」，這些世界（包括現實世界）的集合就稱作「可能世界(possible worlds)」。這些「可能世界」的性質是「虛擬實在」，事實上，除現實世界之外的可能世界必不現實的發生，但是這些可能世界必然有其實現的「可能性」，這樣的「可能性」提供了那種「虛擬實在」得以可能。

在亞里士多德的邏輯學中，有一部分是被古典時期長時間排除在研究範圍之內（即使這一部份的篇幅遠大過形式邏輯的討論），這就是「模態邏輯(modal logic)」。「可能世界」與「模態邏輯」是英語系國家近年來哲學討論的重要項目，在台灣卻尚未有廣泛的討論（即使是在學術界內，我們很難找到繁體中文的教本）。模態邏輯在形式邏輯上，加上了語句的模態：必然的、可能的。所謂「必然的」就是該語句在所有可能世界中都為真；而「可能的」就是在其中一個可能世界為真。而「必然的」的否定，洽就是「可能的」，在模態邏輯中這是一個基本的性質。而模態邏輯（另外還有主觀機率(subjective probability）有時被認為是人工智能的重要基礎。

可能世界的假設目前還留下了幾個問題：
1. 現實世界與可能世界之間，作為構作可能世界的基礎的「可能性」，其性質為何？範疇為何？
2. 這與一般所使用的語句與其指涉的命題內容之間如何連結？
3. 可能世界的模型的虛擬現實，具體而言的「公理模型」與可能世界之間的連結是？
4. 如可能世界之假設，我依然可以提出：「現實的」可能世界與「可能的」可能世界兩種區分，我這樣的區分合理嗎？不合理的話，差異是？