矛盾許容論理のソースを表示

'''矛盾許容論理'''（むじゅんきょようろんり、Paraconsistent Logic）とは、[[矛盾]]を特別な方法で扱う[[論理学|論理体系]]。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。'''矛盾許容型論理'''とも。

矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形では[[アリストテレス]]まで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、[[ペルー人]]哲学者 Francisco Miró Quesada が最初である<ref>Priest (2002), p. 288 and §3.3.</ref>。

== 定義 ==
[[古典論理]]や[[直観主義論理]]では、矛盾からはあらゆることが導かれる。この特徴を{{仮リンク|爆発律|en|Principle of explosion}}<ref>{{Cite book |和書 |author=戸次大介 |title=数理論理学 |edition=初版 |date=2012-03-09 |publisher=東京大学出版会 |page=165 |quote=定義 7.51}}</ref>などと呼び、形式的には次のように表される:
<div style="text-align: center;">
<math>A, \neg A \vdash B</math>
</div>
ここで <math>\vdash</math> は[[論理的帰結関係]]を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。

上記の通り、体系に1つの矛盾が存在した場合、その体系も自明である。つまり、あらゆる文が定理となる。ここで、爆発律を採用しないように、古典論理における定理を一部採用しない体系を、総じて矛盾許容論理という。結果として、矛盾許容論理は、矛盾を含みながらも自明でない体系となる。

== 古典論理との比較==
矛盾許容論理は古典論理よりも弱く、妥当とみなす推論の数が少ない。矛盾許容論理は、古典論理で妥当とみなされる推論のすべてを妥当とみなすわけではないため、古典論理の拡張とはなり得ない。この点で、矛盾許容論理は古典論理よりも「保守的」あるいは「慎重」と言える。

== 目的 ==
矛盾許容論理が生み出された動機として、矛盾を含む[[情報]]からの推論を制御された手法で可能にすべきだという考え方があった。爆発律はこれを妨げるものであったため、矛盾許容論理では排除された。他の論理では矛盾を含む体系は常に1つしかなく、その体系にはあらゆる文が定理として含まれる。矛盾許容論理では矛盾を含む体系を区別することができ、矛盾のある体系で推論ができる。場合によっては矛盾のある体系を矛盾のない体系に修正することも可能である。また、大規模[[ソフトウェア]]システムなどでは矛盾のないことを保証することはできない。

一部の哲学者はもっと積極的に、いくつかの矛盾を「真」であるとし、矛盾を含む体系が必ずしも正しくないわけではないという立場をとる。このような観点を[[真矛盾主義]] ([[:en:Dialetheism|Dialetheism]]) と呼び、[[嘘つきパラドックス]]や[[ラッセルのパラドックス]]のような[[パラドックス]]を額面通り受け止めようとする考え方が根底にある。ただし、矛盾許容論理の信奉者が全てそのように考えているわけではない。一方で、真矛盾主義の立場では矛盾許容論理は必須であり、さもなくば全てが真であると認めなければならなくなる。

