您好,欢迎访问三七文档
当前位置:首页 > IT计算机/网络 > AI人工智能 > 逻辑学 第四章简单命题及其推理(下)1
2020/2/13Jinlong1第一节三段论第二节关系命题及其推理第四章简单命题及其推理(下)[逻辑案例2]发生在美国的一起谋财杀人案查理是个亿万富翁,有一天,他两岁的独生子突然失踪了,不久查理也暴病身亡。查理的妻子玛丽继承了丈夫的全部遗产。但玛丽有严重的心脏病,随时都可能死去。她日夜盼望失踪的儿子归来。十年后,她失踪的“儿子”回来了,脖子上挂着一个带有金项链的金盒子,小盒子里嵌着母亲玛丽的照片。玛丽验证后,确实无误,悲喜交集,就认下了儿子。并准备立一份她死后由儿子继承全部财产的遗嘱。玛丽的朋友建议她先化验一下儿子的血型再立遗嘱。遗憾的是,为他家服务多年的家庭医生一个月前辞职了。她们只得到医院去化验,经过化验,新来的儿子是A型血,玛丽是O型血,按照血型遗传法则,(见血型遗传法则表)附:血型遗传法则表O型血的母亲是可以生出A型血的子女的,但是只知道母亲一方的血型,还不能完全断定儿子的真假,而其父查理已死多年,除了家庭医生谁也不知道查理的血型,可家庭医生辞职后已不知去向。但聪明的玛丽千方百计查找到了早已故去的查理父母的血型,其父母都是O型。按照血型遗传法则,父母双方都是O型血的,子女只能是O型血,所以查理必然是O型血。查理是O型,玛丽是O型,那么他们的儿子也应该是O型,而新来的少年是A型。因此可以断定:这个新来的少年不是十年前玛丽失踪的儿子。这些疑团使玛丽下决心把这件事情查个水落石出,最后真相大白:原来十年前她儿子的失踪,她丈夫的暴病而亡,十年后“儿子”的归来,都是家庭医生精心策划的骗局。如果不是查清了查理的血型,就无法识破这个骗局,查理的亿万财产就会被家庭医生窃取。请用三段论推理分析这个案件。[逻辑分析]首先,确定查理的血型,运用的是第一格三段论:凡父母均为O型血的子女为O型血,查理是父母均为O型血的子女,所以,查理是O型血。其次,确定查理夫妇儿子的血型,运用的是第一格三段论:凡父母均为O型血的子女是O型血,查理夫妇的儿子是父母均为O型血的子女,所以,查理夫妇的儿子是O型血。再次,确定新来的少年不是查理夫妇的儿子,运用的是第二格三段论:查理夫妇的儿子是O型血,新来的少年不是O型血(是A型),所以,新来的少年不是查理夫妇的儿子。三段论应知知识1、熟练掌握三段论的定义、结构,2、了解三段论的公理,3、牢记三段论的规则,4、明确三段论的格和式以及省略式。应会技能根据三段论的规则正确进行三段论推理,分辨三段论的格与式,并能将三段论省略式恢复完整。重点三段论的构成、一般规则以及格的具体规则三段论在传统形式逻辑中称作直言三段论,它由亚里士多德所建立,是传统形式逻辑体系中的主要内容和最完善、最严密的部分。亚里士多德(前384-前322)2020/2/13Jinlong8人必然死亡;苏格拉底是人;故苏格拉底必死。所有的有理数都是实数;所有的整数都是有理数;所以所有的整数是实数。所有的M是P,所有的S是M,所有的S是P。三段论就是以两个包含有一个共同词项的性质命题为前提,推导出一个性质命题为结论的演绎推理。它是传统逻辑的推理理论的核心部分,也是我们日常思维中最常用的推理类型。第一节三段论2020/2/13Jinlong91三段论构成:三个简单性质命题,两个前提,一个结论;三个项,小项S,大项P,中项M;大前提(含有大项),小前提(含有小项)。三段论定义:Asyllogism,ingeneral,isanargumentconsistingofexactlytwopremisesandoneconclusion.Acategoricalsyllogismisasyllogisminwhicheachstatementbeginswithoneofthewords“all”,”no”or“some”.第一节三段论M——PS——MS——P2020/2/13Jinlong102三段论的公理(Axioms):一类思维对象的全体是什么或不是什么,那么这类对象中的部分或个别对象也是什么或不是什么。即:凡肯定或否定了全部,也就肯定或否定了部分和个别。第一节三段论三段论公理可用下图表示PMMP图一凡M是P凡S是M∴凡S是P图二凡M不是P凡S都是M∴凡S不是PSs2020/2/13Jinlong123三段论的规则(Rules):1)在一个三段论中,必须有并且只能有三个不同的概念。我国的大学是分布于全国各地的;江苏科技大学是我国的大学;所以,江苏科技大学是分别于全国各地的。我国的大学:大前提中是集合概念,小前提中是普遍概念。这里的错误(Fallacy),即四概念错误。再如:中国人是勤劳的;我是中国人,所以我是勤劳的。第一节三段论2020/2/13Jinlong132)中项概念在前提中至少必须周延一次。共青团员都是青年;小张是青年;所以,小张?中项“青年”,在前提中一次也没周延(在两个前提中,都只断定了共青团员、小张是“青年”的一部分对象)。这里的错误,即中项不周延错误。再如:贪污是故意犯罪行为;他的行为是故意犯罪行为;所以,他的行为是贪污(?)第一节三段论2020/2/13Jinlong143)大项或小项如果在前提中不周延,在结论中也不得周延。如果一个项在前提中不周延,也就是只对这个项外延的部分对象作了断定。如果这个项在结论中变为周延的,那意味着在结论中对这个项外延的所有对象都作了断定。但是,从一类的部分对象具有某种属性得出一类对象都具有这种属性,结论是不具有必然性的。凡薯类都是高产作物;凡薯类都是杂粮;所以,凡杂粮都是高产作物。第一节三段论这里,小前提是一个肯定命题,小项(杂粮)在小前提中是不周延的。但是,结论是一个全称命题,小项(杂粮)在结论中是周延的。因此,这个三段论推理的结论不是必然地推导出来的,它犯了小项不当周延的逻辑错误。2020/2/13Jinlong15第一节三段论违反规则3,还会出现大项不当周延的逻辑错误。所有盗窃犯都是罪犯;张三不是盗窃犯;所以,张三不是罪犯。在这个三段论推理中,大前提是一个肯定命题,因而大项“罪犯”在大前提中是不周延的。但是,结论是一个否定命题,因而大项“罪犯”在结论中却是周延的。2020/2/13Jinlong16第一节三段论4)两个否定前提不能推出结论;前提与结论否定命题的个数相等(1比1,或0比0)。如果两个前提都是否定命题,那么大项、小项和中项都是排斥的,这样,中项就不能起媒介作用,因而也就无法确定大项和小项之间的关系,即推不出必然的结论。一切有神论者都不是唯物主义者;某某人不是有神论者所以,?“某某人”与“唯物主义者”无法通过中项“有神论者”形成确定的关系,因而无法得出必然结论。2020/2/1317第一节三段论一切有神论者都不是唯物主义者;某人是有神论者;所以,某人不是唯物主义者。前提与结论否定命题的个数相等。前提之一是否定的,结论应当是否定的;结论是否定的,前提之一必须时否定的。2020/2/13Jinlong18第一节三段论5)两个特称前提不能推出结论;前提之一是特称的,结论必然是特称的(结论是特称的,前提不必有特称)。有的同学是共产党员;I有的共产党员是转业军人;I所以,?有的同学不是共产党员;O有的共产党员是转业军人;I所以,?2020/2/13Jinlong19第一节三段论第五条规则可以用上述四条规则来证明,故又称“推出规则”。两个前提都是特称命题,包括以下四种情况:①II;②IO;③OI;④OO。根据规则(4),从两个否定的前提推不出结论,所以情况④OO,推不出结论。根据规则(2)中项在前提中至少周延一次,如果两个前提都是特称肯定命题(II),则中项没有一次是周延的,所以情况①II,推不出任何结论。有的教授是精通英语者,有的教授是精通日语者,所以,?2020/2/1321第一节三段论如果两个前提中,一个是特称肯定命题,另一个是特称否定命题(IO或OI),根据规则(4),结论必然是否定的。如果结论是否定的,则大项在结论中就是周延的。根据规则(3)如果大项在结论中是周延的,那它在前提中也必须是周延的,又根据规则(2),中项在前提中至少必须周延一次,这样,前提中必须有两个周延的项,然儿,一个特称肯定命题的前提,与一个特称否定命题的前提,只能有一个周延的项,而不能有两个周延的项,所以,IO与OI,都是推不出任何必然的结论。规则三个词项中周延,大项小项莫扩展,一特得特否得否,两特两否结论难。返回三段论规则例示:①例如:鲁迅的著作不是一天能读完的;《祝福》是鲁迅的著作;所以,《祝福》不是一天能读完的。②凡审判员都在法院工作,有些大学生在法院工作;所以,有些大学生是审判员。三段论规则例示:①例如:鲁迅的著作不是一天能读完的;《祝福》是鲁迅的著作;所以,《祝福》不是一天能读完的。(违反规则1,犯了“四项”错误)②凡审判员都在法院工作,有些大学生在法院工作;所以,有些大学生是审判员。(违反规则2,犯了“中项不周延”错误)三段论规则例示:①所有共青团员都是青年,他不是共青团员;所以,他不是青年。(违反规则3,犯了“大项扩大”错误)②所有的鱼都是用鳃呼吸的动物,所有的鱼都是水生动物;所以,所有水生动物都是用鳃呼吸的动物。(违反规则3,犯“小项扩大”错误)三段论规则例示:物理学不是社会科学;历史学不是物理学;所以,历史学?社会科学(两否推不出)物理学不是社会科学;光学是物理学;所以,光学不是社会科学。(一否推一否)推理是认识的工具;三段论是推理;所以,三段论是认识的工具。(两肯结必肯)有些人喜欢读诗;有些人喜欢打球;所以,喜欢打球的?喜欢读诗的。(两特推不出)有些中子是不带电的;所有的中子都是基本粒子;所以,有些基本粒子是不带电的。(一特推一特)三段论规则例示:28第一节三段论4三段论的格:三段论由于中项在两个前提中的位置不同,而产生了不同的结构形式,称之为三段论的格。三段论有四个格,每个格都有自己的结构形式以及由三段论一般规则引申出来的特殊规则,各个格的意义也有所不同。第一格形式:M——PS——M规则有两条:1.小前提必须肯定。2.大前提必须全称。返回S——P第一格规则(1)小前提必须肯定。证明:①设小前提否定→大前提必肯定→(两个否定前提得不出结论)→大前提必为MAP或MIP→大项不周延②设小前提否定→结论必否定(一否得否)→结论必否定→大项在结论中周延③大项在前提中不周延,在结论中周延(已证)→大项扩大→推理无效→假设不成立→小前提必肯定。返回第一格规则(2)大前提必全称。证明:小前提肯定→小前提必为SAM或SIM→中项在小前提中不周延→中项在大前提中周延→大前提必为MAP或MEP→大前提必全称返回第二格及规则形式:P——MS——MS——P规则:(1)前提中必有一个否定的。(2)大前提必全称。返回第二格规则:(1)前提中必有一个否定的。证明:设两前提都是肯定的→大前提必为PAM或PIM,小前提必为SAM或SIM→中项都不周延→此推理无效(中项至少周延一次)所设两前提都是肯定不能成立→两前提必有一个否定的。返回第二格规则:(2)大前提必全称。证明:前提中必有一否定(已证)→结论必否定(“一否得否”)→大项在结论中周延(“否定命题谓项周延”)→大项在大前提中必周延(“大项莫扩展”)→大项在第二格大前提中为主项(“第二格结构特征”)→大前提必全称。返回第三格规则规则:(1)小前提必肯定。(2)结论必特称。返回第三格形式M——PM——SS——P第三格规则(1)小前提必肯定。证明:设小前提否定→结论否定(“一否得否”)→大项在结论中周延(“否定命题谓项周延”)→大项在大前提中周延(“大项莫扩展”)→大前提必为否定命题MEP或MOP(“否定命题谓项才周延”)→大前提为否定,小前提为否定(“已证和所设”)→推理无效(“两否结论难”)→所设小前提否定不成立→小前提必肯定。返回第三格规则(2)结论必特称。证明:小前提必
本文标题:逻辑学 第四章简单命题及其推理(下)1
链接地址:https://www.777doc.com/doc-3708306 .html