必然模态三段论（模态三段论）【英】

apodeictic modal syllogism

译文来源

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

定义

必然模态三段论是模态三段论的一种。必然模态三段论是结论为必然命题，并且前提中至少有一个必然命题的三段论。以第一格的AAA式为例，必然模态三段论的推理是：（1）“所有的M必然是P；所有的S必然是M；所以，所有的S必然是P。”（2）“所有的M必然是P；所有的S都是M；所以，所有的S必然是P。”如：“绿色植物必然能进行光合作用；海洋里的藻类是绿色植物；所以，海洋里的藻类必然能进行光合作用。”（金炳华，冯契，2001：1025）

定义来源

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

网络参考例句

例句 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．