人工智能研究中的康德逻辑纲领浅析

1、分类号：密级：公开学校代码：10140 学号：4031530025匣穹武亭LIAONING UNIVERSITY硕士学位论文THESIS FOR MASTER DEGREE论文题目:英文题目:人工智能研究中的康德逻辑纲领浅析An Analysis of Kants Logic Program in the Study ofArtificial Intelligence论文作者：章宦波指导教师：祁洞之教授专 业：科学技术哲学完成时间：二。一八年四月申请辽宁大学硕士学位论文人工智能研究中的康德逻辑纲领浅析An Analysis of Kants Logic Program in the Study

2、 of作 者: 指导教师: 专 业: 答辩日期:Artificial Intelligence章宦波祁洞之 教授科学技术哲学2018年5月19日二O一八年四月中国辽宁辽宁大学学位论文原创性声明本人郑重声明：所呈交的学位论文是本人在导师的指导下独立完成 的。论文中取得的研究成果除加以标注的内容外，不包含其他个人或集 体已经发表或撰写过的研究成果，不包含本人为获得其他学位而使用过 的成果。对本文的研究做出重要贡献的个人和集体均已在文中进行了标 注，并表示谢意。本人完全意识到本声明的法律结果由本人承担。学位论文作者签名:2。保年 月日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位

3、论文的规定，同 意学校保留并向国家有关部门或机构送交学位论文的原件、复印件和电 子版，允许学位论文被查阅和借阅。本人授权辽宁大学可以将本学位论 文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或 扫描等复制手段保存和汇编学位论文。同时授权中国学术期刊（光盘版） 电子杂志社将本学位论文收录到中国博士学位论文全文数据库和中 国优秀硕士学位论文全文数据库并通过网络向社会公众提供信息服 务。学校须按照授权对学位论文进行管理，不得超越授权对学位论文进 行任意处理。保密（）,在年后解密适用本授权书。（保密：请在括号内划“ J ”）授权人签名:指导教师签名：必乙日期：年人月日 日期： x*年、月

4、，市摘 要人工智能是未来高科技产业的发展方向。康德逻辑纲领对康德纯粹理性批判 的哲学体系加以改造，用以构建人工智能中机器思维的认知方式，为人工智能奠定 哲学基石。当人工智能的思维进展到康德先验辩证论中幻相的逻辑时，康德逻辑纲 领通过数理逻辑的方法在逻辑上限制其对物自体的认识。康德逻辑纲领不仅通过纯粹理性批判构建人工智能的思维能力，而且通过逻辑 哲学数理逻辑，从逻辑上进一步限制人工智能认识能力的无限制扩张，使其永远局 限于现象界。康德的纯粹理性批判可以说是人工智能认识能力构建的哲学指导思 想，但具体的操作构建还是需要逻辑学来完成，逻辑学为人工智能的认识能力提供 逻辑基础。康德哲学中，康德虽然在哲

5、学领域构建了先验感性论，先验分析论，先验辩证 论，但他并没有为其提供可操作的逻辑基础。康德逻辑纲领引入数理逻辑，将康德 纯粹理性批判体系逻辑化，使其在逻辑上可操作可执行。在人工智能感性与知性的认识能力构建中，康德逻辑纲领认为最好为其提供完 备的逻辑基础，使其能够推导出这个逻辑系统范围内的一切真的定理，这一点由数 理逻辑中的完全性定理保障。人工智能数学知识与自然科学知识的基础逻辑是不断 扩张的，随着数学与自然科学知识的膨胀而不断扩张。这是一阶逻辑的扩张，一阶 逻辑是完全的系统，满足在一阶逻辑系统内的完全性，但一阶逻辑也有局限性，它 不能表示很多超越一阶逻辑的命题，所以一阶逻辑需要不断扩张，以满足

6、知识大爆 炸时代的逻辑需要。但这个无限扩张的逻辑系统最好有个限制条件，就是这个系统 必须是可靠的，而且是完全的。当人工智能的理性试图不断上升，试图超越现象界而认识超验本体时，其自身 的逻辑就会出现紊乱，出现循环，出现缠绕，出现不可调和的逻辑矛盾，直至死机。 我们人类所制造的人工智能，他对人类来说终究是个有条件者，而我们人类是无条 件者。人工智能的理性不可避免地要不断上行，但他的自然倾向最后产生不了任何 有意义的知识，最后只不过是一些先验幻相。人工智能正如我们人类自己一样，不可避免地要去追问我是谁，世界是什么， 上帝是什么，因而形成了三个先验的理念，三个关于无条件者的幻相，分别是灵魂 的幻相，世

