论思想语言与心理表征中的语义加载问题

1李侠 2郭巧懿

（1上海交通大学 科学史与科学哲学系 上海 200240；2沈阳理工大学 外语学院，沈阳 110168）

摘要：思想语言不仅是心理表征的载体，而且还是语义加载与心的计算理论的载体。在模块内部由于领域特殊性，语义加载和心的计算过程与思想语言的句法结构高度敏感，而在中枢系统，被假定是领域一般性的，语义加载与心里计算模式与语境高度敏感，基于这种理解，完整的心理表征的语义内容的获得是通过分段累积加载模式实现的。

关键词：思想语言；结构敏感性；语义，加载。

中图分类号：B15    文献标识码：A

美国宾夕法尼亚大学哲学系女哲学家苏珊．施内德（Susan Schneider）在最近发表的文章与手稿中，对福多的“思想语言假设关于概念化思考发生在内在的类语言表征媒体上的观点”^[1]，以及福多2000年出版的新著《心灵不是那样工作的》都提出了温和的批评，正如她在书评《是的，正是如此：关于J.福多的心灵不是那样工作的长篇书评》中指出：“福多认为全局性问题（global properties）的提出，对于心的计算理论（CTM）来说是不成问题的，更进一步说，相关性问题(The Relevance Problem)倒是一个需要严肃对待的问题，但我认为这不能证明对认知科学的忧虑观点是多余的，特别是关于CTM，这样将很可能无法解释认知。”^[2]客观地说，苏珊敏锐地发现了福多理论中存在的问题，但是她的工作仍然是徘徊在传统的心的计算理论框架下的一种修正措施，对于心的计算过程中至关重要的语义问题同样没有给予应有的关注，其实心的计算理论面临的一项重要任务，即在计算过程中实现语义加载问题，没有语义加载的计算是没有意义的，也是空洞的。思想的多样性就在于语义内容的多样性，那么如何实现语义加载呢？这就是本文提出了的语义分段累积加载模型。

一 句法与语义的结合问题

J．福多提出的思想语言假设（LOTH）的核心目的在于实现心的计算理论（CTM），换言之，思想语言为心的计算提供了一种载体。这个构想的前提条件是人类的思维是以计算的形式存在的。这里隐含了一个非常困难的问题，即思想内容如何表征的问题？福多本人对于这个问题的前后期观点存在很多变化，他倾向于用有条件的语义内容的结构随附性来处理这个问题，这里福多的解决办法存在一个很严重的缺陷，即可以概念化的经验内容可以采用句法的结构随附性方式来解决，那么，人类认知中还存在很多无法概念化的经验内容该如何表征呢？正是因为看到这个缺陷，美国哲学家Stephen Stich（1943-）在1983年出版了《从民间心理学到认知科学》一书，在其中，他提出了心的的句法理论，即STM（Syntactic Theory of Mind），试图通过这种理论构想来替换思想语言假设，并进而取代心的表征理论，即RTM（Representational Theory of Mind），坦率地说，他的理论是一种典型的自然化的狭义内容功能主义，他试图用这种理论取代福多的思想语言假设，很有意思的现象是他们各自提出自己的理论时都是四十岁。Stephen Stich的心的句法理论的主要理论要点是：“STM建议用科学的方式取消所有的意向性词语，自此就可以预见科学的心理学与语义学无关。”^[3]在阿伊德看来，心的计算理论需要使语义具体化的计划以此摆脱它的根基，由此可以预见那些替代物如纯粹的CTM或者STM是不能启动的，甚至也是无法完成其被要求做的工作的。基于这种考虑，阿伊德在这份修改了五年的手稿中提出了自己对STM的驳斥，他的切入点就是批判狭义内容的功能主义，即NCF（narrow content functionalism），这是很明智的论证路线，它不仅间接驳斥了STM理论，而且更为重要的是他颠覆了认知过程中流行的语义无涉心理学的理论根基，这点恰恰与表征的语义内容有关。顾名思义，心的句法理论主要是强调句法在表征中的作用，而狭义内容的功能主义恰好是STM理论在无法解决表征中语义加载问题时的一种不彻底的妥协做法而已，问题是NCF并不能解决语义加载问题。正如阿伊德指出：“它的两个断言，首先，这些常识性谓项的应用条件基本上是模糊的、语境敏感的、观察相对的，因此在科学的心理学词汇看来不适合作为稳定的目标谓项。其次，在从事心理学研究时我们不需要提及心理状态的内容，句法已经足够了，假如我们不想丢失任何心理学的判断的话，我们最好只关注心理状态的句法特性。STM提供的范式具有基于内容的心理学所具有的优点，而没有它的任何缺点。”^[4]然而，实际运行情况是它的第一个断言导致STM不能工作，因为它缺少以具体的句法客体来描述具体心理状态的有区别的类型，关于第二个断言，则导致任何诉诸语义的功能主义不可避免地导致整体论。这里需要提及的是，之所以强调功能主义，是为了对抗二元论、取消主义和还原主义（如类型同一论）。基于这种理解，阿伊德提出的解决办法就是坚决废除Stephen Stich的物理陈述，即PA（Physical Account），代之以语义陈述，即SA（Semantic Account）。因为“基于心的计算图景，心理过程是通过心理符号在头脑中物理地实现来定义的。但是，对于计算主义来说，这些有资格来进行计算的心理过程，它必须是非语义的，而且是特定的句法，符号的性质必须保证过程是因果敏感的。”^[5]客观地说，阿伊德用很长的篇幅和数年时间的努力，比较正确地指出Stephen Stich的心的句法理论存在的问题，但是他本人并没有给出一个令人满意的答案。他最后只能说，心理表征和计算过程中的符号应该既有句法的品质，又有语义的品质。这是一句典型的正确的废话，问题是两者之间的关系到底应该怎样？他并没有搞明白。这也是本文最为关注的问题，在提出具体的解决方案之前，还要处理一个基础性问题，既无法概念化的经验内容该如何表征？

