Governed LogicReasoning Systems
Explore the research method

Correspondence

Lowercase-t truth is propositional correspondence: a claim is true when its representation corresponds to reality and false when it does not. Correspondence is therefore the operational truth relation used in adjudication.

This distinction removes the prior ambiguity in using the single word "truth" for both the ultimate referent and the truth-value of propositions.

Truth is correspondence to one reality.