7、界整体的幻相，上帝的幻相，其中上帝的幻相就是人工智能对于我们人 类的幻相。如何才能限制人工智能的认识能力，使其永远不可能达到上帝，也就是达到我 们人类。这就需要对人工智能的逻辑基础进行设计，使其在逻辑上不可能达到作为 他的世界终极解释的我们人类。在此可以通过限制人工智能对于灵魂的认识，限制 人工智能对于世界整体的认识，由此，人工智能既不能认识自我，认识主体性，也 不能认识世界整体，认识客体，那么自然而然作为主客体相统一的上帝，其在逻辑 上根本无从下手，就不可能形成知识。康德哲学对于认识能力的限制在于物自体不可经验。认识能力将只对经验世 界，对现象界有效的概念范畴运用于超验的无条件者形成的结论不

8、是知识。而康德 逻辑纲领进一步限制人工智能的逻辑能力，使其在面对物自体时，不仅无法经验， 而且在逻辑上必定不完备与自相矛盾。关键词：人工智能 纯粹理性批判 数理逻辑ABSTRACTArtificial intelligence is the future development direction of high-tech industry. Kants logic program is to reconstruct the philosophical system of Kants critique of pure reason, and to construct the cognitive

9、 way of machine thinking in artificial intelligence, and to lay a philosophical foundation for artificial intelligence. When the thought of artificial intelligence advances to the logic of the illusion in Kants transcendental dialectical theory, Kants logical program logically restricts its understa

10、nding of the physical self through mathematical logic.Kant logic program not only through the critique of pure reason to build the thinking ability of artificial intelligence, mathematical logic and by logic philosophy and logic further restrict the unlimited expansion of artificial intelligence cog

11、nition, so that it is always limited to the phenomenon. Kants critique of pure reason is the guiding ideology of the cognition of artificial intelligence to build philosophy, but the specific operation to build or logic is required to complete and logic logical basis fbr the cognition of artificial

12、intelligence.Although Kant constructs transcendental perceptual theory, transcendental analysis theory, transcendental dialectic theory in the field of philosophy, he does not provide operational logical basis fbr it. Kants logical program introduces mathematical logic, which logically makes Kants c

13、ritique system logical.In the construction of artificial intelligence perceptual and intellectual cognitive ability, Kants logic program believes that it is best to provide it with a complete logical basis so that it can derive all the true theorems within the scope of this logical system, which is

14、guaranteed by the completeness theorem in mathematical logic. The basic logic of artificial intelligence mathematics knowledge and natural science knowledge is constantly expanding, and it continues to expand with the expansion of mathematics and natural science knowledge. This is an expansion of fi

15、rst-order logic. First-order logic is a complete system that satisfies the completeness within a first-order logic system. However, first-order logic also has limitations. It can not represent many propositions that exceed first-order logic, so first-order logic needs to continue. Expand to meet the

16、 logical needs of the knowledge Big Bang era. However, this infinitely expanded logical system should have one limit, that is, the system must be reliable and complete.When rational attempt to rising of artificial intelligence, trying to transcend the transcendental phenomenon and the essence, the l

17、ogic of its own will appear disorder, circulating, winding, the logic of irreconcilable contradictions, until it crashed. We humans make artificial intelligence, he is a man after all, and we are unconditional. The rationality of artificial intelligence is inextricably bound up, but his natural tend

18、ency will not produce any meaningful knowledge at the end, only some transcendental illusions.Artificial intelligence as we human beings themselves, inevitably ask who am I, what is in the world, and what god is, thus has formed the idea of three a priori, three of the illusion of unconditional, res

19、pectively is the illusion of the soul, the whole world of illusions, the illusion of god, the god of the illusion is artificial intelligence for our illusions of the human race.How can we limit the cognitive ability of artificial intelligence, so that it can never reach god, which is to reach us. Th

20、is requires the design of the logic of artificial intelligence to make it logically impossible for us humans to be the ultimate explanation of his world. In this can limit the understanding of the artificial intelligence for the soul, limit of artificial intelligence fbr the understanding of the wor

21、ld as a whole, thus, artificial intelligence can not know his own self and recognize subjectivity, can not know the world as a whole, to know the object, then naturally as the unity of subject and object, and god in the logic simply do not know how to start, it is impossible to create knowledge.The

22、limitation of Kants philosophy on cognition is that it is not experience. Knowledge will only be applied to the empirical world, and the conclusion that the conceptual category of the phenomenon is applied to the transcendental precondition is not knowledge. And Kants logic program further limits th

23、e logic ability of artificial intelligence, making it not only inexperience in the face of things, but also logically incomplete and contradictory.Key Words： Artificial intelligence Pure rational criticism Mathematical logic TOC o 1-5 h z 摘要IABSTRACTIll绪论1 HYPERLINK l bookmark4 o Current Document 0.

