主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟

　　“唵啊吽”的贴谈到了形式逻辑与因明逻辑的区别，我这里也说几句。

　　前些日子在军网看到消息说，国防大学的一个数学家（？）搞出了一套战争的数学模型，并正在某个部队中开展实验。大意如此。我想这样的事情早晚会发生的，战争在未来会变得象下棋一样。这是一个典型的事例，意味着什么呢？自形式逻辑（自然科学）爆发式发展以来，特别是近二十年来在计算机技术的帮助下，正在大举侵蚀传统的因明逻辑所独占的固有领域。

　　在双方条件对等或者差距不大的条件下，战争规律，战争的逻辑是以因明逻辑为主的，形式逻辑在战争中起次要作用，现在形式逻辑终于把腿伸进来了，在战争领域内要取代因明逻辑。

　　在这样趋势下，未来人类的很多行为都会程序化，譬如恋爱，主流社会会为我们提供一套标准的恋爱程序，现在已经出现了，送花，巧克力，热恋的时候戒指带在中指，等等。不过还不够详尽系统，早晚我们谈恋爱要跟老婆说些什么话第5次见面的时候穿什么外套也会有人给我们规定好的，而且约定俗成，在越来越多的被形式逻辑洗脑的傻瓜们的盲从下，我们愿意不愿意地都会去遵从规定。形式逻辑要做的是将所有的人类行为程序化，形式逻辑认为所有的宇宙现象都存在数学模型，找到它们，就是形式逻辑的追求。

　　我们古人说“善弈者其智不远”，棋下得好的人其智不远，做不了大事，为什么呢？精于形式逻辑者必然昏聩于因明逻辑，所谓“明足以察秋毫之末而不见舆薪”。所以中国古时候搞形式逻辑的都是下九流，手艺人而已。孔孟老庄讲的则是因明逻辑，过去说“读书”，仅仅指研究因明逻辑，现在的自然科学家技术专家外科大夫并不是古时所谓的读书人，仅仅是古时所谓的手艺人。

　　战争有其固有的规律，譬如说“骄兵必败”，“哀兵必胜”。这其中讲得就是因明逻辑。士兵们骄傲的情绪是一种真实存在，可是这种存在无法数化和量化，给骄傲和哀伤定性定量，这是形式逻辑难以克服的问题。而因明逻辑对此却可以很好地观察把握并引导之。

　　一支部队能不能打仗，列队一站，看一眼就知道，部队的战斗力就凝聚在群体的精神里。战争正是参杂了许多精神因素才使得形式逻辑无所适从。下棋相比就简单多了，几乎不参杂精神因素，因此可以程序化。形式逻辑与因明逻辑的区别就是下棋与打仗的区别。自然科学与宇宙现实的差别也是如此，好比把战争错误地抽象为下棋。

　　不过还是很佩服国防大学的那位数学家，用形式逻辑来演绎战争，很大胆，国际上历史上那么多数学大师，好象还没听说谁这么想过做过。在这方面，我认为意义重大，说明中国的自然科学将要走到西方前面去了。而且我认为这个战争的数学模型很可能很有效，就象盘尼西林在最初出现时那样，毕竟战争中也存在形式逻辑。

• 偷偷的我打开冰箱的门

沙盘推演要模拟参战者的思维，由因明的境论入手是合理的。

现在计算机下围棋水平太低，人工智能方面形式逻辑已经是黔驴技穷了。

形式逻辑在解决某些具体问题上的局限, 学界早有认识, 所以发展了模糊逻辑（以及模式识别的其它手段）。

战争数学模型的研究, 源远流长. 美国从二战以来对此一直相当重视, 其研究成果应该是走在世界前列的. 建议先查阅些资料, 譬如:

军事系统工程

外链出处

也可以用下列关键字作文献检索:

Operations research, Lanchester combat model, game theory

这只是应用数学的一个小小分支, 与自然科学不相干. 所以,就算国防大学的那个战争数学模型强过西方类似的模型, 也不能说明问题. 举个例子, 华罗庚的优选法的成功运用,不能说明中国的自然科学将要赶英超美; 人工合成胰岛素的成功倒可以说明中国自然科学的某些领域走在了世界前列.

