可能世界論

可能世界論（かのうせかいろん、英: possible world）とは、世界が現在そうである、あるいはなりえたところの、完全で整合的な在り方。可能世界は、内包論理や様相論理に意味論を与えるための形式的道具として、論理学・哲学・言語学で広く用いられている。