西方的形式逻辑发展历史
西方最早运用了数学方法研究逻辑的系统。
古希腊的学者对形式逻辑进行了全面的研究，徳谟克里特曾经研究了归纳、类比和定义方面的问题，苏格拉底曾经阐述了他对归纳法与演绎法的一些看法，柏拉图继续研究了定义、划分以及判断方面的问题。
西方形式逻辑研究最主要的、有系统理论建树的是亚里士多德，他在总结前人研究成果的基础上，最早从形式结构来论述演绎推理，从而第一次全面、系统地研究了逻辑学的各种主要问题，由他开始了形式逻辑的古典阶段。因此，有人称亚里士多德为“逻辑之父”。
亚里士多德开创的形式逻辑的古典阶段，包括几种常见的演绎推理和最简单的量词理论，也使用了一些特有符号，但没有探讨关系逻辑和公理系统的逻辑性质。他的主要逻辑著作有《范畴篇》《解释篇》《前分析篇》《后分析篇》《论辩篇》和《辩谬篇》。后人把它们收集在一起，合称为《工具论》。
这是一部划时代的著作，其中《范畴篇》主要研究了概念和范畴的问题，《解释篇》主要研究了判断及其有关的问题，《前分析篇》和《后分析篇》主要研究了推理和证明的问题，《论辩篇》和《辩谬篇》主要研究了辩论的方法以及如何驳斥诡辩的问题。在这六篇中，《前分析篇》和《后分析篇》是最重要的部分，亚里士多德关于三段论的学说，关于证明的学说，就是在这里阐述的。
此外，亚里士多德在其重要的哲学著作《形而上学》中，还集中地论述了形式逻辑的基本规律，即矛盾律、排中律以及同一律。需要指出的是，亚里士多德虽然在个别地方曾提到过归纳法，但他并未给它以应有的地位，他的主要精力是用在演绎法上面，因而他的主要贡献也正在于此。
沿着亚里士多德的形式逻辑发展，古希腊斯多葛学派研究了复合判断的问题，他们把复合判断区分为假言判断、选言判断和联言判断等。在此基础上，他们研究并制定了假言推理和选言推理的形式、规则。斯多葛学派的这些研究成果，补充了亚里士多德逻辑之不足，丰富了形式逻辑的内容。
欧洲中世纪，为教会服务的经院哲学束缚着人们的思想，亚里士多德逻辑被歪曲，变成了论证上帝存在的工具。然而，即使是在这一时期，形式逻辑仍有一些发展，主要表现在：出现了一些把形式逻辑体系化的逻辑教本，如西班牙彼得的《逻辑大全》，对一些逻辑问题进行了新的探讨，发展斯多葛学派的命题逻辑，研究了语义悖论及其解决方法等。
