第五章--复合判断及其演绎推理(共11页)_第1页
第五章--复合判断及其演绎推理(共11页)_第2页
第五章--复合判断及其演绎推理(共11页)_第3页
第五章--复合判断及其演绎推理(共11页)_第4页
第五章--复合判断及其演绎推理(共11页)_第5页
已阅读5页,还剩7页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、精选优质文档-倾情为你奉上第五章 复合判断及其演绎推理(一)一、联言判断及其推理(一)联言判断1联言判断的含义、结构、逻辑形式 (详见教材P116表5-1)联言判断是断定若干思维对象情况同时存在的复合判断。由:联言肢(p、q)和联言联结项(“并且”等)组成。如:他边说(p)边看(q)。今天多云(p)并且有小雨(q)。以上判断逻辑形式写成:p并且q 简写为:pq注意区分关系判断与联言判断:“李白和杜甫都是诗人”联言判断。可分解为:“李白是诗人,杜甫也是诗人”“李白和杜甫是同时代人的诗人”关系判断。不能分解为:“李白是同时代的诗人,杜甫也是同时代的诗人。”2联言判断的真值所谓“真值”是指判断变项所

2、取的值是真的,还是假的。“真值”也叫做判断的“逻辑值”。复合判断的肢判断的真假,制约着复合判断的真假。当且仅当联言判断的各个联言肢都真时,该联言判断才真。只要有一个肢判断为假,该判断就为假。 全部为真才是真。(一真三假)3联言判断的语言表达联言判断中的逻辑常项即联言联结项通常用“并且”表示。但在自然语言中,它的汉语表达形式是多样的。联言判断的语言表述形式常用省略式。一般有三种情况:(1)合主联谓式:“中国是社会主义国家,也是发展中国家。”(2)联主合谓式:“刑法和民法都是法律专业应该学习的课程。”(3)联主联谓式:“小张和小王都是法律专业毕业生,并且都是律师。”(二)联言推理:前提或结论为联言

3、判断,并且根据联言联结项的逻辑性质推出结论的演绎推理。有两种形式:1分解式:由一个联言判断的真,推出它所包含的肢判断也真的联言推理。逻辑形式:p 并且q?; 所以,p (或q ) 符号表示:p q p(或q)例如:“鲁迅是伟大的文学家,也是伟大的思想家。所以,鲁迅是伟大的思想家。”或:“鲁迅是伟大的文学家,也是伟大的思想家。所以,鲁迅是伟大的文学家。”2合成式:由全部联言肢的真,推理联言判断真的联言推理。逻辑形式:p,q ;所以,p 并且q 符号表示:(p,q) pq例如:“鲁迅是伟大的文学家,鲁迅是伟大的思想家;所以,鲁迅是伟大的文学家和思想家。”二、选言判断和推理(一)选言判断1选言判断的

4、的含义、结构、逻辑形式2选言判断的种类及其真值 (1)相容选言判断 逻辑形式:pq 真值:肢判断至少要有一真 (详见教材P121表5-2)全部为假才是假(有一为真便是真) (一假三真)(2)不相容选言判断 逻辑形式:pVq 真值:肢判断只能有一真 (详见教材p122 表 5-3)只有一真才是真3选言判断的语言表达(1)相容选言判断的语言表达(2)不相容选言判断的语言表达4关于选言判断的选言肢应当穷尽的问题一个选言判断的选言肢穷尽,是指相对于一定范围和条件而言,该选言判断所反映的思维对象的可能情况无一遗漏。反之,则该选言判断的选言肢不穷尽。在具体的思维实际中,无论是相容的选言判断还是不相容的选言

5、判断,都要求其选言肢穷尽。选言肢穷尽的选言判断必真;选言肢不穷尽的选言判断不必然真。(二)选言推理1选言推理的含义2种类(1)相容选言推理 含义、规则(2条)、有效式(1个:否定肯定式)(2)不相容选言推理 含义、规则(2条)、有效式(2个:否定肯定式、否定肯定式)三、假言判断(一)假言判断的含义、结构、逻辑形式断定某一思维对象情况的存在是另一思维对象情况存在的条件的复合判断。由前件(P)、后件(q)和逻辑联结词(“如果那么”,“只有才”等)构成。如:如果下雨,那么地湿。只有年满十八岁,才有选举权。写成:如果p,那么q。(?或 pq );只有p,才q (或 pq)(二)假言判断的种类及其真值1

