各模态判断间的对当关系
必然肯定判断、必然否定判断、可能肯定判断和可能否定判断这四种模态判断间的对当关系与A、E、I、O四种直言判断间的对当关系是相同的。见下表:
现在且以必然否定判断(□¬P)和可能否定判断(◇¬P)的从属关系为例来加以说明。比如:
(1)老年人的精力不如年轻人是必然的。
(2)老年人的精力不如年轻人是可能的。
判断(1)为必然否定判断(□¬P),判断(2)为可能否定判断(◇¬P)。显然,若(1)为真,则(2)也为真;若(2)为假,即“老年人的精力不如年轻人是不可能的”,则(1)也必假;若(1)为假,即“老年人的精力不如年轻人不是必然的”,则表示“老年人的精力可能如年轻人,也可能不如年轻人”,故(2)真假不定;若(2)为真,则表示“老年人的精力不如年轻人”可能存在,也可能不存在,故(1)真假不定。
各模态间的对当关系可以用模态逻辑方阵来表示:
不管是在思维或表达过程中,还是在具体各学科的研究运用上,模态判断都发挥着积极的作用。恰到好处地运用必然判断和可能判断可以更精确地阐述自己的思想或观点,也可以更加真实、科学地反映事物的客观情况。同时,掌握并熟练运用模态判断,也是进行模态推理的基础。