== トレードオフ ==
矛盾許容論理には問題もある。爆発律を排除したため、以下の3つの非常に基本的な原理のうち少なくとも1つを採用できなくなる:
{| border=1 align=center
|[[命題論理#推論規則|論理和の導入]]
|<math>A \vdash A \lor B</math>
|-
|[[選言三段論法]]
|<math>A \lor B, \neg A \vdash B</math>
|-
|[[推移関係]]または[[カット規則]]
|<math> \Gamma \vdash A; A \vdash B \Rightarrow \Gamma \vdash B</math>
|}

これらのうちどれを排除すべきかが研究され、現在では選言三段論法を排除するのが一般的である。真矛盾主義の立場では、選言三段論法が正しくないというのは正当である。''A'' と ¬''A'' が共に真で、''B'' が偽であるとする。''A'' v ''B'' は ''A'' が真なので全体として真である。従って、前提となる ''A'' v ''B'' と ¬''A'' は共に真だが、結論となる ''B'' は真ではない。

同様に以下の3つの原理も爆発律に依存しているため、少なくとも1つを排除しなければならない:

{| border=1 align=center
|[[背理法]]
|<math>A \to (B \wedge \neg B) \vdash \neg A</math>
|-
|[[構造規則]]
|<math>A \vdash B \to A</math>
|-
|[[二重否定の排除]]
|<math>\neg \neg A \vdash A</math>
|}

「背理法」と「構造規則」の排除が試みられてきた。「二重否定の排除」の排除も行われているが、それは別の理由からである。二重否定の排除だけをなくしても、矛盾から全ての否定命題を証明可能である。

== 単純な矛盾許容論理 ==
最も有名な矛盾許容論理は LP（Logic of Paradox）という単純な体系である。[[アルゼンチン]]の論理学者 F. G. Asenjo が 1966年に提唱し、後に Priest が広めた<ref>Priest (2002), p. 306.</ref>。

LP の意味論を表現する方法として、通常は関数の評価とされるところを関係で置き換えるという方法がある<ref>LP は一般に3値（真、偽、両方）をとる[[多値論理]]とも呼ばれる。</ref>。[[二項関係]] ''V'' は[[well-formed formula|論理式]]と[[真理値]]を関連付ける。''V''(''A'',1) は ''A'' が真であることを意味し、''V''(''A'',0) は ''A'' が偽であることを示す。各論理式には少なくとも1つの真理値が対応つけられるが、対応する真理値は必ずしも1つである必要はない。[[否定]]と[[論理和]]の意味は次のようになる:
* <math>V( \neg A,1) \Leftrightarrow V(A,0)</math>
* <math>V( \neg A,0) \Leftrightarrow V(A,1)</math>
* <math>V(A \lor B,1) \Leftrightarrow V(A,1) \ {\rm or} \ V(B,1)</math>
* <math>V(A \lor B,0) \Leftrightarrow V(A,0) \ {\rm and} \ V(B,0)</math>
他の[[論理演算]]は否定と論理和の組合せで定義可能である。より非形式的に表現すると次のようになる:
* ''not A'' は ''A'' が偽であるときだけ真である。
* ''not A'' は ''A'' が真であるときだけ偽である。
* ''A or B'' は、''A''が真かまたは''B''が真であるときだけ真である。
* ''A or B'' は、''A''が偽でかつ''B''も偽であるときだけ偽である。
論理的帰結関係の意味論は次のようになる:
: Γ <math>\vDash</math> ''A'' は  Γ の全要素が真であるときはいつでも ''A'' が真となることである。
ここで、''V''(''A'',1) と ''V''(''A'',0) という関係があり、''V''(''B'',1) という関係がないとする。これらの関係から爆発律と論理和による三段論法の[[反例]]は容易に導くことが出来る。しかしそれは同時にLPの[[論理包含|条件文]]のための[[モーダスポネンス]]への反例でもある。このため、LP では否定と論理和の組合せでは定義できない強い条件結合子を採用することが多い<ref>例えば Priest (2002), §5 を参照</ref>。

LP は多くの（通常真である）推論パターンを保持しており、[[ド・モルガンの法則]]、否定/[[論理積]]/論理和に関する[[自然演繹]]が成り立つ。また、驚くべきことに[[恒真式]]はLPでも一般の論理体系でも変わらない<ref>Priest (2002), p. 310 を参照</ref>。LPと古典論理が異なるのは、[[推論]]が真となる範囲である。各論理式が必ず真か偽の値を持つという条件を外した矛盾許容論理を FDE（First-Degree Entailment）と呼ぶ。LPとは異なり、FDPには恒真式がない。

LP は数ある矛盾許容論理の一種でしかない点に注意されたい<ref>様々な矛盾許容論理は Bremer (2005) や Priest (2002) に紹介されている。</ref>。比較的単純な例としてここに紹介したに過ぎない。

== 他の論理学との関係 ==
矛盾許容論理の重要な体系として[[適切さの論理]]がある。論理は以下の条件を満たしたときだけ「適切」であるとされる:

: ''A'' → ''B'' が定理であるとき、''A'' と ''B'' は1つの非論理定項を共有する。

このため、適切さの論理では ''p'' & ¬''p'' → ''q'' を定理として持つことができない。また、{''p'', ¬''p''} から ''q'' を導く推論も不可能である。

適切さの論理と[[多値論理]]は重なる部分も多々あるが、適切さの論理が全て多値論理というわけではない（もちろん、全ての多値論理が矛盾許容論理というわけでもない）。

[[直観論理]]では ''A'' ∨ ¬''A'' を偽とする可能性があるが、矛盾許容論理では ''A'' ∧ ¬''A'' を真とする可能性がある。このことから、矛盾許容論理と直観論理は互いに[[双対]]と見なせるように思われる。しかし、直観論理は特殊な論理体系であって、矛盾許容論理は様々な体系を内包する論理体系のクラスである。従って、直観論理の双対は特定の矛盾許容論理の体系であり、双対直観論理（''dual-intuitionistic logic''）または（歴史的な理由で）''Brazilian logic'' と呼ばれる<ref>Aoyama (2004) を参照</ref>。2つの論理体系の双対性は[[シークエント計算]]のフレームワークでよくわかる。直観論理では次のシークエントを導出できない。

: <math>\vdash A \lor \neg A</math>

しかし、双対直観論理では次のシークエントを導出できない。

: <math>A \land \neg A \vdash</math>

同様に、直観論理では次のシークエントを導出できない。

: <math>\neg \neg A \vdash A</math>

一方、双対直観論理では次のシークエントを導出できない。

: <math>A \vdash \neg \neg A</math>

双対直観論理には結合子 # があり、これは直観的含意の双対である。大まかに言えば、''A'' # ''B'' は「''A''だが、''B''でない」（''A'' but not ''B''）という意味である。ただし、# は[[真理関数]]ではない。

== 応用 ==
矛盾許容論理は、様々な領域で矛盾を扱う手段として利用されてきた。以下に例を挙げる<ref name="See Bremer"> Bremer (2005) および Priest (2002) を参照。</ref>:
* [[意味論 (論理学)|意味論]]: [[嘘つきパラドックス]]などに陥らない真実の形式的かつ単純な説明手段として矛盾許容論理が提案されてきた。しかし、そのような体系では[[カリーのパラドックス]]も防ぐ必要があるが、この場合否定を使っていないため対処がより難しい。
* [[集合論]]などの数学の基礎: [[ラッセルのパラドックス]]や[[ゲーデルの不完全性定理]]との関連で矛盾許容論理を重視する立場もある。
* [[認識論]]: 矛盾する理論や仮説で推論する手段として、あるいはそれらを改善する手段として矛盾許容論理が提案されてきた。
* [[ナレッジマネジメント]]と[[人工知能]]: 矛盾する情報を扱う手段として矛盾許容論理が一部で使われてきた<ref>Bertossi et al. (2004) に例がある。</ref>
* [[義務論理]]と[[メタ倫理学]]: 倫理的・規範的矛盾を扱う手段として矛盾許容論理が提案されてきた。

== 批判 ==
前述した3つの原理（のいずれか）を排除しなければ成立しない矛盾許容論理に対して、爆発律を排除することの直観的正当性よりも、その3つの原理の直観的正当性が勝ると主張する哲学者もいる{{要出典|date=2022年2月}}。

また、[[デイヴィド・ルイス]]は、ある文とその否定が共に真であるとする矛盾許容論理に反対の立場を主張した<ref>Lewis (1982) 参照</ref>。関連して、矛盾許容論理の「否定」はいわゆる[[否定]]ではなく、[[アリストテレス]]のいう小反対に相当するとの主張もある<ref>Slater (1995), Béziau (2000) を参照</ref>。

== 研究者 ==
矛盾許容論理の主な研究者を以下に列挙する:

* [[アラン・アンダーソン (論理学者)|アラン・アンダーソン]] （[[アメリカ合衆国]]、 1925年 - 1973年） 矛盾許容論理の一種でもある[[適切さの論理]]を構築した研究者の1人。
* F. G. Asenjo （[[アルゼンチン]]）
* Diderik Batens （[[ベルギー]]）
* Nuel Belnap （アメリカ合衆国、1930年 - ） Anderson と共に適切さの論理を構築。
* Jean-Yves Béziau （[[フランス]]/[[スイス]]、1965年 - ）
* Ross Brady （[[オーストラリア]]）
* Bryson Brown （[[カナダ]]）
* Walter Carnielli （[[ブラジル]]）
* Newton da Costa （ブラジル、1929年 - ） 矛盾許容論理の形式体系を構築した初期の研究者の1人。
* Itala M. L. D'Ottaviano （ブラジル）
* J. Michael Dunn （アメリカ合衆国） 適切さの論理の研究者
* Stanisław Jaśkowski （[[ポーランド]]） 矛盾許容論理の形式体系を構築した初期の研究者の1人。
* R. E. Jennings （カナダ）
* [[デイヴィド・ルイス]] （アメリカ合衆国、1941年 - 2001年） 矛盾許容論理に対する批評家
* [[ヤン・ウカシェヴィチ]] （ポーランド、1878年 - 1956年）
* Robert K. Meyer （アメリカ/オーストラリア）
* Chris Mortensen （オーストラリア） 矛盾許容数学
* Val Plumwood （Val Routley とも、オーストラリア、1939年 - ） 
* [[グレアム・プリースト]] Graham Priest （オーストラリア） 矛盾許容論理についての現在の世界的第一人者
* Francisco Miró Quesada （[[ペルー]]） 矛盾許容論理（''paraconsistent logic''）という用語を生み出した。
* Peter Schotch （カナダ）
* B. H. Slater （オーストラリア） 矛盾許容論理に対する批評家
* Richard Sylvan （Richard Routley とも、[[ニュージーランド]]/オーストラリア、1935年 - 1996年） 
* Nicolai A. Vasiliev （[[ロシア]]、1880年 - 1940年）

== 脚注 ==
{{脚注ヘルプ}}

=== 出典 ===
<references/>

==参考文献==
* {{cite journal | author=Aoyama, Hiroshi | title= LK, LJ, Dual Intuitionistic Logic, and Quantum Logic | journal=Notre Dame Journal of Formal Logic | date=2004年 | volume=45 | issue= 4 | pages= 193&ndash;213}} 
* {{cite book | last=Bertossi | first=Leopoldo et al., eds. | title=Inconsistency Tolerance | date=2004年 | publisher=Springer | location=Berlin | id=ISBN 3-540-24260-0}}
* {{cite book | last=Béziau | first=Jean-Yves | editor=In D. Batens et al. (eds.) | title=Frontiers of Paraconsistent Logic | date=2000年 | publisher=Research Studies Press | location=Baldock | id=ISBN 0-86380-253-2 | pages=95-111 | chapter=What is Paraconsistent Logic?}}
* {{cite book | last=Bremer | first=Manuel | title=An Introduction to Paraconsistent Logics | date=2005年 | publisher=Peter Lang | location=Frankfurt | id=ISBN 3-631-53413-2}}
* {{cite book | last=Brown | first=Bryson | editor=In Dale Jacquette (ed.) | title=A Companion to Philosophical Logic | date=2002年 | publisher=Blackwell Publishers | location=Malden, Massachusetts | id=ISBN 0-631-21671-5  | pages=628-650 | chapter=On Paraconsistency.}}
* {{cite book | last=Lewis | first=David | title=Papers in Philosophical Logic | origyear=1982年 | date=1998年 | publisher=Cambridge University Press | location=Cambridge | id=ISBN 0-521-58788-3 | pages=97&ndash;110 | chapter=Logic for Equivocators}}
* {{cite book | last=Priest | first=Graham | editor=In D. Gabbay and F. Guenthner (eds.) | title=Handbook of Philosophical Logic, Volume 6 | edition=2nd ed. | date=2002年 | publisher=Kluwer Academic Publishers | location=The Netherlands | id=ISBN 1-4020-0583-0  | pages=287-393 | chapter=Paraconsistent Logic.}}
* {{cite web | author=Priest, Graham and Tanaka, Koji| date=2001| title=Paraconsistent Logic | work=Stanford Encyclopedia of Philosophy (Winter 2004 edition) | url=http://plato.stanford.edu/archives/win2004/entries/logic-paraconsistent/ | accessdate= 2006年2月24日}}
* {{cite journal | author=Slater, B. H. | title= Paraconsistent Logics? | journal=Journal of Philosophical Logic | date=1995年 | volume=24 | pages= 233&ndash;254}} 
* {{cite book | last=Woods | first=John | title=Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences | date=2003年 | publisher=Cambridge University Press | location=Cambridge | id=ISBN 0-521-00934-0}}

==外部リンク==
* [http://plato.stanford.edu/entries/mathematics-inconsistent/ Stanford Encyclopedia of Philosophy "Inconsistent Mathematics"]

{{DEFAULTSORT:むしゆんきよようろんり}}
[[Category:矛盾許容型論理|*]]
[[Category:形式論理体系]]
[[Category:数理論理学]]
[[Category:数学に関する記事]]
[[Category:非古典論理]]
[[Category:哲学的論理学]]
[[Category:信念修正]]