more from this thinker     |     more from this text


Single Idea 6335

[filed under theme 3. Truth / H. Deflationary Truth / 1. Redundant Truth ]

Full Idea

The redundancy theory is unable to account for the inference from "Oscar's claim is true" and "Oscar's claim is that snow is white" to "the proposition 'that snow is white' is true", and hence to "snow is white".

Gist of Idea

The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p

Source

Paul Horwich (Truth (2nd edn) [1990], Ch.2.9)

Book Ref

Horwich,Paul: 'Truth (2nd edn)' [OUP 1998], p.39


A Reaction

Earlier objections appealed to the fact that the word 'true' seemed to have a use in ordinary speech, but this seems a much stronger one. In general, showing the role of a term in making inferences pins it down better than ordinary speech does.


The 13 ideas with the same theme [truth is an unnecessary meaningless concept]:

That a judgement is true and that we judge it true are quite different things [Peirce]
The property of truth in 'It is true that I smell violets' adds nothing to 'I smell violets' [Frege]
"The death of Caesar is true" is not the same proposition as "Caesar died" [Russell]
"It is true that x" means no more than x [Ramsey]
Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski]
'It is true that this follows' means simply: this follows [Wittgenstein]
Truth is redundant for single sentences; we do better to simply speak the sentence [Quine]
Asserting the truth of an indexical statement is not the same as uttering the statement [Putnam]
Truth is basic and clear, so don't try to replace it with something simpler [Davidson]
The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich]
Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni]
'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber]
The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne]