| 三段论的还原 reduction of categorical syllogism 亦译“三段论的化归”。运用判断变形的方法和必要时倒换大小前提的位置而把三段论的第二格、第三格、第四格改变为第一格。由于三段论的第一格是“典型格”、“完善的格”，传统逻辑就常常通过把三段论的其他各格还原为第一格的办法来更清楚地显示三段论第二格、第三格、第四格的演绎性质，实际上这也是对第二格、第三格、第四格的正确性和有效性的一种证明。例如，“翼手目动物(M)是能飞翔的(P)，翼手目动物(M)是哺乳动物(S)，所以有些哺乳动物(S)是能飞翔的(P)”。这是一个具有第三格形式的三段论，如将其小前提作一次换位，即可得到一个第一格的三段论：“翼手目动物(M)是能飞翔的(P)，有些哺乳动物(S)是翼手目动物(M)，所以，有些哺乳动物(S)是能飞翔的(P)。”通过三段论的还原，可以把繁多的三段论形式从三段论第一格的两个基本形式即AAA式与EAE式推导出来。因此，可以把三段论第一格的AAA式与EAE式看作实质上是三段论整个体系的公理，而整个三段论体系也就可视作为一个完整的公理体系。 |