SEP：心灵的计算理论（五） (5-1)

5.1 Computation as formal

经典计算主义者一般会假设人们称之为计算的形式句法概念(formal-syntactic conception of computation (FSC))的东西。直观的想法是，计算是依据它们的形式句法属性而非语义属性来操作符号的。

FSC源于19世纪末20世纪初数理逻辑中的革新，特别是布尔(George Boole)和弗雷格(Gottlob Frege)的开创性贡献。在他的《概念文字(Begriffsschrift)》 (1879/1967)中，弗雷格对演绎推理进行了彻底的形式化。为了这种形式化，他规定了一个形式语言，该形式语言的语言表达式是非语义地得到区分的 (即，是通过它们的几何形状得到区分的)。在我们的头脑中或许已有某些预期的解释，但是形式语言的元素确是纯粹的句法实体，我们可以在不援引类似于指称或真值条件这样的语义属性的情况下讨论它们。具体而言，我们可以通过形式句法术语来指定推演规则。如果我们明智地选择我们的推演规则，那么它们将会同我们预期的解释相一致：我们可以从真前提中导出真结论。通过形式化，弗雷格为逻辑注入了前所未有的严谨性。这样，他就为他众多后续的数学与哲学工作奠定了基础。

在计算机科学中，形式化扮演着至关重要的角色。我们可以对一台图灵式的计算机进行编程，以操作从形式语言中提取的语言表达式。如果我们明智地编程该计算机，那么它的句法就会和我们预的地语义解释相一致。例如，我们可以对计算机进行编程以使其从真前提中仅导出真结论，或者，使其依照贝叶斯决策理论的要求来更新概率。

FSC认为所有计算都操作形式句法项目，而不考虑这些项目可能带有的语义属性。对FSC的精确表述各不相同。计算被称作是“敏感于”句法而非语义的；或者仅仅“访问”句法属性；抑或是，只“凭借”句法而非语义属性来进行运算；最后还可能是，仅当语义属性是句法属性的“中介”时，计算才会受语义属性的影响。这些表述究竟意味着什么，或者它们中的一个是否等价于另一个，并不总是很清楚。但直观性的图景是句法属性相比于语义属性是解释/因果上在先的。

福多的文章“Methodological Solipsism Considered as a Research Strategy in Cognitive Psychology” (1980)提供了一个早期的表述。福多将FSC同CCTM+RTM结合了起来。他将心语类比为由逻辑学家研究的形式语言：它包括简单与复杂表达式，这些表达式是非语义性地得到区分的，就像典型的形式语言也包括简单与复杂表达式，而这些表达式是通过它们的形状来得到区分。心语符号拥有语义解释，但这些解释并不(直接)影响心灵计算。一个符号的形式属性，而不是它的语义属性，才确定了计算如何操作这些符号。在这种意义上，心灵就是一个“句法引擎(syntactic engine)”。几乎所有的经典计算主义者都在认可FSC上追随于福多。

联结主义者经常会拒绝说神经网络操作着句法上结构化了的项目。因此，许多联结主义者在是否接受FSC这一点上十分犹豫。然而，大多数联结主义者都赞同一个总的形式性论题：计算对语义属性不敏感。这个总的形式性论题提出了许多与FSC提出的相同的哲学议题。我们在此关注FSC，它得到了最多的哲学讨论。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。