形式句法学的范式变革：英语语法中的计算算法

语言科学越来越不依赖形式句法作为其基础。原因可能在于其有意识地回避了心理现实性。科学哲学家呼吁一种范式转变，其中解释应如生物学中那样通过机制给出。我们求助于编程语言，将其作为基于过程的英语句法的启发式模型。我们选取功能词与内容词的组合作为建模主题。此类组合非常频繁，其输出是句子的重要直接成分。我们在面向对象编程中发现了它们的对应：一个全方法元素充当接口，而内容充实的元素充当其实现，定义计算对象。我们通过推导对该算法至关重要的三个功能特征并检查其在英语语法中的存在，检验了模型的契合度。我们基于心理语言学和神经语言学关于句法加工、发展与丧失的证据，检验了接口-实现机制的现实性。该机制的高度契合与心理现实性表明，向句法的算法理论范式转变是一种可能。