模态判断的种类
我们在“直言判断”中曾经讲到，根据模态判断中模态词的不同（必然或可能），模态判断可分为必然模态判断（或必然判断）和可能模态判断（或可能判断）。
1.必然判断
必然判断是断定事物情况存在的必然性的模态判断，或者说必然判断是对事物情况必然存在的断定。必然判断一般都含有模态词“必然”，类似的模态词还有“一定”“肯定”等。比如：
（1）理性认识必然是感性认识的高级阶段。
（2）新的、先进的社会制度必然要代替旧的、落后的社会制度。
（3）秦始皇必然没有料到秦王朝灭亡得如此迅速。
（4）老年人的精力不如年轻人是必然的。
判断（1）断定“理性认识是感性认识的高级阶段”这一事物情况是必然存在，判断（2）断定“新的、先进的社会制度代替旧的、落后的社会制度”这一事物情况是必然存在的；判断（3）断定“秦始皇料到秦王朝灭亡得如此迅速”这一事物情况是必然不存在的，判断（4）断定“老年人的精力如年轻人”这一事物情况是必然不存在的。
从上面的四个必然判断中我们可以发现，判断（1）、（2）都是对事物情况必然存在的断定，判断（3）、（4）则是对事物情况必然不存在的断定。我们把断定事物情况必然存在的必然判断叫作必然肯定判断；把断定事物情况必然不存在的必然判断叫作必然否定判断。必然肯定判断和必然否定判断是必然判断的两种基本形式。它们可以用下面的逻辑形式来表示：
必然肯定判断：S必然是P（或“必然P”）。用符号表示则是：□P（“□”意为必然）。
必然否定判断：S必然不是P（或“必然非P”）。用符号表示则是：□￢P（“￢”意为非）。
2.可能判断
可能判断是断定事物情况存在的可能性的模态判断，或者说可能判断是对事物情况可能存在的断定。可能判断一般都含有模态词“可能”，类似的模态词还有“或许”“也许”等。比如：
（1）明天可能是一个晴天。
（2）可能那个罪犯已经越狱了。
（3）在海底建城市是不大可能的。
（4）葛优可能不会出演这部电影了。
判断（1）断定“明天是一个晴天”这一事物情况是可能存在的，判断（2）断定“那个罪犯已经越狱”这一事物情况是可能存在的；判断（3）断定“在海底建城市”这一事物情况可能是不存在的，判断（4）断定“葛优出演这部电影”这一事物情况可能是不存在的。
同样，上面四个可能判断中，判断（1）、（2）都是对事物情况可能存在的断定，判断（3）、（4）则是对事物情况可能不存在的断定。我们把断定事物情况可能存在的可能判断叫作可能肯定判断；把断定事物情况可能不存在的可能判断叫作可能否定判断。可能肯定判断和可能否定判断也是可能判断的两种基本形式。它们可以用下面的逻辑形式来表示：
可能肯定判断：S可能是P（或“可能P”）。用符号表示则是：◇P（“◇”意为可能）。
可能否定判断：S可能不是P（或“可能非P”）。用符号表示则是：◇￢P。
