有一种对认知科学的解释，按照这种解释，认知科学一直在探索概念能力的构造[2，采用的方法是在习俗心理学与神经生理学层次之间插入表述层次和计算层次。在下节里，我将指出怎样可把IOT理论视作提供了一个沿着这些思路的说明。文章的其余部分提出了另一种说明，更适合于联结论计算构造体系的应用，并且不会遇到像I(T遇到的同类困难。
- 作为概念构造的思维语言
值得注意的是，通过满足对拥有概念的构造制约，来解决认知体现问题，在这方面只做过一次认真的尝试。这就是福多尔称为思维语言(LOT)的模型，他和其他人曾在哲学层次上为它辩护了十多年。LOT可能与否，关键在于从弗雷格以来已在逻辑中得到发展的表述理论在计算和心理两方面应用的可能与否。正是这一理论，根据它的组合句法和组合语义，表征了一个表述系统。
人工智能哲学
[1] 对某些作者例如斯温伯恩(Swinburne1986)来说，齐步进行不仅看起来是，而且就是不可思议的：为了解释一个人行为的连贯性，必须祈求于上帝。
[2] 对于构造制约中用到的术语“构造”，我一直是从技术的意义上使用的。两个相邻层次间的关系可以是一种构造关系，即使构造制约要求多于两个层次。如果它是可理解的，它就将是构造关系。对理论框架的自然主义制约，并不是要使每两个层次间的关系成为构造关系，而是要满足构造制约。在一个满足构造制约的框架中，非相邻层次间的关系也许不是可理解的关系，因为对它的掌握可能取决于对中介层次理论的掌握。
[3] 构造理论在开始阶段是以信息的通信理论观念为基础的(Dretske1981)。和行为主义一样，这些理论的困境是，虽然信息观念适合于构造中的低层次，但是没有一个人哪怕是在原则上证明了如何可能在信息层次之上构造一个概念拥有层次。德雷斯克在他书中第七章这样试过，但遗憾的是这个尝试失败了(Cussins即将出版)。提出别的非简化主义和非排除主义的理论框架的有米利肯(Millikan1984)，但是还不清楚这个框架怎样能产生一个构造。
402