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.

Version: v1 · 2026-09-08 · History
Domain-specific #: 6256
Origin domain: philosophy of language and logic
Subdomain: philosophy of language and logic

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) — more general patterns this builds on

Proposition is a kind of Epistemic Mode Of A Proposition Prime

The proposed strict upward parent is prime:epistemic_mode_of_a_proposition.

Hierarchy path (1) — routes to 1 parentless root

Proposition → Epistemic Mode Of A Proposition

Neighborhood in Abstraction Space¶

Proposition sits in a crowded region of the domain-specific corpus (7^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Grammar, Reference & Linguistic Structure (30 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08