前弗雷格时期的思维释解:思维的四个阶段

前弗雷格时期的思维释解

但笔者认为亚里斯多德同时也明确地说：“口语是心灵 的经验的符号，而文字则是口语的符号。”�����，这 意味着可以假设沿着文字－语言－思想这样的链条来研究实在，在中世纪逻辑学家那里，就认为语言、思想和现实具 有相同的逻辑一致性，逻辑的研究对象就逐步从推理形式变 成了有很强心理学色彩的思维或思维形式，当然在这里的思 维形式自亚里斯多德以来主要是指概念、判断、推理这样的 理性或高级认知活动，因此逻辑学研究对象的这种变化为当 代思维形式化观念的形成提供了一个发生学上的说明。贯穿 希腊化文明和罗马文明的斯多亚学派是当时官方支持的主 导思想，早期斯多亚派最早使用“逻辑”（Ｌｏｇｉｋｅ） 一词，在亚里斯多德的影响下，对他们而言逻辑也不仅是研 究思维形式的工具，而且具有更强的形而上学的含义，“‘逻 辑’意味着一切生成与变化的存在事物的本性、原因和思想、 话语的相应一致”。他们主张世界有内在的“逻各斯”，其 对人而言表现为“理性”能力，基于表象，思想与语言通过 逻辑统一于心智过程。“先有表象，然后，能够表达自身的 思想赋予主题从表象中接受的内容以命题的形式” �����，通过语言表现的人类理性与自然理性是同构的， 因此语义、逻辑和实在的结构具有同一性，即思维以逻辑的 形式反映实在�����。斯多亚学派之后的经院哲学，把 逻辑当作科学研究的工具，其研究的对象已经不如古希腊那 样开放，而是为基督教神学服务，但是其对逻辑作为一种强 大的通达真理的工具的自信，却变得更加强大，一个著名的 实例就是１３世纪的西班牙传教士Ｒａｍｏｎ Ｌｕｌｌ 设计并建造的Ａｒｓ Ｍａｇｎａ，这是中世纪建造的一种自动机，带有明显的宗教目的和思辨性，它是在阿拉伯占星 术中的字母魔术（ｌｅｔｔｅｒ ｍａｇｉｃ）装置ｚａｉ ｒｊａ影响下设计的一台逻辑机器，目标是无须思考或事实 发现就可理性地推导出各门学科的真理，当然这是在上帝的 启发下，其工作原理和字母魔术装置类似，在一些圆盘上刻 上用以表示属性列表的字母或符号，通过其复杂的组合可推 导出神学、形而上学和道德知识。这个装置完美地把世俗的 机械技艺与神学思辨结合起来了，是与伊斯兰教竞争的一个 强大的辩论工具（这也是建造该装置的本来目的），笛卡尔、 莱布尼茨、黑格尔都提到过Ａｒｓ Ｍａｇｎａ，这是笛卡 尔之前对关于知识形式化的信念的一次很有影响的辩护，虽 然在这里知识的范围和定义是受局限的，而且对于思维活动 与知识获取的因果关系，还是借阿奎那之手而沿袭着亚里斯 多德和斯多亚学派的成果。因此，在笛卡尔之前的思维形式 化观念是相当粗糙的，只涉及本体论和知识论方面的意义， 通过逻辑的中介，表现为文字－语言－思想－实在的朴素统 一性，并且对人类能否获得知识的主流判断，是可知（或独 断）而不是怀疑论的。心理学方面的意义，只有在笛卡尔的 心身二元论乃至科学革命以来对灵魂、心智的认识逐渐成熟 后才得以彰显。

二、从笛卡尔到冯特 心身二元论、普遍数学与自动机、联想主义历史地看， 思维形式化和自动机（Ａｕｔｏｍａｔｏｎ）之间存在一定联系，对于自动机而言，诚如玛格丽特•博登所指出：当作 人的机器（ｍａｃｈｉｎｅ ａｓ ｍａｎ）和当作机器的 人（ｍａｎ ａｓ ｍａｃｈｉｎｅ）是有差别的�����。

