様相論理のソースを表示

'''様相論理'''（ようそうろんり、{{lang-en-short|modal logic}}）は、いわゆる[[古典論理]]の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う[[論理]]である（様相論理は、部分の真理値からは全体の真理値が決定されない'''内包論理'''の一種と見ることができる）。

その歴史は古く[[アリストテレス]]まで遡ることができる{{Sfn|序説(2010)}}{{Rp|138}}が、形式的な扱いは[[数理論理学]]以降、[[非古典論理]]としてである。

様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子<math>\Box</math>と、「～は可能である」ことを意味する可能性演算子<math>\Diamond</math>のふたつの[[論理演算|演算子]]が追加される。

== 真理論的様相と認識論的様相 ==
様相論理は真理論的（[[形而上学]]的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは[[認識論]]的様相と混同されやすい。

例えば「雪男は存在しているはずがない」という主張と、「雪男が存在することは可能である」という主張は、[[矛盾]]無く行うことが可能である。この場合、前者は認識論的様相であり、「（これまでの情報からして）雪男が実際に存在するとは考えられない」という主張とみなしうる。一方、後者は真理論的様相であり「（実際には存在しないのだが）雪男が存在することは可能である」という主張であると解釈することができる。

あるいは、「[[ゴールドバッハ予想]]は正しいかもしれないし、正しくないかもしれない」という言明も認識論的である。これは現時点の知識では正しいかどうか分からないということであり、仮にゴールドバッハ予想の証明が存在し、その方法に気付いていないだけだとすれば、真理論的には「正しくないかもしれない」という主張は誤りであることになる。

これ以外の様相としては、時間的なものがある。例えば、「明日雨が降るかどうかは決まっていない」のに対し、「昨日雨が降ったかどうかは決まっている」と考えられる。このように素朴な時間観には同意しない哲学者も多いが、その構造は様相論理によって把握することができる。

さらに「～べきではない」「～してもよい」といった義務に関わる命題も様相論理によって扱うことができる。直感的にも、「～べきではない」と「～してもよい」の関係は「～は必然的である」と「～は可能である」の関係と極めて類似している。義務表現を扱う様相論理は[[義務論理]]と呼ばれる。

== 様相論理の公理系 ==

様相論理には様々な[[公理系]]が考えられており、どのような公理系が妥当なのかはそれ自体が論争の的である。二つの様相演算子のあいだに[[ド・モルガンの法則]]的な関係が成立することは、どの公理系でも共通している。<math>\Box</math>は必然性演算子、<math>\Diamond</math>は可能性演算子である。

* <math>\Box p \leftrightarrow \neg \Diamond \neg p</math>
* <math>\Diamond p \leftrightarrow \neg \Box \neg p</math>

即ち、「必然的に真」は「偽である可能性がない」と同等であり、「真である可能性がある」は「必然的に偽であるわけではない」と同等である。様相論理としての最低限の定義 <math>\Diamond p = \neg \Box \neg p</math> のみを満たす最小の公理系としては、E という公理系が知られている。これは古典[[命題論理]]に以下の推論規則を加えたものである。

* 推論規則 : <math>\varphi \leftrightarrow \psi</math> が成り立つならば、<math>\Box \varphi \leftrightarrow \Box \psi</math> も成り立つ。

この公理系 E より「強い」すべての公理系は、Classical な公理系と呼ばれる。

しかしながら、真と認めるべきかどうか直感的に明らかでない論理式も多く作ることができる。例えば「必然的に真ならば必然的に「必然的に真」である」と言えるのかどうか、即ち <math>\Box p \rightarrow \Box \Box p</math> が成り立つのかどうかははっきりしない。こういった定理を認めるか否かによって、様々な公理系が生まれる。

必然化規則を満たす公理系（Normal な公理系）の中で、最も「小さな」公理系として知られているのは、[[ソール・クリプキ|クリプキ]]による K という公理系である。K の公理系に更に公理を付け加えることにより、様々な様相論理が得られる<ref>以下の K, T, S4, S5 の公理系については{{Harvp|戸田山|2000|pp=306–310}}に拠った。</ref>。

