Abstract

A central goal of cognitive science is to understand how human beings comprehend, produce, and acquire natural languages. Throughout the brief history of modern cognitive science, the linguistic theory that has been most prominent in this endeavor is generative grammar as espoused by Noam Chomsky and colleagues. Generative grammar is a theoretical approach that seeks to describe and explain natural language in terms of its mathematical form, using formal languages such as propositional logic and automata theory. The most fundamental distinction in generative grammar is therefore the formal distinction between semantics and syntax. The semantics of a linguistic proposition are the objective conditions under which it may truthfully be stated, and the syntax of that proposition is the mathematical structure of its linguistic elements and relations irrespective of their semantics.