文档介绍：第四章模态、规范逻辑
学****难点:模态命题的真假
重点掌握:模态对当推理、规范对当推理
掌握:命题的特征、种类、真假
了解:模态与非模态推理、必然化推理、必须化推理
第一节模态推理
一、模态命题
1、定义:
模态命题就是陈述事物情况的可能性或必然性的命题。
第一节模态推理
在模态命题的语言表达形式中,都含有“必然”或“可能”这两种模态词。
例如:
客观规律必然不以人的意志为转移。(“必然”居于命题之中)
客观规律不以人的意志为转移是必然的。(“必然”后置)
不可能所有的错误都能避免。(“可能”前置)
第一节模态推理
2、模态命题的种类
(1)必然肯定命题
必然肯定命题就是陈述事物情况必然存在的命题。
例如:任何事物都必然包含有矛盾。
语言形式结构: “必然P”。
符号形式结构: 模态词“必然”,可以表达为 Lp
第一节模态推理
(2)必然否定命题
必然否定命题就是陈述事物情况必然不存在的命题。
例:客观规律必然不以人的意志为转移。
语言形式结构:“必然非P”。
符号形式结构:L ┑ p
第一节模态推理
(3)可能肯定命题
可能肯定命题就是陈述事物情况可能存在的命题。
例:某人可能是法学专业的学生。火星上可能有生物。
语言形式结构:“可能P”。
符号形式结构: Mp
第一节模态推理
(4)可能否定命题
可能否定命题就是陈述事物情况可能不存在的命题。
例:明天可能不会刮风。
语言形式结构:“可能非P”。
符号形式结构:M ┑ p
第一节模态推理
3、模态命题的真假
“可能世界”这个概念最早是由莱布尼茨提出的,是指能够为人们合乎逻辑地设想出来的各种各样的情况和场合。
第一节模态推理
“必然 p”真,当且仅当p在所有可能世界中都真。
“可能 p”真,当且仅当p至少在某一个可能世界中为真。
“必然非 p”真,当且仅当p在所有可能世界中都假。
“可能非 p”真,当且仅当p至少在某一个可能世界中为假。
第一节模态推理
二、模态对当推理
“必然P”、“必然非P”、“可能P”、“可能非P”,这四种模态命题之间的真假关系,与A、E、I、O四种性质命题之间的真假关系相同,我们可以借用性质命题的逻辑方阵图来表示模态命题之间的真假关系。