《数学啄木鸟专栏》分享 http://blog.sciencenet.cn/u/wenqinghui 对错误的数学论点发表评论

博文

Zmn-0981 黄汝广: 浅论 “~Q→Q,所以Q”反证法模式的无效性

已有 564 次阅读 2023-5-17 09:14 |个人分类:数学啄木鸟|系统分类:论文交流

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!反证法必须分析导致矛盾的真正原因所在,而不是发现所谓矛盾就简单地去否定开始的那个假设,否则很可能张冠李戴,把因归错了。


对于说谎者悖论而言,导致悖论也即矛盾的是否定式自指代,因为它违反了同一律和矛盾律。


因此,反证法并不是纯粹的演绎推理。




【编者注。读者可点击頁面最上面的〖博文〗这个选項,来查找本《专栏》的其它文章。】



https://blog.sciencenet.cn/blog-755313-1388319.html

上一篇:Zmn-0980 薛问天: 看看人工智能机器人在批评谁。评沈卫国先生的《0978》。
下一篇:Zmn-0982 薛问天: 这个反证法的模式是有效的。评黄汝广《0981》
收藏 IP: 111.18.247.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-27 10:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部