不但我们人类必须相信客观世界是实在的，机器人也必须如此。这也就是说，人类和真正具有理性的机器人都必须相信世界是独立于其存在的，而不是依赖于其感知世界的主观方式而存在的。
人工智能之父与Lisp编程语言发明人
约翰·麦卡锡（John McCarthy，1927年9月4日~2011年），他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念，被称为“人工智能之父”。
志不立，如无舵之舟，无衔之马，漂荡奔逸，何所底乎？
王阳明
明代杰出的思想家
良知在人心，无间于圣愚，天下古今之所同也。
王阳明
明代杰出的思想家
良知之在人心，不但圣贤，虽常人亦无不如此。
王阳明
明代杰出的思想家
此是无声老扁大底良知，乃所以过于声色货利百千万事之总柄也。
王阳明
明代杰出的思想家
心智活动实质上是一种物理运作（无论是人脑神经运作还是计算机的硬件运作），因此，人工智能专家大可抛弃关于“如何实现灵魂”之类的玄想。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
身——心之别只能被理解为硬件和软件之别，而不能够被理解为彼此独立的物理实体与灵魂之间的区别。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
对于人工智能来说，对于全局性的心智特性的刻画或实现并非头等要事，因为人工智能逐步地构建一个心智模块，并由此实现相关地局域特性。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
决定论和自由意志是可以彼此相容的，也就是说，我们可以在一个其行为完全可以被决定论说明的人工智能系统中，实现那种“我可以进行自由选择”的主观感受。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的事业——即在被恰当编程的人工系统中全面实现人类水平的智能——在理论上是有望成功的。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
符合论的真理观肯定是对的，也就是说，机器人所相信的一个信念之所以是真的，是因为其符合外部事实。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
符合论的指称观肯定是对的，也就是说，机器人的信念所包含的名词表达式的意义来源于其指涉的对象。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
