下面一个个来:
A
所有a不是b,c是b,所以a不是c 排除
B
所有a是b,有些a是c,所以所有c是b 排除
C
所有a是b,b是c,因此a是c 这是传递性的 排除
D
所有a是b,c是a,所以c是b(b是指不能独立充当句法成分)与例题结构一样
所以选D
第一格的逻辑形式是(用传统逻辑的符号系统表示):M*P,S*M→S*P假设小前提为否定,则大前提一定为肯定,因为两个否定前提推不出任何有效的结论,所以大前提为MIP或者MAP,小前提为SEM或者SOM。
先考虑MIP和SEM,由这两者既可能得出SOP也可能得出SEP,SIP,所以由MIP和SEM不能必然地推出某个结论;考虑MIP和SOM,由这两者既可能得出SOP,也可能得出SAP,SIP,SEP,所以也不可以必然地推出某个结论;考虑MAP和SEM,可能得出SEP,SIP,SOP等,所以也不能必然地推出某个结论;最后考虑MAP和SOM,可能得出SOP,SIP,SEP,SAP,也不能必然得出某个结论。
因此,如果第一格如果存在某个有效式的话,那它的小前提必须肯定。
补充下必然地推出的含义:以简单的第一格AAA式为例,MAP,SAM,能必然地推出SAP,如果不能,则存在这样的情况,由MAP,SAM可以得出SOP。代入个体a,使得Sa不是Pa,又根据大前提,Sa是Ma,而Ma又是Pa,所以Sa是Pa,这与Sa不是Pa矛盾!所以由MAP和SAM能必然地推出SAP
欢迎分享,转载请注明来源:夏雨云
评论列表(0条)