普通逻辑学习笔记 模态判断

一、什么是模态判断

模态判断是断定事物情况的必然性或可能性的判断。“必然”、“可能”在逻辑上称为模态词，因此，模态判断也就是包含有模态词的判断。

二、模态判断的种类

模态判断分为两类四种：一类是必然模态判断，又分为两种：必然肯定模态判断和必然否定模态判断；另一类是可能模态判断，又分为可能肯定模态判断和可能否定模态判断。它们的逻辑形式分别为：

必然肯定模态判断：必然p，符号化为：£p

必然否定模态判断：必然非p，符号化为：£Øp

可能肯定模态判断：可能p，符号化为：¯p

可能否定模态判断：可能非p，符号化为：¯Øp

三、模态判断之间的真假关系

必然p、必然非p、可能p、可能非p之间的真假关系类似于A、E、I、O之间的对当关系，具体说即：

1.反对关系：£p与£Øp；

2.下反对关系：¯p与¯Øp；

3.矛盾关系：£p与¯Øp，¯p与£Øp；

4.差等关系：£p与¯p，£Øp与¯Øp。