Minimax featural computation in mathematical biolinguistics

我的研究建议源于Max Tegmark的工作中明显的“弱AI/强AI”辩论，但最终源于Alan Turing的工作。我的暑期项目在音系学领域支持这个问题，密切关注黑尔和赖斯（2008）以及他们对优选论的批评。我希望将其发展到句法领域，在那里，“无实体”的想法有点难以避免，特别是在制图方法中，将大量的语义内容纳入应该是句法特征的内容。因此，图灵语言理论计划中提出的问题是评估当前语言理论实现强生成性目标的程度，并改进形式主义。正如我的建议细节，我认为这种方法与功能的精确性质以及它们如何联合收割机有很大关系。在这个意义上，我与Cedric Boeckx（2014）不同，但我相信进一步的调查将揭示重要的重叠。在我看来，这必然会发展成为一种强跨学科的方法，与生物语言学计划相一致。这些领域包括数学（参见。Song 2019年关于范畴理论的论文），计算机科学（复杂性理论），认知科学（Poeppel; Galvel & King）以及生物和进化问题（Boeckx; Balari & Lorenzo）。雄心勃勃的目标是建立一个理论，从批判性地交织在这些理论和学科的基本方面。

My research proposal stems from the 'weak AI/strong AI' debate evident in Max Tegmark's work but ultimately stemmingfrom the work of Alan Turing. My summer project countenanced this problem in the domain of phonology, closelyfollowing Hale & Reiss (2008) and their criticism of Optimality Theory. I wish to develop this into the domain of syntax,where the idea of being 'substance-free' is somewhat harder to avoid, especially in cartographic approaches whichincorporate a lot of semantic content into what should be syntactic features. The question posed in the Turing programfor linguistic theory is, then, to evaluate the extent to which current linguistic theories achieve the goal of stronggenerativity, and to improve formalisms as such. As my proposal details, I see this approach as having a lot to do withthe precise nature of features and how they combine. In this sense I diverge from Cedric Boeckx (2014), but I believethat further investigation will reveal important overlap. On my view, this necessarily develops into a stronglyinterdisciplinary approach, in line with the biolinguistic programme. Such areas include mathematics (cf. Song's 2019dissertation on category theory), computer science (complexity theory), cognitive science (Poeppel; Gallistel & King) andbiological and evolutionary concerns (Boeckx; Balari & Lorenzo). The ambitious goal is to build a theory from the groundup which critically intertwines the essential aspects of these theories and disciplines.