矛盾許容論理
矛盾許容論理(むじゅんきょようろんり、Paraconsistent Logic)とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。
矛盾許容論理は1910年ごろにはすでに存在していた(原始的な形ではアリストテレスまで遡る)。しかし、矛盾許容(Paraconsistent)という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である。
矛盾許容論理が生み出された動機として、矛盾を含む情報からの推論を制御された手法で可能にすべきだという考え方があった。爆発律はこれを妨げるものであったため、矛盾許容論理では排除された。他の論理では矛盾を含む体系は常に1つしかなく、その体系にはあらゆる文が定理として含まれる。矛盾許容論理では矛盾を含む体系を区別することができ、矛盾のある体系で推論ができる。場合によっては矛盾のある体系を矛盾のない体系に修正することも可能である。また、大規模ソフトウェアシステムなどでは矛盾のないことを保証することはできない。
一部の哲学者はもっと積極的に、いくつかの矛盾を「真」であるとし、矛盾を含む体系が必ずしも正しくないわけではないという立場をとる。このような観点を真矛盾主義 (Dialetheism) と呼び、嘘つきパラドックスやラッセルのパラドックスのようなパラドックスを額面通り受け止めようとする考え方が根底にある。ただし、矛盾許容論理の信奉者が全てそのように考えているわけではない。一方で、真矛盾主義の立場では矛盾許容論理は必須であり、さもなくば全てが真であると認めなければならなくなる。