关于三段论规则的反思

三段论(又称直言三段论)是亚里士多德首创的传统形式逻辑的主要内容。从现代逻辑的观点看,三段论的中心问题是它的有效式的判定问题。判定一个三段论的形式是否有效,可以有多种方法,如:规则判定法,欧拉图判定法,文恩图判定法,类演算判定法,公理系统判定法等。其中,最普通、最常用的方法是规则判定法,即确立一组规则,依据这组规则来判定一个三段论形式有效还是非有效:如果它不违反所有的规则。

三段论问题探讨

(一)目前我国形式逻辑教科书中关于三段论部分大致有三种体系:一种维持传统逻辑的体系,即一公理、七条一般规则、四个格十一条规则的体系,多数教科书都是如此编排;一种是在上述体系基础上有所改进,例如公理的表述方式上的不同,把七条一般规则合并成五条或减掉其中一、二条,把四个格的规则去掉二条等;