法律逻辑学课程课件(三段论推理).ppt

bad reasoning well as good reasoning is possible;and this fact is the foundation of the practical side of logic.Charles Sanders Peirce 三段论定义定义：以两个包含共同项的命题为前提而推出一个以两个包含共同项的命题为前提而推出一个新的性质命题为结论的推理。新的性质命题为结论的推理。共同项共同项是关键是关键所有所有哲学家哲学家是是思想家思想家，所有，所有逻辑家逻辑家是是哲学家哲学家，所以，所以，所有逻辑家所有逻辑家是是思想家思想家M P S M S P结构结构 ：三项三项与与三命题三命题结论的主项小项结论的主项小项 S S 结论的谓项大项结论的谓项大项 P P前提中的共同项中项前提中的共同项中项 M M包含大项的前提大前提包含大项的前提大前提 P,MP,M包含小项的前提小前提包含小项的前提小前提 S,MS,M包含大项和小项的包含大项和小项的结论结论 S,PS,P家家哲哲学学思思想想家家逻辑家逻辑家 PMS1 1）中项至少周延一次中项至少周延一次 中项出现两次，至少有一次或是全称中项出现两次，至少有一次或是全称命题的主项，或是否定命题的谓项。命题的主项，或是否定命题的谓项。错误：中项不周延错误：中项不周延2 2）前提中不周延的项，在结论中也不得周延前提中不周延的项，在结论中也不得周延 项的周延性不能扩大项的周延性不能扩大 错误：小项扩大；大项扩大错误：小项扩大；大项扩大 3 3）两个否定前提不能必然得出结论两个否定前提不能必然得出结论 至少有一肯定前提至少有一肯定前提 错误：双否定前提错误：双否定前提4 4）结论否定，当且仅当前提否定结论否定，当且仅当前提否定 前提有一否定，则结论否定；前提有一否定，则结论否定；结论否定，则前提否定；前提没有否定（均肯定），则结论肯结论否定，则前提否定；前提没有否定（均肯定），则结论肯定；结论肯定，则前提均肯定（没有否定）。定；结论肯定，则前提均肯定（没有否定）。错误：肯定前提得否定结论错误：肯定前提得否定结论 否定前提得肯定结论否定前提得肯定结论 三段论的规则三段论的规则一般规则一般规则(三段论有效性的充分且必要条件三段论有效性的充分且必要条件)1 1）二特称前提不能必然得出结论二特称前提不能必然得出结论导出规则导出规则2 2）前提特称，则结论特称前提特称，则结论特称两个特称前提的所有组合均违反一般规则两个特称前提的所有组合均违反一般规则：II IO OI OO中项不周延中项不周延 大项扩大大项扩大 大项扩大大项扩大 双否定前提双否定前提 中项不周延中项不周延根据完全归纳法，根据完全归纳法，二特称前提不能必然得出结论。二特称前提不能必然得出结论。参加这次会议的都是高级法官。参加这次会议的都是高级法官。这些人是参加这次会议的。这些人是参加这次会议的。这些人是高级法官。这些人是高级法官。犯罪嫌疑人是有作案时间的。犯罪嫌疑人是有作案时间的。这些人没有作案时间。这些人没有作案时间。这些人不是犯罪嫌疑人。这些人不是犯罪嫌疑人。三段论的非典型模式：三段论的非典型模式：“我从来不给蠢货让路。我从来不给蠢货让路。”“我恰恰相反。我恰恰相反。”歌德歌德蝙蝠不是鸟，蝙蝠不是鸟，因为蝙蝠是哺乳动物，因为蝙蝠是哺乳动物，而鸟不是哺乳动物。而鸟不是哺乳动物。二、三段论公理（曲全公理）二、三段论公理（曲全公理）如果对一类事物的全部对象有所断定，如果对一类事物的全部对象有所断定，那么对这类事物的部分对象也就有所那么对这类事物的部分对象也就有所断定。断定。MSMSPP四、三段论的格与式四、三段论的格与式 1 1、三段论的格、三段论的格 第一格：第一格：M P M P S M S M S P S P 例如：经济规律是客观规律例如：经济规律是客观规律 按劳分配规律是经济规律按劳分配规律是经济规律 所以，按劳分配规律是客观规律所以，按劳分配规律是客观规律 第二格：第二格：P MP M S M S M S P S P 例如：凡是合格的司机都不酒后驾车；例如：凡是合格的司机都不酒后驾车；该司机酒后驾车；该司机酒后驾车；所以，该司机不是合格的司机。所以，该司机不是合格的司机。第三格：第三格：M PM P M S M S S P S P 例如：玻璃不是金属；例如：玻璃不是金属；玻璃是有光泽的；玻璃是有光泽的；所以，有些有光泽的不是金属。所以，有些有光泽的不是金属。第四格：第四格：P MP M M S M S S P S P 例如：有些水生动物是海豚；例如：有些水生动物是海豚；海豚是哺乳动物；海豚是哺乳动物；所以，有些哺乳动物是水生动物。所以，有些哺乳动物是水生动物。第一格的特殊规则：第一格的特殊规则：（1 1）小前提必须是肯定的）小前提必须是肯定的 （2 2）大前提必须是全称判断）大前提必须是全称判断第二格的特殊规则：第二格的特殊规则：（1 1）两前提中必有一个是否定判断）两前提中必有一个是否定判断 （2 2）大前提必须是全称判断）大前提必须是全称判断第三格的特殊规则：第三格的特殊规则：（1 1）小前提必须是肯定判断）小前提必须是肯定判断 （2 2）结论必须是特称判断）结论必须是特称判断第四格的特殊规则：第四格的特殊规则：（1 1）如果两个前提中有一个是否定）如果两个前提中有一个是否定判断，则大前提必须是全称判断。判断，则大前提必须是全称判断。（2 2）如果大前提是肯定判断，则）如果大前提是肯定判断，则小前提必须是全称判断。小前提必须是全称判断。（3 3）如果小前提是肯定判断，则）如果小前提是肯定判断，则结论必须是特称判断。结论必须是特称判断。（4 4）任何一个前提都不能是特称）任何一个前提都不能是特称否定判断。否定判断。（5 5）结论不能是全称肯定判断。）结论不能是全称肯定判断。2 2、三段论的式：、三段论的式：三段论的式就是三段论的式就是A A、E E、I I、O O四种判断在前和四种判断在前和结论中的各种组合形式。结论中的各种组合形式。符合三段论规则的有效式有符合三段论规则的有效式有1111个：个：AAAAAA、AAIAAI、AEEAEE、AEOAEO、AIIAII、AOOAOO、EAEEAE、EAOEAO、EIOEIO、IAIIAI、OAOOAO第一格第一格第二格第二格第三格第三格第四格第四格AAAAAAAEEAEEAAIAAIAAIAAI AII AIIEAEEAEAIIAIIAEEAEEEAEEAEEIOEIOEAOEAOEAOEAOEIOEIOAOOAOOEIOEIOEIOEIOAAIAAIAEOAEOIAIIAIIAIIAIEAOEAOEAOEAOOAOOAOAEOAEO 三段论的格与式格的格的定义定义：由中项在前提中的位置不同所决定的三段论的形式三段论的四个格三段论的四个格M PS MS PP MS MS PM PM SS PP MM SS P第一格 第二格 第三格 第四格各格的特殊规则各格的特殊规则第一格 第二格 第三格 小前提肯定 二前提有一否定 小前提肯定 大前提全称 大前提全称 结论特称第四格 1)任何一个前提都不能是特称否定；2)结论不能是全称肯定命题；3)若有一否定前提，则大前提全称；4)如大前提肯定，则小前提全称；5)如小前提肯定，则结论特称。第一、三格规则的证明均用反证法有效性的必要条件三段论的格三段论的格三段论的式三段论的式式的定义：式的定义：由不同的A、E、I、O命题形式作为三段论的前提或结论所决定的三段论的具体形式 分配到各格的式分配到各格的式 三段论的式共有64个，又有4个格，因此，将64式以4个格的形式分别组成三段论，则三段论的具体形式有64 4256。但三段论格的特殊规则排除了本格绝大多数形式，如，第一格的AEE、AEA、IAA等，第二格的AAA、AAI等，因此每格最多有6个有效式。所有哲学家是思想家，所有逻辑家是哲学家，所以，所有逻辑家是思想家M P S M S PA A A此三段论称为AAA式，完整的形式是 MAP S AM S A P式的数量式的数量：三段论有3个命题，每一命题有4种可能的形式即A、E、I、O，所以，式的数量为 44464。但其中绝大多数式是无效式，如EEE,EEA,EAA,EAI等，只有11个是有效式。第一格 小前提肯定；大前提全称 AA EA AI EI 2 24第二格 有一前提否定；大前提全称 EA AE AO EI 2 24第三格 小前提肯定；结论特称 AA AI EA EI IA OA OI II 2 48 第四格 无O命题前提；结论不是A AA AE AI EA EE EI IA IE II 3 39利用格的规则写出各格的前提组合利用格的规则排除无效式，添上结论得出有效式AAA EAE AII EIO AAI EAOEAE AEE AOO EIO EAO AEOAAI AI I EAO EIO IAI OAO OI II AAI AEE AII EAO EE EIO IAI IE II AEO M PS MS PP MS MS PM PM SS PP MM SS P在语言表达上，三段论可以是两句话，即省略一句话。在语言表达上，三段论可以是两句话，即省略一句话。为何能省去三分之一仍是三段论？省略的情况有三种可为何能省去三分之一仍是三段论？省略的情况有三种可能：能：1)省去大前提省去大前提。2)2)省去小前提。省去小前提。3)3)省去结论。省去结论。判断一个省略三段论的有效性，只能先将其恢复为完整判断一个省略三段论的有效性，只能先将其恢复为完整的形式的形式 ，再进行判定。，再进行判定。三段论的省略式三段论的省略式1)1)判断省去的是哪一部分。找结论标志词。若结论判断省去的是哪一部分。找结论标志词。若结论标志词存在，说明结论在，而省去一个前提；若没标志词存在，说明结论在，而省去一个前提；若没有结论标志词，则是省去了结论；省去结论的话，有结论标志词，则是省去了结论；省去结论的话，可直接利用推理规则得出结论，恢复完成。可直接利用推理规则得出结论，恢复完成。2)2)若省去的是前提，则需进一步判断省去的是大前若省去的是前提，则需进一步判断省去的是大前提，还是小前提。提，还是小前提。3)3)补充省略的部分。补充省略的部分。恢复三段论恢复三段论:判断省去的是哪一部分，再补充省去的部分判断省去的是哪一部分，再补充省去的部分例如：例如：我们的事业是正义事业，我们的事业是正义事业，所以我们的事业是一定要胜利的。所以我们的事业是一定要胜利的。凡是金属都导电，所以铁导电。凡是金属都导电，所以铁导电。我们是大学生，而大学生是应当讲文明的。我们是大学生，而大学生是应当讲文明的。“我又不是共产党员，干嘛那么积极工作？我又不是共产党员，干嘛那么积极工作？”有些无锡人不爱吃辣椒。因此，有些爱吃甜食有些无锡人不爱吃辣椒。因此，有些爱吃甜食的人不爱吃辣椒。的人不爱吃辣椒。以下哪项能保证上述论证的成立？以下哪项能保证上述论证的成立？A A有些无锡人爱吃辣椒。有些无锡人爱吃辣椒。B B有些爱吃甜食的无锡人爱吃辣椒。有些爱吃甜食的无锡人爱吃辣椒。C C所有的无锡人都爱吃甜食。所有的无锡人都爱吃甜食。D D有些无锡人不爱吃辣椒也不爱吃甜食。有些无锡人不爱吃辣椒也不爱吃甜食。某些经济学家是大学数学系的毕业生。因此，某些经济学家是大学数学系的毕业生。因此，某些大学数学系的毕业生是对企业经营很有研某些大学数学系的毕业生是对企业经营很有研究的人。究的人。下列哪项如果为真，则能够保证上述论断的正下列哪项如果为真，则能够保证上述论断的正确？确？A A某些经济学家专攻经济学的某一个领域，对某些经济学家专攻经济学的某一个领域，对企业经营没有太多的研究。企业经营没有太多的研究。B B某些对企业经营很有研究的经济学家不是大某些对企业经营很有研究的经济学家不是大学数学系毕业的。学数学系毕业的。C C所有对企业经营很有研究的人都是经济学家。所有对企业经营很有研究的人都是经济学家。D D所有经济学家都是对企业经营很有研究的人。所有经济学家都是对企业经营很有研究的人。有些导演留大胡子，因此，有些留大胡子的有些导演留大胡子，因此，有些留大胡子的人是大嗓门。人是大嗓门。为使上述推理成立，必须补充以下哪项作为为使上述推理成立，必须补充以下哪项作为前提？前提？A A有些导演是大嗓门。有些导演是大嗓门。B B所有大嗓门的人都是导演。所有大嗓门的人都是导演。C C所有导演都是大嗓门。所有导演都是大嗓门。D D有些大嗓门的不是导演。有些大嗓门的不是导演。E E有些导演不是大嗓门。有些导演不是大嗓门。