客观模态判断

是指断定某一事件的发生或不发生有无必然性或可能性的判断。客观模态判断只有与实际符合，才是真的。否则，便是假的。以S必然（可能）P表某事件必然（可能）发生”以“S必然（可能）不P”表某事件必然（可能）不发生”，则模态判断的基本逻辑形式有以下几种：（必然A（“S必然P”或A是必然的”）。它断定A事件发生是必然的。例如“反动派必然垮台”或“反动派垮台是必然的。”（2）必然不是AC（“S必然不P”或“不A是必然的”）。它断定事件A不发生是必然的。例如，“社会治安不好必然不利四化建设”或“社会治安不好不利于四化建设是必然的”。（3）可能A（“S可能P”或“A是可能的”）。它断定事件A发生是可能的。例如，“当事人可能说谎”或“当事人说谎是可能的”。（4）可能不是A（“S可能不P”或“不A是可能的”）它断定事件A不发生是可能的。例如，“原告人可能不上诉”或“原告人不上诉是可能的。”