逻辑思维训练9模态命题及其推理课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《逻辑思维训练9模态命题及其推理课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 逻辑思维 训练 命题 及其 推理 课件
- 资源描述:
-
1、1逻辑思维训练逻辑思维训练Logic and Critical Thinking2模态逻辑n前面介绍的命题都是非模态命题,仅仅是陈述思维对象具有或不具有某种属性。n进一步研究有关对象的情况时,便会发现:有些对象的属性的存在具有必然性,有些对象的属性的存在只具有可能性;有些事情是应当做的,有些事情是不允许做。n正义的事业必然要胜利。其形式为:“p 是必然的”。n不允许闯红灯。其形式为:“不允许p”。3n把“必然”与“可能”、“应当”与“允许”等称作模态词(也称模态算子)。n包含模态算子的命题是模态命题,模态逻辑就是研究模态命题形式及其推理的逻辑分支。4 模态命题n一、什么是模态命题?n模态命题是
2、反映事物可能性或必然性的命题。n正义的事业必然要胜利。n明天可能不下雨。n前者反映了正义事业胜利具有必然性。后者反映了明天不下雨具有可能性。5模态的种类n(一)广义模态与狭义模态n狭义的模态是指事物存在方式或发展趋势及命题的真假程度这一类性质,包括命题的必然性、实然性和或然性(可能性)。n由于这类模态涉及一个命题是真还是不真,更确切地说涉及一个命题的真假程度(必然真或者可能真),称之为真值模态。6n广义的模态是指命题本身所具有的种种非外延的性质。n例如,道义或规范模态(应当、允许)、时间模态(将要永远、将来、过去一直、过去)、认知模态(知道、相信)、价值模态(好、坏)等等。7(二)客观模态与主
3、观模态n客观模态是表示客观事物本身存在的样式、情状和趋势的模态。n生物体必然要进行新陈代谢。n人类社会必然走向进步,但可能比现曲折。n主观模态是表示人的认识的某种确定性与不确定性的模态。n其他天体上可能存在生命现象。n苏轼必然是苏辙的兄长。8(三)命题模态与事物模态n命题模态,是指模态词所修饰或限制的都是个完整的命题。n其模态词通常置于表达命题的语句的句首或句尾。n正义的事业将最终取得胜利是必然的。n可能明天是一个晴天。9n事物模态,是指其模态词所修饰或限制的仅仅是命题主项所表示的事物与命题谓项所表示的属性之间的联系方式。n模态词并不处于句首或句尾,而处于命题的主项与谓项之间。n哀兵必胜。n骄
4、兵必败。n明天可能天晴。10真值模态命题及其推理n我们把包含真值模念算子“必然”与“可能”的命题称为真值模态命题,若只对模态作狭义的理解,也可称为模态命题。n智者千虑,必有一失。n其他天体有高级生命存在是可能的。11模态命题的种类与模态算子n根据模态命题断定的是事物情况的必然性还是可能性,可以将其首先区分为必然命题与可能命题。12必然命题n必然命题是断定事物必然性的命题。又可分为肯定的与否定的两种:n必然肯定命题:断定事物情况必然存在的命题。n冬天过后必然是春天。n人类历史不断向前发展是必然的。n用公式可表示为:必然pn若以“”表示必然模态算子,则上述公式可写作:p13n必然否定命题:断定事物
5、情况必然不存在的命题。n客观规律不以人们的意志为转移是必然的。n谎言不能持久是必然的。n用公式可表示为:必然非pn或表示为:p14可能命题n可能命题是断定事物情况可能性的命题,又可分为肯定的与否定的两种:n可能肯定命题:断定事物情况可能存在的命题。n长期大量吸烟可能致癌。n3x 大于5x 是可能的。n用公式可表示为:可能pn若以“”表示可能模态算子,则上述公式可写作:p15n可能否定命题:断定事物情况可能不存在的命题。n火星上可能没有生命存在。n真的判断可能不是恰当的判断。n用公式可表示为:可能非pn或表示为:p16n所以,模态命题共有四种:n1、必然肯定命题 必然p p n2、必然否定命题
6、必然非p p n3、可能肯定命题 可能p p n4、可能否定命题 可能非p p 17模态命题的真假模态命题的真假n当模态算子作用于一个命题时,整个模态命题的逻辑值并不完全地取决于模态算子所作用的命题的逻辑值。np 与p 的真假,并不只是由p 的真假决定的。18n假如有一副完整的扑克牌(不包括两张王牌,下同),张某从中抽出一张牌的花色正好是梅花。这时,可以说命题“张某抽出的牌是梅花”是真的。将此命题用变项p表示,此时p为真,但p 即“张某抽出的牌必然是梅花”未必为真,因为张某有可能抽出一张黑桃、红桃或方块。n再假如从完整的扑克脾中取出其中的十三张梅花,再让张某从这十三张牌中去抽牌,这时“张某抽出
7、的牌是梅花”是真的,即p 是真的,而且p 即“张某抽出的牌必然是梅花”也是真的。n从上面两例的对照中,当p 真时,p 可能为真也可能为假。因此p 的真假不能完全决定p 的真假情况。19n张某从一副完整的牌中抽出一张牌,其花色不是梅花。这时,可以说“张某抽出的牌是梅花”这一命题是假的,即p 是假的,但p 即“张某抽出的牌可能是梅花”却是真的。n如果从一副完整的牌中取出其中的十三张梅花,再让张某从剩下的三十九张牌中去抽牌。这时,“张某抽出的牌是梅花”是假的,而且“张某抽出的牌可能是梅花”也是假的。n从上面两例的对照中,当p 假时,p 可能为真亦可能为假。因此,p 的真假不能完全决定p 的真值情况。
8、20可能世界语义理论n用“可能世界语义学”定义狭义模态命题n(逻辑的可能世界)可能世界可想像的世界不矛盾的世界可能世界可能世界1 可能世界2 可能世界3(现实世界)可能世界有无穷多个21可能世界1 可能世界2 可能世界3(现实世界)可能世界1 可能世界2 可能世界3(现实世界)可能世界1 可能世界2 可能世界3(现实世界)p:p 在每一可能世界均为真ppp可能世界1 可能世界2 可能世界3(现实世界)ppppp p:p 在每一可能世界均 为假,或 p均为真p:p 在至少一个可能 世界为真 p:p 在至少一个可能世界为假,或p为真 22np 为真,当且仅当p 在所有可能世界中为真;np 为假,当
9、且仅当p 在至少一个可能世界中为假;np 为真当且仅当p 在至少一个可能世界中为真;np 为假,当且仅当p 在所有可能世界中为假。np 与p 是可以相互定义的:npdf pnpdf p23各种模态命题的真假表各种模态命题的真假表P在所有可能在所有可能世界里为真世界里为真 P在所有可能在所有可能世界里可真可世界里可真可假假 P在所有可能在所有可能世界里为假世界里为假 P+-P-+P+-P-+A C B(注(注 A:P在可能世界里的真假在可能世界里的真假 B:模态命题的真:模态命题的真假假 C:模态命题的种类):模态命题的种类)24n命题“事物是发展变化的”在所有可能世界里为真,所以“事物必然是发
10、展变化的”和“事物可能是发展变化的”为真,而“事物必然不是发展变化的”和“事物可能不是发展变化的”为假。n命题“张三和王五签订合同是有效的”在所有可能世界里可真可假,所以“张三和王五签订的合同必然是有效的”和“张三和王五签订的合同必然不是有效的”为假,而“张三和王五签订的合同可能是有效的”和“张三和王五签订的合同可能不是有效的”是真的。25 有个贫民,家里穷得朝不保夕。一天,他偶然拾得一个鸡蛋,高兴地告诉他的妻子说:“我有家当了。”妻子问他家当在哪里,他拿出鸡蛋说:“你看,这不是?然而要须十年,家里才能富起来。”然后就把他的计划说给妻子:“我拿这个鸡蛋,借邻居家的母鸡孵出小鸡,然后从他家的小鸡
11、中挑一只母鸡,在家里养着生鸡蛋,一个月可得十五只鸡,两年之内,鸡又生鸡,可得鸡三百,足够换十金。我以十金换五只母牛,牛又生牛,三年可得二十五头牛。这二十五头牛又再生牛,三年可得一百五十头牛,足够能换三百金了。我以这三百金放高利贷,三年间,五千金就赚到了。我拿出这些金子的三分之二买地买房,拿出三分之一买童仆买妾,我就和你乐悠悠地安度晚年。你看这不是很快乐的事吗?”妻子听说他要买妾,悖然大怒,把鸡蛋打了个粉碎,说:“不要留下祸种。”明江盈科雪涛小说 26 丈夫非常生气,打了妻子一顿不说,还告到官府,指着妻子说:“破坏我的家当的人,就是这个恶妇,请把她杀了。”官吏就问他:“你的家当在哪里?她又怎样败
12、坏了你的家当?”那人便又把他的计划说了一遍,从拾得一个鸡蛋说起,一直说到买妾为止。官吏说:“这么大的家当,让这个恶妇一拳头就毁掉了,真是该杀!”便命令左右把她投入大鼎烹了。妻子大叫:“我丈夫说的都是没有做的事,为什么要烹我?”官吏说:“你丈夫说买妾,也是还没做的事,你为什么嫉妒?”妻子说:“虽然如此,我也只是想早一点除掉祸根罢了。”官吏笑而把她放了。27真值模态命题间的关系np、p、p 和p 四种形式的模态命题,彼此间在真假值上存在相互制约关系,这种制约关系类似于传统逻辑中直言命题A、E、I 和O 的对当关系。2829n(一)反对关系,存在于p 和p 之间,特点是不能同真可以同假。n(二)矛盾
13、关系,存在于p 和p、p 和p 之间,其特点是不能同真不能同假。n(三)差等关系,存在于p 和p、p 和p 之间,其特点是上真下定真,上假下不定;下假上定假,下真上不定。n(四)下反对关系,存在于p 和p 之间,其特点是不能同假可以同真。30非模态命题间的关系n相对于必然命题与可能命题等模态命题而言,非模态命题通常被称为“实然命题”。n公式表示为pnp、p、p、p、p 和p 这六种命题形式之间的关系31反对关系反对关系下反对关系下反对关系32n(一)反对关系,存在于p 和p、p 和p、p 与p 之间。n(二)矛盾关系,存在于p 和p、p 和p,p 和p 之间。n(三)差等关系,存在于p 和p、
14、p 和p、p 和p、p 和p、p 和p、p 和p 之间。n(四)下反对关系,存在于p 和p、p 和p、p 和p 之间。33真值模态推理n所谓模态推理是以模态命题为前提或结论,并根据模态命题的性质及其相互间的逻辑关系而进行推演的推理。n哀兵必胜,所以哀兵不可能不胜。n我们的目的一定能达到,所以我们的目的可能达到。n有些人可能活到一百岁,所以并非任何人必然活不到一百岁。n并非任一数的平方必然大于该数本身,所以有些数的平方可能不大于该数本身。34(一)依据模态逻辑方阵而进行的模态推理n依据模态逻辑方阵,可以有下列四种类型十六个有效的推理形式。n第种类型,由一个命题的真推出另一个命题的真,这是根据差等
15、关系的逻辑特征而进行的推理。n(1)ppn(2)pp35n第二种类型,由一个命题的真推出另一个命题的假,这是根据矛盾关系或反对关系的逻辑特征而进行的推理。n(3)ppn(4)ppn(5)ppn(6)ppn(7)ppn(8)pp36n第三种类型,由一个命题的假推出另一个命题的真,这是根据矛盾关系或下反对关系的逻辑特征而进行的推理。n(9)ppn(10)ppn(11)ppn(12)ppn(13)ppn(14)pp37n第四种类型,由一个命题的假推出另一个命题的假,这是根据差等关系的逻辑特性而进行的有效推理。n(15)ppn(16)pp38(二)依据模态六角图而进行的推理n依据模态六角图所揭示的命题
16、之间的对当关系,可以有三十六种有效的推理形式。n其中十六种形式与根据模态逻辑方阵进行的推理是致的,不再重复。下面是余下的二十种有效式。39依据差等关系的推理有效式有:n(17)ppn(18)ppn(19)ppn(20)ppn(21)ppn(22)ppn(23)p pn(24)pp40依据反对关系的推理有效式有:n(25)ppn(26)ppn(27)p pn(28)p p41依据下反对关系的推理有效式有:n(29)ppn(30)ppn(31)ppn(32)pp42依据矛盾关系的推理有效式有:n(33)ppn(34)ppn(35)ppn(36)pp43 余某因患急性疟疾住院治疗,血检中查出他已患上
17、了糖尿病。医生刘某忽视了这一点,在给余某治疗疟疾时注射了大量高渗葡萄糖,导致余某猝死。法院审理认为,刘某应当预见自己的行为必然发生致余某死亡的结果而因疏忽大意没有预见,有重大过失。法院根据我国刑法第335条:“医务人员由于严重不负责任,造成就诊人死亡或者严重损害就诊人身体健康的,处三年以下有期徒刑或者拘役。”判决刘某犯有医疗事故罪。我国刑法第15条规定:“应当预见自己的行为可能发生危害社会的结果,因为疏忽大意而没有预见,或者已经预见而轻信能够避免,以致发生这种结果的,是过失犯罪。”44林肯说:最高明的骗子,可能在某个时刻欺骗所有的人,也可能所有的时刻欺骗某些人,但不可能在所有的时刻欺骗所有的人
18、。如果上述断定为真,而且世界上总有一些高明的骗子,那么下述哪项断定必定是假的?A.张三可能在某个时刻受骗。B.李四可能在任何时候都不受骗。C.骗人的人也可能在某个时刻受骗。D.不存在某一时刻所有的人都不会受骗。E.不存在某一时刻有人可能不受骗。E45 不可能所有的香港人都会讲普通话。以下哪项判断的含义与上述判断最为接近?A可能所有的香港人都会讲普通话。B可能所有的香港人都不会讲普通话。C必然所有的香港人都不会讲普通话。D必然有的香港人不会讲普通话。D46 不可能宏达公司和亚鹏公司都没有中标。以下哪项最为准确地表达了上述断定的意思?A宏达公司和亚鹏公司可能都中标。B宏达公司和亚鹏公司至少有一个可
展开阅读全文