Truth-bearer

A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous,[1] or seek to avoid addressing their distinction or do not clarify it.[2]

  1. ^ e.g.
    • "In symbolic logic, a statement (also called a proposition) is a complete declarative sentence, which is either true or false." Vignette 17 Logic, Truth and Language
    • "A statement is just that; it is a declaration about something—anything—a declaration which can be evaluated as either true or false. "I am reading this sentence" is a statement, and if indeed you have looked at it and comprehended its meaning, then it is safe to say that that statement can be evaluated as true."Fundamental Logic Concepts: Statement Archived 2008-05-22 at the Wayback Machine
  2. ^ e.g. * "Some philosophers claim that declarative sentences of natural language have underlying logical forms and that these forms are displayed by formulas of a formal language. Other writers hold that (successful) declarative sentences express propositions; and formulas of formal languages somehow display the forms of these propositions." Shapiro, Stewart (2008). "Classical Logic". In Edward N. Zalta (ed.). "Classical Logic" in The Stanford Encyclopedia of Philosophy (Fall 2008 ed.). Metaphysics Research Lab, Stanford University.