Explicature¶
The contextually enriched explicit proposition communicated by an utterance, distinct from what is merely implicated.
Core Idea¶
An explicature is the truth-evaluable proposition explicitly communicated by an utterance after linguistically constrained contextual enrichment such as reference assignment, disambiguation, saturation, and pragmatic development, contrasted with implicature.
We aren't there yet enriches there to the mutually salient destination and now to the utterance time. We've passed Chicago may imply substantial progress without explicitly stating distance remaining.
Scope of Application¶
- Pragmatics. Models explicit communication.
- Semantics. Connects sentence form to truth conditions.
- Discourse analysis. Resolves reference and ellipsis.
- Language philosophy. Studies saying versus implicating.
Clarity¶
Include contextually enriched propositions closely developed from decoded utterance form and used for its truth conditions. Exclude conversational implicatures, presuppositions treated indiscriminately, arbitrary background inference, and literal strings with unresolved indexicals. Inclusion test: Include contextually enriched propositions closely developed from decoded utterance form and used for its truth conditions. Exclusion test: Exclude conversational implicatures, presuppositions treated indiscriminately, arbitrary background inference, and literal strings with unresolved indexicals. Nearest boundary: An implicature may be strongly intended but remains outside what the utterance explicitly says. Exit condition: The category ends when inferred content is not a development of linguistic form. Common misclassifications: It is not the bare decoded sentence. It is not every contextual inference. It is not conversational implicature. It is not presupposition by definition. Nearest named distinctions: Implicature: Conveyed but not explicitly said. Literal meaning: Often underdetermines a proposition. Presupposition: Background commitment with different projection. Entailment: A logical relation rather than enrichment process.
Manages Complexity¶
Context completes explicit content but cannot license any convenient inference. Both contribute speaker meaning while only the former fixes asserted truth conditions.
Abstract Reasoning¶
- Linguistic form — Supplies decoded words and syntax. Context cannot create an unrelated proposition.
- Context — Resolves references, times, places, and senses. The raw sentence may be incomplete.
- Pragmatic development — Fills conceptually constrained material. Unlimited inference collapses explicature into implication.
- Explicit proposition — Provides truth conditions. A subpropositional string alone cannot be evaluated.
- Implicature contrast — Separates conveyed but unstated conclusions. Speaker meaning is broader than explicature.
- Relevance evidence — Selects the intended enrichment. Multiple contexts can yield different explicatures.
Knowledge Transfer¶
Contextual enrichment analysis transfers across utterances when the linguistically constrained explicit proposition remains distinguishable from implicature; any inferred message cannot be promoted to explicature.
Relationships to Other Abstractions¶
Current abstraction Explicature Domain-specific
Parents (1) — more general patterns this builds on
-
Explicature is a kind of Proposition Domain-specific
Explicature is a strict kind of Proposition: it is the contextually enriched explicit proposition communicated by an utterance.
Hierarchy path (1) — routes to 1 parentless root
- Explicature → Proposition → Epistemic Mode Of A Proposition
Neighborhood in Abstraction Space¶
Explicature sits in a crowded region of the domain-specific corpus (21st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Visual Perception & Media Representation (20 abstractions)
Nearest neighbors
- Absolute Metaphor — 0.90
- Text World Theory — 0.90
- Structured Literacy — 0.90
- Paraphrase — 0.90
- Hypozeuxis — 0.90
Computed from structural-signature embeddings · 2026-10-08