===K の公理系===
K の公理系は古典命題論理の公理系に公理図式'''K'''（太字になっていることに注意）と必然化規則（necessitation）を付け加えたものである。
* 公理'''K''' : <math>\Box (A \rightarrow B) \rightarrow (\Box A \rightarrow \Box B)</math>
* 必然化規則 : <math>A</math> が無仮定で証明可能ならば、<math>\Box A </math> もまた無仮定で成立する。

ここで可能性演算子は定義 <math>\Diamond p = \neg \Box \neg p</math> によって導入される。

===T の公理系===
K の公理系に以下の公理図式'''T'''「必然的に真ならば、真である」を加えた体系は T と呼ばれる。

* 公理'''T''' : <math>\Box A \rightarrow A</math>

T においては、K では証明可能でなかった <math>p \rightarrow \Diamond p</math> などが証明可能となる。

===S4, S5の公理系===
公理系K,Tにおいては以下の1–4の同値性を証明できないために多重の様相（<math>\Diamond \Diamond</math>, <math>\Box \Box</math>, <math>\Diamond \Box</math>, <math>\Box \Diamond</math>, <math>\Box \Box \Box</math>, ...）を減らすことができない。従って無限に多くの様相が区別されることになる。
#<math>\Diamond P \leftrightarrow \Box \Diamond P</math>
#<math>\Box P \leftrightarrow \Diamond \Box P</math>
#<math>\Diamond P \leftrightarrow \Diamond \Diamond P</math>
#<math>\Box P \leftrightarrow \Box \Box P</math>

これらは還元法則と呼ばれるが、右辺→左辺はTで証明可能なので、1–4の左辺→右辺の内、どれを公理系T に付け加えるかで S4, S5 の違いが生まれる。
* 公理'''4''' : <math>\Box A \rightarrow \Box \Box A</math> （還元法則の4に対応）をTに付け加えたのがS4である。
* 公理'''5''' : <math>\Diamond A \rightarrow \Box \Diamond A</math> （還元法則の1に対応）をTに付け加えたのがS5である。

実は、還元法則の1を仮定すれば、Tの下で2–4は証明可能となる。一方3を仮定すれば4がTで証明可能だが、2は証明可能でない。従ってS5はS4より真に強い（証明力の強い）公理系である。還元法則の導入により本質的に区別される様相はS4で7種類、S5で3種類と実際に減少する。

