Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Truth-bearer
Summary
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,
or seek to avoid addressing their distinction or do not clarify it.
Some distinctions and terminology as used in this article, based on Wolfram 1989
(Chapter 2 Section1) follow.
It should be understood that the terminology described is not always used in the ways set out, and it is introduced solely for the purposes of discussion in this article. Use is made of the type–token and use–mention distinctions. Reflection on occurrences of numerals might be helpful.
In grammar a sentence can be a declaration, an explanation, a question, a command. In logic a declarative sentence is considered to be a sentence that can be used to communicate truth. Some sentences which are grammatically declarative are not logically so.
A character is a typographic character (printed or written) etc.
A word-token is a pattern of characters.
A word-type
is an identical pattern of characters.
A meaningful-word-token
is a meaningful pattern of characters.
Two word-tokens which mean the same are of the same word-meaning
A sentence-token is a pattern of word-tokens.
A meaningful-sentence-token
is a meaningful sentence-token or a meaningful pattern of meaningful-word-tokens.
Two sentence-tokens are of the same sentence-type if they are identical patterns of word-tokens characters
A declarative-sentence-token is a sentence-token which that can be used to communicate truth or convey information.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.