more from this thinker | more from this text
Full Idea
Truth can't be eliminated from universal statements saying all sentences of a certain type are true, or from the proof that 'all consequences of true sentences are true'. It is also needed if we can't name the sentence ('Plato's first sentence is true').
Gist of Idea
Truth can't be eliminated from universal claims, or from particular unspecified claims
Source
Alfred Tarski (The Semantic Conception of Truth [1944], 16)
Book Ref
'Semantics and the Philosophy of Language', ed/tr. Linsky,Leonard [University of Illinois 1972], p.31
A Reaction
This points to the deflationary view of truth, if its only role is in talking about other sentences in this way. Tarski gives the standard reason for rejecting the Redundancy view.
| 14777 | That a judgement is true and that we judge it true are quite different things [Peirce] |
| 19468 | The property of truth in 'It is true that I smell violets' adds nothing to 'I smell violets' [Frege] |
| 14176 | "The death of Caesar is true" is not the same proposition as "Caesar died" [Russell] |
| 3750 | "It is true that x" means no more than x [Ramsey] |
| 19197 | Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski] |
| 11074 | 'It is true that this follows' means simply: this follows [Wittgenstein] |
| 9011 | Truth is redundant for single sentences; we do better to simply speak the sentence [Quine] |
| 2347 | Asserting the truth of an indexical statement is not the same as uttering the statement [Putnam] |
| 19153 | Truth is basic and clear, so don't try to replace it with something simpler [Davidson] |
| 6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
| 12439 | Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni] |
| 21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
| 14008 | The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne] |