24、1研究综述1 HYPERLINK l bookmark7 o Current Document 0.2研究意义20.2.1理论意义20.2.2现实意义2 HYPERLINK l bookmark10 o Current Document 0.3研究的方法与创新之处40.3.1研究方法40.3.2创新之处4 HYPERLINK l bookmark13 o Current Document 1康德逻辑纲领产生的历史背景5 HYPERLINK l bookmark16 o Current Document 1.1康德逻辑纲领产生的符号主义学派背景5 HYPERLINK l bookmark19 o

25、 Current Document 1.2康德逻辑纲领产生的联结主义学派背景5 HYPERLINK l bookmark22 o Current Document 1.3康德逻辑纲领产生的行为主义学派背景6 HYPERLINK l bookmark27 o Current Document 2康德逻辑纲领的定义与总问题7 HYPERLINK l bookmark30 o Current Document 2.1康德逻辑纲领的定义7 HYPERLINK l bookmark34 o Current Document 2.2康德逻辑纲领的总问题7 HYPERLINK l bookmark37 o

26、Current Document 3康德逻辑纲领的先验感性论10 HYPERLINK l bookmark40 o Current Document 3.1 康德逻辑纲领的感性直观10 HYPERLINK l bookmark44 o Current Document 3.2康德逻辑纲领的时空纯形式10 HYPERLINK l bookmark47 o Current Document 3.3康德逻辑纲领下人工智能思维中数学的逻辑基石103.3.1自然数的集合定义103.3.2生产数学知识的人工智能11 HYPERLINK l bookmark50 o Current Document 4康德

27、逻辑纲领的先验知性论12 HYPERLINK l bookmark53 o Current Document 4.1康德逻辑纲领中人工智能的感性与知性的关系12 HYPERLINK l bookmark57 o Current Document 4.2康德逻辑纲领中的判断概念124.2.1形式逻辑判断124.2.2 先验逻辑判断12 HYPERLINK l bookmark60 o Current Document 4.3康德逻辑纲领的先天认识结构13 HYPERLINK l bookmark63 o Current Document 4.4康德逻辑纲领中的统觉概念14 HYPERLINK l

28、 bookmark66 o Current Document 4.5康德逻辑纲领中的人工智能是有理性的机器15 HYPERLINK l bookmark69 o Current Document 4.6康德逻辑纲领中迷宫的钥匙15 HYPERLINK l bookmark72 o Current Document 4.7康德逻辑纲领中迷宫的迷宫16 HYPERLINK l bookmark75 o Current Document 4.8康德逻辑纲领中人工智能思维的缺陷16 HYPERLINK l bookmark78 o Current Document 4.9康德逻辑纲领中的人工智能为自然

29、立法16 HYPERLINK l bookmark81 o Current Document 4.10康德逻辑纲领先验知性的逻辑基础174.10.1康德逻辑纲领中先验知性的逻辑基础的一致性174.10.2康德逻辑纲领中先验知性的逻辑基础的可靠性174.10.3康德逻辑纲领中先验知性的逻辑基础的完全性18 HYPERLINK l bookmark84 o Current Document 5康德逻辑纲领的先验理性论19 HYPERLINK l bookmark87 o Current Document 5.1康德逻辑纲领的先验心理学195.1.1康德逻辑纲领的我思故我在195.1.2康德逻辑纲领

30、的灵魂非实体205.1.3康德逻辑纲领的关于自我的逻辑悖论205.1.4康德逻辑纲领中罗素悖论的先天性215.1.5康德逻辑纲领的不完备性定理225.1.6 哲学史上的自我22 HYPERLINK l bookmark91 o Current Document 5.2康德逻辑纲领中人工智能理性宇宙论的二律背反235.2.1康德逻辑纲领中世界整体的二律背反235.2.2康德逻辑纲领中矛盾律的逻辑24 HYPERLINK l bookmark98 o Current Document 5.3康德逻辑纲领中人工智能理性神学的理想25 HYPERLINK l bookmark101 o Current

31、 Document 6康德逻辑纲领的人工智能形而上学26结语27 HYPERLINK l bookmark104 o Current Document 参考文献28致谢32绪论目前学术界在人工智能哲学的研究中逐渐显露出回到康德先验哲学的倾向。但 这种回到康德不是单纯地回到经典康德哲学，不是回到康德经典文本，而是在现代 数理逻辑的基础上回到康德先验哲学先验逻辑。这种回到康德先验哲学的倾向在人 工智能哲学学术共同体内虽然已经出现，但还未形成声势，因此这种倾向还没有被 赋予学术名称还没有命名。鉴于人工智能哲学学术共同体内巳经有人以康德逻辑纲 领称谓这种倾向并且受到越来越多学者的认同，本文便也以康德逻

