structure for 'Truth'    |     alphabetical list of themes    |     unexpand these ideas

3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique

[criticism of the correspondence theory of truth]

28 ideas
How could you ever know that the presentation is similar to the object? [Sext.Empiricus on Chrysippus]
     Full Idea: One cannot say that the soul grasps the externally existing objects by means of the states of the senses on the basis of the similarity of these states to the externally existing objects. For on what basis will it know the similarity?
     From: comment on Chrysippus (fragments/reports [c.240 BCE]) by Sextus Empiricus - Outlines of Pyrrhonism 2.74
     A reaction: This exactly the main modern reason for rejecting the correspondence theory of truth. You are welcome to affirm a robust view of truth, but supporting it by claiming a correspondence or resemblance is dubious.
An idea can only be like another idea [Berkeley]
     Full Idea: An idea can be like nothing but an idea.
     From: George Berkeley (The Principles of Human Knowledge [1710], §08), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 43 'Mean'
     A reaction: I take this to be relevant to the correspondence theory, but also to be one of Berkeley's best observations. We understand ideas, but we can't map them onto the world (because they are not maps!). ...But then how is one idea like another? Hm.
There cannot be complete correspondence, because ideas and reality are quite different [Frege]
     Full Idea: It is essential that the reality shall be distinct from the idea. But then there can be no complete correspondence, no complete truth.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327 (60))
     A reaction: He thinks that logic can give a perfect account of truth, or at least the extension of truth, where ordinary language will always fail. I wonder what he would have thought of Tarski's theory?
In many cases there is no obvious way in which ideas can agree with their object [James]
     Full Idea: When you speak of the 'time-keeping function' of a clock, it is hard to see exactly what your ideas can copy. ...Where our ideas cannot copy definitely their object, what does agreement with that object mean?
     From: William James (Pragmatism - eight lectures [1907], Lec 6)
     A reaction: This is a very good criticism of the correspondence theory of truth. It looks a lovely theory when you can map components of a sentence (like 'the pen is in the drawer') onto components of reality - but it has to cover the hard cases.
Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach]
     Full Idea: Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth.
     From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1
     A reaction: This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295.
Two maps might correspond to one another, but they are only 'true' of the country they show [Ryle]
     Full Idea: One map of Sussex is like another, but it is not true of that other map, but only of the county.
     From: Gilbert Ryle (Are there propositions? [1930], 'Objections')
     A reaction: One might question whether a map is in any sense 'true' of Sussex, though one must admit that there are good and bad maps of Sussex. The point is a nice one, which shows that there is no simple account of truth as correspondence.
Correspondence theorists shouldn't think that a country has just one accurate map [Austin,JL]
     Full Idea: Correspondence theorists too often talk as one would who held that every map is either accurate or inaccurate; that every country can have but one accurate map.
     From: J.L. Austin (Truth [1950], n 24)
     A reaction: A well-made point, for those who intuitively hang on to correspondence as not only good common sense, but also some sort of salvation for a realist view of the world which might give us certainty in epistemology.
Correspondence between concepts and unconceptualised reality is impossible [Putnam]
     Full Idea: The great nineteenth century argument against the correspondence theory of truth was that one cannot think of truth as correspondence to facts (or 'reality') because one would need to compare concepts directly with unconceptualised reality.
     From: Hilary Putnam (Meaning and the Moral Sciences [1978], Pt Three)
     A reaction: Presumably the criticism was offered by idealists, who preferred a coherence theory. The defence is to say that there is a confusion here between a concept and the contents of a concept. The contents of a concept are designed to be facts.
