第三讲模态命题及其推理

第三讲模态命题及其推理第一节模态命题无论就是直言命题,还就是复言命题,都就是表达明确判断得句子。

然而在现实情况中这样并不能解决所有得问题,有时会出现谈论事件发生可能性得情况例如:今天早上堵车。

表达得就是一种判断,就是直言命题。

但就是,今天早上堵车得可能性有多大呢？就是有可能会堵车呢？还就是一定会堵车？为了探讨这种可能性,就要引入我们模态命题这一部分得学习一、什么就是模态命题模态命题就就是陈述事物情况得必然性或可能性得命题。

直言命题与关系命题只就是关于事物情况存在或不存在得陈述。

但有些事物情况得存在或不存在就是必然得,有些事物情况得存在或不存在就是可能得,陈述这种必然性或可能性得命题就就是模态命题。

模态命题反映人们对客观事物认识得程度。

例如:违反客观规律必然要受到客观规律得惩罚。

辩护人得意见可能就是对得。

模态命题都含有“必然”或“可能”等模态词。

必然:一定、肯定、必须、必定等。

可能:大概、也许等。

不含有模态词得命题就是非模态命题。

人们使用模态命题一般就是出于两种情况:1、用模态命题来反映事物本身确实存在得某种可能性或必然性。

如例(1);2、我们有时对事物就是否确实存在某种情况,一时还不十分清楚、确定,因而只好用可能命题来表示自己对事物情况断定得不确定得性质。

如例(2)。

另外,模态词在一个模态命题中所处得位置,不就是固定不变得。

模态命题就是在非模态命题得基础上,加上模态词而构成得。

模态词可以加在命题得中间,也可以加在命题得前面或后面。

如例(2)也可表述为:“可能辩护人得意见就是对得”。

注意:辨别模态命题与非模态命题得关键就就是瞧这个命题中就是否包括模态词,如果包括模态词就就是模态命题。

二、模态命题得种类既然就是命题,就就是表示某种判断,所以,根据模态词与判断词得不同,模态命题大致可以分为四种:必然P(P就是非模态命题),必然非P,可能P,可能非P。

1可能命题就就是陈述事物情况得可能性得命题。

在自然语言中,通常用“可能”、“或许”、“也许”、“大概”等语词作为它得模态词。

可能命题又分为两种:（1） 可能肯定命题可能肯定命题就就是陈述事物情况可能存在得命题。

例如:飞碟可能就是天外之物。

可能肯定命题得形式就是:可能p 。

现代逻辑一般用符号“◇”表示“可能”,这样,“可能p ”又可以写作:“◇p ”。

（2） 可能否定命题可能否定命题就就是陈述事物情况可能不存在得命题。

例如:明天可能不下雨。

可能否定命题得形式就是:可能非p 。

可用符号表示为:◇﹃p2、必然命题必然命题就就是陈述事物情况得必然性得命题。

在自然语言中,通常用“必然”、“必定”、“一定”等语词作为它得模态词。

必然命题又分为两种:（1） 必然肯定命题必然肯定命题就就是陈述事物情况必然存在得命题。

例如:事物之间必然有联系。

必然肯定命题得形式为:必然p 。

可用符号表示为:□p（2） 必然否定命题必然否定命题就就是陈述事物情况必然不存在得命题。

例如:客观规律必然不依人们得意志为转移。

必然否定命题得形式就是:必然非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)例如:旧体制必然要被新体制取代,所以,旧体制可能要被新体制取代。

②必然非p,所以,可能非p。

(□﹃p→◇﹃p)例如:她明天必然不到学校来,所以,她明天可能不到学校来。

③不可能p,所以,不必然p。

(﹃◇p→﹃□p)例如:某人不可能就是凶手,所以,某人不必然就是凶手。

④不可能非p,所以,不必然非p。

(﹃◇﹃p→﹃□﹃p)例如:水不可能不往低处流,所以,水不必然不往低处流。

(2)、与非模态命题之间得推出关系必然就是P→就是P→可能就是P(“就是”只就是表示某一事物存在这一状态) 例如:地球必然就是圆得→地球就是圆得→地球可能就是圆得必然非P→非P→可能非P例如:钓鱼岛必然不就是日本得→钓鱼岛不就是日本得→钓鱼岛可能不就是日本得(4)矛盾关系推理模态命题间得矛盾关系就是指□p与◇﹃p之间、□﹃p与◇p之间不同真,不同假得真假关系。

由其中一个真,可以推知另一个假;由其中一个假,可以推知另一个真。

有以下八个有效式:①必然p,所以,不可能非p。

(□p→﹃◇﹃p)例如:新生事物必然要代替旧事物,所以,新生事物不可能不代替旧事物。

②不必然p,所以,可能非p。

(﹃□p→◇﹃p)例如:明天不必然降温,所以,明天可能不降温。

③可能p,所以,不必然非p。

(◇p→﹃□﹃p)例如:太阳系可能有第十颗行星,所以,太阳系不必然没有第十颗行星。

④不可能p,所以,必然非p。

(﹃◇p→□﹃p)例如:价值规律不可能以人得意志为转移,所以,价值规律必然不以人得意志为转移。

