◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇   逻辑学也需要打假   作者:卡卡   今年春,听说网上有人勉励"中国人学逻辑",倡导"恢复哲学的尊严",我当 作天大的好事,遂点击链接。点击的后果猝不及防,立即冲向厕所。呕毕,立欲 敲字骂之。转念道:博主暮年,羡艳学术,返老还童过家家,未必不可怜。当时 作罢。   至于后来的热闹,超乎我的预想。骗子暮年,老骗子也。骗子炒作假学术, 倒是污了真学术的名。   中国人应该学逻辑,哲学的尊严应该被保护,只是被骗子"抢先"喊出来,又 有媒体扩音,事情自然朝反面发展。   骗子被"门户网站"猛推热荐,自然是中国闹的又一个笑话。   而这荒唐事其实闹了不止一年半载:口口声声为了青年,书早已一本本地印, 时时对着相机镜头摆姿态、做架势,似乎也早已是神州大地上多方走动"应邀讲 学"的主儿,资格似乎老得很了!牛皮也不怕吹破,当年跟导弹火箭技术一起被 钱老带进来的工程系统论、控制论,现在也说成归他黎老率先倡导的了。还说不 在"打假"之列 ???!!!   不好意思。激动了。   不再废话。以下几个简单事实需要澄清:   1。懂不懂数学,跟是不是哲学家没关系。 骗子其实哲学、数学都不懂,所 以大家不要根据什么哲学身份去攻击他的数学尝试。   2。证明对不对,跟是不是"受到老子启发"没关系。不管你多么相信"老子" 基本不懂数学,都不必连累了"老子"他老人家。   3。所谓"建立在三元论"的新"逻辑""三元逻辑",不用看,一定是胡扯。用 这个"逻辑"去做证明,也一定是胡扯。   4。四色定理,之所以叫"定理",不再叫"猜想",是因为它已经得到的、计 算机的证明在数学上是确认无误的。数学上的确认未必需要to manually check 每个运算步骤。   1、2、4 三点都太显然了,抱歉浪费了你的阅读时间。   而对于第 3 点,我为什么这么"武断"?我为什么敢"随便"拍胸脯?   因为,"建立一个逻辑"这话,不是随便说的。   如果你真的给了一个"新"的"逻辑",那么你最最起码应该给了以下几个东西:   1。语法(Syntax)。有没有?   2。语义(Semantics)的定义。(其中最硬气的是完整的模型论,Model Theory,其它都勉强。)有没有?   3。公理化(Axiomatisation)或/和 推理规则(Inference Rules)。有没 有?   4。具有正确性(Soundness)。有没有?证给我看。   5。完备性(Completeness)的讨论。有没有?证给我看。   6。还有其它很多需要澄清的:可判性(Decidability)、紧致性 (Compactness)、是否单调、复杂度如何。。。。。。太多太多。都先不急着 问你要。因为很怀疑你什么都没有。   逻辑学的最基本概念里面,有讲"n阶"(n th-order,关系到 Type Theory)、有讲"n元"(n-ary,无非是谓词或关系的arity)、有讲"n值" (n-valued,"真""假"二值之外有别的真值truth value,比如直觉主义和构造 主义的一些语义是"三值"逻辑,比如有些"准相容逻辑"、"相关逻辑"是"四值"逻 辑)。等等。林林总总,都并不是什么新鲜玩意。而骗子的那些文字,无论是他 博客上的还是他书中的,不仅找不到一点的真正的逻辑学的蛛丝马迹,而且几乎 无处不在告诉我们 他对这些最基本的东西都是缺乏概念、糊涂混淆、信口胡说。 居然还敢给自己贴上对"逻辑学有学术贡献"的商标?   有志研究"逻辑学"的青年很珍贵,在整个地球上都很珍贵。(当然,除了" 有志"之外也一定需要培养mathematical maturity,注意是maturity而不只是什 么proficiency。否则,请一定去玩别的吧,世界很精彩,不必享受寂寞。) 因 为他们是有哲学情趣的数学青年。   记得David Makinson先生曾经苦笑:"我们那时候,逻辑是必修课。现在这 些哲学系的学生,讨论讨论人生意义就过关了。"   "你没见过更糟的。"我心里嘀咕,嘴上却说:"是啊,学生越来越珍贵了。"   既然已经很珍贵,就不要因为一些骗子的冒充而把潜在的学生都恶心走,好 吗?   网上的资料很多,想学的青年,自可以学到比课堂里还多无数倍的东西。   而骗子自己,如果终于发现有必要更新、提高一下骗术,也大可以从自己强 装多年的"学者形象"中拿一点谦虚出来用用:坐进高中的数学课堂和大学的逻辑 课堂,旁听,听不明白可以不耻下问,教授就不用麻烦了,大多数高年级计算机 专业的学生都有帮你的能力——如此,既能给自己声称一心要"帮助"的青年们树 立一个"学风"榜样(哪怕是假的),又能多搞点像样儿的术语、人名、典故之类 来充实装扮一下自己的"著作",岂不一举两得?! (XYS20060819) ◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