什么是简单模态命题的推理?

2023年11月12日15:20:54什么是简单模态命题的推理?已关闭评论

模态推理是指前提或者结论为模态命题的推理。

根据命题的种类来划分,模态推理可以划分为:简单模态命题的推理和复合模态命题的推理。其中,简单模态命题的推理包括根据模态方阵进行的模态推理和根据模态命题与性质命题之间的关系进行的模态推理。

简单模态命题的推理

根据图表 2.24 中各命题之间的逻辑关系,也就是:必然p与必然非p是反对关系,可能p与可能非p是下反对关系,必然p与可能非p、可能p与必然非p、p和非p都是矛盾关系,必然p、p、可能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.24

在这里,需要注意的是:含重叠量词的模态命题的负命题如何解得其等值命题?例如:“并非有的人在任何时刻都必然能够欺骗世界上所有的人。”这个命题的等值命题是什么呢?在这里,我们有一个简单而容易操作的解题方法,也就是通过对命题中的逻辑常项进行对应替换而求取其等值命题。

必然⇆可能

所有⇆有的

肯定⇆否定

上面三个式子的意思是:在求取含重叠量词模态命题的负命题的等值命题过程中,将待解命题中的否定词去掉后,需要把“必然”替换为“可能”,“可能”替换为“必然”,“所有”替换为“有的”,“有的”替换为“所有”,肯定命题变为否定命题,否定命题变为肯定命题,这样,我们就可推理得其等值命题。运用这个方法,上例中的等值命题即为:“所有的人在有的时刻可能不能够欺骗世界上有的人。”

  • 版权声明:本篇文章(包括图片)来自网络,由程序自动采集,著作权(版权)归原作者所有,如有侵权联系我们删除,联系方式(QQ:452038415)。