免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
12下一页
最近访问板块 发新帖
查看: 5418 | 回复: 15

来看看此人的逻辑有没有问题 [复制链接]

论坛徽章:
0
发表于 2010-10-10 15:29 |显示全部楼层
咱以事论事,以事评事。

从这个贴子里评论此人的逻辑有没有问题。

原贴:http://bbs.chinaunix.net/thread-1797095-1-1.html 《关于局部变量》

在 9 楼贴出一段反汇编代码,说出自己的观点。


看看此人给出的回复:

看到一只羊是黑的
不能说明所有的羊是黑的
某编译器如此处理
不能说明其他编译器也如此处理
结论:通过汇编来理解C语言是靠不住的,是本末倒置
pmerofc 发表于 2010-10-10 10:16


---------------------------------------------------------------------------------------------------------------------
我说此人的逻辑大大有问题,简直是强盗逻辑。我给他的评论是:颠倒是非,自我中心,将自己的结论强加于人, 空洞虚无。


1. 地球人都知道 “绝大多数羊都是白色”

gcc 编译器和 VC 处理手法都是一样,我相信这代表大多数编译器,我没看到有其它成熟编译器是不同的处理手法。

因此:如果用一个正常的逻辑思考,应该是这样评论编译器的实现:

看到一只羊是白色的,不明说明所有的羊是白色的

毕竟这个编译器代表大多数编译器是这样实现的(当然不能保证其它编译器是不是这样实现的),你能说明 gcc 和 VC 不是按照标准实现这个规则吗? 如果 gcc 和 VC 不是按标准实现,哪个编译器才是按标准。

看看以他的逻辑思考,居然变成“看到一只羊是黑色的,不明说明所有的羊的黑色的”

这样的结果就完全相反了,这完全将人置于屈理之中,这显然是他给人颠倒是非,将结论强加于人。


2.  由于前面的结论完全被他搞反了。

人家证明的是“一只羊是白色”被他搞反为:  人家证明“一只羊的黑色的”

如果他真的要证明“一只羊的白色的”或者“一只羊是黑色的”,很显然要事实去证明这一点,而不是空间的废话。

事实上,按照正常逻辑,他需要证明“有没有羊是黑色的”


3.
>> 某编译器如此处理
>> 不能说明其他编译器也如此处理
>> 结论:通过汇编来理解C语言是靠不住的,是本末倒置

还是那句话,你有能力就去证明。

代码的生成是依据标准规定。这个没错。

但是,看一件事实,对于汇编,应该这样理解:“汇编是有力的辅助证明手法,虽然不能以汇编说明一切”
这是一个“以偏概全”或者“以多概全”的问题,本末倒置说不上。

要不,用 C 语言层面上证明“这应该要如何实现”

可惜他没这个能力证明,就连标准是要规定如何实现?也没能力说

论坛徽章:
0
发表于 2010-10-10 15:47 |显示全部楼层
mik,你写书或者写OS/BIOS啥的吧,别浪费时间在bbs上跟别人争论了。反正没几个人懂,不如做自己的事情。

论坛徽章:
0
发表于 2010-10-10 15:51 |显示全部楼层
本帖最后由 epegasus 于 2010-10-10 15:57 编辑

古典逻辑有3大派  MS这里讨论的是亚里士多德的修辞逻辑?
经验证LZ逻辑是对的
那位把一个不确定事实做条间得出一个正向确定结论 逻辑存在错误

论坛徽章:
0
发表于 2010-10-10 15:53 |显示全部楼层
回复 2# prolj

确实,和人较劲浪费了很多时间,得不偿失。

论坛徽章:
0
发表于 2010-10-10 16:07 |显示全部楼层
回复 4# mik


    除了 ''是本末倒置' 这句话整个逻辑在形式上没问题
不过结论的可靠性依赖条件 TA的条件并没完成归纳 不能判为可靠

论坛徽章:
0
发表于 2010-10-10 16:15 |显示全部楼层
此人也是个名人了,上次就跟那谁争得不可开胶

论坛徽章:
0
发表于 2010-10-10 16:24 |显示全部楼层
本帖最后由 bluesea666 于 2010-10-10 16:28 编辑

学习大牛及名人们!

论坛徽章:
2
程序设计版块每日发帖之星
日期:2015-06-17 22:20:00每日论坛发贴之星
日期:2015-06-17 22:20:00
发表于 2010-10-10 16:28 |显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽

论坛徽章:
0
发表于 2010-10-10 16:32 |显示全部楼层
进来看看
不禁哑然
反驳你我都觉得丢份
糨糊脑袋,自己不觉得吗
pmerofc 发表于 2010-10-10 16:28



    LZ是我知道的唯一的在CU上懂处理器的人

论坛徽章:
2
程序设计版块每日发帖之星
日期:2015-06-17 22:20:00每日论坛发贴之星
日期:2015-06-17 22:20:00
发表于 2010-10-10 16:40 |显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP