| 13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
| Full Idea: Those statements that say of the things that are that they are, are true, while those that say of the things that are that they are not, are false. | |
| From: Plato (Cratylus [c.377 BCE], 385b) | |
| A reaction: It was quite a shock to discover this, because the famous Aristotle definition (Idea 586) is always quoted, and no modern writers seem to have any awareness of the Plato remark. Classical scholarship is very poor in analytic philosophy. |
| 35 | A statement is true if all the data are in harmony with it [Aristotle] |
| Full Idea: A statement is true if all the data are in harmony with it. | |
| From: Aristotle (Nicomachean Ethics [c.334 BCE], 1098b12) | |
| A reaction: I think being 'in harmony' is a better than 'corresponds' as an attempt at pinpointing the truth relationship. It seems impossible to pin down how 'the bus is coming' relates to the bus coming. |
| 1704 | Statements are true according to how things actually are [Aristotle] |
| Full Idea: Statements are true according to how things actually are. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a33) |
| 586 | Falsity says that which is isn't, and that which isn't is; truth says that which is is, and that which isn't isn't [Aristotle] |
| Full Idea: Falsity is the assertion that that which is is not or that that which is not is, and truth is the assertion that that which is is and that that which is not is not. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1011b20) | |
| A reaction: It was very startling to discover Plato's Idea 13776, and realise that this famous and much-quoted idea of Aristotle's was not original to him. I find it very hard to disagree with any aspect of the idea. |
| 19165 | Aristotle's truth formulation concerns referring parts of sentences, not sentences as wholes [Aristotle, by Davidson] |
| Full Idea: Aristotle's formulation postulates no entities like facts. The things of which we say that they are or that they are not are the entities adverted to by the referring parts of sentences, not by sentences as wholes. | |
| From: report of Aristotle (Metaphysics [c.324 BCE], 1011b21) by Donald Davidson - Truth and Predication 6 | |
| A reaction: Aristotle seems to refer to the existences or non-existences of things. Presumably this would mean referring not to an apple, but to a red apple or a green apple, seen as two different things, even though they were the 'same' apple? |
| 22104 | Truth is the conformity of being to intellect [Aquinas] |
| Full Idea: The word 'true' expresses the conformity of a being to intellect. | |
| From: Thomas Aquinas (Disputed questions about truth [1267], I.1c), quoted by Kretzmann/Stump - Aquinas, Thomas 09 | |
| A reaction: I believe in a 'robust' theory of truth, but accept that the concept of 'correspondence' has major problems. So I embrace with delight the word 'conformity'. I offer the world The Conformity Theory of Truth! 'Conform' is suitably vague. |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| Full Idea: If in the proposition 'This is an angel' subject and predicate stand for the same thing, the proposition is true. | |
| From: William of Ockham (Summa totius logicae [1323], II.c.ii) | |
| A reaction: An interesting statement of what looks like a correspondence theory, employing the idea that both the subject and the predicate have a reference. I think Frege would say that 'x is an angel' is unsaturated, and so lacks reference. |
| 4816 | A true idea must correspond with its ideate or object [Spinoza] |
| Full Idea: A true idea must correspond with its ideate or object. | |
| From: Baruch de Spinoza (The Ethics [1675], I Ax 6) | |
| A reaction: Allowing for his usage of 'idea' and 'object', this seems to be a straightforward commitment to the modern correspondence theory, perhaps the earliest clear statement of it. I agree with him. |
| 13000 | Truth is correspondence between mental propositions and what they are about [Leibniz] |
| Full Idea: Let us be content with looking for truth in the correspondence between the propositions which are in the mind and the things which they are about. | |
| From: Gottfried Leibniz (New Essays on Human Understanding [1704], 4.05) | |
| A reaction: In an age when the nature of truth was hardly debated, and theories such as coherence and pragmatism, never mind semantic accounts, were unthought of, it is interesting to see that correspondence seems obvious to Leibniz. Correct! |
| 5539 | We must presuppose that truth is agreement of cognition with its objects [Kant] |
| Full Idea: The nominal definition of truth, namely that it is agreement of cognition with its objects, is here granted and presupposed; but one demands to know what is the general and certain criterion of the truth of any cognition. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B082/A58) | |
| A reaction: I am puzzled by the second part of this, as the demand for a criterion (or justification) seems to me to have no part at all in our notion of what truth is in itself. It is a puzzle that Kant seems to accept the concept of truth used by simple realists. |
| 19071 | The deeper sense of truth is a thing matching the idea of what it ought to be [Hegel] |
| Full Idea: Truth in the deeper sense is the identity between objectivity and the notion. It is in this deeper sense of truth that we speak of a true state or work of art. These are true if they are as they ought to be (their reality corresponds to their notion). | |
| From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §213) | |
| A reaction: This seems to be a correspondence theory, but not as we know it, Jim. He seems to have a value built into truth, which sounds to me like existentialist 'authenticity'. I like what he is saying, but I would analyse it into two or more components. |
| 5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
| Full Idea: The correspondence of proposition and fact grows increasingly complicated as we pass to more complicated types of propositions: existence-propositions, general propositions, disjunctive and hypothetical propositions, and so on. | |
| From: Bertrand Russell (On Propositions: What they are, and Meaning [1919], §IV) | |
| A reaction: An important point. Truth must not just work for 'it is raining', but also for maths, logic, tautologies, laws etc. This is why so many modern philosophers have retreated to deflationary and minimal accounts of truth, which will cover all cases. |
| 7395 | Truth as congruence may work for complex beliefs, but not for simple beliefs about existence [Joslin on Russell] |
| Full Idea: If truth is congruence between a complex belief and a complex relation between objects in the world, this may work for Othello's belief about Desdemona, but it doesn't seem to work for the simple belief that an object exists. | |
| From: comment on Bertrand Russell (Problems of Philosophy [1912], Ch.12) by Jack Joslin - talk | |
| A reaction: Though Russell has an interesting and persuasive theory, this seems like a big problem. To have a complex belief about a complex of objects, you must first have beliefs about the objects (and that can't be acquaintance, because error is possible). |
| 5428 | Beliefs are true if they have corresponding facts, and false if they don't [Russell] |
| Full Idea: A belief is true when there is a corresponding fact, and is false when there is no corresponding fact. | |
| From: Bertrand Russell (Problems of Philosophy [1912], Ch.12) | |
| A reaction: Russell tries to explain a 'fact' as a complex unity of constituents with a certain order among them. There is an obvious problem that some of the 'orders' in the world are imposed on it by the mind. But we don't invent 'D's love for C'. |
| 6343 | For Russell, both propositions and facts are arrangements of objects, so obviously they correspond [Horwich on Russell] |
| Full Idea: Given Russell's notion of a proposition, as an arrangement of objects and properties, it is hard to see how there could be any difference at all between such a proposition and the fact corresponding to it, since they each involve the same arrangement. | |
| From: comment on Bertrand Russell (On the Nature of Truth and Falsehood [1910]) by Paul Horwich - Truth (2nd edn) Ch.7.35 | |
| A reaction: This seems a little unfair, given that Russell (in 1912) uses the notion now referred to as 'congruence', so that the correspondence is not in the objects and properties, but in how they are 'ordered', which may differ between proposition and fact. |
| 18707 | All thought has the logical form of reality [Wittgenstein] |
| Full Idea: Thought must have the logical form of reality if it is to be thought at all. | |
| From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], A V.1) | |
| A reaction: This links nicely the idea that true thoughts somehow share the structure of what they refer to, with the idea of logical form in logic. But maybe logical form is a fiction we offer in order to obtain a spurious map of reality. |
| 10967 | Wittgenstein's picture theory is the best version of the correspondence theory of truth [Read on Wittgenstein] |
| Full Idea: Wittgenstein's picture theory is without doubt the best thought-out and developed of all the versions of the correspondence theory of truth. | |
| From: comment on Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921]) by Stephen Read - Thinking About Logic Ch.1 |
| 7087 | Language is [propositions-elementary propositions-names]; reality is [facts-states of affairs-objects] [Wittgenstein, by Grayling] |
| Full Idea: Language consists in propositions, which are made of 'elementary' propositions, which are based ultimately on names. This matches the world of facts, compounded out of 'states of affairs', which are compounded of objects. | |
| From: report of Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921]) by A.C. Grayling - Wittgenstein Ch.2 | |
| A reaction: This is Grayling's summary of the basic idea of the 'Tractatus'. The whole thing seems to be an elaborate version of Russell's 'congruence' account of the correspondence theory of truth. Later Wittgenstein is loss of faith in this theory. |
| 4702 | The account of truth in the 'Tractatus' seems a perfect example of the correspondence theory [Wittgenstein, by O'Grady] |
| Full Idea: Wittgenstein's account in the 'Tractatus' is often taken as a paradigm instance of a sophisticated correspondence theory of truth. | |
| From: report of Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921]) by Paul O'Grady - Relativism Ch.2 | |
| A reaction: This might explain why I am so much more drawn to the 'Tractatus' than to the later relativistic anti-philosophical mind-eliminitavist, meaning-eliminativist Wittgenstein. |
| 7056 | Pictures reach out to or feel reality, touching at the edges, correlating in its parts [Wittgenstein] |
| Full Idea: A picture attaches to reality by reaching out to it; it is laid against reality like a measure; only the end-points actually touch the object; the pictorial relationship consists of correlations of picture's elements with things, the picture's feelers. | |
| From: Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 2.1511-5) | |
| A reaction: (somewhat compressed). This is Wittgenstein's so-called 'picture theory' of meaning (replaced later by 'meaning is use'). It is perhaps better seen as an account of the correspondence theory of truth. Compare Russell's 'congruence' view (Idea 5427). |
| 21750 | Science is sympathetic to truth as correspondence, since it depends on observation [Quine] |
| Full Idea: Science, thanks to its links with observation, retains some title to a correspondence theory of truth. | |
| From: Willard Quine (On the Nature of Moral Values [1978], p.63) | |
| A reaction: I would describe what he is affirming as a 'robust' theory of truth. An interesting aside, given his usual allegiance to disquotational, and even redundancy, accounts of truth. You can hardly rely on observations if you think they contain no truth. |
| 10835 | True sentences says the appropriate descriptive thing on the appropriate demonstrative occasion [Austin,JL] |
| Full Idea: A sentence is said to be true when the historic state of affairs to which it is correlated by the demonstrative conventions (the one to which it 'refers') is of a type with which the sentence used in making it is correlated by the descriptive conventions. | |
| From: J.L. Austin (Truth [1950], §3) | |
| A reaction: This is correspondence by convention rather than correspondence by mapping. Personally I prefer some sort of mapping account, despite all the difficulty and vagueness of specifying what maps onto what. |
| 6266 | We need the correspondence theory of truth to understand language and science [Putnam] |
| Full Idea: A correspondence theory of truth is needed to understand how language works, and how science works. | |
| From: Hilary Putnam (Meaning and the Moral Sciences [1978], Intro) | |
| A reaction: Putnam retreated from this position to a more pragmatic one later on, but all my sympathies are with the present view, despite being repeatedly told by modern philosophers that I am wrong. See McGinn (Idea 6085) and Searle (Idea 3508). |
| 7617 | Before Kant, all philosophers had a correspondence theory of truth [Putnam] |
| Full Idea: Before Kant it is impossible to find any philosopher who did not have a correspondence theory of truth. | |
| From: Hilary Putnam (Reason, Truth and History [1981], Ch.3) | |
| A reaction: I don't believe this is true of Descartes. See ideas 2266 and 4298. Truth is 'clear and distinct' conceptions, but if you enlarge (and maybe socialise) 'clear' you get coherent. Descartes firmly avoids correspondence, because he can't trust 'facts'. |
| 4742 | Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong] |
| Full Idea: In Armstrong's version of the correspondence theory, the truth-making relation is not one-one, but one-many or many-one. Thus 'p or q' has two truth makers, p and q. | |
| From: David M. Armstrong (A World of States of Affairs [1997], p.129), quoted by Pascal Engel - Truth Ch.1 | |
| A reaction: Interesting. Armstrong deals in universals. He also cites many swans as truth-makers for 'there is a least one black swan'. Not correspondence as we know it, Jim. |
| 3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
| Full Idea: Our beliefs must claim a correspondence with facts, and then the verbal expression of the belief must correspond to the belief itself. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.4) |
| 18702 | Names, descriptions and predicates refer to things; without that, language and thought are baffling [Davidson] |
| Full Idea: The simple thesis that names and descriptions often refer to things, and that predicates often have an extension in the world of things, is obvious, and essential to the most elementary appreciation of both language and the thoughts we express. | |
| From: Donald Davidson (Replies to Critics [1998], p.323) | |
| A reaction: In 1983 Davidson had been a rare modern champion of the coherence theory of truth, but this is his clearest later renunciation of that view (and quite right too). |
| 23292 | Correspondence can't be defined, but it shows how truth depends on the world [Davidson] |
| Full Idea: Correspondence, while it is empty as a definition, does capture the thought that truth depends on how the world is. | |
| From: Donald Davidson (Truth Rehabilitated [1997], p.16) | |
| A reaction: Just don't try to give a precise account of the correspondence between two things (thoughts and facts) which are so utterly different in character. |
| 3508 | Correspondence to the facts HAS to be the aim of enquiry [Searle] |
| Full Idea: It does not matter whether "true" does mean corresponds to the facts, because "corresponds to the facts" does mean corresponds to the facts, and any discipline that aims to describe how the world is aims for this correspondence. | |
| From: John Searle (The Rediscovery of the Mind [1992], Ch.10.V) |
| 4901 | Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry] |
| Full Idea: I think knowledge and truth are a matter of correspondence to facts, despite all the energy spent showing the naïveté of this view. The connections of our ideas in our heads correspond to relations in the outside world. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Yes. Modern books offer the difficulties of defining 'correspondence', and finding an independent account of 'facts', as conclusive objections, but I say a brain is a truth machine, and it had better be useful. Indefinability doesn't nullify concepts. |
| 6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
| Full Idea: One correspondence theory (e.g. early Wittgenstein) concerns representations and facts; alternatively (Tarski, Davidson) the category of fact is eschewed, and the truth of sentences or propositions is built out of relations of reference and satisfaction. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.7.35) | |
| A reaction: A helpful distinction. Clearly the notion of a 'fact' is an elusive one ("how many facts are there in this room?"), so it seems quite promising to say that the parts of the sentence correspond, rather than the whole thing. |
| 18364 | Correspondence theory likes ideal languages, that reveal the structure of propositions [David] |
| Full Idea: Correspondence theorists tend to promote ideal languages, ...which is intended to mirror perfectly the structure of the propositions it expresses. | |
| From: Marian David (Truth-making and Correspondence [2009], n 03) |
| 10354 | Correspondence could be with other beliefs, rather than external facts [Kusch] |
| Full Idea: The correspondence theory of truth does not commit one to the view the reality is mind-independent. There is no reason why the 'facts' that correspond to true beliefs might not themselves be beliefs or ideas. | |
| From: Martin Kusch (Knowledge by Agreement [2002], Ch.17) | |
| A reaction: This seems important, as it is very easy to assume that espousal of correspondence necessarily goes with realism about the external world. It is surprising to think that a full-blown Idealist might espouse the correspondence theory. |
| 22324 | It has been unfortunate that externalism about truth is equated with correspondence [Potter] |
| Full Idea: There has been an unfortunate tendency in the secondary literature to equate externalism about truth with the correspondence theory. | |
| From: Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 65 'Truth') | |
| A reaction: Quite helpful to distinguish internalist from externalist theories of truth. It is certainly the case that robust externalist views of truth have unfortunately been discredited merely because the correspondence account is inadequate. |
| 18337 | Correspondence theories assume that truth is a representation relation [Rami] |
| Full Idea: One guiding intuition concerning a correspondence theory of truth says that the relation that accounts for the truth of a truth-bearer is some kind of representation relation. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: I unfashionably cling on to some sort of correspondence theory. The paradigm case is of a non-linguistic animal which forms correct or incorrect views about its environment. Truth is a relation, not a property. I see the truth in a bad representation. |