The correspondence theory is wrong, because there is no one correspondence between reality and fact [Putnam, by O'Grady]
     Full Idea: Putnam argues that theory does not correspond to reality, because there are myriad correspondences possible, and we cannot single out "the" relation of correspondence.
     From: report of Hilary Putnam (Reason, Truth and History [1981]) by Paul O'Grady - Relativism Ch.3
     A reaction: This obviously depends on views about reference and meaning. I don't see the problem in simple cases, which is all the correspondence theory needs. Complex cases, like chemistry, may well have ambiguities, but so what?
Neither Aristotle nor Tarski introduce the facts needed for a correspondence theory [Davidson]
     Full Idea: Neither Aristotle's formula nor Tarski's truth definitions are sympathetic to the correspondence theory, because they don't introduce entities like facts or states of affairs for sentences to correspond.
     From: Donald Davidson (The Folly of Trying to Define Truth [1999], p.25)
     A reaction: This seems convincing, although it is often claimed that both theories offer a sort of correspondence.
Correspondence theories can't tell you what truths correspond to [Davidson]
     Full Idea: The real objection to correspondence theories is that such theories fail to provide entities to which truth vehicles (as statements, sentence, or utterances) can be said to correspond.
     From: Donald Davidson (The Structure and Content of Truth [1990], p.304), quoted by Fred Sommers - Intellectual Autobiography Notes 23
     A reaction: This is the remark which provoked Sommers to come out with Idea 18901, which strikes me as rather profound.
There is nothing interesting or instructive for truths to correspond to [Davidson]
     Full Idea: The real objection to the correspondence theory of truth is that there is nothing interesting or instructive to which true sentences correspond. (C.I. Lewis challenged defenders to locate the fact or part of reality to which a truth corresponded).
     From: Donald Davidson (Truth and Predication [2005], 2)
     A reaction: Davidson defended a correspondence view in 'True to the Facts'. Davidson evidently also thinks the same objection applies to claims about truthmakers. If you say 'gold is shiny', the gold is very dispersed, but it is still there.
Two sentences can be rephrased by equivalent substitutions to correspond to the same thing [Davidson]
     Full Idea: Slingshot: 'Scott is the author of Waverley' and 'The number of counties in Utah is twenty-nine' can be rephrased by substitution so that they are both about the number twenty-nine, and are thus correspond to the same thing.
     From: Donald Davidson (Truth and Predication [2005], 6)
     A reaction: [my paraphrase of Davidson's quote from Church 1956:24] These sentences clearly do not correspond to the same thing, so something has gone wrong with the idea that logically equivalent sentences have identical correspondents.
The Slingshot assumes substitutions give logical equivalence, and thus identical correspondence [Davidson]
     Full Idea: The Slingshot argument (of Frege, Church and Gödel) assumes that if two sentences are logically equivalent, they correspond to the same thing, and what a sentence corresponds to is not changed if a singular term is replaced by a coreferring term.
     From: Donald Davidson (Truth and Predication [2005], 6)
     A reaction: This obviously won't work for 'Oedipus thinks he ought to marry Jocasta'. Sentences correspond, I presume, to what they are about, which is often a matter of emphasis or phrasing. Hence the Slingshot sounds like nonsense to me.
Logical truth seems much less likely to 'correspond to the facts' than factual truth does [Haack]
     Full Idea: It is surely less plausible to suppose that logical truth consists in correspondence to the facts than that 'factual' truth does.
     From: Susan Haack (Philosophy of Logics [1978], 7.6)
Correspondence has to invoke facts or states of affairs, just to serve as truth-makers [Mulligan/Simons/Smith]
     Full Idea: The correspondence theory of truth invokes a special category of non-objectual entities - facts, states of affairs, or whatever - simply to serve as truth-makers.
     From: Mulligan/Simons/Smith (Truth-makers [1984], §3)
The correspondence theory also has the problem that two sets of propositions might fit the facts equally well [Dancy,J]
     Full Idea: The correspondence theory as well as the coherence theory has the problem of more than one set of truths. Why can't two sets of propositions "fit the facts" equally well?
     From: Jonathan Dancy (Intro to Contemporary Epistemology [1985], 8.2)
The common-sense theory of correspondence has never been worked out satisfactorily [Horwich]
     Full Idea: The common-sense notion that truth is a kind of 'correspondence with the facts' has never been worked out to anyone's satisfaction.
     From: Paul Horwich (Truth (2nd edn) [1990], Ch.1)
     A reaction: I've put this in to criticise it. Philosophy can't work by rejecting theories which can't be 'worked out', and accepting theories (like Tarski's) because they can be 'worked out'. All our theories will end up minimal, and defiant of common sense.
The only way to specify the corresponding fact is asserting the sentence [Williams,M]
     Full Idea: The trouble with appeal to facts in the correspondence theory is that, in general, we have no way of indicating what fact a sentence, when true, corresponds to other than asserting the sentence.
     From: Michael Williams (Problems of Knowledge [2001], Ch.12)
'Snow does not fall' corresponds to snow does fall [McGinn]
     Full Idea: We can say that the proposition that snow does not fall from the sky corresponds to the fact that snow does fall from the sky - in the sense that there is a mapping from fact to proposition.
     From: Colin McGinn (Logical Properties [2000], Ch.5)
     A reaction: A very nice difficulty for the correspondence theory. It becomes essential to say how the two things correspond before it can offer any sort of account of the truth-relation.
The idea of truth is built into the idea of correspondence [McGinn]
     Full Idea: The correspondence theory has an air of triviality, and hence undeniability, but this is because it implicitly builds the idea of truth into the notion of correspondence.
     From: Colin McGinn (Logical Properties [2000], Ch.5)
     A reaction: If this is accepted, it is a really fatal objection to the theory. Russell tried to use the idea of 'congruency' between beliefs and reality, but that may be open to the same objection. McGinn is claiming that truth is essentially indefinable.
If something is described in two different ways, is that two facts, or one fact presented in two ways? [Lockwood]
     Full Idea: Do the statements 'Sir Percy Blakeney is in Paris' and 'The Scarlet Pimpernel is in Paris' express different facts, or the same fact under different modes of presentation?
     From: Michael Lockwood (Mind, Brain and the Quantum [1989], p.129)
One-to-one correspondence would need countable, individuable items [Lowe]
     Full Idea: Where there is one-to-one correspondence there must certainly be countable, and therefore individuable items of some kind.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 11.6)
     A reaction: Lowe is criticising precise notions of 'a fact'. We can respond by relaxing the notion of 'one-to-one', if critics are going to be fussy about exactly what the items are. "There is a huge wave coming" doesn't need a precise notion of a wave to be true.