前者可上溯到古希腊，例如克里特王宫的设计者Ｄａｅｄａ ｌｕｓ设计的维纳斯雕像用水银填充来使其移动，因此需要 拴起来不让其跑开，在神话中火神赫菲斯托斯创造了金色的 年轻女子帮他行走和做铁匠工作，希腊化时期亚历山大的希 罗建造了一个用机械或空气驱动的自动机，可在寺庙内走动 和开门、关门等�����，这些机器可与自动机（Ａｕｔ ｏｍａｔｏｎ）大致等价或所指范围略窄，ａｕｔｏｍａｔ ｏｎ是从希腊语“αｕ�穰缨酽苔力应夕汀狈�译过来的拉 丁词汇，是一个中性词，指“某人自身意愿的行动（ａｃｔ ｉｎｇ ｏｆｏｎｅ�穑蟆。铮鳎睢。鳎椋欤欤�”，在这 里心智和身体还没有清晰地区分开来，但是在中国先秦时代， 对心身关系的认识可能更加深刻一些，如《列子》中有“偃 师造人”的故事，并且认为“偃师造人，唯难于心”。����� 而“当作机器的人”的观念一般认为可追溯到笛卡尔所处的 时代，其起源和发展脉络和自动机有明显差别，而且，在笔 者看来，唯有后者才与思维形式化有直接的思想关联。笛卡 尔在《方法论》中说：“而这对于那些（知道）工匠能制造 多少种不同的自动机或移动机器的人而言并不奇怪……从 这点来看（人类）身体可当作上帝之手制造的无比精巧的机 器……超过人类发明的任何东西。”�����但是，从作为机器的人到思维的形式化还有一个空白，这个空白就是心 身关系的问题，人类具有思维能力尤其是语言能力，这是和 动物的巨大差别。笛卡尔认为动物没有理性思维能力和上帝 赐予人类的不朽灵魂，因此动物的行为是不受理性支配的自 然反应，而人类的行为中，不仅有呼吸、睡眠等自然反应的 行为，更重要的是人类的理性和意愿可以支配其行为 �����。正是在这个意义上，笛卡尔作出了心智和身体 的区分，使得从作为机器的人到作为机器的心智（ｍｉｎｄ ａｓ ｍａｃｈｉｎｅ）的过渡奠定了概念基础。１７世纪 中叶，随着亚历山大的希罗的著作翻译成拉丁文，使得当时 欧洲建造了不少自动机或自动装置，而且经常面向大众进行 展览，但是在笛卡尔之前，这些都不存在心智－身体的区分， 这种区分只有在笛卡尔的二元论之后才清晰起来，他对人及 其身体的机械化观点主要表现在两个方面：１．物理学原理 能解释包括生命体在内的所有物质的属性；
２．活着的生命 体和人工制造的机器之间，除了复杂度不同之外，在根本性 质上没有差异。但笛卡尔对于心智（理性灵魂）的看法却截 然不同，他认为心智不可能是机器，因此也就不存在纯粹的 心理科学，因为意识和理性都不服从物理学法则，由此笛卡 尔开启了一个关于人类自身意识的内部王国，这个王国由自 由意志或选择来决定，而关于心智和身体如何相互作用的问 题，笛卡尔留给后人巨大的争论�����。笛卡尔对于心 智二元区分的形而上学思考，在机械论和实验科学方面启发了后来的经验实证传统，笛卡尔所强调的关于内心意识的现 象主导性，对后来的康德主义、新康德主义和大陆现象学都 产生了影响。博登认为笛卡尔关于人是机器的思想是含糊和 有限的，认为他仅仅关注了身体而不是心智，然而他也启发 了后来的科学家从神经生理学方面来研究心身如何交互作 用�����。笛卡尔在方法论和哲学上的成就开启了欧洲 理性主义思潮的大门，其中他的“普遍数学”的想法是意图 把几何学、代数学、逻辑学三门学科的优点统一于一种方法， 这方面的一个直接成果是引入笛卡尔坐标系使几何代数化， 同时他认为有必要扩大数学符号的使用范围，把那些迄今为 止尚未取得数学名称的学科归入数学，数学不仅是关于数的 科学，而且是一门包括一切有次序和度量的东西，如数目、 图形、形体、声音等的科学，因此天文学、光学和声学都属 于数学范围，数学还可以应用于哲学�����。笛卡尔旨 在通过公理演绎和代数运算这种数学的方式进行所有的科 学思考，从而启发了后来数学的符号化和思维的形式化，在 当时最直接的影响就是莱布尼茨关于建立“通用代数”的想 法。但是，在近代直接提出思维可以形式化并对这些抽象形 式进行计算的思想，最早是由笛卡尔时代的英国经验论哲学 家霍布斯提出的，他说：“我所谓‘推理’是指计算。计算 或者是把要加到一起的许多东西聚成总数，或者是求知从一 件事务中取去另一件事物还剩下什么。所以推理是与加和减 相同的。……一切推理都包含在心灵的这两种活动―――加与减里面。”霍布斯认为理性思维活动由概念、判断和推理 三步构成，并由此形成科学知识，而其中对事物的命名非常 重要。他说：“名者实为计算之本。有名，斯可以加，可以 减”，并且把语言当成人的思想形式：“定名之正确，为语 言之第一妙用，亦即科学之初步”，“每一个普遍名称都指 示着我们对于无限个别事物的了解”。�����这些表述， 几乎可以当成今天ＡＩ的物理符号系统假设、认知科学中的 数字计算理论模型（ＤＣＴＭ）的一个原始版本。笛卡尔的 思想开启了“自然的数学化”的大门，霍布斯的主要精力放 在其机械唯物论和政治学方面，比他们晚半个世纪的莱布尼 茨，在思维的数学化和形式化方面走得更远和思考得更为完 整。

