普通逻辑入门.pptVIP

推理结论的真实 由前提推出结论的过程合乎推理规则 —— 推理形式有效(与前提真假 无关) 推理结论真实的条件： 1、前提真实 2、 推理合乎逻辑 第六十二页，共一百一十二页，2022年，8月28日 推理的分类 推 理 必然性推理 或然性推理 (演绎推理) (非演绎推理) 简单判断的推理 复合判断的推理 归纳推理 类比推理 一般到个别 个别到一般 个别到个别或一般到一般 第六十三页，共一百一十二页，2022年，8月28日 直 接 推 理 前提是一个性质判断，结论直接从前提判断中推导出来的一种演绎推理 直接推理有两种： 对当关系推理 判断变形推理 对当关系直接推理 根据性质判断之间的对当关系所进行的直接推理 第六十四页，共一百一十二页，2022年，8月28日 A (上)反对 E 差 差 等 等 I 下反对 O ◎ 逻 辑 方 阵 图 ◎ 第六十五页，共一百一十二页，2022年，8月28日 对当关系推理的类型例举 1、反对关系 SAP →﹁ SEP / SEP →﹁ SAP 2、下反对关系 ﹁ SIP→ SOP / ﹁ SOP→ SIP 3、差等关系 SAP → SIP /﹁ SIP → ﹁ SAP SEP → SOP /﹁ SOP→﹁ SEP 4、矛盾关系 SAP→﹁ SOP / SOP → ﹁ SAP ﹁ SAP → SOP / ﹁ SOP →SAP SEP → ﹁ SIP / SIP → ﹁ SEP ﹁ SEP → SIP / ﹁ SIP → SEP 第六十六页，共一百一十二页，2022年，8月28日 判断变形推理 通过改变性质判断的逻辑形式所进行的直接推理 SIP SAP → SEP SEP → SAP SIP → SOP SOP→ 换质法 第六十七页，共一百一十二页，2022年，8月28日 换位法 SEP→ PES SIP → PIS SAP→ PIS 判断变形推理 SEP→ PES→ SOP PAS→ SAP→ SIP→ PIS→ SAP→ SAP→PIS POS 第六十八页，共一百一十二页，2022年，8月28日 关系判断的推理 1．对称性 对称 （必然） aRb→bRa 反对称（必然不） aRb→﹁bRa 非对称（不必然） aRb→bRa？ 2．传 递 性 传递 （必然） aRb∧bRc→aRc 反传递（必然不） aRb∧bRc→﹁ aRc 非传递（不必然） aRb∧bRc→aRc？ 第六十九页，共一百一十二页，2022年，8月28日 演绎推理的三个特征 从一般到个别 结论所断定的范围不会超过前提 前提蕴涵结论 前提真结论一定为真 结论是必然的 前提已定，结论是一定的 第七十页，共一百一十二页，2022年，8月28日 三 段 论 三个性质判断—— 大前提、小前提、结论 三个项—— 大项、中项、小项 M P S M ∴ S P 结 论 小项 大项 大前提 小前提 中项 三段论的公理 遍有遍无律 S M P S M P 第七十一页，共一百一十二页，2022年，8月28日 三段论的一般规则 一个三段论必须有而且只能有三个项 物质是永恒不灭的， 恐龙是物质 所以，恐龙是永恒不灭的 中项在前提中至少周延一次 鱼都是会游水的 鲸鱼是会游水的 所以，鲸鱼是鱼 PAM SAM ∴ SAP M P 第七十二页，共一百一十二页，2022年，8月28日 前提中不周延的项在结论中不能周延 1.大项不当周延（大项扩大） 警察是应当守法的 我不是警察 所以，我不应当守法