关于演绎推理规则的探讨.pdfVIP

维普资讯 2007年第5期 辽 宁师 专 学报 (社 会 科 学 版 ) NO．52o07 (总53期) JOURNALOFLIAONINGTEACHERSCOLLEGE(SOCIALSCIENCESEDITION) GeneralNo．53 关于演绎推理规则的探讨 木 自 (朝阳师范高等专科学校，辽宁 朝阳 122000) 摘 要： 本文对逻辑教科书和逻辑辞书中提出的性质命题对当推理、三段论以及复合命题相客选言推理的规则进行了探讨，阐 述 了笔名 自己的观点，给出了新的规则，经验证明是行之有效的，也便于人们学习把握应用。 关键词： 对当推理；三段论；相容选言推理；规则 中图分类号：B812．23 文献标识码：A 文章编号：1008--3898(2007)O5—旬138—旬3 推理规则是判定其对应推理形式有效性的充分 SEP、SIP、SOP之间的对当关系并非成立。例如， 必要条件。就某一推理来说，若遵守了该推理的规 “有的鬼是吃人的(SIP)”是假的，“有的鬼不是吃人 则，那么它就是有效的；若违反了该推理的规则，那 的(SOP)”也是假的，二者 同假，就与二者 “不能同 么它就是无效的。但是，在逻辑教科书和逻辑辞书 假”相矛盾。之所以出现矛盾，就在于前提命题的 中，对三段论规则、相容选言推理规则的论述是不够 主项是空类，没有一个对象存在。因此，我们把 “前 精确的，有的存在重复，有的存在 问题，特别是对性 提命题的主项至少要有一个对象存在”作为对当推 质命题对当推理都没有给出推理规则。本文就这些 理的第一条推理规则。有了这条推理规则，既能避 问题谈点看法。 免出现矛盾，又能有效地运用对当推理。 一 、 关于性质命题对当推理规则的问题 根据 “一类的全部对象都具有 (或都不具有)某 性质命题对当推理在逻辑教科书和逻辑辞书中 种属性，那么这类的部分对象也具有(或不具有)某 都没给出推理规则，大多都说该推理是根据命题 种属性”，就能得出 “由全称命题真，就要推出同质 (判断)之间的真假制约情况 (关系)进行的。我们 命题真”的结论。又根据 “一类的全部对象都具有 认为，性质命题对当推理既然是演绎推理的一种，就 (或都不具有)某种属性，那么这类的部分(或全部) 应有其推理规则。经探讨验证，我们觉得性质命题 对象又不具有 (或具有)某种属性是不可能的”，就 对当推理应有 以下五条推理规则： 可得出 “由全称命题真，就要推出不同质命题假”的 (一)前提命题的主项至少要有一个对象存在。 结论。例如，由 “所有的牛都是哺乳动物 (SAP)” (二)由全称命题真，就要推出同质命题真和不 真，就能推出同质命题 “有的牛是哺乳动物 (SIP)” 同质命题都假。 真，又能推出 “所有的牛都不是哺乳动物 (SEP)”和 (三)由特称命题假，就要推出同质命题假和不 “有的牛不是哺乳动物(SOP)”都假。再如，由SEP 同质命题都真。 真，就能推出同质命题SOP真，也能推出不同质命 (四)由全称命题假，只能推出不同质特称命题 题SAP和SIP都假。因此，我们把 “由全称命题真， 真，否则推不出必然性结论。 就要推出同质命题真和不同质命题假”作为对当推 (五)由特称命题真，只能推出不同质全称命题 理的第二条推理规则