英国哲学家屈森斯在1990年就非概念性经验内容提出了理论构造内容理论，即CTC（Construction-Theoretic Content），用它来完成非概念性经验内容的表征。在屈森斯看来：“概念内容是由概念特性组成的内容，而非概念内容是由非概念特性组成的内容。”^[6]而所谓的非概念特性是指，相对于理论来说，它通过概念被表征，而这些概念是有机体为了满足这一特性所不必具有的。这一点需要注意，即非概念性内容也要通过概念来表征。为了更好地说明两类内容的表征，屈森斯把内容分为两类，即a内容b内容，两类内容分别由两类域的概念来说明，即任务域和基底域。而所谓的A内容，就是被规定具有确定的真值条件的内容，换言之A内容就是概念性内容，因此任务域是以概念方式构成的。B内容是靠感知、行动和判断的构成性连接实现的，现实生活中凡是含有指示性或示范性元素的状态，都构成了B内容。不同的域为不同的内容提供说明，而且非概念能力支撑着概念能力，由此可以推测，我们的非概念性内容要远多于我们的概念性内容，而且两者还存在转换的关系。客观地说，屈森斯的两类内容的说法是很有新意的。但是它存在的问题也是明显的，如两类内容是否完全边界分明，另外，非概念内容的表征动力来自哪里？这些问题屈森斯并没有给出很好的说明。他后来的工作也同样没有令人满意地解决这个难题。

现在的问题是如何看待福多的思想语言假设与Stephen Stich的心的句法理论之间的关系呢？两者之间的关系是否如史蒂茨所认为的那样，可以用STM令人满意地取代福多的理论，在笔者看来，这两种理论恰恰是同一表征过程的两个不同方面而已，它们的目的都是为了实现心的计算理论，福多的LOT假设则直接为心的计算理论提供了计算的载体，并且思想语言假设时刻预设句法/语义的紧密相关性（S/S），希望通过这种假设既实现了表征与计算，又兼顾了语义问题。然而福多无法解释表征过程中非概念性内容的表征以及表征过程中的语义增生现象，尤其是后者带来的问题，更是被有些学者称为福多的“语义混杂现象”(semantic promiscuity)。^[7] 福多在1987年出版的《心理语义学》一书中提出的“意义的非对称因果依赖理论”（asymmetrical causal dependency theory of meaning）试图全面地给出表征的语义内容问题，结果同样不是很成功，不再赘述。在新版的《LOT2》中，福多提出了图像性表征，也试图解决非概念性内容的表征问题，目前看不出这种研究进路的未来有多少可行性，不过，目前一些计算机语言专家已经开始按照这个方向尝试，如马丁．伊维格最近几年的工作就是证明，伊维格提出了一种构想即视觉语义学(Visual Semantics)，他的主要观点就是“只有能够计算的，你才能看到”^[8]它的立论思路就是：这种进路基本上建基于抽象的图标句法来实现视觉语言。同样，关于这项工作他也不得不承认：“关于视觉语言的语义学目前只做了很少的一点工作，甚至更糟的是，目前还没有一个被普遍接受的框架用于说明不同视觉语言的语义学。”^[9]由此，可知对于非概念化的内容的表征还是一个远没有解决的问题。而Stephen Stich的心的句法理论则是在看到语义问题的复杂性后，干脆试图绕开表征的语义问题，而采取一种物理描述（PA）的做法，他的心的句法理论则为表征与计算提供了一种本体论承诺，他的理论对于理解心的计算有帮助，但是计算并不仅仅是一些单纯的形式问题，它还包括语义问题。由此可知，这两种理论从不同侧面提出了理解心理表征与计算的视角，但是它们面临一个共同的难题即语义是如何在表征中得以实现的。

二 表征过程中的语义分段累积加载模型