6、充分条件假言判断 含义、逻辑形式(pq)、真值(详见教材P131)充分条件假言判断:断定一个思维对象情况是另一个思维对象情况的充分条件的假言判断。充分条件有思维对象情况p,就必然有思维对象情况q,而没有思维对象情况p ,则是否有思维对象情况q 并不确定,这样,p 就是q 的充分条件。充分条件假言判断的真值:只有在前件真,后件假时,判断才假。前真后假方为假 一假三真2必要条件假言判断 含义、逻辑形式(pq)、真值(详见教材P132)必要条件假言判断:断定一个思维对象情况是另一个思维对象情况的必要条件的假言判断。必要条件没有思维对象情况p ,就必然没有思维对象情况q ,而有思维对象情况p,则是否有

7、思维对象情况q 并不确定,这样,p 就是q 的必要条件。必要条件假言判断的真值:只有在前件假,后件真时,判断才假。前假后真才是假 一假三真3充分必要条件假言判断 含义、逻辑形式(pq)、真值(P134)充分必要条件假言判断:断定一个思维对象情况是另一个思维对象情况的充分必要条件的假言判断。充分必要条件有思维对象情况p,就必然有思维对象情况q,没有思维对象情况p,则必然没有思维对象情况q,这样,p就是q的必要条件。如:当且仅当某人触犯了刑律,他才应受刑法处罚。充分必要条件假言判断的真值:有前件就有后件,没有前件就没有后件。(两真或两假皆为真,一真一假则为假)四、假言直接推理(一)含义、结构假言推

8、理是前提中至少有一个假言判断,并且根据假言判断联结项的逻辑性质而推出结论的演绎推理。假言推理有五种形式,即:假言直接推理、假言三段论推理、假言联言推理、假言选言推理、假言联锁推理。除第一种外,其它四种均为假言间接推理。假言直接推理是以一个假言判断为前提,从而推出结论的假言推理。只限于充分条件假言判断与必要条件假言判断间进行。假言直接推理在有的教材中称为“充分条件假言判断与必要条件假言判断间的转换”。(二)假言直接推理的种类1假言易位推理只改变假言判断前、后件的位置,而不改变它们的真值 规则:对调假言前提前、后件的位置;改变假言前提的逻辑联结项(充分与必要互换)。逻辑形式:(pq)(qp); (

9、pq)(qp) 换位换条件(充必互换)2假言换质推理只改变假言判断前、后件的真值,而不改变它们的位置规则:改变假言前提前、后件的真值;改变假言前提的逻辑联结项(充分与必要互换)。逻辑形式:(pq)(pq);(pq)(pq) 换值换条件(充必互换)3假言易位换质推理既改变假言判断前、后件的位置,又改变它们真值,但逻辑联结项不变规则:既对调假言前提前、后件的位置,又改变假言前提前、后件的真值。逻辑形式:(pq)(qp);(pq)(qp ) 换位又换值,条件不改变1在假言直接推理中,无论是换位、换质还是换质位,都有两处变化:假言易位推理:换位换条件假言换质推理:换值换条件假言易位换质推理:换位又换值

10、,条件不改变 第六章 复合判断及其演绎推理(二)一、假言三段论推理顾名思义,它与三段论结构上有相似之处,不过,充当大前提的不是性质判断而是假言判断。一个前提为假言判断,另一个前提可以是非假言判断中的任何一种判断,并且根据假言联结项的逻辑性质推出结论的演绎推理。(一)充分条件假言三段论推理 即通常所谓“充分条件假言推理”1含义一个前提为充分条件假言判断,另一个前提为其它类型的判断,并且根据充分条件假言判断联结项的性质推出结论的假言三段论推理。2规则 (1)肯定前件就要肯定后件;(2)否定后件就要否定前件。否定前件不能否定后件;肯定后件不能肯定前件。3有效式:(1)肯定前件式(2)否定后

