可能世界論

ウィキペディア

可能世界論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/08/20 09:38 UTC 版)

可能世界論（かのうせかいろん、英：possible world）とは、世界が現在そうである、あるいはなりえたところの、完全で整合的な在り方。可能世界は、内包論理や様相論理に意味論を与えるための形式的道具として、論理学・哲学・言語学で広く用いられている。可能世界の形而上学的地位は哲学における論争の的であり、デイヴィッド・ルイスのような様相実在論（英語版）者は代替的現実が実在すると論じる一方、ロバート・スタルネイカー（英語版）のように、代替的現実は存在しないと論じる立場もある。

論理

可能世界は、様相論理および内包論理の基礎概念の一つである。これらの論理における式は、「何が真でありうるか」「何が真であるべきか」「何を真だと信じているか」といった主張を表現する。これらの主張に形式的解釈を与えるため、論理学者は可能世界を含む構造を用いる。たとえば、古典命題様相論理のクリプキ意味論では、式 $\Diamond P$ カテゴリ

Index