《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/17 16:15:06
《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
1、根据三段论的一般规则,大前提为O,则小前提必为A(规则4:两个否定的前提不能得出正确的结论,排除OE判断,据规则:两个特称的前提不能得出正确结论,排除了I 判断);再根据规则5和规则7,可知结论为O判断.
2、由于结论为O,大项在结论中周延,说明它在前提中是周延的(规则3:前提中不周延的项,在结论中不得周延),而大前提已知为O,根据性质判断周延情况,O判断是谓项周延,所以,大项在大前提中一定是作谓项.由此也可知中项M在大前提中作主项,不周延.根据规则2,中项在前提中至少周延一次,而小前提为A,A主项周延,谓项不周延,所以,中项要周延,在小前中只能作主项,小项在小前提中作谓项.即 MOP
MAS
——————
∴SOP
3、可知是第三格OAO式
根据三段论基本定理
因为:两个否定(O/E)前提得不出结论
所以:小前提是A或者I
又因为:两个特称前提(I/O)得不出结论
所以小前提是A
又因为:前提中有一条是特称的,结论必特称;前提有否定的所以结论必须否定。
所以结论只能是既特称又否定的O判断
所以这一三段论只能是OAO格式...
全部展开
根据三段论基本定理
因为:两个否定(O/E)前提得不出结论
所以:小前提是A或者I
又因为:两个特称前提(I/O)得不出结论
所以小前提是A
又因为:前提中有一条是特称的,结论必特称;前提有否定的所以结论必须否定。
所以结论只能是既特称又否定的O判断
所以这一三段论只能是OAO格式
收起