以“所有A不是B”与“有C是A”为前提,能否必然推出“有B不是C”?能否必然推出“有 C不是B”?为什么?
(1)不能必然推出有B不是C。这是因为:“有C是A;所有A不是B;所以,有B不是C。”是 三段论第四格的无效式,它违反了三段论“在 前提中不周延的项,到结论中也不得周延”的 规则,犯了大项不当周延的逻辑错误。(2)能必然推出有C不是B,这是因为:“所有A 不是B;有C是A;所以,有C不是B。”是三 段论第一格的有效式.它符合三段论一般规 则和特殊规则的要求。
以“所有A不是B”与“有C是A”为前提,能否必然推出“有B不是C”?能否必然推出“有 C不是B”?为什么?
(1)不能必然推出有B不是C。这是因为:“有C是A;所有A不是B;所以,有B不是C。”是 三段论第四格的无效式,它违反了三段论“在 前提中不周延的项,到结论中也不得周延”的 规则,犯了大项不当周延的逻辑错误。(2)能必然推出有C不是B,这是因为:“所有A 不是B;有C是A;所以,有C不是B。”是三 段论第一格的有效式.它符合三段论一般规 则和特殊规则的要求。