可能世界論
可能世界の考えはライプニッツに始まるとされる。ライプニッツは可能世界の概念を神の心に結びつけて用い、現実に創造された世界が「全ての可能世界の中で最善のものである」と論じた。また可能世界のアイディアはルクレティウス、イブン・ルシュド、ヨハネス・ドゥンス・スコトゥスの著作に遡ることができるとする研究者もいる。
現在の可能世界論は、可能性や必然性の意味論を扱うため、ソール・クリプキらによって1950年代に導入された。可能世界論では、現実世界は無数の可能世界のなかの一つであると考える。世界について考えうる異なる「あり方」ごとに異なる可能世界があるとされ、そのなかで我々が実際に暮らしているのが「現実世界」である。これに基づき、可能性や必然性について、以下のように分析することができる。
真なる命題とは、現実世界において真であるような命題である。
可能な命題とは、少なくとも一つの可能世界において真であるような命題である。
偶然的な命題とは、それが真である可能世界も、偽である可能世界も存在するような命題である。
必然的な命題とは、全ての可能世界で真であるような命題である。
不可能な命題(必然的に偽の命題)とは、全ての可能世界で偽であるような命題である。
「クリプキ意味論」はしばしば可能世界意味論と同義で扱われるが、クリプキ意味論は必ずしも必然性・偶然性といった真理論的様相に限った理論ではなく、また「可能世界」という表現から前提されがちな様相実在論的な意味合いはない。