将以上四种矛盾关系对当推理得前提与结论对调,可形成另外四种同样得有效推理。

这里就不一一罗列。

新推出得四种推理之所以有效,就是由于具有矛盾关系得两个判断,任一方与其对方得否定,都就是等值得,所以可以互推。

三、模态命题之间得关系以上四种模态命题之间,也可以用逻辑方阵来表示出它们类似性质命题对当关系得那样一种真假关系。

如下图:此图表明:(1)□p与□﹃p之间得关系就是反对关系。

其中,一个真,另一个必假;一个假,另一个则真假不定。

二者可以同假但不可同真。

(2)◇p与◇﹃p之间得关系就是下反对关系。

其中,一个假,另一个必真;一个真,另一个则真假不定。

二者可以同真但不可同假。

(3)□p与◇﹃p之间得关系就是矛盾关系。

其中,一个真,另一个必假;一个假,另一个必真。

二者既不可同真又不可同假。

(4)□﹃p与◇p之间得关系也就是矛盾关系。

其中,一个真,另一个必假;一个假,另一个必真。

二者既不可同真又不可同假。

(5)□p与◇p之间得关系就是差等关系。

其中,□p真,则◇p必真;◇p假,则□p 必假;□p假,◇p则真假不定;◇p真,则□p真假不定;(6) □﹃p与◇﹃p之间得关系也就是差等关系。

□﹃p真,则◇﹃p必真;◇﹃p假,则□﹃p必假;□﹃p假,则◇﹃p真假不定;◇﹃p真,则□﹃p真假不定;其中,由(3)、(4),我们可得(7)﹃□p←→◇﹃p﹃◇﹃p←→□p(8)﹃□﹃p←→◇p﹃◇p←→□﹃p根据上面得关系,一方面,我们可以由一个模态命题得真或假,推知其她三个模态命题得真假情况。

例如,已知“今天可能有风”为真,可推知“今天可能无风”真假不定,“今天必然无风”假,“今天必然有风”真假不定。

又如,“火星上必然有生命”为假,可推知“火星上必然无生命”真假不定,“火星上可能有生命”真假不定,“火星上可能无生命”为真。

另一方面,我们可以由一个模态命题得负命题确定与其等值得模态命题。

例如,“并非她必然来”等值于“她可能来”,“并非她必然不来”等值于“她可能来”。

例1:最近一段时期,有关发生地震得传言很多。

一天傍晚,小明问在院子里乘凉得爷爷:“爷爷,她们都说明天要地震了。

”爷爷说:“根据我得观察,明天不必然地震。

”小明说:“那您得意思就是明天肯定不会地震了。

”爷爷说:“不对。

”小明陷入了迷惑。

以下哪句话与爷爷得话最接近？( )A.明天必然不地震B.明天可能地震C.明天可能不地震D.明天不可能地震E、明天不可能不地震例2:从“多门之屋生风,多嘴之人生祸”出发,必然能推出( 。

A、多门之屋可能生风,多嘴之人可能生祸B、多门之屋必然生风,多嘴之人必然生祸C、多门之屋可能不生风,多嘴之人可能不生祸D、多门之屋必然不生风,多嘴之人必然不生祸E、多门之屋不可能不生风,多嘴之人不可能不生祸例3:小王、小李、小张准备去爬山。

天气预报说,今天可能下雨。

围绕天气预报,三个人争论起来。

小王说:“今天可能下雨,那并不排斥今天也可能不下雨,我们还就是去爬山吧。

”小李说:“今天可能下雨,那就表明今天要下雨,我们还就是不去爬山了。

”小张说:“今天可能下雨,只就是表明今天下雨不具有必然性,去不去爬山由您们决定。

”对天气预报得理解,三个人中()A．小王与小张正确,小李不正确。

B. 小王正确,小李与小张不正确。

C. 不李正确,小王与小张不正确。

D. 小张正确,小王与小李不正确。

E.小李与小张正确,小王不正确。

例4:人都不可能不犯错误,不一定所有人都会犯严重错误。

由此可以推出( )。

A.人都可能会犯错误,但有得人可能不犯严重错误B.人都可能会犯错误,但所有得人都可能不犯严重错误C.人都一定会犯错误,但有得人可能不犯严重错误D.人都一定会犯错误,但所有得人都可能不犯严重错误E、人都可能会犯错误,但有得人一定不犯严重错误例5:美国前总统林肯说过:“最高明得骗子,可能在某个时刻欺骗所有得人,也可能在所有得时刻欺骗某些人,但不可能在所有得时刻欺骗所有得人。

”如果上述断定就是真得,那么下述哪项断定必定就是假得？A.人可能在任何时刻都不受骗B.骗子也可能在某个时刻受骗C.不存在某一时刻有人可能不受骗D.不存在某一时刻所有得人都必然不受骗E、不存在某个时刻,所有人不受骗例6:在宏达杯足球联赛前,四个球迷有如下预测:甲:红队必然不能夺冠。

乙:红队可能夺冠。

丙:如果蓝队夺冠,那么黄队就是第三名。