原标题：17世纪的莱布尼茨试图制造“思想机器”却被现实打脸

莱布尼茨，德国哲学家、数学家、律师，历史上少见的通才

1666年，德国博学家戈特弗里德·威廉·莱布尼茨(Gottfried Wilhelm Leibniz)发表了一篇题为《论组合的艺术》的神秘论文。当时的莱布尼茨只有20岁，但已经是一位雄心勃勃的思想家，他概述了一种通过基于规则的符号组合实现“自动生产知识”的理论。

莱布尼茨《论组合的艺术》论文末尾的图表

莱布尼茨的中心论点是，所有人类的思想，无论多么复杂，都是基本概念的结合，就如同句子是单词的结合、单词是字母的结合。他相信，如果能找到一种方式象征性地表达这些基本概念，并发展出一种使它们在逻辑上结合起来的方法，那么他将能够根据需要产生新的思想。

莱布尼茨的这个想法，来自于对13世纪马略卡岛的神秘主义者拉曼·鲁尔(Ramon Lull)的研究。拉曼·鲁尔曾致力于设计一个神学论证系统，向无信仰者证明基督教的“普适真理”。

拉曼·鲁尔(Ramon Lull)

拉曼·鲁尔本人受到犹太卡巴莱字母组合学(Jewish Kabbalists’ letter combinatorics)的启发。犹太人用这种字母组合学来生成文本，据说这些文本透露了先知般的智慧。更进一步的是，鲁尔发明了一种他称之为“volvelle”的带有逐渐变小的同心圆形纸机械装置，上面写着代表上帝属性的符号。鲁尔相信，通过以各种方式不停旋转，将符号彼此结合成新颖的组合，他可以揭示上帝的所有方面。

Ramon Lull 的《阿尔斯·麦格纳》(Ars Magna)(1517年)中的图表

莱布尼茨对鲁尔的“纸机”印象深刻，于是开始着手一个项目：通过符号组合创造属于自己的思想生产方法。他想用他的机器来进行哲学推理，而不是为了神学辩论。他提出，这样一个系统需要三样东西：一个“人类思想的符号表”；一套用于组合这些符号的逻辑规则；一个能够快速准确地执行符号逻辑运算的装置——对鲁尔的“纸机”进行全面机械化的升级。

莱布尼茨的计算机绘图，来自《科学增量式柏罗伦西亚杂集》(1710年)

莱布尼茨称这台机器为“超赞的理性仪(the great instrument of reason)”，他设想机器能够回答所有问题，解决所有的智力辩论。他写道：“当人与人之间发生争执时，我们可以简单地说，‘让我们计算一下’，然后不费吹灰之力，就能知道谁是对的。”

“When there are disputes among persons, we can simply say, ‘Let us calculate,’ and without further ado, see who is right.” —Gottfried Wilhelm Leibniz, polymath

莱布尼茨的计算机图解(基于上面的草图),由雅各布·勒波尔德(1727)著

“理性思维机器”观念的产生，浓缩了莱布尼茨时代的精神。其他启蒙思想家，如笛卡尔，认为有一个“普适真理”可以通过理性单独获得，如果搞清楚了基础原理，所有的现象都是完全可以解释的。而莱布尼茨认为，语言和认知本身也是如此。

但是，许多人认为这种纯粹理性的学说是有严重缺陷的，并认为它标志着一种新世纪的诡辩和傲慢。作家兼讽刺作家乔纳森·斯威夫特(Jonathan Swift)就是这样一位批评者，他在1726年出版的《格列佛游记》一书中把矛头指向了莱布尼茨的思想计算机器。在书里的一个场景中，格列佛参观了拉加多的大学院，在那里他遇到了一个叫做“the engine”的奇怪机械装置。这台机器有一个大木架，上面有一排电线；电线上是小木块，其每个面上都写着符号。

斯威夫特的《格列佛游记》的“the engine”

拉加多大学院的学生们转动机器侧面的手柄，使木块旋转形成新的组合，然后抄写员写下机器的输出，交给主持会议的教授。教授声称通过这个过程，他和他的学生可以“在没有天才或学习的帮助下，写哲学、诗歌、政治、法律、数学和神学方面的书”。

生成 pre-digital language(信息时代以前的语言)这一幕，是斯威夫特通过符号组合学对莱布尼茨的“生产思想”的滑稽模仿秀，更广泛的意义上，是一种对科学至上论的反抗。与拉加多学院为促进国家发展而进行的其他研究(比如试图将人类排泄物变回食物)一样，格列佛认为“the engine”是一个毫无意义的实验。

斯威夫特的观点是，语言并不像莱布尼茨所提出的那样，是一种代表人类思想的形式系统，而是一种凌乱而模棱两可的表达形式，其只有在相应的语境中才有意义。斯威夫特认为，要让机器生成语言，需要的不仅仅是一套正确设置的规则和一台对的机器，它还需要一种理解单词含义的能力，这是拉加多“the engine”和莱布尼茨的“instrument of reason”都做不到的。

最终，莱布尼茨没有建造出他的思想生成机。事实上，他完全放弃了对鲁尔组合学的研究，后来他发现对机械化语言的追求是不成熟的。但是，使用机械设备来执行逻辑功能的想法一直伴随着他，并激发了他在1673年建造的机械计算器“步进计算器(step reckoner)”的灵感。

莱布尼茨步进计算器

一个老式的莱布尼茨步进计算器

但是，当今天的数据科学家为自然语言处理设计出更好的算法时，实际上是在进行一场与莱布尼茨和斯威夫特的观点相呼应的辩论：即便你能创建一个形式系统来生成看起来像人类的语言，但你能给它理解的能力吗？

——End——

本文由易明智能-爱吧机器人网原创，转载需注明。返回搜狐，查看更多

责任编辑：