文档详情

逻辑学判定三段论有效性.ppt

发布:2017-06-22约7.97千字共73页下载文档
文本预览下载声明
例6: 所有M不是P 有的S是M 所以,有的S不是P 例6: 所有M不是P 有的S是M 所以,有的S不是P 第一步:解释(为真条件) 例6: 所有M不是P 有的S是M 所以,有的S不是P 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 M P + S 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 M P + S 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 第三步:观察判定 例6: 所有M不是P 有的S是M 所以,有的S不是P 第二步:画图 M P + S 第一步:解释(为真条件) M∩P = 0 S∩M ≠ 0 S∩P ˉ ≠ 0 第三步:观察判定 S和P ˉ相交的部分出现+,即非空。就是说,S∩P ˉ ≠ 0成立。该三段论形式有效。 5. 课堂练习:先写出下面三段论的论证形式,再分别用五规则法和文恩图法判断其论证形式是否有效 (1)所有人都是哺乳动物 (2)有的生物不是哺乳动物 所以,(3)有的生物不是人 中项:哺乳动物 大项:人 小项目:生物 (1)所有人都是哺乳动物 (2)有的生物不是哺乳动物 所以,(3)有的人不是生物 中项:哺乳动物 大项:生物 小项:人 例2: 所有M不是P 所有S是M 所以,所有S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩Mˉ=0 S∩P =0 例2: 所有M不是P 所有S是M 所以,所有S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩Mˉ=0 S∩P =0 例2: 所有M不是P 所有S是M 所以,所有S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩Mˉ=0 S∩P =0 例2: 所有M不是P 所有S是M 所以,所有S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩Mˉ=0 S∩P =0 第三步:观察判定 例2: 所有M不是P 所有S是M 所以,所有S不是P 第二步:画图 M P S 第一步:解释(为真条件) M∩P = 0 S∩Mˉ=0 S∩P =0 第三步:观察判定 S和P相交的部分为横线,即为空。S∩P=0 成立。因此,该三段论形式有效。 例3: 所有M是P 所有M是S 所以,所有S是P 例3: 所有M是P 所有M是S 所以,所有S是P 第一步:解释(为真条件) 例3: 所有M是P 所有M是S 所以,所有S是P 第一步:解释(为真条件) M∩Pˉ = 0 M∩Sˉ=0 S∩Pˉ =0 例3: 所有M是P 所有M是S 所以,所有S是P 第二步:画图 第一步:解释(为真条件) M∩Pˉ = 0 M∩Sˉ=0 S∩Pˉ =0 例3: 所有M是P 所有M是S 所以,所有S是P 第二步:画图 M P
显示全部
相似文档