我先举个反例:实然大前提:所有动物(M)都是生物(P),必然小前提:所有人(S)都必定是动物(M)。必然结论:所有人必然是生物。这里貌似并非要“从弱”结论。试问问题所在?
实然全称前提A:所有M是 P
模态必然前提:所有S必然是M
____________________________________
结论: ?
按照书本上列的判定法则,小前提肯定,实然,那么结论不能强于大前提,这是结论从弱规则,大前提是实然强度小于必然,所以按规则,结论可以写成“所有S是P”,结论应该不能是必然的"所有S必然是P"。但按我的理解,必然结论也没错。另外的问题就是书本上说的到底有没有问题,还是我在理解细节上犯了什么错误。
首先很感谢你来回答这个问题。但是您可能没有看懂我的问题。您的解答是关于实然前提下的三段论有效判定,但我的问题是对含有模态命题前提的三段论一种有效判定的质疑。如果您可以回答,希望不吝赐教。