（五）三段论的式

构成三段论推理的三个性质命题，在质和量上的不同，就形成了三段论的不同形式，这些不同的形式叫做三段论的式。

三段论总是由质和量不同的A、E、I、O四种命题组合而成，任何一个三段论推理都表现为一定的格和式。

例如：所有的物体都是有重量；（A）

      所有的气体都是物体；（A）      

      所以，所有的气体都是有重量的。（A）

这个推理属于三段论推理的第一格，由于它的三个性质命题都是全称肯定命题，所以，它属于第一格的AAA式。

但是，并不是任何三个性质命题的结合都能构成一个正确的三段论推理式。

例如：所有经验主义者都不是马克思主义者；（E）

      所有教条主义者都不是经验主义者；（E）        

      所以，所有教条主义者都不是马克思主义者。（E）

这个推理是第一格的EEE式，它违反了三段论推理的基本规则（4）；若从第一格的特殊规则来考察，它违反了小前提必须是肯定命题这一规则,因此它是不正确的式。这个推理的结论是真实的，但并不是由前提必然推出来的。

A、E、I、O都可以作为大前提、小前提和结论，其排列组合数目是：4×4×4=64。这样，每个格都有64式，四个格共有64×4=256式。但大多数是违反三段论规则的，是错误的式或无效式。如EEE式违反规则（4）即从两个否定的前提推不出结论；III式违法规则（6）即从两个特称前提推不出结论，所以，这两个式都是无效式。

根据三段论推理的规则，就可以确定出各个格的正确式。四个格总共有256个式，其中只有24式是正确的式。各格正确式如下：

第一格：AAA，（AAI），EAE，（EAO），AII，EIO。

第二格：AEE，（AEO），EAE，（EAO），AOO，EIO。

第三格：AAI，EAO，AII，EIO，IAI，OAO。

第四格：AAI，AEE，（AEO），IAI，EAO，EIO。

上面的各个式中，凡带有括号的式叫做“弱式”，共有五个弱式。弱式就是指可推出全称结论但只推出一个特称结论的式。如第一格中AII式。我们知道，在第一格中，从AA这两个前提可以推出全称结论A，但得出AAI式却是一个特称结论，因而这个式就是弱式。

例如：所有的植物都是生物；（A） 

      所有的玫瑰花都是植物；（A）  

      所以，有的玫瑰花是生物。（I）

这个推理形式是三段论的弱式，三段论弱式的结论也是必然的，但特称结论所断定的比全称结论所断定的要少。前面列出四个格的正确式共24个，如果省略5个弱式，那么，三段论四个格的正确式总共有19个式。

三段论的各个格只说明大、中、小项的位置不同。三段论的各个式只说明作为大前提、小前提和结论的命题种类不同。只有两者结合起来，才能表明三段论的完整形式。比如，第一格和AAA式结合起来所表明的完整形式是：

 S A M   

∴S A P