海纳百川 :: 阅读主题 - 九戒不学逻辑就算了，莫非要学谋杀，想害我笑岔气？──“教一点逻辑”续集

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 九戒不学逻辑就算了，莫非要学谋杀，想害我笑岔气？──“教一点逻辑”续集

海纳百川首页 -> 罕见奇谈

阅读上一个主题 :: 阅读下一个主题

作者

九戒不学逻辑就算了，莫非要学谋杀，想害我笑岔气？──“教一点逻辑”续集

不锈钢晓刚
[博客]
[个人文集]

游客

标题: 九戒不学逻辑就算了，莫非要学谋杀，想害我笑岔气？──“教一点逻辑”续集 (869 reads) 时间: 2003-11-10 周一, 下午9:15

作者：Anonymous 在罕见奇谈发贴, 来自 http://www.hjclub.org

“离散数学”？哈哈哈哈哈哈哈哈哈……。笑出人命了你偿命啊？！

我说了嘛。专制的拥护者尽是死要面子强词夺理不懂装懂为反对而反对。这是专制主义本质造成的。

“离散数学”？哈哈哈哈哈哈哈哈哈……，哈、哈、哈、……。这是“Formal Logic”呀！是最最基本的逻辑，比那些什么“逻辑三段式”更基本的东东。

“Formal Logic”，或“mathematical Logic”、“Symbolic Logic”，是用数学语言来描述的逻辑，用数学语言保证推理的严密性，防止因自然语言的多义性而造成的逻辑推理的错误。

英文“Formal Logic”，国内翻译成“形式逻辑”，我认为这是个误译（虽然已经约定俗成）。应该是“正规逻辑”才对，也就是说，用正规的语言表达的逻辑。虽然语言“正规”以后，“形式”脱离“内容”起主导作用，但这个“形式”毕竟是用“正规”来实现的。

前段时间奸坛上争“因与果”、“伪善亦善”争得个一塌糊涂越争越乱，其原因就是不“正规”，用“一词多义”“一字多义”“一语多义”的自然语言来争，自然“鸡同鸭讲”。

类似的还有“Formal Semantic”，用“正规”的数学语言表述语义，国内翻译成“形式语义”，让行外人听上去不知所云。

“Formal Logic”不是“离散数学”，只是“离散数学”用到了“Formal Logic”。

“Formal Logic”是所有数学推导、数学证明的基础，属于“Foundation of Mathematics”.。

此外，九戒说什么“甲不会提出那么狂妄的要求（指实现共产主义的完成）；乙不会傻到象你似的费死八力地去证明甲没提出的要求”，是最典型的胡搅蛮缠，连最初争论的原问题是什么都忘了。

本来人家甲根本没有提出任何要求，是你们乙（一个专制主义者──无端端要砍人家头的专制主义者）提出要求要以砍甲的头来证明甲的自愿。所以根本不存在甲狂妄不狂妄的问题。狂妄的是乙。乙提出了要求，他当然有责任证明自己的要求是合理的。

作者：Anonymous 在罕见奇谈发贴, 来自 http://www.hjclub.org

返回顶端

显示文章:

海纳百川首页 -> 罕见奇谈

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件

[ Page generation time: 0.607144 seconds ] :: [ 20 queries excuted ] :: [ GZIP compression enabled ]