最后一行

不过，就是牛胰岛素也足够获得诺贝尔奖了。换句话说，购牛了。

讲的就是美苏对抗最后由各自的一台超级电脑达成平衡。这个平衡差点被一个会笔算乘除法的机器人打破......

我只是知道孔孟老庄的逻辑体系属于因明，逻辑学界对孔孟等的逻辑体系一直没当回事，就是因为搞得明白因明的人很少。

　　对于什么是逻辑有两种观点，第一认为逻辑是思维方式（形式），第二认为逻辑是宇宙的普遍真理。无论在东方还是西方，都有人认为两者是一回事，即逻辑既是思维方式，也是宇宙的普遍真理。逻辑直接指向哲学的核心，是哲学的终极目的，也是哲学的使用所在。哲学最终被使用，用的就是逻辑。

　　不同的哲学导致出现不同的逻辑，西方思维的总的抽象就是形式逻辑（包括数理逻辑与西方的辩证逻辑——东方辨证逻辑与西方的辩证逻辑存在性质上的不同——及以此衍生的其他逻辑）。形象地说，东方逻辑是灵活变化的而西方逻辑是线性的僵化的。

　　在古中国，逻辑是隐而不显的，虽然如此，国学的逻辑却十分强大。逻辑学界谈古中国的逻辑学，总以战国名家等逻辑为主，实在是舍本逐末。古中国最著名的逻辑学是《易》及后来的宋明理学，“理”就是孔孟学说，也是国学对逻辑的称谓。那么，世界范围内，逻辑有三种名称：

　　中国——理

　　印度——因明

　　西方——逻辑

　　为了方便明白，统统称做逻辑，譬如因明说成是因明逻辑。为了方便好用。

　　三种逻辑有交集，但更多的是本质上的差异。是完全不同的东西。其中因明与理的推理方法一样，先果后因，从思维方式的角度来讲，因明与理可以统一。

　　边想边写，先写这么多。

阿拉哥王和穆罕默德两个人自觉肚里墨水太少,经常胡说八道,

一直为此被朋友讥笑,决定一起去读大学.

经过一番努力,终于都考进了一家知名大学,阿拉哥王不知道选什么课好,就去问指导教授,穆罕默德在外面等他.

见到了教授,阿拉哥王提出了问题,老教授对阿拉哥王上下打量了一番,说:"我建议你先选修数学,历史,和逻辑这三门课".

"数学和历史我知道,可是逻辑是讲什么的?",阿拉哥王问.

"我举个例子:请问你自己有没有割草机?"教授很和气地讲.

"有啊."

"那么,我就可以推论,既然你有割草机,你就一定有一块草坪 ",

教授说.

"对,我家确实有一块草坪",阿拉哥王回答道 .

"如果你有草坪,逻辑告诉我,你就一定有一套房子",教授继续道.

"一点不错!"阿拉哥王感到十分惊奇.

"你买了一套带草坪的房子,我认为,你一定是为了打算结婚才这么做的."教授断定.

"妙极了,我才结的婚."

"要是你结婚了,你一定有个妻子."教授继续做逻辑推理.

"是啊,我很爱我的妻子."阿拉哥王回答.

"如果你有妻子的话,根据逻辑,你一定是个异性恋(heterosextual)"教授得出结论.

"这太妙了,我一定要学逻辑,请问什么时候可以开始上课?"阿拉哥王迫不及待地询问.

碰到穆罕默德,阿拉哥王第一句话就说,"我要去学逻辑!"

"这逻辑是什么玩艺?" 穆罕默德抓了抓头皮,问道.

"是这样的,比如,嗯...请问你有没有割草机?"阿拉哥王问穆罕默德.

"没有!"穆罕默德答道.

话音未落,只看阿拉哥王已抱头狂奔,一边大叫"碰到变态啦......同性恋啊"

靶子立错了

头发为0根的人是秃顶

头发为1根的人还是秃顶

如果一个秃顶头上有n根头发

则此人在长多一根头发还是秃顶

（n=0,1成立，设n成立，则n+1亦成立，得对任何n都成立）

由数学归纳法证得：天下人皆秃顶。

不是秃顶。。。