模态命题

常称为模态判断，带模态词的命题。包含“必然”的是必然命题，包含“可能”的是可能命题。亚里士多德最早提出并研究了4个模态词“必然”，“不可能”，“可能”，“偶然”。他已知“必然”和“可能”可互相定义。“必然”可定义为“不可能不”，“可能”可定义为“不必然不”。把“必然”、“可能”、“偶然”3个模态词加到4种直言命题形式中去，就有以下12种模态直言命题形式：

亚里士多德还知道必然p与p，p与可能p之间有差等关系。

中世纪的逻辑学家提出了言辞的模态(modolity de dicto)和事实的模态(modality de re)的区别。言辞模态是用模态词作为表述一个命题的谓项，如“必然p”。事实模态是用模态词作为表述主项的谓项或谓项的一部分，如“有S必然不是P”。

近代受I．康德关于模态判断的说法的影响，传统逻辑一般认为有这样3种模态命题：

①或然(盖然，概然problematic)命题，S可能是P。

②实然(assertoric)命题，S是P

③确然(apodeictic)命题，S必定是P。以上3种命题的区别是认识程度的不同。所谓实然命题，其实不包含模态词，不是模态命题。