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

Semantic Underdetermination and Context

College Depth 111 in the knowledge graph I know this Set as goal
1topic build on this
587prerequisites beneath it
See this on the map →
The Pragmatics-Semantics DistinctionTruth Conditions and Meaning+4 moreIndexicality and Demonstratives
underdetermination context pragmatics

Core Idea

Grammatical structure underdetermines semantic content; pragmatic principles and contextual factors must narrow interpretation. This explains why context sensitivity is ubiquitous in natural language and why the same sentence can express different propositions in different contexts.

How It's Best Learned

Study cases of genuine underdetermination where syntax alone cannot determine meaning. Distinguish syntactic ambiguity from pragmatic underdetermination to appreciate the difference.

Explainer

From your study of truth conditions, you know that a sentence's meaning can be captured by specifying the conditions under which it is true. And from the semantics/pragmatics boundary, you know that what a sentence means (semantics) and what a speaker communicates by using it (pragmatics) can come apart. Semantic underdetermination brings these two insights together in a sharp way: even the literal, conventional meaning of a sentence — its semantic content — often underdetermines what proposition it expresses, and context must supply the missing content.

Consider "It is raining." This is grammatically complete and syntactically unambiguous. But what proposition does it express? Rain somewhere? Rain here, now? Rain in the location relevant to the conversation? The sentence doesn't specify a time or place — those parameters are implicit and must be filled in contextually. The truth-conditional content of the sentence is incomplete without context. This is not mere ambiguity (where a word has two dictionary meanings) and not mere implicature (where the literal content is enriched by conversational inference). It is a case where the logical form itself leaves open a variable that context must saturate.

Semantic underdetermination is pervasive in natural language. "I've had enough." (Enough of what?) "Everyone left." (Everyone in the universe, or everyone contextually salient?) "Steel is stronger than plastic." (Stronger how, under what conditions, in what configurations?) These sentences all require contextual supplementation before they express a determinate, evaluable proposition — before we can even ask whether they are true or false. Stanley, Sperber and Wilson, and others have mapped the various mechanisms: free enrichment (context adds content with no grammatical slot to receive it), saturation of implicit arguments (grammar posits a variable that context fills), and loosening (context shifts the truth-conditional boundaries of predicates).

The philosophical significance is this: the traditional picture of semantics as fully autonomous — sentences having complete truth conditions fixed by grammar and lexicon alone — turns out to be false for most ordinary utterances. The boundary between what is semantically encoded and what is pragmatically supplied is not clean. This challenges strong semantic minimalism (the view that sentences have minimal truth conditions independent of context) and supports contextualism: the view that context shapes not just what is conversationally communicated but what is literally expressed. Understanding underdetermination is prerequisite to evaluating the semantics-pragmatics debate, indexicality, and the proper scope of formal semantic theories.

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 SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicA Priori and A Posteriori KnowledgeRationalism vs. EmpiricismThe Problem of InductionPopper's FalsificationismFalsifiability as the Criterion of DemarcationThe Falsifiability Criterion and Its ProblemsKuhn's Paradigm TheoryNormal Science and AnomaliesThomas Kuhn and Paradigm ShiftsScientific Progress and Convergence to TruthScientific RealismNaturalism About Semantic FactsPropositions and Semantic ContentTruth Conditions and MeaningSemantic Underdetermination and Context

Longest path: 112 steps · 587 total prerequisite topics

Prerequisites (6)

Leads To (1)