（一）客观模态判断的概念

客观模态判断就是断定思维对象的可能性或者必然性的判断。思维对象的情况通常有三种，一为事物的可能性，二为事物的必然性，三为事物的实然性。前述性质判断和关系判断都是对事物实然性的断定，而客观模态判断则断定事物的可能性或者必然性。逻辑学通常将客观模态判断也称为真值模态判断。

（二）客观模态判断的种类

根据客观模态判断是断定事物可能性还是必然性，可将客观模态判断分为可能判断与必然判断两类。断定事物可能性的判断称为可能判断，断定事物必然性的判断称为必然判断。再按照客观模态判断的质，即肯定还是否定，可将客观模态判断分为可能肯定判断、可能否定判断、必然肯定判断、必然否定判断四种。

1.可能肯定判断

可能肯定判断就是断定思维对象具有某种可能性的客观模态判断。例如：

（1）这起命案可能是仇杀。

（2）盗窃罪可能转化为抢劫罪。

上述例（1）断定“这起命案”具有“仇杀”的可能性，例（2）断定“盗窃罪”具有“转化为抢劫罪”的可能性，二者均为可能肯定判断。可能肯定判断的逻辑形式为：

可能p

用符号表示为：

◇p

2.可能否定判断

可能否定判断就是断定事物不具有某种可能性的客观模态判断。例如：

（1）张某可能没有参与作案。

（2）被告人可能没有患精神病。

上述例（1）断定“张某”不具有“作案”的可能性，例（2）断定“被告人”不具有“患精神病”的可能性，二者均为可能否定判断。可能否定判断的逻辑形式为：

可能非p

用符号表示为：

◇¬p

3.必然肯定判断

必然肯定判断就是断定思维对象具有某种必然性的客观模态判断。例如：

（1）这起谋杀案肯定是他策划的。

（2）以身试法必将遭到法律的惩罚。

上述例（1）断定“他”具有“策划作案”的必然性，例（2）断定“以身试法行为”具有“遭受法律惩罚”的必然性，二者均为必然肯定判断。必然肯定判断的逻辑形式为：(www.daowen.com)

必然p

用符号表示为：

□p

4.必然否定判断

必然否定判断就是断定思维对象不具有某种必然性的客观模态判断。例如：

（1）没有完善的法治就不可能保障基本人权。

（2）政治责任必然不能替代法律责任。

上述例（1）断定“法治不完善”不具有“保障基本人权”的必然性，例（2）断定“政治责任”不具有“替代法律责任”的必然性，二者均为必然否定判断。必然否定判断的逻辑形式为：

必然非p

用符号表示为：

□¬p

（三）客观模态判断之间的对当关系

客观模态判断之间也存在对当关系，这些对当关系如同前述性质判断一样，也可分为反对关系、差等关系、矛盾关系和下反对关系四种。

1.反对关系

在客观模态判断之间的对当关系中，反对关系是指必然p 和必然¬p 之间的真假制约关系。这种关系的逻辑特征为：可以同假，不能同真。

2.差等关系

在客观模态判断之间的对当关系中，差等关系是指必然p 和可能p、必然¬p和可能¬p之间的真假制约关系。这种关系的逻辑特征为：可以同真，也可以同假。上位判断真，则下位判断必真；上位判断假，则下位判断真假不定；下位判断真，则上位判断真假不定；下位判断假，则上位判断必假。

3.矛盾关系

在客观模态判断之间的对当关系中，矛盾关系是指必然p 和可能¬p、必然¬p和可能p之间的真假制约关系。这种关系的逻辑特征为：不能同真，也不能同假。

4.下反对关系

在客观模态判断之间的对当关系中，下反对关系是指可能p和可能¬p 之间的真假制约关系。这种关系的逻辑特征为：可以同真，不可以同假。

客观模态判断之间的对当关系，可用逻辑方阵表示为：

图3.2　客观模态判断对当关系