11、件式例:“如果这份合同是有效的,那么它是经双方同意,这份合同是有效的;所以,它是经双方同意的。”“如果这份合同是有效的,那么它是经双方同意,它不是经双方同意的;所以这份合同不是有效的”(二)必要条件假言三段论推理1含义一个前提为必要条件假言判断,另一个前提为其它类型的判断,并且根据必要条件假言判断联结项的性质推出结论的假言三段论推理。2规则 2条规则:(1)肯定后件就要肯定前件(2)否定前件就要否定后件肯定前件不能肯定后件;否定后件不能否定前件。3有效式:(1)肯定后件式(2)否定前件式例如:“他只有年满十八岁,才有选举权。他有选举权;所以他年满十八岁。”“他只有年满十八岁,才有选举权。他没有

12、年满十八岁;所以,他没有选举权。”(三)充分必要条件假言三段论推理1含义一个前提为充分必要条件假言判断,另一个前提为其它类型的判断,并且根据充分必要条件假言判断联结项的性质推出结论的假言三段论推理。2规则(1)肯定前件就要肯定后件。肯定后件就要肯定前件。(2)否定前件就要否定后件。否定后件就要否定前件。 3有效式有四种有效式:(1)肯定前件式:(pq)p q(2)肯定后件式:(pq)q p(3)否定前件式:(pq)p q (4)否定后件式:(pq)q p二、假言联言推理1含义由假言判断和联言判断作前提,并且根据假言前提联结项的逻辑性质而推出结论的演绎推理。2类型(1)简单构成式两个充分条件假言

13、前提的前件不同而后件相同,联言前提的联言肢合取地肯定这两个充分条件假言前提不同的前件,从而结论肯定这两个充分条件假言前提相同的后件。例:“如果某人犯贪污罪,那么他应受刑罚处罚;如果某人犯盗窃罪,那么他应受刑罚处罚;某人既犯贪污罪又犯盗窃罪;所以,他应受刑罚处罚。”逻辑形式:(pr)(qr)(pq)r(2)简单破坏式两个充分条件假言前提的前件相同而后件不同,联言前提的联言肢合取地否定这两个充分条件假言前提不同的后件,从而结论否定这两个充分条件假言前提相同的前件。例:“如果某人真正认识了错误,那么他会承认错误;如果某人真正认识了错误,那么他会改正错误;某人既不承认错误,又不改正错误;所以,他并没有

14、真正认识错误。”逻辑形式:(pq)(pr)(q r)p(3)复杂构成式两个充分条件假言前提的前件和后件都不相同,联言前提的联言肢合取地肯定这两个充分条件假言前提的不同前件,从而结论合取地肯定这两个充分条件假言前提的不同后件。 例见P149逻辑形式:(pr)(qs)(p q)(rs)(4)复杂破坏式两个充分条件假言前提的前件和后件都不相同,联言前提的联言肢合取地否定这两个充分条件假言前提的不同后件,从而结论合取地否定这两个充分条件假言前提的不同前件。 例见P 150 逻辑形式:(pr)(qs)(rs)(pq)三、假言选言推理1含义由充分条件假言判断和选言判断作为前提,并且根据假言前提联结项的逻辑

15、性质而推出结论的演绎推理。2类型:(1)简单构成式两个充分条件假言前提的前件不同而后件相同,选言前提析取地肯定这两个假言前提不同的前件,从而结论肯定这两个假言前提相同的后件。如:“如果刺激老虎,那么它是要吃人;如果不刺激老虎,那么它也是要吃人;或者刺激老虎,或者不刺激老虎;所以,老虎是要吃人的。”逻辑形式:(pr)(qr)(pq)r(2)简单破坏式两个充分条件假言前提的前件相同而后件不同,选言前提析取地否定这两个假言前提不同的后件,从而结论否定这两个假言前提相同的前件。例:“如果刺激老虎,那么它是要吃人;如果刺激老虎,那么它也是要咬人;或者它没有吃人,或者它没有咬人;所以,没有刺激老虎。”逻辑

