異常邏輯

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

經典邏輯主要指命題演算和關係演算,它有下述特點:
(1)建立在實質蘊涵之上的真值函項的邏輯;
(2)真假二值的邏輯;
(3)假定個體域非空,即量詞毫無例外地具有存在涵義;
(4)單稱詞項(個體變項和個體常項)總是指稱個體域中的某個個體,不允許出現不指稱任何實存個體的空詞項。凡是因不滿意於或否棄其中某一個特點的邏輯理論,通常稱為非經典邏輯,包括多值邏輯、相干邏輯和衍推、直覺主義邏輯、自由邏輯、偏邏輯、量子邏輯、模糊邏輯、次協調邏輯、非單調邏輯、條件句邏輯特別是反事實條件句邏輯、構造邏輯等。

相關詞條

熱門詞條

聯絡我們