- A definition of the predicate ‘…is true’ for a language that satisfies convention T, the material adequacy condition laid down by Tarski . The definition of truth provided by Tarski's methods is a recursive definition, enabling us to say for each sentence what it is that its truth consists in, but giving no verbal definition of truth itself. The recursive definition of the truth predicate of a language is always provided in a metalanguage ; Tarski is thus committed to a hierarchy of languages, each with its associated, but different, truth-predicate. Whilst this enables the approach to avoid the contradictions of the Liar family, it conflicts with the ideal that a language should be able to say everything that there is to say, and other approaches have become increasingly important.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
Truth (religious) — Most religious traditions hold a body of truths that are part of the particular tradition. Such truths may be considered to be spiritually revealed, or may be developed through tradition, or may be a combination of both. Whatever these truths are … Wikipedia
truth-predicate — The predicate ‘is true’ thought of as applicable to the sentences of a language. See truth definition … Philosophy dictionary
truth theory — A theory providing the truth definition for a language … Philosophy dictionary
Truth — • Defines ontological, logical, and moral truth Catholic Encyclopedia. Kevin Knight. 2006. Truth Truth † … Catholic encyclopedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
truth — The property of truth is typically understood to apply to assertions that state what is actually the case. In Aristotle s classic definition, to say of what is, that it is and of what is not, that it is not, is true (1928: IV.7). Among the… … Christian Philosophy
Truth condition — In semantics, truth conditions are what obtain precisely when a sentence is . For example, It is snowing in Nebraska is true precisely when it is snowing in Nebraska.More formally, we can think of a truth condition as what makes for the truth of… … Wikipedia
Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… … Wikipedia
semantic theory of truth — The view that if a language is provided with a truth definition, this is a sufficient characterization of its concept of truth; there is no further philosophical chapter to write about truth itself or truth as shared across different languages.… … Philosophy dictionary