三段论记忆歌诀

欧洲中世纪逻辑学家表示三段论格和式的一套记忆方法。他们用“affirmo”(肯定)一词的前两个元音字母a和i分别表示全称肯定命题和特称肯定命题，用“nego”(否定)一词的两个元音字母e和o分别表示全称否定命题和特称否定命题。每个式都有一个拉丁文名字。最初的三段论记忆歌诀是：

　　Barbara，celarent，darii，ferion，baralipton，

　　Celantes，dabitis，fapesmo，frisesomorum；

　　Cesare，camestres，festino，baroco；darapti，

　　Felapto，disamis，datisi，bocardo，ferison．

这4行歌诀共有19个表达式，代表19个三段论式。第一行的前4个表达式表示第一格的4个三段论式；第一行的最后一个表达式和第二行的4个表达式表示第一格的间接的5个三段论式；第三行的前4个表达式表示第二格的4个三段论式；最后6个表达式表示第三格的6个三段论式。这些表达式中的拉丁文字母具有专门的意义：

①每个式中的3个元音字母分别依次表示一个三段论式的3个命题，例如Barbara表示以3个全称肯定命题组成的第一格的三段论。但是第五个式和第九个式的前3个元音仍表示命题，而后面多出的元音却仅仅是为了具有歌诀的形式，没有实际意义。②第一格的4个式分别用b，c，d，t这4个字母打头。所以其它式也是以这4个字母打头，表示它们要化归为第一格相应的式。例如，Cesare以C打头，说明把它化归为第一格以C打头的Celarent式。③“S”在一表达式中出现，表示紧接它前面的元音字母所代表的命题要简单换位。例如，Cesare这个式有S出现，因此它前面的e所代表的命题要简单换位。④“p”在一表达式中出现，表示紧接它前面出现的元音字母所代表的命题要部分换位，或偶然换位。例如darapti这个式有p出现，因此它前面的a所代表的命题要部分换位，即由“SAP”换成“PIS”。⑤“m”在一表达式中出现，表示前提要变换次序。例如diisamis这个式有m出现，因此i和a所代表的两个前提要交换次序(在这个式中，i代表的命题还要简单换位)。⑥“c”在一表达式中出现，表示要用归谬法证明这个式，例如baroco。这样，三段论记忆歌诀不仅记下了三段论的19个式，而且记下了它们的化归规则。只要给出一个表达式，就可以知道，它要化归到哪个式，用什么方法来化归。

以上是最初的歌诀形式。这里没有用第四格的表达式，而是用第一格间接式的表达式。后来，中世纪逻辑学家对三段论记忆歌诀做了进一步的修改，采用了第四格的表达式。它的形式如下：

　　Barbara celarent darii feriogue prioris；

　　Cesare camestres festino baroco secundae；

　　Tertia darapti disamis datisi felapton

　　Bocardo ferison habet； guarta insuper addit

　　Bramantip camenes dimaris fesapo fresison。

这个歌诀清清楚楚标明了第一、第二、第三、第四格。它为西方传统逻辑教材普遍采用。