什么是三段论？

逻辑学概念，提出者是亚里斯多德
三段论是由两个直言判断作为前提和一个直言判断作为结论而构成的推理，其中包含有（而且只有）三个不同的项。

例如：
凡科学都是有用的
凡社会科学都是科学
------------------
所以，凡社会科学都是有用的

这是一个三段论推理，它只有三个不同的项，即“科学”、“有用的”和“社会科学”。

结论中的主项称为“小项”，上例中“社会科学”就是小项，通常用“S”表示。

结论中的谓项称为“大项”，上例中“用有的”就是大项，通常用“P”表示。

两个前提所共有而在结论中不出现的那个项称为“中项”，上例中“科学”就是中项，通常用“M”表示。

在三段论的两个前提中，包含大项的那个前提叫做大前提，上例中“凡科学都是有用的”是大前提。

在三段论的两个前提中，包含小项的那个前提叫做小前提，上例中“凡社会科学都是科学”是小前提。

三段论推理是根据两个前提所表明的中项（M）与大项（P）和小项（S）之间的关系，通过中项（M）的媒介作用，从而推导出确定小项（S）与大项（P）之间关系的结论。若没有中项（M），就推不出任何结论来。