Proposition¶
An abstract content expressed by a declarative utterance, capable of being believed, denied or evaluated as true or false independently of the particular sentence expressing it.
Core Idea¶
Theories treat propositions as structured entities, sets of possible worlds, abstract objects, cognitive acts or linguistic constructions; the functional role is more stable than any one ontology. A sentence in a context expresses content by resolving reference and predication; different languages or utterances can converge on the same content, which then serves as the object of attitudes and bearer of truth conditions. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Proposition belongs to philosophy of language and logic and is useful where the analyst can specify the typed philosophy of language and logic carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the language and sentence, utterance context, speaker and time, referents and predicates, expressed content, truth conditions and world or circumstance, attitude holder and mode, translation or paraphrase criterion, structured or unstructured theory, abstract-object commitment and distinction from sentence, statement and fact are explicit.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the language and sentence, utterance context, speaker and time, referents and predicates, expressed content, truth conditions and world or circumstance, attitude holder and mode, translation or paraphrase criterion, structured or unstructured theory, abstract-object commitment and distinction from sentence, statement and fact are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Proposition. Proposition compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed philosophy of language and logic carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of philosophy of language and logic because they reuse the typed philosophy of language and logic carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, A sentence in a context expresses content by resolving reference and predication; different languages or utterances can converge on the same content, which then serves as the object of attitudes and bearer of truth conditions., and type the carrier, state every parameter and convention in the definition, test that the language and sentence, utterance context, speaker and time, referents and predicates, expressed content, truth conditions and world or circumstance, attitude holder and mode, translation or paraphrase criterion, structured or unstructured theory, abstract-object commitment and distinction from sentence, statement and fact are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Proposition Domain-specific
Parents (1) — outgoing typed relations
-
Proposition is a kind of Epistemic Mode Of A Proposition Prime
It remains its own entry because its identity is fixed by the language and sentence, utterance context, speaker and time, referents and predicates, expressed content, truth conditions and world or circumstance, attitude holder and mode, translation or paraphrase criterion, structured or unstructured theory, abstract-object commitment and distinction from sentence, statement and fact.
Children (1) — abstractions linked here by typed relations
-
Explicature Domain-specific is a kind of Proposition
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
- Proposition → is a kind of Epistemic Mode Of A Proposition
Neighborhood in Abstraction Space¶
Proposition sits in a crowded region of the domain-specific corpus (4th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Truth, Meaning & Argumentation (37 abstractions)
Nearest neighbors
- Semantic holism — 0.94
- Denotation — 0.94
- Deflationary theory of truth — 0.93
- Direct reference theory — 0.93
- Predicate transfer — 0.93
Computed from structural-signature embeddings · 2026-10-25