様相論理学（読み）ヨウソウロンリガク（その他表記）modal logic

デジタル大辞泉

ようそう‐ろんりがく〔ヤウサウ‐〕【様相論理学】

必然性・可能性などの様相概念を取り扱う論理学。→多値論理学

出典　小学館

精選版 日本国語大辞典

ようそう‐ろんりがくヤウサウ‥【様相論理学】

1. 〘 名詞 〙 ( [英語] modal logic の訳語 ) 可能性や必然性などの様相概念を扱う論理学。アリストテレスやライプニッツにその萌芽を見るが、形式的に発展したのは一九四〇年代以降で、分析哲学に大きな影響を与えた。

出典　精選版 日本国語大辞典

改訂新版　世界大百科事典

様相論理学 (ようそうろんりがく)
modal logic

〈必然的〉〈可能的〉といった様相概念を形式的に取り扱う論理学。様相三段論法という形において，アリストテレスがすでに様相論理学の研究に手をそめていたことは注目に値する。その後，西洋古代，中世においても様相論理学はアリストテレスの伝統に基づいて，散発的ではあるが，研究されてきた。しかしながら，近代論理学の立場から様相論理学の研究を再開したのはアメリカの論理学者C.I.ルイスであった。そして，近代的様相論理学の基本的構造はルイスによって決定されたのである。

　さて，様相論理学と非様相論理学の相違は，前者が□（必然的），◇（可能的）といった命題を命題に変換する論理演算を含むことにある。そして，こういった演算を含む論理が様相論理学にほかならない。たとえば，□A≡～◇～A〈命題Aが必然であるということは，Aでないということが可能でないということと同値である〉（≡と～は，それぞれ，同値と否定をあらわす論理演算）は，いかなる様相論理学においても妥当な命題である。さらに，□（A∧B）≡□A∧□B，◇（A∨B）≡◇A∨◇B，□（A⊃B）⊃□A⊃□Bなども一般に成り立つ。ただし，∧と⊃は，それぞれ，〈そして〉と〈ならば〉に対応する論理演算である。ところが，□A⊃A，□A⊃□□Aといった形の命題となると果たして一般に妥当であるかどうか疑わしくなる。このように考えると，様相論理学は一つではなく，いろいろの系が可能であることがわかる。そして，ルイスが提唱したS₁－S₅といった公理系を中心として，いろいろな系の間の相互関係が活発に研究されている。

　一方，様相論理学の意味論については，クリプキSaul Kripkeが多世界意味論many worlds semanticsを提唱して以来，直観主義論理学，文法理論とも結合して，その研究が急速に進んでいる。
→命題論理学
執筆者：石本 新

出典　株式会社平凡社「改訂新版　世界大百科事典」

日本大百科全書(ニッポニカ)

様相論理学
ようそうろんりがく
modal logic 英語
modale Logik ドイツ語

「可能」「必然」などの、様相に言及することばの入った命題によって組み立てられた論証の構造を研究する論理学。すでにアリストテレスに、このような論証についてのかなり詳しい研究がみられる。20世紀前半にルイスとラングフォードにより、記号を用いた様相論理学の公理系がいくつか提出されて以来、現代論理学の手法による様相論理学の研究が盛んになった。未来のことについては、排中律が成立しないという考え方があるが、これは未来がまだ可能性の世界だとすることに基づく。これからも察せられるように、様相論理学と多値論理学とが結び付くとする考え方もある。あるいは量子論理と様相論理学とが近いとする考え方もあり、ブール値モデルにより、これらの論理学を統合して集合論に吸収しようとするやり方もある。一方、様相概念にまつわる哲学的な困難を指摘し、様相論理学自体にも批判的である、クワインのような哲学者もいる。

［吉田夏彦］

[参照項目] | 論理学

出典　小学館　日本大百科全書(ニッポニカ)

ブリタニカ国際大百科事典 小項目事典

様相論理学
ようそうろんりがく
modal logic

現代論理学の一分野。命題の真，偽だけにかかわる，従来のいわゆる二値論理学に対して，可能，必然，不可能などの「命題の様相」を導入し，これらの命題が演繹される公理系と推理規則を考え，それによって論理式を解釈しようとする。着想はアリストテレスにさかのぼり，13世紀の学者トマス・アクィナスが様相ということばを論理学に導入したが，近代論理学からは軽視されていた。これを体系化して新しい分野を開いたのはクラレンス・ルイスで 1930年代のこととされている。ポーランドの J.カウセウィチも別の出発点から様相論理学に到達した。一般に，様相概念（□必然，◇可能など）が二値論理学の記号（￢，∨，⊃など）と同等に用いられていること，命題が語られることばと命題に関して語ることばとの間に階層の違いを認めないこと，少数の様相概念が自明として前提され，他の様相概念がそれによって定義されることなどが，この論理学で共通している。

出典　ブリタニカ国際大百科事典 小項目事典