表述系统的句法理论为这系统的所有一串串合法的原子表述提供了一个递归式说明。一个表述系统的语义理论为所有合法表述的解释提供了一个可公理化的、递归的详细说明。如果这一表述系统要起到什么作用的话，就必须有可能在句法之上，或是定义一个用于逻辑作业的证明论，或是定义一个用于计算作业的过程结果理论，这个理论根据每一合法表述对所有合法变换作出了说明。逻辑传统的价值大多建立在我们能够用纯句法形式定义合法变换理论的基础之上，尽管它与语义制约有关。
句法和语义理论在解释上必须是独立的，然而又是有联系的。它们必须是独立的，因为在一点也不了解语义理论的情况下，必须有可能理解如何应用合法变换理论：但是它们必须是有联系的，因为合法变换理论的句法应用不可违反语义制约：按照惯例，它不可把一组正确的前提变换成一个错误的结论。同时，句法理论和语义理论必须相互联系得即使表述系统不完备也必然能通过合法变换理论的句法应用获得所有语义连贯的变换中的有用部分。
IOT之所以如此引人注目，是因为它深刻地说明了：获取认知科学建模的计算组成部分与心理组成部分之间必要的可理解的联结方法，是通过形成一个句法和语义表述系统，对这系统来说，句法是以计算方式实现的，而语义”则适合于心理学解释。如果能做到这一点，那么取得计算与心理学之间的必要关系的方法，就可以直接从我们对如何建立表述系统的理解中得出，因为该系统有可能说明一个与语义制约有关的合法变换的句法理论。S/S理论给出的是一个与语义层次齐步进行的、独立于语义的(句法)层次。所以如果句法能由计算实现，而语义学能提供心理学解释的基础，那么LOT就已经说明了计算转变怎样能与心理学转变齐步进行。
15 概念的联结论构造
[1] 对LOT的狂热支持者来说：LOT里的很多论点都围绕这一点在转：心理学解释是否需要一个特殊的语义学观念。这一特殊观念一般被称为“狭义语义学”，经心理学解释后，它变为“狭义内容”（Fodor1987)。狭义内容并不完全确定参照物。狭义内容可能必须是一般的，而内容的所有单独方面则被当做广泛的现象，同时狭义内容也可以限于表现观察特性，而排除自然类特性。但问题是这些新方法受到很强的制约：狭义内容和狭义语义学必须是狭义的——它们必须构成经典内容和经典语义学的一个子集合。
403