直言三段论（简称：三段论），是由包含着一个共同项（中项）的两个直言命题为前提，推出另一个直言命题为结论的一种演绎推理[1]。 直言三段论是由亚里斯多德创建的一种间接推理[1][2]。在直言三段论前提中，两次出现的概念被称为中项（或中词）[1]。直言三段论的规则是直言三段论形式有效、正确的充分必要条件，即同时遵守所有规则就有效、正确，违反任一规则就无效、不正确[3]。 传统逻辑把直言三段论分成四个格，其中格的划分是由直言三段论的中项在前提中所处不同位置来决定的。当中项分别作大前提的主项和小前提的谓项时为第一格，同时作大、小前提谓项时为第二格，当中项同时作大、小前提主项时则为第三格，分别充当大前提谓项和小前提主项时为第四格[4]。 定义