複数辞典一括検索+

ようそう-ろんりがく ヤウサウ― [7] 【様相論理学】🔗🔉

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

大辞林 ページ 156284 での様相論理学単語。