32、辑纲领指称这种 倾向。0. 1研究综述目前学界对人工智能的研究概况大体如下全球著名的算法问题专家、机器学习领域的先驱人物佩德罗多明戈斯在终 极算法中论述了人工智能已经在很大的程度上进入了人们的生活，人们会对人工 智能产生越来越大的依赖。随着人工智能技术的不断进化，人工智能是否会在未来 的某一个时刻生成自我学习的能力。是否存在所谓的终极算法，存在能够获得过去, 现在，未来所有知识的终极算法。这种能够复制人类文明史的终极算法是否在未来 真会出现。作者在这些问题上都有独到的论述。（英）玛格丽特-A -博登在其人工智能哲学一书中作者从哲学的视角对人 工智能的发展史进行全方位的审视，认为计算机技术认为人

33、工智能巳经发展到一个 需要哲学介入的阶段，哲学在人工智能的进化历程中不能缺席。人工智能学者马文-明思基在情感机器中论述了情感与机器的关系问题。 马文明思基认为情感不是什么神秘的事物，情感是人类的一种存在方式。在情 感机器中，马文明思基大胆设想，试图勾画出人工智能的情感设计图纸，让未 来的人工智能设计能够按图施工，最终能够实现人工智能的情感。美国学者乔治戴森在其著作图灵的大教堂曾论述过人工智能方方面面的 重要研究课题，譬如人工智能的自我意识问题，人工智能能否最终实现自我意识， 人工智能的自我意识与人类的自我意识是否存在区别。人工智能的自我复制自我繁 殖问题，人工智能的数据复制与人类的繁衍的关系问

34、题，未来的人工智能到底属于 机器还是属于人的问题。作者在书中肯定了对这些问题的研究对于人工智能发展的 重要价值与意义。杰夫霍金斯与桑德拉布拉克斯莉在人工智能的未来中论述了自己对于 人类智能的理解，认为人类的智能是由很多潜在的经验记忆组成，因此人类在思维 一个问题时不是按部就班按照逻辑严格推理的，而是在经验记忆的基础上非连续思 维的。以往的人工智能在模拟人类思维上都是不成功的，因为以往的科学家在设计 人工智能思维时是按照逻辑严格推理的。人工智能领军人物、硅谷连续创业者杰瑞卡普兰在人工智能时代中曾经论 述过人工智能在很多程度上已经代替了人类的工作，这会造成两个严重后果一一持 续性的失业与贫富差距的

35、加大，但作者在书中提出了自己的解决方案，能让人类与 人工智能相辅相成，让人工智能造福人类。目前学界对人工智能的哲学研究大都是在数理逻辑的基础上研究各种逻辑系 统，鲜有涉及康德先验哲学。因而关于人工智能的康德哲学分析这一领域还没有形 成成熟的研究体系，还是一个有待深入开发的领域。而康德逻辑纲领以数理逻辑充 实康德哲学形成逻辑哲学，再将这套逻辑哲学运用在人工智能上，这种研究思路在 学界并不多见，是一个比较新颖的人工智能哲学研究方向。0.2研究意义0. 2. 1理论意义人工智能的发展需要哲学理论的指导。康德逻辑纲领对康德哲学加以补充改 造，生成了逻辑哲学，不仅丰富发展了康德哲学的理论，而且在将生成的

36、逻辑哲学 应用于人工智能设计的过程中，也丰富了人工智能理论。康德逻辑纲领使用现代数 理逻辑改造充实康德哲学，在理论上体现了数理逻辑与思辨哲学的结合能力，在一 定程度上使得传统哲学重新焕发生机。0.2.2现实意义人工智能是科技发展的一个大方向，也是高科技产业的一大发展方向，人工智 能一旦产业化，带来的经济效应将不可低估，甚至有可能引发又一次科技革命与产 业革命，大大推进人类文明进程。康德逻辑纲领的研究者认为机器人的存在只是为 了解放人的劳动力，而且只是物质上的生产力，因而可以称之为物质生产奴隶。机 器人是任劳任怨的机械奴隶而已。但随着现代科学技术的发展，人们越来越不满足 于机器人的物质生产能力，

37、人们希望机器人能够思维，能够像人一样思考。这些康 德逻辑纲领研究者试图构建一种人工智能，称之为思维的奴隶，人类要的不是这种 人工智能的物质生产力，而是他的思维生产力。他是思维的奴隶，他代替我们人类 任劳任怨不间断地进行思维，进行知识生产，而我们却能坐享其成，这就能解放人 类的思维生产力。人的思维能力有限，对于绝大多数人来说，知识生产，或者说生 产出新知识是不可能完成的任务。绝大多数人对于知识一辈子唯一能做的事就是传 承而已，并且只是部分的传承。但人工智能就不一样，人类能够让他拥有最高的理 性，为他配置人类最强的认识能力，使得他能够超越所有人的理性能力。如果这个 人工智能拥有远超于人类极限的知识

