Economics Dictionary of ArgumentsHome![]() | |||
| |||
Truth Predicate: the truth predicate of a language is the "is true" expressed in this language. Its allowance can be empirically justified or attributed to the statement on the basis of the logical form. According to the redundancy theory, the truth-predicate is fundamentally superfluous. According to W.V.O. Quine (Quine, Philosophie der Logik, 2005, p. 33), the truth predicate is merely used for generalization. For example, all sentences of a particular form are true. A language containing its own truth-predicate is semantically closed. In such a language, semantic paradoxes are possible. See also expressiveness, circularity, semantic closeness, truth, truth definition, redundancy theory, self-reference, paradoxes._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Saul A. Kripke on Truth Predicate - Dictionary of Arguments
III 400 Truth predicate: because all the sentences T (f) biconditional f can be derived, the predicate may be interpreted as truth and Sat1 (x) can be interpreted only as the satisfaction (of a variable). >Disquotation scheme, >Satisfaction, >Variables. _____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Kripke I S.A. Kripke Naming and Necessity, Dordrecht/Boston 1972 German Edition: Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf, Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell, Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984 |