16、形式:(pq)(pr)(qr)p(3)复杂构成式两个充分条件假言前提的前件和后件都不相同,选言前提析取地肯定这两个假言前提的不同前件,从而结论析取地肯定这两个假言前提的不同后件。(例见P153)逻辑形式:(pr)(qs)(pq)(rs)(4)复杂破坏式两个充分条件假言前提的前件和后件都不相同,选言前提析取地否定这两个假言前提的不同后件,从而结论析取地否定这两个假言前提的不同前件。(例见P154)逻辑形式:(pr)(qs)(rs)(pq)3关于“二难推理”“二难推理”是假言选言推理的常见形式、典型形式古希腊有个国王,想把一批囚徒处死。当时流行的处死方法有两种:一种是砍头,一种是绞刑。怎样处死这批

17、囚徒?他决定让囚徒自己去选择一种。选择的方法是这样的:囚徒可以任意说出一句话来,而且这句话是马上可以验证其真假的。如果囚徒说的是真话,就处绞刑;如果说的是假话,就砍头。结果,许多囚徒不是因为说了真话而被绞死,就是因为说了假话而被砍头;或者是因为说了一句不能马上验证其真假的话,而被视为说假话砍了头;或者是因为讲不出话来而被当成说真话处以绞刑。在这批囚徒中,有一位是极其聪明的。当轮到他来选择处死方法时,他说了一句巧妙的话,结果使得这个国王既不能将他绞死,又不能将他砍头,只得把他放了。请问:这个囚徒说了一句什么话?为什么国王不能将他处死?写出其推理形式。解题:这个囚徒说:“要对我砍头。”这句话使国王

18、左右为难。如果真的把他砍头,那末他说的就是真话,而说真话是应该被绞死的。但如果把他处以绞刑,那末他说“要对我砍头”便成了假话了,而假话又是应该被砍头的。或者绞死,或者砍头,都没有办法执行国王原来的决定,结果只得把他放了。这个囚徒在国王面前构成了如下一个简单构成式二难推理:“如果把他砍头,那末会违背国王原来的决定;如果把他绞死,那末也会违背国王原来的决定;或者把他砍关,或者把他绞死。总之,要违背国王原来的决定。”四、假言联锁推理1含义:以两个或两个以上的假言判断为前提,并且根据假言前提联结项的逻辑性质,从而推出一个假言判断为结论的假言推理。2类型:(1)充分条件假言联锁推理:以两个充分条件假言判

19、断为前提的假言联锁推理。A、肯定式:(pq)(qr)(pr)B、否定式:(pq)(qr)(rp)(2)必要条件假言联锁推理:以两个必要条件假言判断为前提的假言联锁推理。A、否定式:(pq)(qr)(pr)B、肯定式:(pq)(qr)(rp)五、负判断及其等值推理(一)负判断的含义、结构、逻辑形式、真值 (见P158真值表)负判断否定某个判断而构成的复合判断。例:“并不是人都是自私的” “并非只有天才人物,才能发明创造。”负判断由一个肢判断和否定联结项两部分构成。在负判断中,被否定的那个判断叫负判断的肢判断。负判断的逻辑形式:P负判断的真值:取决于原判断的真假,原判断真则其负判断为假,原判断假则

20、其负判断为真。(二)负判断的类型 1简单判断的负判断 主要有负性质判断。2复合判断的负判断 主要有负联言判断、负选言判断和负假言判断。(三)负判断的等值推理1负性质判断的等值推理任何一种负性质判断,都至少有一个和它等值的性质判断。所谓两个判断等值,就是它们的真假情况完全相同,要么同真,要么同假。根据这种等值关系,就可以进行负性质判断的等值推理。负性质判断的等值判断,就是它们的肢判断的矛盾关系判断。因此,负性质判断的等值推理就是从其各自的肢判断推出与其肢判断相矛盾的判断。负判断的类型及其等值推理类型逻辑形式等值推理负性质判断负全称肯定判断并非所有S都是P(SAP)(SAP)SOP负全称否定判断并

