第三讲模态命题及其推理.docVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三讲模态命题及其推理

第三讲 模态命题及其推理 模态命题 无论是直言命题,还是复言命题,都是表达明确判断的句子。然而在现实情况中这样并不能解决所有的问题,有时会出现谈论事件发生可能性的情况 例如:今天早上堵车。 表达的是一种判断,是直言命题。但是,今天早上堵车的可能性有多大呢?是有可能会堵车呢?还是一定会堵车?为了探讨这种可能性,就要引入我们模态命题这一部分的学习 一、什么是模态命题 模态命题就是陈述事物情况的必然性或可能性的命题。直言命题和关系命题只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的,有些事物情况的存在或不存在是可能的,陈述这种必然性或可能性的命题就是模态命题。模态命题反映人们对客观事物认识的程度。 例如:违反客观规律必然要受到客观规律的惩罚。 辩护人的意见可能是对的。 模态命题都含有“必然”或“可能”等模态词。必然:一定、肯定、必须、必定等。可能:大概、也许等。不含有模态词的命题是非模态命题。人们使用模态命题一般是出于两种情况:1、用模态命题来反映事物本身确实存在的某种可能性或必然性。如例(1);2、我们有时对事物是否确实存在某种情况,一时还不十分清楚、确定,因而只好用可能命题来表示自己对事物情况断定的不确定的性质。如例(2)。 另外,模态词在一个模态命题中所处的位置,不是固定不变的。模态命题是在非模态命题的基础上,加上模态词而构成的。模态词可以加在命题的中间,也可以加在命题的前面或后面。如例(2)也可表述为:“可能辩护人的意见是对的”。 注意:辨别模态命题和非模态命题的关键就是看这个命题中是否包括模态词,如果包括模态词就是模态命题。 二、模态命题的种类 既然是命题,就是表示某种判断,所以,根据模态词和判断词的不同,模态命题大致可以分为四种:必然P(P是非模态命题),必然非P,可能P,可能非P。 1、可能命题 可能命题就是陈述事物情况的可能性的命题。在自然语言中,通常用“可能”、“或许”、“也许”、“大概”等语词作为它的模态词。可能命题又分为两种: 可能肯定命题 可能肯定命题就是陈述事物情况可能存在的命题。例如: 飞碟可能是天外之物。 可能肯定命题的形式是:可能p。 现代逻辑一般用符号“◇”表示“可能”,这样,“可能p”又可以写作:“◇p”。 可能否定命题 可能否定命题就是陈述事物情况可能不存在的命题。例如: 明天可能不下雨。 可能否定命题的形式是:可能非p。 可用符号表示为:◇﹃p 2、必然命题 必然命题就是陈述事物情况的必然性的命题。在自然语言中,通常用“必然”、“必定”、“一定”等语词作为它的模态词。必然命题又分为两种: 必然肯定命题 必然肯定命题就是陈述事物情况必然存在的命题。例如: 事物之间必然有联系。 必然肯定命题的形式为:必然p 。 可用符号表示为:□p 必然否定命题 必然否定命题就是陈述事物情况必然不存在的命题。例如: 客观规律必然不依人们的意志为转移。 必然否定命题的形式是:必然非p。 可用符号表示为: □﹃p 第二节 模态命题的推理 一、什么是模态命题的推理 模态命题的推理,就是以模态判断为前提的推理,即可以从一个模态命题为真,推出其他的模态命题的真假。例如:明天必然会下雨 明天可能下雨 二、模态推理的种类 1反对关系推理 具有上反对关系的两个命题至少有一假,可以同假,不能同真。因此,可以从一个模态命题为真,推出与其具有上反对关系的另一个模态命题必定为假。 模态命题间的反对关系是指□p与□﹃p之间不同真,可同假的真假关系。所以,可以由真推假。根据反对关系进行模态推理有两个有效式: ①必然p,所以,并非必然非p。(□p→﹃□﹃p) 例如:新生事物必然能战胜腐朽事物,所以,新生事物不必然不能战胜腐朽事物。 ②必然非p,所以,并非必然p。(□﹃p→﹃□p) 例如:晚上十点半以前必然不关灯,所以,晚上十点半以前不必然关灯。 2下反对关系推理 具有下反对关系的两个命题至少有一真,可以同真,不能同假。因此,可以从一个模态命题为假推出与其具有下反对关系的另一个模态命题必定为真。 模态命题间的下反对关系是指◇p与◇﹃p之间不同假,可同真的真假关系。所以,可以由假推真。根据下反对关系进行模态推理有两个有效式: ①不可能p,所以,可能非p。(﹃◇p→◇﹃p) 例如:人不可能总是情绪饱满的,所以,人可能不总是情绪饱满的。 ②不可能非p,所以可能p。(﹃◇﹃p→◇p) 例如:他不可能不认识作案人,所以,他可能认识作案人。 3从属关系推理 (1)、模态命题间的推出关系 模态命题间的从属关系是指□p与◇p之间、□﹃p与◇﹃p之间可同真,可同假的真假关系。即由必然p真可推知可能p真;由可能p假推知必然p 假。所以,根据从属关系进行模态推理,有以下四个有效式: ①必然p,所以,可能p。(□p→◇p) 例

文档评论(0)

dashewan + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档