A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Compositionality and Semantic Values

College Depth 73 in the knowledge graph I know this Set as goal
54topics build on this
342prerequisites beneath it
See this on the map →
Frege's Sense and ReferenceRussell's Theory of Definite Descriptions+2 moreCompositionality and Its LimitsEllipsis and Covert Structure+6 more
semantics compositionality meaning-construction

Core Idea

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.

How It's Best Learned

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.

Common Misconceptions

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.

Explainer

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.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxRussell's Theory of Definite DescriptionsCompositionality and Semantic Values

Longest path: 74 steps · 342 total prerequisite topics

Prerequisites (4)

Leads To (8)