莱布尼茨了解和赞同笛卡尔“普遍数学”的思想，并对 他在这方面没有深入研究下去表示了遗憾：“如果他了解到 有一种方法，能以和算术同样的无比明晰来建立一种理性的 哲学，那么，除了这条道路外，他将不会选择别的道路来建 立他是那样热切地为之奋斗的一个学派。”�����莱布 尼茨也了解Ｒａｍｏｎ Ｌｕｌｌ的工作，他说：“雷蒙• 鲁勒也研究了数学，并多少发现了组合术。如果鲁勒的那些 主要的话词：善、量值、绵延、力、智慧、意志、德行和荣 耀不是那样含糊，使得它们只能说明真理，而完全不能发现 真理的话，那么他的技术无疑将是一个惊人的东西。” �����他接受和强化了笛卡尔用数学来处理科学或哲学的思想：“因此，数量可以说是一个基本的形而上学的形式， 算术是一种宇宙的静力学，在其中显示出事物的诸动力。” �����并且用符号或其表达式来反映世界结构并进行计 算：“我思考出，必然会创造出一种人类思想的字母，通过 由它组成的联系和词的分析，其它―切都能被发现和判断。” �����莱布尼茨在逻辑史上第一次对亚里斯多德的三段 论系统给出了一个算术解释，在Ｌｕｌｌ、笛卡尔、霍布斯 的基础上，明确提出建立称为“通用代数”、“逻辑斯蒂” 的理性演算，并提出一种表意的人工语言代替自然语言来进 行演算，他称为“普遍语言”：“关于符号的科学是这样的 一种科学，它能这样地形成和排列符号，使得它们能够表达 一些思想，或者说使得它们之间具有和这些思想之间的关系 相同的关系。一个表达式是一些符号的组合，这些符号能表 象被表示的事物。表达式的规律如下：如果被表示的那个事 物的观念是由一些事物的一些观念组成的，那么那个事物的 表达式也是由这些事物的符号组成的。”�����莱布尼 茨同时设想了使用这种普遍语言进行理性演算的场景，他 说：“我们要造成这样一个结果，使所有的推理错误都只成 为计算的错误，这样当争论发生的时候，两位哲学家和两位 计算家一样，用不着辩论，只要手里拿起他们的铅笔，坐在 计算器前，面对面地说，让我们来计算吧。”�����莱 布尼茨本人从理性演算和普遍语言两个角度提出了建立现 代数理逻辑的思想，但在逻辑史上并没有真正完成这项工作。他所做的尝试具有形式系统的初步特点，即相同符号可作不 同解释。在莱布尼茨之后，１７世纪末和１８世纪一些数学 家从三个方向对逻辑进行了推进。首先是意大利数学家萨克 里提出把几何的严格标准应用于逻辑，其次就是欧拉、兰贝 特等人用图解法来处理命题及其推理，逻辑演算的符号开始 引入（这在亚里斯多德和中世纪的古典逻辑中是不具备的）， 第三是提出的“谓词量化”。同时，１９世纪代数学的发展 使得莱布尼茨的预见得到了证实：“并非所有的表达式都是 关于量的，人们能够想出无穷的演算方式来”，����� 莱布尼茨的这个看法比笛卡尔认为数学是研究量的关系的 学科更加有利于数理逻辑的产生。在弗雷格之前，思维形式 化观念的发展一方面来源于古典逻辑的符号化，和之后的逻 辑代数或布尔代数，另一方面就是对于包括认知、思维在内 的人类心理活动研究的近代实验心理学。布尔代数是一阶逻 辑之前比较成熟的逻辑演算体系。在１９世纪代数学发展的 前提下，布尔认为逻辑关系与某些数学运算很相似，代数系 统可以有不同解释，如果把其推广到逻辑领域，就可以构成 一种思维演算，因此其主要著作的标题也表达了这个思想：
《逻辑的数学分析》、《思维规律的研究》，在前者的开头 中，布尔写道：……我们可以正当地规定一个真演算的下述 确定性质，即它是一种依赖于使用符号的方法，它的组合规 律是已知的和一般的，它的结果就是承认一致性的解释。对 分析的现有形式规定一种量的解释是那些形式由以被决定的情况造成的结果，而不是分析的普遍条件。就是在这种一 般原理的基础上，我的目的是要建立逻辑演算，我要为它在 众所公认的数学分析的形式中取得一个位置，而不去考虑它 目前在目的和手段方面是否一定是无与伦比的。

