直言命题里,P的矛盾命题是非P
比如,“小明及格了”,“小明没及格”是矛盾关系。
但是在模态判断里,
必然P与必然非P不是矛盾关系,必然P与可能非P才是。
比如,“小明必然及格了”,“小明可能没及格”。
这就有疑问了
小明及格没及格只有一个是真的
也就是说要么小明及格,要么小明没及格
那么,“小明必然及格”,“小明必然没及格”,这两者为什么就不算是矛盾命题呢?
必然及格,可能不及格,必然不及格
及格,不及格
之间的关系是什么?
四类模态命题(必然是、必然非、可能是、可能非)之间的关系,可以用逻辑方阵来表示——逻辑书上都有的。而且这个逻辑方阵,在结构上与直言命题的逻辑方阵完全相同——相对应的四种直言命题分别是:全部是、全部非、有的是、有的非。
至于模态命题和与之对应的(即去掉模态词之后的)直言命题(如:必然及格与及格)之间的关系,有的书上没说,有的书上是这样说的:
【必然(非)p】=>【(非)p】=>【可能(非)p】;
其中 “非” 字要么都有,要么都没有。
也就是说,【必然(非)p】与【(非)p】之间,以及【(非)p】与【可能(非)p】之间,和【必然(非)p】与【可能(非)p】之间一样,都是 “差等关系”。
这说明,从【必然(非)p】到【(非)p】,再到【可能(非)p】,是一个肯定(或否定)的程度递减的过程。从程度高的判断,可以推出程度低的判断;反之则不然。