经典逻辑 （英語：Classical logic ）[ 1] 標準邏輯 （standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理 思维规律 ，包括：同一律 、排中律 、无矛盾律 （也被称为矛盾律）。
古希腊亚里斯多德 的传统逻辑 主要反映在其著作集《工具论 》中。[ 2] [ 3] 亚里士多德 学派的传人们（即逍遥学派 ）将他的六篇关于逻辑 的著作汇编成的一部著作集，并定为此名。这六篇著作分别是《范畴篇 》、《解释篇 》、《《前分析篇》 后分析篇 辨谬篇 》。
经典逻辑是19至和20世纪初的创新，它比亚里士多德的传统逻辑 具有更广泛的应用，并且能够将亚里士多德的传统逻辑 表述为一个特例[ 1] 罗素悖论 [ 4] set ）和类（collection ）的概念，经典逻辑的基本句法和语义概念的出现尤其如此，比如，给定顺序的逻辑语言，可满足性和可定义性。其它的研究和进展包括：集合论 的公理化、类型论 、语义学基础、形式逻辑 的理论。[ 5]
經典邏輯被特征化为下面一些性质：
同一律 排中律 无矛盾律 蕴含的单调性 和蕴含的幂等性 （分别就是结构规则 中弱化规则 和紧缩规则 ）合取的交换律 （就是结构规则 中交换规则 ）德·摩根对偶律 ：所有逻辑算子 都对偶于另一个。在经典逻辑中，从矛盾中可以推导出任何东西；这叫做爆炸原理 (ex contradictione quodlibet （ECQ）)。
非经典逻辑
传统逻辑 （又称为：亚里士多德逻辑）：亚里士多德 的传统逻辑是经典逻辑一个特例。亚里士多德 在工具论 介入了他的三段论 理论，它是带有严格形式的判断（judgement ）的逻辑：断言采用四种形式，“所有P都是Q”，“有些P是Q”，“没有P是Q”，“有些P不是Q”。这些断定是两对对偶的算子，并且每个算子都是另一个的否定，亚里士多德用他的对立四边形 总结了它们之间的联系。亚里士多德明确的公式化表达了排中律 和无矛盾律 ，尽管这些定律不能在三段论框架内作为断定来表达。数理逻辑 数理逻辑的研究范围是经典逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。[ 6]
^ 1.0 1.1 Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.) . [2021-02-08 ] . （原始内容 存档于2022-02-26）. ^ Smith, Robin, "Aristotle's Logic", The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Edward N. Zalta (ed.) . [2021-02-12 ] . （原始内容 存档于2022-06-13）. ^ 亚里士多德 著; 余纪元 等 翻译. 工具论（上下）, 中国人民大学出版社， ISBN：9787300051185, 出版时间： 2003. ^ Press, The MIT. Russell's Paradox . The MIT Press. [2019-08-30 ] . （原始内容 存档于2020-03-21） （英语） . ^ Paradoxes and Contemporary Logic, <Stanford Encyclopedia of Philosophy> . [2021-02-13 ] . （原始内容 存档于2021-11-04）. ^ Classical & Nonclassical Logics - an introduction to the mathematics of propositions . [2023-06-10 ] . （原始内容存档 于2023-06-08）.
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.