21、非所有S都不是P(SEP)(SEP)SIP负特称肯定判断并非有S是P(SIP)(SIP)SEP负特称否定判断并非有S不是P(SOP)(SOP)SAP负复合判断负联言判断并非(p并且q)(pq)(pq)(pq)负相容选言判断并非(p或者q)(pq)(pq)(pq)负不相容选言判断并非(p要么q)(pq)(pq)(pq)(pq)负充分条件假言判断并非(如果p,那么q)(pq)(pq)(pq)负必要条件假言判断并非(只要p,才q)(pq)(pq)(pq)负充要条件假言判断并非(当且仅当p,才q)(pq)(pq)(pq)(pq)负判断并非pp 六、真值表方法及其作用1真值表的含义能显示任何复

22、合判断在它的肢判断的各种真值组合下所取的真值情况的一种数理逻辑图表。2真值表方法的含义就是运用真值表来计算和显示复合判断的真值,定义复合判断的逻辑联结词,确定复合判断间的真值关系和判定复合判断的推理形式是否为有效式的一种方法。3真值表的作用及应用(1)利用真值表判定复合判断的真值其判定步骤是:第一步,将复合判断符号化为数理逻辑的命题表达式;第二步,用真值表的方法去判定复合判断的命题表达式的真值。(2)利用真值表判定两个复合判断是否等值(3)利用真值表判定两个复合判断是否为矛盾判断(4)利用真值表判定复合判断推理是否有效 第七章 模态判断及其演绎推理一、真值模态判断及其演绎推理(一)真

23、值模态判断1含义凡包含着“必然”、“可能”等词的判断,就叫真值模态判断。2结构由真值模态词和基础判断两部分组成。真值模态词是真值模态判断中表示对象情况的必然性或可能性的概念,有“必然”、“可能”等,通常用“”、“”表示。基础判断是真值模态判断中除真值模态词以外的判断,通常用“P”表示。例: 事物必然是运动的。 地球以外的天体可能存在生物。3简单真值模态判断的种类及其逻辑形式真值模态判断根据基础判断是简单判断还复合判断,分为简单真值模态判断和复合真值模态判断。下面我们按照教材中的内容,只介绍简单真值模态判断。(1)必然判断A、必然肯定判断 PB、必然否定判断 p(2)可能判断A、可能肯定判断 P

24、B、可能否定判断 p4简单真值模态判断之间的真假关系(也叫对当关系)(见教材P174)在具有相同基础判断的必然P、必然p、可能P、可能p四种真值模态判断之间,存在同前面所讲的A、E、I、O四种性质判断之间相类似的真假制约关系,即对当关系,包含矛盾关系、反对关系、下反对关系、差等关系。这种真假制约关系也可用“逻辑方阵图”表示,见教材第174页。掌握上述真值模态判断之间的对当关系,最重要的是记住必然肯定判断、必然否定判断、可能肯定判断、可能否定判断四者在“逻辑方阵图”中的位置:上必然,下可能,左肯定,右否定。其真假制约关系与性质判断AEIO的真假制约关系完全一样。2.简单真值模态判断推理真值模态推

25、理可分为简单真值模态推理和复合真值模态推理。教材中只介绍了简单真值模态推理中依据简单真值模态判断间的对当关系进行推演的真值模态推理。1含义前提中至少有一个真值模态判断,并且根据真值模态判断的逻辑性质,从而推出一个真值模态判断的结论的演绎推理。2类型简单真值模态判断对当关系的推理的类型(1)根据矛盾关系的直接推理 8种有效式pppppppppppppppp(2)根据反对关系直接的推理 2种有效式 pppp(3)根据下反对关系的直接推理 2种有效式pppp(4)根据差等关系的直接推理 4种有效式pppppppp二、规范模态判断及其推理(一)规范模态判断1含义规范模态判断是由“必须”、“允许”、“禁止”等规范模态词联结而构成的判断

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论