和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。经典逻辑基于公理化的四个基本原理：同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律。
简介.古希腊亚里斯多德的逻辑主要反映在其着作集《工具论》中。 《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的着作汇编成的一部着作集，并定为此名。这六篇着作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。<br>亚里斯多德的逻辑，尤其是他的三段论理论