異常邏輯

又稱非標準邏輯。與“經典邏輯”相對。在一些基本點上不同於經典邏輯的一些邏輯分支的總稱。

基本介紹

• 中文名：異常邏輯
• 所屬學科：邏輯學

經典邏輯主要指命題演算和關係演算，它有下述特點：

（1）建立在實質蘊涵之上的真值函項的邏輯；

（2）真假二值的邏輯；

（3）假定個體域非空，即量詞毫無例外地具有存在涵義；

（4）單稱詞項（個體變項和個體常項）總是指稱個體域中的某個個體，不允許出現不指稱任何實存個體的空詞項。凡是因不滿意於或否棄其中某一個特點的邏輯理論，通常稱為非經典邏輯，包括多值邏輯、相干邏輯和衍推、直覺主義邏輯、自由邏輯、偏邏輯、量子邏輯、模糊邏輯、次協調邏輯、非單調邏輯、條件句邏輯特別是反事實條件句邏輯、構造邏輯等。