矛盾許容論理

ウィキペディア

矛盾許容論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/16 20:56 UTC 版)

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

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

定義

古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律（英語版）^[2]などと呼び、形式的には次のように表される:

${\displaystyle A,\neg A\vdash B}$