之所以强调结构敏感性，是由于以下考虑：首先，句法结构的存在在表征过程中提供了计算的可能性，凡是符合句法结构的都可以很好地形式化，而形式化恰恰是心里计算的基础，这也是目前人工智能领域的主要工作思想。其次，句法结构提供了语义加载的功能，换言之，句法结构是语义的载体．其实，关于句法结构与语义的关系，一直没有得到清晰的阐述，在笔者看来，句法结构作为载体除了提供一种基本的嵌入功能外，句法结构本身就具有原始的语义内容，而这点恰恰被心灵哲学、语言哲学以及认知科学研究所忽视。如杯子，作为一种结构载体，除了具有装载液体的功能外，它本身就限定了加载的内容，而这种功能恰恰是它的原始语义内容，很多语法结构也体现了这个特点，如There be 句型，不论安置什么样的内容，它的基本语义里就包括“有什么”的意思，随着我们嵌入主词的不同，句子获得不同的语义内容而已。由此可知，句法结构通过这种自身具有的原始语义功能（S₀），在表征过程中起到了对感觉刺激的分类作用，这点很重要，它直接提高了人对刺激的表征速度与效率，从这个意义上说，福多的各类输入模块就是基于刺激经验的分类来快速完成初步表征的。在这个基础上，我们可以推论出句法语义加载的总量S可以初步分为三部分，即句法结构本身具有的原始语义S₀，还有当各种感觉刺激在输入模块内部编码的时候，经过信息过滤后完成初步表征，这时增加的语义是比较纯粹的关于感觉刺激的语义内容，这部分语义量我们称为S₁，当来自各个模块内部的经过初级表征的信息会聚到中枢加工系统时，经过再表征过程，各种背景因素的影响使表征再次被加载语义，我们称这部分语义为S₂，因此一个表征的语义总量为S=S₀+S₁+S₂，在这个语义总量公式中根据经验我们可以知道，S₀的语义量最小，S₂的语义量最大，S₁介于两者之间，换言之，文化的因素在语义加载过程中起到了很大的作用，而结构本身具有的语义内容有限，但是如果缺少明确的句法结构，表征过程将变得异常艰难，它恰恰是语义加载的基础。正是这点反映了语义对结构的高度敏感性。

基于上述假定，经典的图林测试与塞尔的“汉语屋”试验就具有了清晰明确的解释。图林测试原本是想为机器具有智能提供一种判据，它的根据恰恰在于把智能（思想）用单一的形式化的方式来表达，而不需要对语义加载问题过多考虑，凡是符合形式化的，就是可以方便计算的，因而也是需要句法结构的支撑，这点恰恰反映了图林测试对于句法结构的高度敏感性。问题是图林测试在基础预设上就存在一个严重问题，即他把智能简单等同于形式计算，而我们知道构成智能的因素是多种多样的，如中国哲学中讲究的人具有三种基本的能力：知（认知）、情（情感）、意（意志），这三种能力构成了一个真实个体的智能，而其中后两者是无法形式化的，缺少后两者是否还能被称为具有智能是存在疑问的，这也间接证明图林测试是不完备的。再者，人类的经验中有很多是无法概念化的，无法概念化的经验同样构成了智能的组成部分。美国哲学家约翰．麦克道威尔从康德直观与概念的关系出发，把知识表征为“感受性（receptivity）与自发性以及感性(sensibolity)与知性的合作的结果。”^[10]其实，麦克道威尔的所有努力只是想说明一个问题，即经验的内容是概念性的。那么回到上面的引文就存在一种可能性，即在感性领域存在非概念性内容，而知性处理的肯定是概念性内容，对于这个难题，麦克道威尔的解决办法是：“概念性能力已经在经验自身中发挥作用了。概念性能力的实际作用并非首先只出现在对做出判断的倾向的现实化中。使得事物呈现给我们某个特定的方面，这本身就已经是概念性能力实际发挥作用的方式了。”^[11]坦率地说，麦克道威尔把经验自发的概念性能力如此解释，陷入了一种不需要原因的随附机制了，这是不能令人满意的。而塞尔提出的“汉语屋”试验，直接否定了这种强人工智能（AI）的观点，他认为，机器只能对句法的语形进行计算，而不具有语义内容，而思想的一个主要标志就是具有语义内容，从而强有力反驳了强AI的观点。塞尔的“汉语屋”思想试验，恰恰突出了语义内容的重要性，然而遗憾的是塞尔并没有考虑到语义内容是如何与句法结构相结合的，从而使他的论证存在一个严重的缺陷。那么根据结构敏感性与语义加载的考虑，我们认为图林测试的致命缺陷在于无法阐明语义加载过程，因此也就无法证明机器是否有智能这样的极为复杂的问题。前面提到的语义加载问题，都发生在那些感觉刺激经验是可以概念化的基础上，一个经验只有是可以概念化的，才能对句法结构发生敏感性，即各种概念指称可以被嵌入句法结构中，从而才有接下来的各种语义加载过程。那么，那些无法概念化的经验该如何表征，这恰恰是最为困难的问题。为此，笔者提出一个大胆的假设，即语义内容的分段累积加载模式，为了简化论述，笔者给出一个简单的分段累积加载的流程图。