古典逻辑是指数理逻辑产生以前的传统形式逻辑。在欧洲，主要指以
亚里士多德逻辑为代表的传统逻辑。在中国，主要指以《墨经》、《荀子·正名》为代表的中国古代逻辑。印度因明亦即印度的古典逻辑。世界上三个古老的民族(古希腊、中国、印度)所创立的三种不同的古代逻辑体系都可称之为古典逻辑，而一般则专用于指称以亚里士多德的“词项逻辑”和斯多亚学派的“命题逻辑”为基本内容的传统形式逻辑。
被排除的中部的法律 并且 双重否定排除; noncontradiction法律 ; entailment Monotonicity 并且 entailment Idempotency ; 契合Commutativity ; de摩根双重性: 每 逻辑操作符 是双重的到另一个。 是研究演绎推理及其规律的科学，是人们认识世界和改造世界的必要工具，是人类认识发育到一定阶段后出现思维方法。康德首先使用了这个术语。
古典逻辑是 二价即。 它只使用 布尔被重视的作用. 并且，当不由在先的条件需要，关于古典逻辑的当代讨论通常只包括 propositional 并且 优先处理 逻辑。
Aristotle‘s Organon 介绍他的理论 syllogisms是逻辑与评断的一个有限的形式： 主张作为四个形式一， 所有Ps是Q, 某一Ps是Q, Ps不是Q和 某一Ps不是Q. 这些评断发现自己，如果二个对二名双重操作员和每名操作员是另的否定， Aristotle总结与他的关系 反对正方形 . Aristotle在辩解他的系统明确地公式化了被排除的中部的非矛盾法律和法律，虽然这些法律在三段论法范围内不可能被表达作为评断。 乔治Boole‘逻辑的s代数再形成，他的系统 布尔逻辑; 优先处理的逻辑发现了 Gottlob Frege‘s Begriffsschrift.
Computability逻辑 是computability的一种语义地被修建的正式理论，与古典逻辑相对，是真相的一种正式理论; 集成并且扩大古典，线性和intuitionistic逻辑。 模糊逻辑 拒绝被排除的中部的法律并且允许作为真值0和1范围的任何实数。 Intuitionistic逻辑 拒绝被排除的中间，双重否定排除和De摩根的法律的法律; 线性逻辑 拒绝entailment idempotency; 模态逻辑 扩大古典逻辑与 非真相功能 (“语气”)操作员。 Paraconsistent逻辑 (即， dialetheism 并且 相关性逻辑)拒绝noncontradiction法律; 相关性逻辑, 线性逻辑和 non-monotonic逻辑 entailment废弃物monotonicity; 在 异常逻辑，模糊逻辑： 在形式主义之外, 苏珊Haack 分开的non-classical逻辑到里 异常类似异常和延长的逻辑。