An obtaining state of affairs or reality that functions as the truth‑maker for a true proposition; the ontological ground that corresponds to and accounts for propositional truth.

Principle

A fact is what obtains; when a proposition is true, there is (or is said to be) a fact that explains its truth by matching the proposition's content to the world's configuration.

Demonstration

Situation: Someone asserts 'It is raining.' Recognition: We identify the obtaining meteorological condition (rain at the relevant location and time). Action: We count the proposition as true because the corresponding fact obtains. Consequence: Speech acts, explanations, and inferences that rely on the proposition proceed from the existence of that fact as their ontological basis.

Misapplication

Equating a fact with a belief, report, or true sentence (linguistic token) mistakes the ontological basis: a true sentence represents or expresses a fact but is not identical to the fact itself.

Consequence

Treating facts as the ontological grounds for truth organizes epistemic practices (justification, explanation) around what obtains, but it also commits one to an ontology that may include negative, complex, or composite facts depending on one's theory.

Reversal

Deflationist or pragmatic accounts of truth minimize or eliminate the need for a distinct category of 'fact' as ontological ground; on such views 'fact' may be a convenient shorthand rather than a metaphysical entity.

Boundary

Clearly within: a concrete obtaining situation like 'the lamp is on'. Boundary case: negative facts (e.g., 'there are no cookies') and whether they are bona fide facts is disputed. Clearly outside: utterances, beliefs, or propositions considered as representational vehicles rather than as the ontological grounds they purport to describe.

Semantic Tension

Fact ↔ Truth‑Bearer (Proposition/Sentence) — distinguishing the ontological ground from the representational vehicle constrains analyses of truth, epistemology, and semantics.

Synthesis

Facts serve as the ontological counterpart to true propositions: they are what is said to obtain in the world, and treating them as such clarifies the separation of being (what obtains) from saying (what is asserted).