様相論理学

ようそう ろんりがく やうさう ― 7 【様相論理学 】〔 modal logic 〕可能 必然などの様相概念を扱う論理学 。アリストテレスに萌芽が見られるが ，二〇世紀に入ってルイスによって形式化された 。その後 ，可能世界を導入した意味論が体系化されるに至り ，現代の分析哲学の展開に大きな影響を及ぼした 。 →多値論理学