||
Zmn-0981 黄汝广: 浅论 “~Q→Q,所以Q”反证法模式的无效性
【编者按。下面是黄汝广先生的文章。现在发布如下,供网友们共享。请大家关注并积极评论。另外本《专栏》重申,这里纯属学术讨论,所有发布的各种意见仅代表作者本人,不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神,对一些错误的观点和言论进行了说理的批评。但请大家注意,也有些有严重错误的文章在这里发布,就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】
浅论“~Q→Q,所以Q”反证法模式的无效性
黄汝广
“~Q→Q,所以Q”这种反证法模式,按照实质蕴涵是没有问题的。但实际上问题却很大:首先,“~Q→~Q“这是没有异议的,但是现在又有”~Q→Q“,很显然后一推理肯定采用了不同于前者的方法或规则F,因此完整的表述应该是”~Q∧F→Q“,根据穆勒五法,导致结果Q的原因应该是F而不是~Q。换言之,导致矛盾的原因是F,要消除矛盾应该否定F,而不是~Q!反证法必须分析导致矛盾的真正原因所在,而不是发现所谓矛盾就简单地去否定开始的那个假设,否则很可能张冠李戴,把因归错了。
对于说谎者悖论而言,导致悖论也即矛盾的是否定式自指代,因为它违反了同一律和矛盾律。
因此,反证法并不是纯粹的演绎推理。
【编者注。读者可点击頁面最上面的〖博文〗这个选項,来查找本《专栏》的其它文章。】
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-4-27 10:33
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社