矛盾許容論理
矛盾許容論理(むじゅんきょようろんり、Paraconsistent Logic)とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。
矛盾許容論理は1910年ごろにはすでに存在していた(原始的な形ではアリストテレスまで遡る)。しかし、矛盾許容(Paraconsistent)という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。
定義
古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律[2]などと呼び、形式的には次のように表される:
「Paraconsistent logic」の例文・使い方・用例・文例
- Paraconsistent logicのページへのリンク