A classical formulation of the correspondence theory of truth tells us that truth is a general relational property, involving a characteristic relation to some portion of reality. The relation is said to be correspondence; the portion of reality is said to be a fact. Even so, the theory has a lengthy history, and many versions relied on objects rather than facts. This chapter reviews the various options for formulating a correspondence theory of truth, along with the relata they presuppose, and the nature of the correspondence relation they rely upon. It concentrates on fact-based theories, and the nature of the truth-bearers and facts they presuppose.
Keywords: truth; correspondence; fact; proposition; logical atomism; subject; predicate; structure; Russell; Moore; Austin; Aquinas
Article. 10418 words.
Subjects: Philosophy of Mathematics and Logic
Full text: subscription required