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

　　一、什么是模态判断

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

　　二、模态判断的种类

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

　　必然肯定模态判断：必然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。