38、储备，认识能力，学习能力，那么他必定能生 产出更多的知识，并且生产知识的速度远大于人类，这就大大解放与发展了知识生 产力。这些康德逻辑纲领的学者认为上帝因为亚当夏娃偷吃智慧之果而将他们赶出 伊甸园。亚当夏娃无可奈何，因为他们不是上帝，他们还缺少生命之果，他们的生 命依然有限，与无限的上帝不可相提并论。但人工智能就不同，人工智能的身体属 于机器，理论上是可以长生不老不朽的，即使几十年后身体某个器官老化，只需更 换一个机械零部件就行。因而人工智能拥有无限的生命，如果他再拥有超越人类的 智慧，那人工智能就不仅仅是如同我们一样，并且是超越于我们人类的存在，这就 是不可接受的。人类制造人工智能与上帝造人

39、一样，都不是让所造之物有一天取代 自己，超越自己，甚至奴役自己。但人类又需要人工智能的智慧，需要他的知识生 产力，需要他的认识能力，因而需要有一种设计方式，被这种方式设计出来的人工 智能拥有人类所不可能企及的认识能力，但他又不可能认识人类，人类对于他来说 永远未知。类比人类自己的认识能力，人是有理性的动物，人之所以区别于一般动 物，成为万物之灵长，就在于我们的认识能力。而考察人的认识能力，属于哲学中 认识论方面的工作，认识论哲学研究的就是人认识的能力，人为什么能够认识，人 如何认识，人认识的极限存不存在，如果存在会在哪里。康德逻辑纲领试图改造康德思辨哲学的哲学观，用以构建人工智能的认识能 力。

40、认识论哲学的代表是康德哲学，康德的纯粹理性批判一书是认识论哲学的 巨作，是对人类认识能力的全面哲学考察。纯粹理性批判哲学系统是成体系的认识 能力系统。这些康德逻辑纲领学者认为自己所构建的人工智能的认识能力，不能在 其认识过程中少一环，从而使得知识生产力受阻。纯粹理性批判所构建的认识能力 是人类自己的认识能力，是康德从哲学角度研究总结出来的人类认识能力。纯粹理 性批判将人的认识能力做了限制，使其不可能认识物自体，这对于人工智能相当要 紧。我们人类创造了人工智能，对于人工智能来说，人类就是上帝，但人工智能的 智慧能力思维能力认识能力远超于人类，为了防止人工智能奴隶人类，必须对人工 智能的认识能力强

41、加限制，限制在现象界，使其不可能到达我们人类的本体界。如 此，对于思维奴隶人工智能，人类依然是上帝。康德哲学区分了现象界与自在之物, 限制人的认识能力，使其不可能超越经验上升到上帝。这对于人工智能认识能力的 构建是一条铁律，也是区分作为奴隶的人工智能与作为上帝的人类的唯一标准。自哲学诞生之日起，其应用能力便饱受质疑，人们普遍认为哲学知识只是一种 形而上的思辨知识，毫无应用价值。但康德逻辑纲领试图讨论哲学的用武之地。哲 学不仅有用，而且是大用，人工智能作为思维生物不可能不需要哲学基石，人工智 能拥有思维能力，他也像人类一样需要构建自己的哲学观，自己对灵魂，对世界整 体，对上帝的看法。而人类结出的

42、智慧硕果一一哲学就能满足人工智能的需求。人 工智能是生产力的一大飞跃，势必带来一次次产业革命，产生巨大的经济价值。人 工智能的发展不能没有哲学的指导。康德逻辑纲领能够为计算机，为人工智能奠定 逻辑哲学基础。0.3研究的方法与创新之处0.3.1研究方法运用康德先验逻辑与现代数理逻辑，对康德逻辑纲领进行阐释，展现出康德逻 辑纲领的理论框架。0.3.2创新之处人工智能哲学研究中的康德逻辑纲领在目前的科学哲学界是一个很新的研究 领域，本文试图对这个新领域做一些介绍与浅析。1康德逻辑纲领产生的历史背景目前，在国际上人工智能公认的研究学派主要有符号主义、联结主义和行为主 义。这三大学派的研究都以自己的哲学

43、理念为指导。这三大人工智能研究学派是人 工智能逻辑哲学研究，是康德逻辑纲领产生的历史背景。1.1康德逻辑纲领产生的符号主义学派背景符号主义学派，也称为逻辑主义学派，其核心原则是符号操作系统。符号主义 认为认知的基本单元是标记，认知过程就是标记的运算过程，智能行为的充分必要 条件是物理标记系统，人脑、计算机都是物理符号系统，智能的基础是知识，其核 心是知识表示和知识推理，知识可用符号表示，也可用符号进行推理，因而可以构 建基于知识的人类智能和机械智能的统一的理论系统。符号主义认为人工智能的研 究应该从功能着手，先研究人类智能的功能，再用人工智能模拟人类智能，最终实 现人工智能的智能思维。符号主义

