必然和直言混合模态三段论质疑

中国人民大学《形式逻辑(修订本)》(下称人大本)认为必然和直言混合模态三段论的结论是必然判断,其形式为;所有M必然是P,所有S是M;所以,所有S必然是P.从其举例和所给习题可知判断的主项可以是反映单个对象的单独概念.然而,这是有效的推理吗?结论判断确实具有必然性吗?笔者认为答案是否定的.如所周知,直言判断相当于模态判断中的实然判断.实然判断与必然判断是从属关系.必然判断其则实然判断真,实然判断其则必然判断不一定真.也就是说,实然判断断定较少,模态性质较弱;必然判断断定最多,模态性质最强.一个必然判断与一个直言判断作前提,也即一个模态性质最强的判断与一个模态性质较弱的判断作前提,怎么能推出模态性质最强的结论?也即怎么能由较弱的模态过渡到最强的模态呢?若能推出,两者也就不是必然判断其蕴涵实热判断真这种从属关系了.该书给出的必然和可能模态三段论,其结论是可能判断.实然判断、可能判断在模态上都弱于必然判断.同是必然判断与一个模态较弱的判断作前提的混合推理,何以一个结论与前提中较弱的前提同样性质,一个结论则与前提中最强的前提同样性质?亚里士多德的学生奥弗拉斯特早就明确说过:模态三段论的结论具有与两个前提中较弱的一个前提的同样性质.由必然判断与直言判断两个前提