Correspondence to the facts is a bad account of analytic truth [Williamson]
     Full Idea: Even if talk of truth as correspondence to the facts is metaphorical, it is a bad metaphor for analytic truth in a way that it is not for synthetic truth.
     From: Timothy Williamson (The Philosophy of Philosophy [2007], 3.1)
     A reaction: A very simple and rather powerful point. Maybe the word 'truth' should be withheld from such cases. You might say that accepted analytic truths are 'conventional'. If that is wrong, then they correspond to natural facts at a high level of abstraction.
We can't explain the corresponding structure of the world except by referring to our thoughts [Engel]
     Full Idea: The correspondence theory implies displaying an identity or similarity of structure between the contents of thoughts and the way the world is structured, but we seem only to be able to say that the world's structure corresponds to our thoughts.
     From: Pascal Engel (Truth [2002], §1.2)
     A reaction: I don't accept this. The structure of the world gives rise to our thoughts. There is an epistemological problem here (big time!), but that doesn't alter the metaphysical situation of what truth is supposed to be, which is correspondence.
If the correspondence theory is right, then necessary truths must correspond to something [Merricks]
     Full Idea: Suppose for the sake of argument that the correspondence theory is correct. Then it is analytic that each necessary truth, in virtue of being true, corresponds to something.
     From: Trenton Merricks (Truth and Ontology [2007], 2.II)
     A reaction: The sort of nice simple observation for which I admire Merricks. You don't have to give up on the correspondence theory at this point, but you will have to go through with some substantial metaphysics to keep it afloat.
Being true is not a relation, it is a primitive monadic property [Merricks]
     Full Idea: Being true is not a relation. …Being true is a monadic property. …Being true is a primitive property.
     From: Trenton Merricks (Truth and Ontology [2007], 8.IV)
     A reaction: Even after reading Merricks on this, I am not sure I understand it. If a single sentence floats in the void, it is hard to see how the 'monadic' property of truth could accrue to it.
The correspondence 'theory' is too vague - about both 'correspondence' and 'facts' [Horsten]
     Full Idea: The principle difficulty of the correspondence theory of truth is its vagueness. It is too vague to be called a theory until more information is given about what is meant by the terms 'correspondence' and 'fact'. Facts can involve a heavy ontology.
     From: Leon Horsten (The Tarskian Turn [2011], 02.1)
     A reaction: I see nothing here to make me give up my commitment to the correspondence view of truth, though it sounds as if I will have to give up the word 'theory' in that context. Truth is so obviously about thought fitting reality that there is nothing to discuss.