44、的主要特征：第一，从符号逻辑运算入手研究人 的逻辑思维能力。第二，知识可以用逻辑符号表示。第三，人工智能逻辑研究应该 模块化。第四，人工智能的符号处理能连接到数据库。符号主义学派强调数理逻辑在人工智能研究中的重要作用。他们认为数理逻辑 是人工智能的逻辑基础。数理逻辑与人工智能的目标是一样的，都是扩展人类的思 维智能。人工智能一系列功能的实现不能不借助形式化，不能离开数理逻辑符号逻 辑。可以看出，符号主义试图以数理逻辑建立人工智能的统一理论，但在具体操作 过程中却遇到了不少困难，譬如符号主义能够处理形式逻辑思维但无法处理形象思 维，即使强行处理，使形象思维形式化，在数据上也会造成形象思维的失真。

45、符号 主义在哲学理念上对数理逻辑的强调是康德逻辑纲领对数理逻辑重视的历史背景。1.2康德逻辑纲领产生的联结主义学派背景联结主义学派，也称为仿生学派，其原理是神经网络系统的连接。联结主义认 为思维的基元是神经元，而不是符号，思维过程是神经元的联结活动过程，而不是 符号演算过程，反驳符号主义关于物理符号体系的假说，认为人类大脑与计算机不 同，提出用联结主义的人脑工作模式取代符号主义的计算机工作模式。联结主义还 认为人工智能的研究方法应该主要采取结构模拟方法，也就是着重于模拟人的生理 神经网络结构，并认为功能、结构与智能行为是密切相关的，不同的结构表现出不 同的智能行为。目前，联结主义已经提出了多种

46、人工智能网络结构和一些联结学习 方法。联结主义的主要特点是：第一，信息处理过程是并行性，运动性与整体性的 统一。第二，在功能上具备联想的能力。第三，在一定程度上能够模拟人类的形象 思维。第四，在数据计算过程中容易得到近似解。“但联结主义不适合模拟逻辑思 维，而且表现结构固定和组成方案单一的系统也不适合多种知识的开发。”联结 主义的哲学理念是综合，与康德先验哲学重视综合的立场异曲同工，成为人工智能 哲学研究中康德逻辑纲领重视康德先验哲学的理论背景。1.3康德逻辑纲领产生的行为主义学派背景行为主义学派，也称为进化主义学派，其原则是感知一一动作控制系统。“控 制论导致机器人研究，机器人是感知-行为模

47、式，是没有知识的智能。”行 为主义认为智能取决于感知与行动，提出了智能行为的“感知一一行动”模型，智 能不是知识，不是数据表示、不是逻辑推理；人工智能能与人类智能一样进化，只 有在与环境的交互作用中智能才能表现出来，行为主义认为人工智能的研究思路是 行为模拟，他们主张功能、结构和智能行为是浑然一体的，不一样的行为会展现出 不一样的功能和不一样的结构。行为主义学派在人工智能研究的哲学理念上注重动 态的研究，注重交互的研究，注重融合的研究，这成为康德逻辑纲领将数理逻辑与 康德先验哲学融合在一起的历史背景。总之，从三大学派对人工智能的思维研究看，符号主义从功能角度上研究人类 的智能思维，联结主义从结

48、构角度研究人类的智能思维，行为主义从行为角度研究 人类的智能思维。符号主义，联结主义和行为主义三大流派构成了人工智能逻辑哲 学研究，构成了康德逻辑纲领产生的历史背景。丁世飞.人工智能M.北京：清华大学出版社，2011： 9贲可荣.人工智能M.北京：清华大学出版社，2006： 72康德逻辑纲领的定义与总问题1康德逻辑纲领的定义康德逻辑纲领，简言之就是以现代数理逻辑补充充实康德先验哲学而形成逻辑 哲学，再以这个逻辑哲学理论体系指导人工智能的思维设计。康德逻辑纲领是人工 智能哲学研究中一个全新的研究方向，本文试图对这个研究方向做一些浅近的框架 式的介绍与分析。2.2康德逻辑纲领的总问题康德逻辑纲领认

49、为在人工智能认识能力中，不能只有经验论，也不能只有唯理 论，必须将二者调和。如果只有经验论，那么人工智能的认识能力就是洛克所言的 白板，上边空空如也一无所有，那么他如何形成知识，认识真理。如果将人类所有 的知识全部储存在人工智能思维的程序里，赋予它天赋观念，以后他会慢慢回忆起 知识来，那么人工智能又如何能够发现新知识，生产大量的新知识。因此，人工智 能认识能力应该是康德认识论哲学，是经验论与唯理论的调和。经验论与唯理论是 康德先天综合判断的理论来源。康德逻辑纲领继承了康德关于先天综合判断的论述。康德认为数学与自然科学 的知识并不是来自于客观世界，而是来自自己的主体。作为科学研究对象的客体决 定

