这篇主要是复习一下前面的内容，省得大家都忘记了，后面的内容就难以理解了。
我们前面是在逻辑之理的层面上，讨论了一个非常重要的话题，三段论。在之前的文章中，我们已经学了一大堆名词，这些名词对于了解三段论的性质是非常有用的。
比如三段论是由三个句子构成的，一个句子叫大前提，一个句子叫小前提，一个句子叫结论。在讲到三段论的词项构成时，我们提到了小项、大项、中项。另外我们也提到了量词这个概念，牵涉到了四类量词，全称肯定、特称肯定、特称否定以及全称否定，于是这些东西组合在一起就构成了很多格式。
格式这件事儿非常重要，我们都知道，我们小时候做数学题目，都有一个格式，要按照这个格式来写，如果格式不对，老师就会扣分。我们在讲到最基础的推理形式的时候，讲了肯定前件或者否定后件，这也是格式。
格式的一般特点是什么？它不是讨论具体的内容是什么，而是讨论形式，只要你抓住了格式和形式，你就可以快速地对整个论证的有效性进行检索和检查。那么在三段论里面，是不是也有一些有效的格式，以便供我们进行检查？肯定是有的。
但是我得让大家的小心脏接受一个事实，这个有效的格式有二十四种之多。为什么一下子就变多了？这个道理也很简单，我已经在上一篇文章里面提到了，三段论的论证形式，是在词项的层面上来进行处理的，词项是命题的下一层单元，如果在这一层出现，它排列的组合可能性就大多了。
讲到这里，我们还是要稍微复习一下有关的术语表达的外文缩写，比如我们在说小项的时候，小项就是结论这个句子的主语，它对应的是英文的Subject，我们称它为S；大项就是谓词或谓语，英文是Predicate，用P来代表；我们还说到了中项，英文是Middle，M打头，我们就叫中项为M。
这就叫S、P、M，大家都记住了。那么S、P或者M当中也有不同的联系方式，这就出现了AEIO这四种可能，A就是指全称肯定，全称否定就是E，特称肯定是I，特称否定的是O。
