必然的模态命题（必然命题）【英】

apodeictic modal proposition

译文来源

金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001：78.

定义

必然的模态命题即必然命题，是逻辑学中一类重要命题，指断定事物情况的必然性的模态命题。亚里士多德不但是形式逻辑的创始人，而且是模态命题逻辑的创始人。他使用了四个模态词:“必然”（necessary）、“不可能”（impossible）、“可能”（possible）和“偶然”（contingent）（张家龙，2006：61）。必然命题又分为必然肯定命题和必然否定命题两种。其中，必然肯定命题是反映事物情况必然存在的命题。例如，“社会必然是向前发展的”。可表示为“S必然是P”或“S是P是必然的”。必然否定命题是反映事物情况必然不存在的命题。例如，“客观规律不依人们的意志为转移是必然的”。可表示为“S必然不是P”或“S不是P是必然的”（汪馥郁，郎好成，1990：267）。

定义来源

[1] 张家龙.亚里士多德模态命题理论的现代解析[C].第二届海峡两岸逻辑教学学术会议专辑，2006.
[2] 汪馥郁，郎好成. 实用逻辑学词典[M]. 冶金工业出版社，1990.

网络参考例句

例句 1：
墨家逻辑有独特的命题论。其中对实然、或然和必然等模态命题，祈使句的主观或然模态和客观必然模态的区分，全称特称命题，假言命题，以及命题的评价标准等，都有独到的论述和巧妙的运用。这对今日的逻辑研究和今人的思维表达，都有重要的启示和借鉴意义。——“墨家逻辑的命题论”，载于《毕节学院学报》2013年03期
Mohist logic has its special theory of proposition．And it has special discussion and clever use in classification for actuality，probability，necessity and other modal propositions，the full name and special name proposition，hypothetical proposition and evaluation standards for proposition．It has an important enlightenment and reference for current logic research and thinking expression of people．