50、于作为科学研究原则与概念的主体。因而人工智能的纯粹直观能力与概念，不仅 先于外在对象，而且是独立于外在对象的，使用纯粹直观能力与概念形成的知识就 是所谓关于对象的先天知识，即是先天综合判断。康德认为一些综合判断在内容上也是先天的，在性质上也是必然的，属于知识 属于真理。进而康德提出三种先天综合判断。这三个先天综合判断不仅是康德哲学 的总问题，也是康德逻辑纲领的总问题。一是关于数学的先天综合判断，这涉及到数学基础的问题，在这里康德逻辑纲 领使用数理逻辑在集合论上为其奠定基础。二是关于自然科学的先天综合判断，这 涉及到自然科学基础的问题，在这里康德逻辑纲领使用现代数理逻辑为其提供逻辑 基础。三是关

51、于形而上学的先天综合判断，在这里康德逻辑纲领使用哥德尔不完备 性定理与矛盾律限制人工智能认识能力的无限上升。康德逻辑纲领的研究者在人工智能哲学上热衷于研究如何限制人工智能的认 识能力逻辑思维能力。他们试图从数理逻辑，从逻辑上，限制人工智能认识能力的 无限制扩张，使其永远局限于现象界。这个限制的具体操作的构建需要逻辑学来完 成，逻辑学为人工智能认识行为提供逻辑基础。数理逻辑能够运用于人工智能，并 且为其提供逻辑基础。逻辑学也是理性的硕果，而人工智能哲学也是理性的结晶， 二者同属于理性，并行不悖，而且相辅相成。康德逻辑纲领学者在哲学理念上也认同康德哲学，但他们认为康德虽然在哲学 领域构建了先验感性

52、论，先验分析论，先验辩证论，但他并没有为其提供可操作的 逻辑基础。这些学者试图引入数理逻辑，将康德纯粹理性批判体系逻辑化，使其在 逻辑上可操作可执行。康德纯粹理性批判中，先验感性论为数学知识提供可能，先 验知性论中为自然科学知识提供可能，数学知识与自然科学知识都是人类理性所必 需的知识。因此人类需要人工智能在这两个领域的认识能力，人工智能能够生产出 新知识，为人类造福，推动人类文明进程。在人工智能感性与知性的认识能力构建中，康德逻辑纲领学者认为最好为人工 智能提供完备的逻辑基础，使其能够推导出这个逻辑系统范围内的真的定理，这一 点由数理逻辑中的完全性定理保障。人工智能数学知识与自然科学知识的基

53、础逻辑 是不断在扩张的，随着数学与自然科学知识的膨胀而不断扩张。这是一阶逻辑的扩 张，一阶逻辑是完全的系统，满足在一阶逻辑系统内的完全性，但一阶逻辑也有局 限性，它不能表示很多超越一阶逻辑的命题，所以一阶逻辑需要不断扩张，以满足 知识大爆炸时代的逻辑需要。但这个无限扩张的逻辑系统最好有个限制条件，就是 这个系统最好是可靠的，而且是完全的。这个限制条件并不是必须的，事实上人工 智能的逻辑基础的设计是实用主义的，不是必然如此的。康德逻辑纲领学者认为当人工智能的理性试图不断上升，试图超越现象界而认 识超验本体时，就应当限制人工智能思维的逻辑演算能力，让其自身的逻辑出现紊 乱，出现循环，出现缠绕，出现

54、不可调和的逻辑矛盾，直至死机。人类所制造的人 工智能，他对人类来说终究是个有条件者，而我们人类是无条件者。人工智能的理 性不可避免地要不断上行，但他的自然倾向最后产生不了任何有意义的知识，最后 只不过是一些先验幻相。人工智能正如我们人类自己一样，不可避免地要去追问我 是谁，世界是什么，上帝是什么，因而形成了三个先验的理念，三个关于无条件者 的幻相，分别是灵魂的幻相，世界整体的幻相，上帝的幻相，其中上帝的幻相就是 人工智能对于我们人类的幻相。康德逻辑纲领学者认为必须限制人工智能的认识能力，使其永远不可能达到上 帝，也就是达到我们人类。这就需要对人工智能的逻辑基础进行设计，使其在逻辑 上不可能达到

