作为形式逻辑的奠基人，亚里士多德在逻辑学上的贡献是多方面的，其中最重要的就是他的三段论学说。经过历代学者的研究修缮，现在的三段论已经是逻辑学中最为重要和严密的推理形式之一。
三段论的定义
所谓三段论就是以包括一个共同概念的两个直言判断作为前提推出一个新的直言判断作为结论的演绎推理形式。具体地说，就是通过一个共同概念把两个直言判断联结起来，并以这两个直言判断为前提，推出一个新的直言判断。因为，三段论的前提和结论都是直言判断，所以三段论又被称为直言三段论推理或直言三段论。比如：
（1）作家都是知识分子，
钱锺书是作家，
所以，钱锺书是知识分子。
（2）语言是人类交际的工具，
汉语是语言，
所以，汉语是人类交际的工具。
推理（1）是以包含“作家”这个共同概念的两个直言判断（作家都是知识分子、钱锺书是作家）作为前提推出一个新的直言判断作为结论（钱锺书是知识分子）的三段论推理；推理（2）则是以包含“语言”这个共同概念的两个直言判断（语言是人类交际的工具、汉语是语言）作为前提推出一个新的直言判断作为结论（汉语是人类交际的工具）的三段论推理。
因为三段论是由两个判断推出一个判断的推理形式，所以三段论是间接推理；又因为三段论的前提和结论都是直言判断，所以三段论是直言判断的间接推理。
