系列条目哲学柏拉图康德尼采释迦牟尼孔子亚维侯
哲学家
美学家
知识论者
伦理学家
逻辑学家
形而上学学者
社会和政治哲学家
传统
分析
亚里士多德
基督教人文主义
欧陆
存在主义
犹太教
实用主义
东方
自然神论
基督自然神论
柏拉图
新柏拉图
西方
时期
古典
中世纪
近代
当代
文献
美学
知识论
伦理学
逻辑学
形而上学
政治哲学
分支
形而上学
知识论
逻辑学
经典
非经典
形式
非形式
悖论
谬误
辩证法
伦理学
美学
科学哲学
自然哲学
政治哲学
社会哲学
法律哲学
列表
索引
概要
年份
问题
出版物
理论
词汇表
哲学家
杂项
哲学家
爱学问的人
查论编
经典逻辑（英语：Classical logic）[1]，也被称为标准逻辑（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本原理，包括：同一律、排中律、无矛盾律（也被称为矛盾律）、充足理由律等等。
目录
1 历史简介
2 特征
3 经典逻辑的例子
4 非经典逻辑
5 参见
6 引用
7 参考资料
历史简介
古希腊亚里斯多德的传统逻辑主要反映在其著作集《工具论》中。[2][3]《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的著作汇编成的一部著作集，并定为此名。这六篇著作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。
经典逻辑是19至和20世纪初的创新，它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例[1]。当时,发现逻辑和数学的基础遇到许多疑难问题，尤其是罗素悖论[4],以极为简明的形式震撼了数学的基础，使得悖论在当代逻辑中获得了新的作用，导致了新定理的发现。经典逻辑可根据数学函数解释量词，它也是第一个能够处理多重一般性问题的逻辑，亚里士多德的系统对此是无能为力的。基础方面的进展包括，不可证明性和不可判定性。特别是，逻辑的几个基本概念发展过程，是得益于解决悖论的各种尝试。对于集合（set）和类（collection）的概念，经典逻辑的基本句法和语义概念的出现尤其如此，比如，给定顺序的逻辑语言，可满足性和可定义性。其它的研究和进展包括：集合论的公理化、类型论、语义学基础、形式逻辑的理论。[5]
特征
参见：推理规则列表]]和非经典逻辑
经典逻辑被特征化为下面一些性质：
同一律
排中律
无矛盾律
充足理由律
蕴涵的单调性和蕴涵的幂等律（分别就是结构规则中弱化规则和紧缩规则）
合取的交换律
德·摩根对偶律：所有逻辑算子都对偶于另一个。
在经典逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。
非经典逻辑缺乏上面这其中的某一个或多个特性。
经典逻辑的例子
传统逻辑（又称为：亚里士多德逻辑）：亚里士多德的传统逻辑是经典逻辑一个特例。亚里士多德在工具论介入了他的三段论理论，它是带有严格形式的判断（judgement）的逻辑：断言采用四种形式，“所有P都是Q”，“有些P是Q”，“没有P是Q”，“有些P不是Q”。这些断定是两对对偶的算子，并且每个算子都是另一个的否定，亚里士多德用他的对立四边形总结了它们之间的联系。亚里士多德明确的公式化表达了排中律和无矛盾律，尽管这些定律不能在三段论框架内作为断定来表达。
布尔逻辑：乔治·布尔的代数的重新逻辑形式化为布尔逻辑；
弗雷格的概念文字。
Clarence Irving Lewis的真势模态逻辑的系统S1-S5。
非经典逻辑
主条目：非经典逻辑
直觉逻辑和多值逻辑拒绝排中律和德·摩根定律；
次协调逻辑（比如：双面真理论和相干逻辑）拒绝无矛盾律；
相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性；
线性逻辑拒绝蕴涵的幂等律；
可计算性逻辑是可计算性的语义构造的形式理论，相对于是真值的形式理论的经典逻辑；它整和并扩展了经典、线性和直觉逻辑；
模态逻辑向经典逻辑扩展了非真值泛函（“模态”）算子。
参见
逻辑
爆炸原理
非经典逻辑
直觉主义
BHK释义
直觉类型论
中间逻辑
线性逻辑
构造性证明
Curry-Howard对应
可计算性逻辑
博弈语义
引用
Dov Gabbay,（1994）. 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson,（Eds）, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press.
参考资料
↑ 1.0 1.1 Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.).
↑ Smith, Robin, "Aristotle's Logic", The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Edward N. Zalta (ed.).
↑ 亚里士多德 著; 余纪元 等 翻译. 工具论（上下）, 中国人民大学出版社， ISBN：9787300051185, 出版时间： 2003.
↑ Press, The MIT. Russell's Paradox. The MIT Press. [2019-08-30] （英语）.
↑ Paradoxes and Contemporary Logic,
查论编哲学
分支（形而上学 · 知识论 · 逻辑学 · 伦理学 · 美学 · 价值论）
哲学与……
艺术
设计
音乐
电影
历史
人性
语言
文学
文化
教育
人生
宗教
宇宙学
存在
哲学
精神
幽默
心理学
神经哲学
行动
数学
人工智能
信息
时空
科学
物理
化学
生物
地理
环境
技术
工程
医学哲学
医疗卫生哲学
性
社会科学
经济
公正
法律
政治
社会
战争
哲学学派
哲学史
西方
古典
中世纪
文艺复兴
近代（巴洛克时期 · 启蒙时代 · 19世纪）
当代
东方
古典希腊-希腊化哲学
前苏格拉底
毕达哥拉斯主义
诡辩学派
柏拉图主义
亚里士多德主义（逍遥学派）
犬儒学派
伊比鸠鲁学派
斯多亚学派
新柏拉图主义
解释学
中世纪 9 – 16世纪基督欧洲
经院哲学
人文主义
托马斯主义（阿奎那）
伊斯兰
阿威罗伊主义
阿维森纳
照明主义
伊斯兰教义学
苏菲主义
犹太教
犹太-伊斯兰
近代 17 – 19世纪人物
新托马斯主义
笛卡尔主义
康德主义
新康德主义
黑格尔主义
马克思主义哲学
唯物-唯心
辩证唯物主义
唯心主义
绝对唯心论
理性主义
经验主义
功利主义
实用主义
其他
自由主义
无政府主义
现代主义
现象学
超验主义
存在主义
当代 20 – 21世纪分析哲学
分析女性主义
结果论
实验哲学
内在主义与外在主义
证伪主义
基础主义 和 真理融贯论
逻辑实证主义
科学主义
法律实证主义
蒯因的自然主义
日常语言哲学
寂静主义
罗尔斯主义
改革宗知识论
后分析哲学
功利主义
新亚里士多德主义
维也纳学派
维特根斯坦
欧陆
批判理论
解构主义
存在主义
女性主义
法兰克福学派
后现代主义
后结构主义
社会建构主义
结构主义
其他
京都学派
俄国宇宙主义
更多
领域
形而上学
原子论
二元论
一元论
自然主义
本体论
行动
事件
过程哲学
现实
反实在论
概念论
唯心主义
唯物主义
自然主义
唯名论
实在论
自然神论
知识论
理性主义
唯心主义知识论
经验主义
建构主义
特殊主义
怀疑论
唯我论
信仰主义
精神
行为主义
取消主义
副现象主义
机能主义
客观主义
主观主义
伦理学
结果论
义务伦理学
德性伦理学
自由意志
相容论
决定论
自由意志主义
规范性
绝对主义
特殊主义
相对主义
虚无主义
怀疑主义
普遍主义
美学
形式主义
制度论
美学回应
逻辑学
经典
非经典
形式
非形式
悖论
谬误
各地区哲学哲学相关列表
各地区哲学
非洲（埃塞俄比亚哲学）
阿兹特克哲学
东方（中国 · 日本 · 朝韩 · 印度 · 伊朗 · 印尼 · 巴基斯坦）
西方（美国 · 英国 · 丹麦 · 法国 · 德国 · 希腊 · 意大利 · 波兰 · 罗马尼亚 · 俄国 · 斯洛文尼亚）
列表
概要
索引
问题
学派
词汇表
概念
哲学家
运动
出版物
分类
最近更改
查论编逻辑
学术领域
辩论法
价值论
审辩式思维
可计算性理论
形式语义学
逻辑史
非形式逻辑
计算器逻辑
数理逻辑
数学
元逻辑
元数学
模型论
哲学逻辑
哲学
逻辑哲学
数学哲学
证明论
集合论
基础概念
溯因推理
分析真理
二律背反
先验
演绎推理
定义
描述
蕰涵
归纳推理
推论
逻辑结论
逻辑形式
逻辑蕰涵
逻辑真理
名称
充分条件
意义
悖论
可能世界
假定
机率
理智
推理
指涉
语义学
语句
严格条件
交换区
语法学
真理
真值
有效性
审辩式思维和非形式逻辑
分析
歧义性
论证
信仰
偏见
公信力
证据
解释
解释力
事实
谬论
探究
意见
奥卡姆剃刀
前提
政治宣传
审慎
推理
关联
修辞学
严格
含糊
演绎理论
结构主义
双面真理说
虚构主义
有限主义
形式主义
直觉主义
逻辑原子论
逻辑主义
唯名论
柏拉图唯实论
实用主义
唯实论
康托尔定理
可判定性
邱奇-图灵论题
兼容性
有效方法
数学基础
哥德尔完备性定理
哥德尔不完备定理
可靠性
完备性
可判定性
解释
勒文海姆–斯科伦定理
元定理
可满足性
独立性
类型-记号区别
使用-提及区别
一般
形式语言
形成规则
形式系统
演绎系统
形式证明
形式语义学
合式公式
集合
元素
类
经典逻辑
公理
自然演绎
推理规则
关系
定理
逻辑结论
公理系统
类型论
符号
语法学
定律
传统逻辑
命题
推论
论证
有效性
说服力
直言三段论
对立四边形
文氏图
命题逻辑和逻辑代数
布尔函数
命题逻辑
命题公式
逻辑联结词
真值表
谓词逻辑
一阶逻辑
量化
谓词
二阶逻辑
一元谓词演算
集合论
集合
空集
枚举法
外延性
有限集合
函数
子集
幂集
可数集
递归集合
定义域
值域
有序对
不可数集
模型论
模型
解释
非标准模型
有限模型论
真值
有效性
证明论
形式证明
演绎系统
形式系统
定理
逻辑结论
推理规则
语法学
可计算性理论
递归
递归集合
递归可枚举集合
决定性问题
邱奇-图灵论题
可计算函数
原始递归函数
模态逻辑
真性逻辑
价值逻辑
道义逻辑
信念逻辑
认识逻辑
时间逻辑
直觉主义
直觉主义逻辑
结构分析
海廷算术
直觉类型论
结构集合论
模糊逻辑
真实度
模糊规则
模糊集
模糊有限元素
模糊集合运算
亚结构逻辑
结构规则
相干逻辑
线性逻辑
次协调逻辑
双面真理说
描述逻辑
本体论
本体语言
安德逊
亚里斯多德
鲁世德
西那
贝恩
巴威斯
博内斯
布尔
布勒斯
康托尔
卡尔纳普
邱奇
克吕西波
加里
德摩根
弗雷格
吉奇
根岑
哥德尔
希尔伯特
克莱尼
克里普克
莱布尼兹
勒文海姆
皮亚诺
皮尔士
普特南
奎因
罗素
施罗德
司各脱
斯科伦
史慕扬
塔斯基
图灵
怀特黑德
奥卡姆的威廉
维根斯坦
策梅洛
主题
逻辑概要
数理逻辑
布尔代数
集合论
其它
逻辑学家
推理规则
悖论
谬论
逻辑符号
&
∨
¬
~
→
⊃
≡
|
∀
∃
⊤
⊥
⊢
⊨
∴
∵
分类