非概念内容和表述载体
掌握了概念内容与非概念内容的区别之后，我们可以回到一般性论点上来：一个计算模型所运用的表述理论的种类，决定着适合于这一模型的内容的种类，后者又决定着这一模型所能提供的心理学解释的种类。在下一节中，我将考察要求概念内容的那种心理学解释，而在第6节中，则将考察可通过非概念内容获得的那种心理学解释。但是首先在心理计算的层级体系中迈出一步，弄清楚两种内容与两种表述理论之间的联结，将是有益的。
我在第3节中解释过：LOT回答认知体现问题的能力，取决于它使用了S/S表述理论。现在我们有可能在第3节中认识的那些构成S/S理论的特征之外再增加一个特征。我已经指出，语义层次与句法层次在解释上是互相独立的，就是说人们不必了解语义学理论，就可以理解句法理论在说什么，反之亦然。句法必须顾及语义制约，但是在句法上定义的证明论或过程结果的运算是形式运算，因为它们与语义特征无关。到目前为止，我在谈到语义学时，只不过是说我们常常想使语义学理论成为一个可有限公理化的递归的语义特性理论。现在我们可以看出，语义学理论是关于句法条目与概念内容之间的关系理论。2一个语义学理论之所以具有它所具有的那种形式，是因为作为基础的公理说明了任务域的对象、特性或情境的参照或指称的关系。S/S理论是供概念内容使用的。
人工智能哲学
[1] 见埃文斯(Evans 1982:ch.8)。
[2] 严格地说，一个典型的S/S系统是不具有概念内容的，因为严格地说，它并不是一个概念运用系统。概念内容观念的这种用法是一种派生用法，它必须最终通过这观念是就一个经验和思想主体而言的范式用法作出解释(见本书第406页注[1])。尽管如此，内容观念的派生用法是可能有很大用处的。
426