非古典論理のソースを表示

'''非古典論理'''（ひこてんろんり）は、[[古典論理]]におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。英語では、non-classical logicsと表記される。

== 古典論理の拡張としての非古典論理 ==
古典論理の拡張としての非古典論理は、基本的に古典論理のすべての定理をその論理体系の定理として認める。

* [[様相論理]]
** [[時相論理]]（他の呼び方：[[時制論理]]）
*** [[線形時相論理]]
** [[義務論理]]（他の呼び方：[[規範論理]]）

== 古典論理の代替としての非古典論理 ==
古典論理の代替としての非古典論理は、基本的に古典論理の定理のいくつかをその論理体系の定理として認めない。

* [[直観論理]]：[[排中律]]を認めない。
* [[多値論理]]：「真」、「偽」以外にも様々な[[真理値]]を取る論理。
* [[適切さの論理]]（他の呼び方：相関論理、関連性の論理、関連性論理）：「1+1=3なら宇宙人がいる」のような命題を真とは考えない論理。
* [[線形論理]]
* [[矛盾許容論理]]：Aと￢Aから⊥を導けない。

なお、古典論理や直観主義論理の[[シークエント計算]]による定式化において、構造規則を制限することによって得られる論理を'''[[部分構造論理]]'''とよび、線形論理、適切さの論理や、[[ウカシェヴィチ]]の多値論理が含まれる。

[[category:論理学|ひこてんろんりがく]]