各种句子类型之间的逻辑关系。对于主词"S"和谓词"P"，提供了如下规则:只有前两个规则是亚里士多德在他的着作《解释篇》中陈述的，第三个规则是后人从他的《前分析篇》中补充进来的，第四个规则是后人从前两个规则做出的推论。发人深省的是亚里士多德在《解释篇》中对特称否定命题的陈述为“并非所有的S是P”而不是“有些S不是P”。
存在性引入问题.对立四边形在现代在很大程度上落伍了，并且实际上与现代谓词演算不兼容。这是因为在现代逻辑中，“所有的S都是P”在实际上不蕴涵任何S的存在性。所