非古典論理学
出典: フリー百科事典『ウィキペディア(Wikipedia)』
非古典論理学(ひこてんろんりがく)は、古典数理論理学(数理論理学)におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理学、あるいは、古典論理学における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理学の総称である。英語では、non-classical logicsと表記される。
[編集] 古典論理の拡張としての非古典論理
古典論理の拡張としての非古典論理は、基本的に古典論理のすべての定理をその論理体系の定理として認める。
[編集] 古典論理の代替としての非古典論理
古典論理の代替としての非古典論理は、基本的に古典論理の定理のいくつかをその論理体系の定理として認めない。