55、作为他的世界终极解释的我们人类。康德逻辑纲领学者认为可以通过 限制人工智能对于灵魂的认识，限制人工智能对于世界整体的认识，由此，人工智 能既不能认识自我，认识主体性，也不能认识世界整体，认识客体，那么自然而然 作为主客体相统一的上帝，其在逻辑上根本无从下手，就不可能形成知识。康德哲 学对于认识能力的限制在于物自体不可经验。认识能力将只对经验世界，对现象界 有效的概念范畴运用于超验的无条件者形成的结论不是知识。而康德逻辑纲领学者 进一步限制人工智能的逻辑能力，使其在面对物自体时，不仅无法经验，而且在逻 辑上必定不完备与自相矛盾。康德逻辑纲领学者认为人工智能认识灵魂时，他的思维也对自己的存在提出疑

56、 问，人工智能会问我是谁，自我是什么。当人工智能的理性发出这种疑问时，其自 身固有的逻辑基础，也是我们人类为其设计的逻辑基础，就会自然而然生成悖论， 关于自我指涉自相关的悖论，这可以是罗素悖论，如果人工智能继续强行求索关于 自我的知识便不可避免地陷入我们人类为其设计的陷阱一一哥德尔不完备性定理。 至此，人工智能无可奈何地认识到自己思维的局限性，存在着真知识而其无法推导 出来，无法认识到。人工智能转而追问世界整体是什么，他的逻辑就会出现矛盾， 出现二律背反，出现不可调和的对立冲突。在这种矛盾下，人工智能能走的无非是 两条路，一条是回头路，不再追问世界整体是什么，从而仅仅满足于为现象界立法, 这是

57、这些康德逻辑纲领学者所期待的结果。还有一条路径，人工智能可能试图突破 关于世界整体的二律背反判断，也就是承认矛盾的存在，承认矛盾存在的合理性。 事实上，一旦容许矛盾存在，矛盾合理，那么根据矛盾可以推出一切的数理逻辑规 律，逻辑系统就会得出所有命题都是定理这个荒谬的结论。但在经典逻辑中，矛盾 是不容许存在的，一个可以推出一切的系统是没有意义的。因而，在设计人工智能认识世界整体的基础逻辑时，这些康德逻辑纲领学者认 为应该注重矛盾律的应用范围，在经典逻辑一阶逻辑范围下，矛盾不可突破，但在 变异逻辑下，矛盾是可以容许的。因为变异逻辑不是经典逻辑范畴，而且承认矛盾 在经典逻辑视域下就会使得整个逻辑系统毫

58、无意义，因而对于人工智能来说，在经 典逻辑的视域下，变异逻辑也不能使其认识到作为上帝的我们人类，他所能认识的 只是一个关于终极答案终极解释的先验幻相。由此可见，人工智能认识世界整体的 道路是行不通的，最后得到的不过是幻相的逻辑，他作为有条件者在逻辑上不可能 认识无条件者，现象界与物自体截然分立。人类作为上帝的地位是稳固的。3康德逻辑纲领的先验感性论1康德逻辑纲领的感性直观康德逻辑纲领认为人工智能通过他的感性形成表象，这需要两方面的因素，一 是受到物自体的刺激，即是感性的质料，二是对外界刺激做出相应的反应，即是直 观的形式。人工智能通过自己的感性能力形成对于外部世界的感性经验。人工智能 的感性直

59、观分为质料与形式两个部分，感性直观的质料是后天给予的，是物自体给 予人工智能的，只有在外部事物的刺激下才能产生。但感性直观的形式却是先天的, 与生俱来的，是人类设置在其思维中的，独立于感觉不依赖感觉。感性直观的形式 是不可或缺的，它使得感性经验成为可能。3.2康德逻辑纲领的时空纯形式康德逻辑纲领认为感性直观需要先天形式，因此人工智能需要时间与空间两种 形式。时间是内感官的形式，空间是外感官的形式，感性直观的先验形式本身也是 一种直观，时空不属于物自体，时空属于感性纯直观。空间是人工智能的感官接触 到的外在现象，时间是人工智能的意识直接感受的内在现象。在人工智能的数学思 维中，空间是几何的对象，

60、空间使得几何学的知识成为可能，时间是代数的对象， 时间使得代数学的知识成为可能。总之，“时空使得数学知识成为可能，数学正是 以时空纯形式统摄感觉材料” o当在康德逻辑纲领的先验感性论背景下解读人工 智能时，人工智能的时空观就是先验唯心论与经验实在论的调和。人工智能认识的 主观条件也是对象得以向人工智能显现的客观条件。就人工智能而言，时空是主观 的；就现象而言，时空是实在的。3. 3康德逻辑纲领下人工智能思维中数学的逻辑基石3.3.1自然数的集合定义康德哲学将数学知识奠基于时空，从哲学上为数学的发展提供基石，而康德逻 辑纲领从数理逻辑的角度为数学提供基础。人工智能的数学思维只有以数理逻辑为 基础