布尔发明的逻辑代数是一种可以做各种解释的抽象演 算，其后英国逻辑学家麦柯尔从另一个方向发展逻辑代数， 使命题逻辑从布尔的类演算中独立出来，而德摩根建立了关 系逻辑，把关系的概念和关系的关系的概念加以符号化，突 破了古典的主谓逻辑的局限性，为皮尔士建立关系演算奠定 了基础。而皮尔士建立了关系演算和量词理论，使用了全称 量词和存在量词，他在１８８３年发表的《关系词逻辑》是 独立于弗雷格的，标志着弗雷格之前数理逻辑的发展已经成 熟到谓词演算的程度。�����在布尔及其之前的时代， 心理学仍旧与哲学、生理学纠缠在一起，没有完全独立，同 时又受到了当时物理学、化学等自然科学的影响，呈现出机 械论的特点，这在霍布斯、洛克和哈特利的心理学传统中表 现得尤为显著，墨菲指出：“哈特利几乎已经达到一个完全 的心理原子论，即把心理生活还原为原子，这些原子在联合 中便产生出一切可以观察到的事件。”�����联想主义 心理学的传统在英国由于詹姆斯•穆勒•约翰•穆勒和贝 因的发展而逐渐成熟，如约翰•穆勒提出了“心理化学说”， 认为复杂观念由简单观念生成，并具有原来没有的特征。德 国一方面受到了联想主义的影响，另一方面由于康德的心理学三分法，从而促使了心理学作为一门经验科学的正式独立。

在古代亚里斯多德分心理功能为认识功能和动求功能，后者 包括感情、欲望、意志、动作等过程�����。而自古希 腊早期以来哲学家们对于心理活动一般是偏重理智或认识 功能的，尤其强调人类灵魂的理性功能，到了古代后期斯多 亚派仍然继续了这个传统，但同时如伊壁鸠鲁学派等，则强 调了情感和意志的作用。在漫长的中世纪中，奥古斯丁主张 的是意志主义或者心学道路，直到托马斯•阿奎那，为了用 理性来为信仰辩护，逐步转向了理智主义，到司各脱和奥卡 姆则是要为意志和理性划分范围，前者追求信仰，后者寻求 知识。在１８世纪的德国，康德则把心理活动分为认识、感 情、意志三类活动，之后赫尔巴特受其影响，不仅最先提出 将心理学从哲学、生理学中分开，而且认为心理活动都是观 念，即都是理智的、认识的过程，从而把一切心理过程归结 为认识过程，这种理智主义的心理学，与联想主义相互影响， 为冯特正式建立实验心理学奠定了基础。�����冯特建 立了近代第一个心理学实验室，他的体系和穆勒的“心理化 学说”接近，以为心可以分析为各项元素，复杂的心理过程 都是由这些元素结合而成，但是有与构成它的元素不同的新 性质。心理元素结合成复杂过程有一定的规律，心理学的任 务在于用实验的自我观察法分拆出这些心理元素，并寻求元 素如何合成复杂心理过程的规律。�����冯特的心理学 体系通过他的学生和助手传播到美国，与二战前后经验实证主义对美国的影响相结合，奠定了后来ＡＩ发展的思想土壤。

三、结论 虽然德国自莱布尼茨以来一直有强调心的主动性和统 一性的传统，但在弗雷格所处的时代，沃尔夫已对莱布尼茨 的思想进行了体系化，明确了逻辑作为通用的科学工具的地 位。把心理学从哲学、逻辑、生理学中独立出来已经是不可 抵挡的潮流，所谓的内容心理学或者说联想主义的影响在当 时占据了主要地位。对弗雷格本人而言，其在逻辑学中驱逐 心理学影响的努力也显而易见，他更多地将其作为纯数学来 对待，并没有受到当时流行的冯特元素主义的影响，因此也 不考虑他所建立的一阶逻辑可以作为反映和认识心理（认识 活动）元素及其规律的工具，虽然就建立一门符号语言使精 密化地思维或认知而言，他与莱布尼茨的目标有相同之处， 但总的来看与莱布尼茨的理想还是很不相同的。因此，在弗 雷格之前的漫长岁月中，思维形式化的观念虽然在心理学、 认识论和形而上学的意义上已经有了丰富的发展，但是要在 电子计算机发明之前的能量时代，达到后来西蒙和麦卡锡时 代的强烈程度，仍然还有相当距离。只有当一阶逻辑、递归 论等数理逻辑的主要分支发展起来，同时具备了建造通用电 子计算机的物质条件，并在与认知心理学范式结合的过程中， 受到计算机科学家具体实验成果的持续鼓励，思维的形式化 和机械化观念才有可能成为一个普遍的假设。