如果认知科学包含从计算模型之中得到心理学理论,并且表述理论就是使之实现的方法,那么为了理解认知科学理论建立的实质,我们就需要理解计算、表述载体、表述内容和心理学解释之间的关系。这个任务从根本上说是多学科的(见图15-1)。
(1)心理学解释的种类→心理学,心理哲学
(2) 表述内容的种类→内容哲学,语义学 →表述理论
(3)表述载体的种类→逻辑学,人工智能学,语言学
(4)计算的种类→计算机科学,人工智能学
图15-1 认知科学中的四个分析层次
认知科学框架
对图15-1四个层次中每一层次所作的分析,组成了认知科学框架。本文的主题是,这些分析并不是相互独立的。例如,如果已知对模型的计算构造体系所作的冯·诺伊曼分析,以及对模型的表述载体所作的句法分析,那么该模型的内容理论就必须是语义学理论。而语义内容的选择势必要求从该模型中推导出一种特殊的心理学解释(概念论解释)(正如下文中解释的那样)。或者,如果人们选择了一个联结论计算构造体系,就可能被引向对句法表述载体的排斥,如斯莫伦斯基(Smolensky1988 a)曾有过的情况一样。正如本文所表明的,这一结果本身将会牵连到联结论表述载体所能携带的各种内容,因而也牵连到能从联结论模型中抽取的各种心理学解释。每一层次的分析都制约着相邻层次的分析,因此也就可以自上至下地跟踪结果。
因而认知科学框架在各个这样的层次上都包含一个抉择,使得每一层次的抉择与所有其他层次的抉择都是相容的。对每一层次上的可能的选择的图示,提供了对竞争性的认知科学框架的表述。图15-2中那些表示选择的术语将在本文的正文中作出解释。但是以该图作为开始是不无益处的。
人工智能哲学
394