经典逻辑
逻辑学术语
经典逻辑是逻辑学中被最深入研究和广泛应用的形式逻辑，由亚里士多德创立，具有排中律、无矛盾律等特征。
简介
经典逻辑标识已经被最深入的研究和最广泛的使用的一类形式逻辑。它们被特征化为一些性质；非经典逻辑缺乏一个或多个这种特性，它们是:
1:排中律;
2:无矛盾律;
3:蕴涵的单调性和蕴涵的幂等性;
4:合取的交换性;
De Morgan 对偶性: 所有逻辑算子都对偶于另一个。
逻辑例子
乔治·布尔的代数的重新逻辑形式化为布尔逻辑;
Gottlob Frege 的概念文字。
Clarence Irving Lewis 的真势模态逻辑的系统 S1-S5。
非经典逻辑
直觉逻辑拒绝排中律和 De Morgan 律；
次协调逻辑(比如双面真理论和相干逻辑)拒绝无矛盾律；
相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性；
线性逻辑拒绝蕴涵的幂等性；
可计算性逻辑是可计算性的语义构造的形式理论，相对于是真值的形式理论的经典逻辑；它整和并扩展了经典、线性和直觉逻辑;
模态逻辑
参考资料
Classical Logic (经典逻辑).Stanford Encyclopedia of Philosophy 《斯坦福哲学百科全书》.
Aristotle’s Logic (亚里士多德的逻辑).Stanford Encyclopedia of Philosophy 《斯坦福哲学百科全书》.
最新修订时间：2025-01-20 22:45
条目作者
小编
目录
概述
简介
逻辑例子
非经典逻辑
参考资料

Copyright©2024 闽ICP备2024072939号-1