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 more→→Compositionality 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 Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Russell's Theory of Definite Descriptions → Compositionality and Semantic Values

Longest path: 74 steps · 342 total prerequisite topics

Prerequisites (4)

Leads To (8)