一道关于三段论的逻辑问题

一道关于三段论的逻辑问题,第1张

例子是:

所有a是b,c不是a,所以c不是b

下面一个个来:

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


欢迎分享,转载请注明来源:夏雨云

原文地址:https://www.xiayuyun.com/zonghe/205270.html

(0)
打赏 微信扫一扫微信扫一扫 支付宝扫一扫支付宝扫一扫
上一篇 2023-04-03
下一篇2023-04-03

发表评论

登录后才能评论

评论列表(0条)

    保存