Minimax Feature Merge: The Featural Linguistic Turing Machine

In Minimalist syntax, linguistic expressions are typically modelled as being projected from a set of lexical items, themselves composed of three independent kinds of features (phonological, syntactic and semantic/pragmatic). The nature of syntactic features has perpetually been confused, and yet they remain the foundation of much of syntactic theory. I contest that an alternative architecture may be preferable in terms of explanatory power within the purview of mathematical biolinguistics, as described by Watumull (2012; 2013; 2015). Namely, I contest that, rather than being the driving force behind syntax, the lexicon is instead distributed amongst the interfaces in the form of non-generative lookup tables, taking Scheer’s (2020) view to the logical conclusion, in parallel to DM. Syntax combines syntactic primitives freely except as constrained by the interfaces; these features are atomic, arbitrary (substance-free) computational symbols comprising the set F with cardinality at least one. Following Watumull (2015), language is considered as a mathematical structure, abstracted from its neurological substrate. This structure is isomorphic to a Turing machine, in turn isomorphic to the simplest group-theoretical object, the free magma. The central motivation is the concept of optimality captured in the minimax principle, in turn minimising the burden of the innate first factor and maximising the role of the mathematical laws and heuristics that comprise Chomsky's (2005) third factor. The ultimate aim is to begin to meet the prerequisites of explanation as defined in biolinguistics— learnability and evolvability—by formalising a theory of syntax and its place in the linguistic architecture from the ground up.