逻辑考点讲解：模态判断

　　模态判断是考研逻辑科目里的一个必考知识点，也是许多考生的备考难点之一。下文中跨考教育逻辑与写作教研室任子途老师就为考生详细讲解这一知识点，希望对考生复习有所帮助。

　　一.什么是模态判断

　　模态判断是陈述事物情况的必然性或可能性的判断。例如：

　　①凶手必然有作案时间。

　　②明天可能不下雨。

　　表达模态判断必须有模态词，模态判断都含有“必然”“可能”等模态词。模态词有时在判断联结词之前，有时在主项之前，有时在谓项之后，这主要是依据要表达的内容与表达习惯来定。例如①可以表达为“必然凶手有犯案时间”或“凶手有作案时间”这是必然的。

　　模态判断有四种类型

　　必然肯定判断。必然P，“必然下雨”

　　必然否定判断，必然非P，“如必然不下雨”

　　可能肯定判断，可能P，可能下雨

　　可能否定判断，可能非P，可能不下雨

　　二.模态判断的真假

　　模态命题有其真假，不过它与命题逻辑中讲的真假是不同的，在命题逻辑中，命题的真假，可以用真值表来刻画，而模态判断由于有模态词，所以不能用真值表来表达其真假。在模态命题中引入了“可能世界”来刻画其真假。所谓可能世界，是指能够为人们合乎逻辑的设想出来的各种场合。现实世界只是许许多多可能世界中的一个可能世界。

　　“可能世界”是由莱布尼茨首先提出的，按照莱布尼茨的观点，根据P在每个可能世界中的真假，就可以确定“必然P”与“可能P”的的真假。

　　当P在所有可能世界为真时，必然P就是真的，否则就是假的。

　　当P在所有可能世界为假时，必然非P就是真的，否则就是假的。

　　当P至少在一个可能世界为真时，可能P就是真的，否则就是假的。

　　当P至少在一个可能世界为假时，可能非这就是真的，否则就是假的。

　　依据模态命题的真假，可进行模态判断之间的推理，从而形成了模态对当关系，模态对当关系是考生难以理解的内容，若考生难以理解，则在实际的做题中，可依据性质判断的对当关系来理解模态对当关系，以简化对模态命题的理解，以达到快速解题的效果。