直言三段论24个有效式的演绎推导有序排列和成立条件.docx

直言三段论 24 个有效式的演绎推导有序排列和成立 条件 关于直言三段论有效式的演绎推导， 在国内各种各样的形 式逻辑教材中， 到目前为止尚未发现。 在国外的一些形式逻辑专 著中，仅有无条件成立的 15 个有效式的演绎推导，并且在推导 过程中比我们多用一个基本规则， 即“从两个全称前提不能得出 特称结论” [1] 。为了便于记忆和运用，国外一些逻辑学家赋予 15 个有效式以独特的名称，而国内对此却没有采取相应的便捷 形式。关于直言三段论有效式的成立条件，一般认为有 15 个有 效式无条件成立， 有 9 个有效式只有在预设主项存在的情况下才 成立。但也有人认为那 9 个有条件成立的有效式， 只有在预设主 项或谓项存在的情况下才成立 [2] 。并且，几乎都是一笔带过， 缺少具体的证明过程。为此，笔者就直言三段论的有效式，谈如 下几点看法。 一、直言三段论有效式的演绎推导和有序排列 直言三段论有三个直言命题， 每个直言命题可以有四种类型 （A E、I、O）,因而这三个直言命题有 64种（4X 4X 4）可能 组合。每一种组合可以有四个格，因此，直言三段论有 256 个 （64 X 4）可能的形式。这些形式中绝大部分是无效的，根据直 言三段论的基本规则、 导出规则和“弱式规则”则可以排除违反 了至少一条规则的形式，剩下的就是直言三段论的有效式。 （一）直言三段论规则 基本规则： 1、中项至