Communication and signification are general topics, with relatively basic theories and principles. Shannon’s Mathematical Theory of Communication is one paper. Charles Sanders Peirce developed a comprehensive theory of signs, categorizing them into icons, indices, and symbols based on their relationship to the objects they represent. You can learn the basics in a day.
Charles Sanders Peirce identified three types of signs:
Human language is overwhelmingly symbolic. This is extraordinary! No other species uses symbols at scale. And we’ve been doing it for a long time:
Symbols are fascinating because they have no intrinsic connection to their referent. They require (a) shared convention, (b) memory, (c) the ability to hold “word” and “meaning” as linked but separate. The power is unlimited generativity — you can make a symbol for anything, even abstractions: justice, infinity, recursion, love, LLM, the meaning of life, etc.
But where do symbols come from? How does a word hook onto the world? Philosophers call this the symbol grounding problem. Harnad (1990) says symbols in a closed formal system only refer to other symbols—they’re not grounded. Note that a dictionary defines words with more words. There is no base word. Humans ground symbols through perception and action
Language is far more specialized and does not admit to a single theory. Sure, it uses signs for communication. But it is so much more. A fair working definition is a structured system of communication, consisting of utterances that can be spoken, signed, or written, formed via compositional rules (or guidelines) agreed upon by users of the language. The interesting thing about this definition is that it covers the structure part but not the meaning part. In addition to syntax, we need semantics. And pragmatics.
Words and word-like entities are combined (arranged) according to rules to form larger units like phrases and sentences. The rules constitute a grammar. Where do the rules come from? How do we know if an utterance is well-formed?
Rules or Guidelines?In programming languages, rules are explicit and prescriptive. In spoken natural language, we tend to treat them as guidelines, but in writing, they are often more rigidly followed.
A grammar will tell you where all the components of an utterance should go—based on the category (e.g., for English: noun, verb, adjective, noun phrase, verb phrase, subject, predicate, adverbial clause, prepositional phrase, etc.) of the word or phrase—of the components, but it won’t tell you what the utterance means. Classic examples are:
There are many different approaches to capturing our idea of a grammar.
Dependency grammar focuses on the relationships between words in a sentence, where one word (the head) governs the others (dependents). The structure is represented as a tree with directed edges from heads to dependents, emphasizing the syntactic functions and hierarchical organization of words.
TODO EXAMPLES
Constituency grammar, in contrast, emphasizes the grouping of words into constituents or phrases, which function as single units within a hierarchical structure. The structure is typically represented as a tree where nodes correspond to constituents, highlighting the nested and recursive nature of language.
Construction grammar posits that knowledge of language consists of a collection of form-meaning pairings, known as constructions. These constructions range from simple words to complex syntactic patterns, and meaning is derived from the interaction of these constructions rather than from abstract rules alone.
Operator grammar is a theory that focuses on the combinatory properties of operators (typically verbs) and their arguments. It emphasizes the rules governing how operators can combine with other elements to form grammatical sentences, often highlighting the constraints and regularities in argument structure.
Transformational grammar, developed by Noam Chomsky, posits that sentences have an underlying deep structure that can be transformed into various surface structures through a set of transformational rules. This approach emphasizes the generative aspect of grammar and the relationship between syntax and meaning.
Technically, the grammar composes utterances into hierarchical structures, even though they tend to be written or spoken as temporal one-dimensional sequences.
Recursion is the property of language that allows rules to be applied repeatedly, embedding structures within structures. This is what enables sentences to be infinitely long and complex, even with a finite set of rules and vocabulary.
Here’s a grammar that demonstrates recursion:
We can generate sentences as in this example:
S NP VP DET NOUN RP VP VP the NOUN RP VP VP the dog RP VP VP the dog that VP VP the dog that SV S VP the dog that thought S VP the dog that thought NP VP VP the dog that thought PN VP VP the dog that thought grace VP VP the dog that thought grace TV NP VP the dog that thought grace hit NP VP the dog that thought grace hit PN VP the dog that thought grace hit alan VP the dog that thought grace hit alan DV NP PP the dog that thought grace hit alan threw NP PP . . . the dog that thought grace hit alan threw the new blue toy to the fast rat
Recursion can allow sentences to become arbitrarily long and complex:
S NP VP NP SV S NP SV NP VP NP SV NP SV S NP SV NP SV NP VP NP SV NP SV NP SV S . . . she dreamed she dreamed she dreamed . . . she dreamed the dog swam

Chomsky thought language acquisition is too fast and input too impoverished for learning alone, putting forth the Poverty of the Stimulus argument: children know grammatical rules they’ve never seen exemplified. So he proposed a kind of innate Language Acquisition Device (LAD) for what became known as Universal Grammar.
Many opposing views exist. Tomasello and Christiansen note that general learning mechanisms + social interaction are sufficient. The computer simulations of Kirby and colleagues support this view, showing that cultural transmission can lead to the emergence of structured language over generations.
Perhaps you’ve heard of pidgins (rudimentary contact languages with no native speakers and minimal grammar) or creoles (pidgins that children acquire natively, with a spontaneously developed full grammar).
You should read about how deaf children in 1980s Nicaragua invented a full sign language in one generation. Themselves. With no adults to mimic.
There seems to be a lot of evidence that given the right social conditions, grammar emerges.
Discuss the fact that LLMs acquire language from stimulus alone, with no innate LAD, and they do remarkably well. LLMs learn grammar implicitly from the data, without explicit instruction. They can generate grammatically correct sentences, but they don’t have an explicit representation of grammatical rules like humans do. How is this possible? Are transformers just big enough to brute-force what evolution gave us for free? Or do we have something else?
More Opposition to Universal GrammarThe fact that syntax is emergent, together with recent research on the learnability of language, the success of large language models, new knowledge of the brain, and the wide variety among structure and meaning in human languages, challenge the notion of a Universal Grammar. Although originally compelling, the need for innate language learning mechanisms are no longer needed to explain language acquisition.
TODO
Here are some questions useful for your spaced repetition learning. Many of the answers are not found on this page. Some will have popped up in lecture. Others will require you to do your own research.
We’ve covered: