三段论由亚里士多德在“工具论”中第一次将此形式化。
在传统逻辑中，“三段论”指从两个被称为“前提”的命题推导出“结论”的一种演绎推理，是数学证明、侦探、科学研究等思维时常用的一种推理形式。
三段论的大前提涉及“大项”和“中项”，小前提涉及“小项”和中项，结论涉及小项和大项。三段论的原则建立在一般性和特殊性的关系上。
归纳三段论，亚里士多德提出的推理理论。
归纳三段论是亚里士多德提出的用三段论来表述归纳过程的一种归纳推理形式。在《前分析篇》中，亚里士多德曾把归纳法或归纳推理视为直言三段论的一种形式。他说：“归纳或归纳推理，就是通过另一个端项确立一个端项与中项的联系例如B是A和C的中项，通过C证明A属于B，我们就是这样进行归纳证明的。”（《亚里士多德全集》第1卷）例如，如以A表示“长寿的”，B表示“无胆汁的动物”，C表示“长寿的个体”、诸如人、马、骡等。通过已往的观察了解，已知“人、马、骡是长寿的”（A属于C，亦即C是A），而“人、马、骡是无胆汁的动物”（B属于C，亦即C是B）。
亚里士多德是世界古代史上最伟大的哲学家、科学家和教育家。他创立了形式逻辑学，丰富和发展了哲学的各个分支学科，对科学作出了巨大的贡献。
亚里士多德在逻辑学上最重要的工作就是三段论的学说。