クリプキはこの S5 に非常に単純な[[意味論 (論理学)|意味論]]が当てはまることを示した（下の[[#様相論理の意味論]]参照）。しかし実際には、議論の目的によって適切な公理系は異なる。例えば、真理論的様相に関しては S5 が最も適当だが、認識論的様相では S4 という公理系が適切であると考えられている。

== 様相論理の意味論 ==

様相論理の[[意味論 (論理学)|意味論]]としては[[ソール・クリプキ]]によって与えられた[[クリプキ意味論]]と呼ばれる体系があり、それと関係するよく知られたアイディアとして[[可能世界論]]がある。上で見た公理系のバリエーションは、可能世界のあいだの[[二項関係]]として定義される到達可能性の概念によって捉えることができる。なお、可能世界という概念をどう解釈すべきかを巡っては、哲学上の議論も盛んである。

命題様相論理の意味論の概要は以下の通りである。

''W''を空でない集合とする。これは個々の可能世界全体の[[集合]]を表していると考えられる。次に''W''上の二項関係''R''を考える。つまり<math>R \subseteq W^2 </math>である。また<math>\langle w,w' \rangle \in R</math> を <math>_{w}R_{w'}</math>と表す。''R''は''W''上の到達関係と呼ばれ、様相演算子の付いた論理式の真偽に影響する。また''PV''を命題変数全体の[[集合]]とし、この''PV''と先に定義したWに対し、[[関数 (数学)|関数]]Vを

:<math>V:PV \rightarrow 2^W</math>

として定義する（<math>2^W</math>は''W''の[[冪集合]]、すなわち部分集合全体の集合である）。これは、ある原子命題について、それが真である可能世界の集合を与える解釈である。すなわち、可能世界''w''において原子命題''p''が真であることを<math>w \in V(p)</math>として表す。このように定義された順序三組〈''W'', ''R'', ''V''〉を解釈（もしくはクリプキモデル）と呼ぶ。

さて、解釈''V''を以下のように論理式全体に再帰的に拡張する。''A''、''B''を任意の論理式、''w''を''W''の任意の要素とする。

*<math>w \in V(\neg A) \Leftrightarrow w \notin V(A)</math>
*<math>w \in V(A \land B) \Leftrightarrow w \in V(A)</math> かつ <math>w \in V(B)</math>
*<math>w \in V(A \lor B) \Leftrightarrow w \in V(A)</math> または <math>w \in V(B)</math>
*<math>w \in V(A \rightarrow B) \Leftrightarrow w \notin V(A)</math> または <math>w \in V(B)</math>
*<math>w \in V(\Box A) \Leftrightarrow </math> 全ての <math> _{w}R_{w'}</math> である <math>w'\in W</math> について <math>w' \in V(A)</math>
*<math>w \in V(\Diamond A) \Leftrightarrow </math> ある <math>_{w}R_{w'}</math> である <math>w'\in W</math> において <math>w' \in V(A)</math>

[[論理演算#演算の種類|命題論理の結合子]]については古典命題論理と全く同じであるが、様相演算子については、可能世界と到達関係を持つ別の可能世界を考える必要がある。任意のクリプキモデル〈''W'', ''R'', ''V''〉の全ての<math>w\in W</math>で<math>w \in V(A)</math>の時、AはK（クリプキに因む）で恒真であると言う。ルイスの公理系の一部の意味論は到達関係''R''に制限（二項関係の制限について詳しくは[[二項関係#集合上の関係|集合上の関係]]を参照）を加えることにより作ることが出来る。例えば''S5''で''A''が証明可能なのは、反射的かつ対称的かつ推移的であるという制限を''R''に加えた全ての[[クリプキ・モデル|クリプキモデル]]の全ての世界で''A''が真である時であり、その時のみである。同様に''S4''は反射的かつ推移的という制限を加える{{Sfn|Priest|2008|pp=35–36}}。

次に「非正規世界」（non-normal worlds）を導入する。''W''を空でない集合、''N''を''W''の部分集合、他''R''及び''v''は上と同様に定義する。この時、順序四組〈''W'', ''N'', ''R'', ''V''〉が非正規様相論理における解釈である。''v''は、命題論理の結合子については、全ての<math>w\in W</math>で上記と同様に拡張される。様相演算子については、正規世界''N''においては上記と全く同じだが、非正規世界''W'' - ''N（WのうちでNに含まれない世界全ての集合）''においては異なる。
:全ての<math>w\in W-N</math>で<math>w \in V(\Diamond A)</math>且つ<math>w \notin V(\Box A)</math>である。
いわば、非正規世界では定義的に（到達関係と関係なく）全ての可能命題が真であり、全ての必然命題が偽である。Aが恒真であるとは全ての解釈〈''W'', ''N'', ''R'', ''V''〉の下で全ての<math>w\in N</math>に対し<math>w \in V(A)</math>であることを言う。非正規様相論理の解釈の到達関係''R''に反射的であるという制限を加えると''S2''、反射的かつ推移的という制限を加えると''S3''の意味論となる{{Sfn|Priest|2008|pp=64–65}}。

公理系S4の位相的意味論では、原子命題達を[[位相空間]]の中の図形と解釈する。ここでは様相演算子<math>\Box</math>と<math>\Diamond</math>は、それぞれ[[開核|開核作用素]]と[[閉包 (位相空間論)|閉包作用素]]に解釈される。代数的意味論では、原子命題達を[[位相ブール代数]]の元と解釈する。

== 様相論理の歴史 ==
{{出典の明記|date=2018年8月|section=3}}
[[アリストテレス]]の論理学は大部分がいわゆる[[三段論法]]に関わるものであり、[[古典論理]]の枠内で扱えるものであるが、有名な ''De Interpretatione'' （『[[命題論]]』）の海戦問題のように、時間と可能性に関わる発展的な議論も行っている。[[スコラ哲学]]では主に[[本質]]（essence）と付随的な性質（accident）の区別について、厳密な論理が展開された。中世の思想家の中で、様相論理に関わる重要な仕事をした人物としては[[オッカムのウィリアム]]、[[ヨハネス・ドゥンス・スコトゥス]]が挙げられる。

今日の様相論理は、[[1918年]]の著書 ''A Survey of Symbolic Logic'' のなかで S1–S5 の公理系を導入した [[C・I・ルイス]]に始まる{{Sfn|Blackburn|Rijke|Venema|2002}}。[[1933年]]には[[クルト・ゲーデル]]により、必然性演算子<math>\Box</math>を基準とした方法で S4 が定義された。[[J・C・C・マッキンゼー]]は[[1941年]]に代数的方法を用いてルイスの S2 と S4 の体系の[[決定可能性]]を証明した。

様相論理に対しての意味論は様々な形で考えられてきたが、[[1963年]]に[[ソール・クリプキ]]により提唱された[[クリプキ意味論]]（[[可能世界意味論]]とも）は、様々な様相論理の体系に対して[[完全性定理]]が成り立つことが示され、様相論理を飛躍的に前進させた。

様相論理から派生した論理体系としては、従来の演算子に代わり、それぞれ過去・未来の到達可能性を示す様相演算子P・Fを導入する[[時制論理|時相論理]]や、従来の様相演算子<math>\Box</math>、<math>\Diamond</math>にラベル付けを施した[[動的論理]]などがある。これらは認知現象の解析や[[計算機科学]]への応用など、目的に応じて様々に考案され、適用されている。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Cite book|和書|author=古森雄一, 小野寛晰 |title=現代数理論理学序説 |publisher=日本評論社 |year=2010 |NCID=BB02425588 |ISBN=9784535785564 |id={{全国書誌番号|21790737}} |ref={{harvid|序説(2010)}}}}
* {{Cite book|和書|author=戸田山和久 |title=論理学をつくる |publisher=名古屋大学出版会 |year=2000 |NCID=BA48630806 |ISBN=4815803900 |id={{全国書誌番号|20118854}} |ref={{harvid|戸田山|2000}}}}
* {{Citation |ref=Vardi(2002) |title=Branching vs. Linear Time: Final Showdown |author=Moshe Y. Vardi |date=2002-12-14 |url=https://www.cs.rice.edu/~vardi/papers/etaps01-ver13.pdf|format=PDF}}
* {{Cite book |ref=harv |last=Priest |first=Graham |title=An Introduction to Non-Classical Logic |edition=2 |year=2008 |publisher=Cambridge University Press}}
* {{Cite book |last=Blackburn |first=Patrick |title=Modal Logic |url=https://www.cambridge.org/core/books/modal-logic/F7CDB0A265026BF05EAD1091A47FCF5B |edition=eBook |date=2002 |publisher=Cambridge University Press |isbn=978-0-521-52714-9 |location=Cambridge |last2=Rijke |first2=Maarten de |last3=Venema |first3=Yde |origyear=2001 |doi=10.1017/cbo9781107050884|ref=harv}}
* {{Cite journal |和書 |last=昭宏 |first=吉満 |date=2004 |title=C.i.ルイスと様相論理の起源 |url=https://doi.org/10.4216/jpssj.37.1 |journal=科学哲学 |volume=37 |issue=1 |pages=1–14 |DOI=10.4216/jpssj.37.1 |doi=10.4216/jpssj.37.1|ref=harv}}

== 関連項目 ==
* [[認識論理]]
* [[義務論理]]
* [[時相論理]]
** [[線形時相論理]]
* [[直観主義論理|直観主義理論]]
* [[可能世界論]]
* [[ソール・クリプキ]]
* [[モダリティ]]

== 外部リンク ==
* {{SEP|logic-modal|Modal Logic}}

{{Logic}}

{{Normdaten}}
{{デフォルトソート:ようそうろんり}}
[[category:論理学]]
[[Category:非古典論理]]
[[Category:様相論理|*]]
[[Category:哲学的論理学]]
[[Category:モダリティ]]