◇◇新语丝(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)◇◇