▲点击上方“蓝字”关注我

今天是我日更的第180/200天

模态三段论就是以模态判断作为前提或结论的三段论。

与非模态三段论相比，模态三段论中都含有模态词（必然、可能）。

根据作为大、小前提的模态判断的不同，模态三段论可以分为必然模态三段论、可能模态三段论和必然、可能相结合的模态三段论。

必然模态三段论

又可分为两种形式。

（一）以两个必然判断为前提

①两个必然肯定前提，推出肯定的结论。

所有M必然是P，

所有S必然是M，

所以，所有S必然是P。（三段论第一格的形式）

人必然会死亡，

秦始皇必然是人，

所以，秦始皇必然会死亡。

②一个必然否定前提和一个必然肯定前提，推出否定的结论。

所有M必然不是P，

所有S必然是M，

所以，所有S必然不是P。（三段论第一格）

人必然不是长生不老的，

皇帝必然是人，

所以，皇帝必然不是长生不老的。

③根据三段论的一般规则四（大小前提不能都是否定判断），不能以两个必然否定判断为前提。

（二）以一个必然判断、一个实然判断为前提

必然判断可以作为大前提或小前提，可以是肯定或否定。

实然判断同样可以作为大、小前提，肯定或否定。

这样有多种形式。

①必然判断为大前提，肯定；实然判断为小前提，肯定。

所有M必然是P，

所有S是M，

所以，所有S必然是P。

青年人是国家的希望，

高中生是青年人，

所以，高中生必然是国家的希望。

②实然判断为大前提，否定；必然判断为小前提，肯定。

所有M不是P，

所有S必然是M，

所以，所有S不是P。

保健品不是药品，

红牛饮料必然是保健品，

所以，红牛饮料不是药品。

自学逻辑，内容有错欢迎指正。

我是郑懿，关注我，陪你一起持续进步。

文中部分内容引自《图解逻辑学》明道（著），中国华侨出版社，2018年3月出版