The meaning of a complex expression is a function of the meanings of its constituent parts and the syntactic rules combining them. This principle explains how a finite lexicon and small set of syntactic rules generate infinitely many meaningful sentences.
Start with simple noun phrases and work toward full sentences, explicitly tracking how constituent meanings combine. Use symbolic representation to show the function-argument structure.
Compositionality does not require all parts to contribute equally to meaning, nor does it guarantee you can always recover part meanings from the whole. Some meanings are more than compositional sums of parts.
Compositionality answers a puzzle about language: how do speakers of finite minds manage an effectively infinite language? Any natural language has a finite vocabulary and a finite set of grammatical rules, yet competent speakers routinely understand and produce sentences they have never heard before — including sentences that have never been uttered in the history of the language. The principle of compositionality explains this: the meaning of any complex expression is fully determined by the meanings of its constituent parts and the syntactic rules for combining them. If you know what "red," "bicycle," and the English adjective-noun combination rule mean, you can understand "red bicycle" without having memorized that phrase.
You've already studied Frege's distinction between sense and reference and Russell's theory of definite descriptions. Compositionality is what allows both accounts to scale up to full sentences. For Frege, sentences have semantic values just as terms do — a sentence's semantic value is its truth value — and that truth value is computed compositionally from the references of its parts according to their logical structure. The function-argument structure you encountered in first-order semantics (e.g., *loves(x, y)* as a two-place predicate that takes two arguments and returns a truth value) is a formal representation of compositionality: the predicate is a function, and applying it to its arguments yields the sentence's semantic value.
The formal version of compositionality states that there is a homomorphism from syntactic structure to semantic structure. Informally: the way meanings combine mirrors the way syntax combines. When you combine a subject noun phrase with a verb phrase, the semantic operation tracks the syntactic one — you apply the semantic value of the VP to the semantic value of the subject to obtain the sentence's truth conditions. This function-argument structure explains why word order matters: "The dog bit the man" and "The man bit the dog" have the same words but different syntactic structures and therefore different meanings.
The most important challenges to compositionality come from idioms and context-dependence. Idioms like "kick the bucket" appear to violate compositionality because the whole means something different from what its parts would predict. Context-dependence is subtler: indexicals like "I" and "now" contribute different references depending on who speaks and when; and many philosophers argue that even apparently straightforward sentences are semantically underdetermined without contextual input. These observations don't necessarily defeat compositionality — they motivate more sophisticated versions that treat context as a parameter in the meaning-computation — but they establish that the simple story requires refinement.
A common misconception is that compositionality means all parts contribute equally or symmetrically. They don't: the predicate is a function that takes arguments, not just a peer element in a list. Another misconception is that you can always reverse-engineer part meanings from the whole. You cannot: "Every student passed some exam" and "Some exam was passed by every student" differ in meaning (quantifier scope), but both are built from the same words. Structure, not just constituency, encodes meaning.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.