In
metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
and
philosophy of language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), me ...
, the correspondence theory of truth states that the
truth
Truth or verity is the Property (philosophy), property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth, 2005 In everyday language, it is typically ascribed to things that aim to represent reality or otherwise cor ...
or
falsity of a
statement
Statement or statements may refer to: Common uses
*Statement (computer science), the smallest standalone element of an imperative programming language
*Statement (logic and semantics), declarative sentence that is either true or false
*Statement, ...
is determined only by how it relates to the world and whether it accurately describes (i.e., corresponds with) that world.
[Hanna and Harrison (2004), ch. 1, p. 21, quotation: "The assessment of truth and falsity is made possible by the existence of semantically mediated correlations between the members of some class of linguistic entities possessing assertoric force (in some versions of the Correspondence Theory propositions, in others sentences, or bodies of sentences), and the members of some class of extralinguistic entities: “states of affairs,” or “facts,” or bodies of truth-conditions, or of assertion-warranting circumstances."]
Correspondence theories claim that true beliefs and true statements correspond to the actual
state of affairs. This type of theory attempts to posit a relationship between thoughts or statements on one hand, and things or
fact
A fact is a truth, true data, datum about one or more aspects of a circumstance. Standard reference works are often used to Fact-checking, check facts. Science, Scientific facts are verified by repeatable careful observation or measurement by ...
s on the other.
History
Correspondence theory is a traditional model which goes back at least to some of the
ancient Greek philosophers
Ancient Greek philosophy arose in the 6th century BC. Philosophy was used to make sense of the world using reason. It dealt with a wide variety of subjects, including astronomy, epistemology, mathematics, political philosophy, ethics, metaphysics ...
such as
Plato
Plato ( ; Greek language, Greek: , ; born BC, died 348/347 BC) was an ancient Greek philosopher of the Classical Greece, Classical period who is considered a foundational thinker in Western philosophy and an innovator of the writte ...
and
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, a ...
.
['']Encyclopedia of Philosophy
An encyclopedia is a reference work or compendium providing summaries of knowledge, either general or special, in a particular field or discipline. Encyclopedias are divided into articles or entries that are arranged alphabetically by artic ...
'', Vol. 2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, Macmillan, 1969, pp. 223–4. This class of theories holds that the truth or the falsity of a
representation is determined solely by how it relates to a reality; that is, by whether it accurately describes that reality. As Aristotle claims in his ''
Metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
'': "To say that that which is, is not, and that which is not, is, is a falsehood; therefore, to say that which is, is, and that which is not, is not, is true".
A classic example of correspondence theory is the statement by the
medieval philosopher and theologian
Thomas Aquinas
Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the W ...
: "Veritas est adaequatio rei et intellectus" ("Truth is the adequation of things and
intellect
Intellect is a faculty of the human mind that enables reasoning, abstraction, conceptualization, and judgment. It enables the discernment of truth and falsehood, as well as higher-order thinking beyond immediate perception. Intellect is dis ...
"), which Aquinas attributed to the ninth-century
Neoplatonist
Neoplatonism is a version of Platonic philosophy that emerged in the 3rd century AD against the background of Hellenistic philosophy and religion. The term does not encapsulate a set of ideas as much as a series of thinkers. Among the common id ...
Isaac Israeli.
[
Correspondence theory was either explicitly or implicitly embraced by most of the ]early modern
The early modern period is a Periodization, historical period that is defined either as part of or as immediately preceding the modern period, with divisions based primarily on the history of Europe and the broader concept of modernity. There i ...
thinkers, including René Descartes
René Descartes ( , ; ; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and Modern science, science. Mathematics was paramou ...
, Baruch Spinoza
Baruch (de) Spinoza (24 November 163221 February 1677), also known under his Latinized pen name Benedictus de Spinoza, was a philosopher of Portuguese-Jewish origin, who was born in the Dutch Republic. A forerunner of the Age of Enlightenmen ...
, John Locke
John Locke (; 29 August 1632 (Old Style and New Style dates, O.S.) – 28 October 1704 (Old Style and New Style dates, O.S.)) was an English philosopher and physician, widely regarded as one of the most influential of the Enlightenment thi ...
, Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to ...
, David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beg ...
, and Immanuel Kant
Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German Philosophy, philosopher and one of the central Age of Enlightenment, Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works ...
.[ (However, Spinoza and Kant have also been isnterpreted as defenders of the ]coherence theory of truth
Coherence theories of truth characterize truth as a property of whole systems of propositions that can be ascribed to individual propositions only derivatively according to their coherence with the whole. While modern coherence theorists hold that ...
.) Correspondence theory has also been attributed to Thomas Reid
Thomas Reid (; 7 May (Julian calendar, O.S. 26 April) 1710 – 7 October 1796) was a religiously trained Scotland, Scottish philosophy, philosopher best known for his philosophical method, his #Thomas_Reid's_theory_of_common_sense, theory of ...
.
In late modern philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre ...
, Friedrich Wilhelm Joseph Schelling
Friedrich Wilhelm Joseph Schelling (; 27 January 1775 – 20 August 1854), later (after 1812) von Schelling, was a German philosopher. Standard histories of philosophy make him the midpoint in the development of German idealism, situating him be ...
espoused the correspondence theory. According to Bhikhu Parekh, Karl Marx
Karl Marx (; 5 May 1818 – 14 March 1883) was a German philosopher, political theorist, economist, journalist, and revolutionary socialist. He is best-known for the 1848 pamphlet '' The Communist Manifesto'' (written with Friedrich Engels) ...
also subscribed to a version of the correspondence theory.
In contemporary
Contemporary history, in English-language historiography, is a subset of modern history that describes the historical period from about 1945 to the present. In the social sciences, contemporary history is also continuous with, and related t ...
Continental philosophy
Continental philosophy is a group of philosophies prominent in 20th-century continental Europe that derive from a broadly Kantianism, Kantian tradition.Continental philosophers usually identify such conditions with the transcendental subject or ...
, Edmund Husserl
Edmund Gustav Albrecht Husserl (; 8 April 1859 – 27 April 1938) was an Austrian-German philosopher and mathematician who established the school of Phenomenology (philosophy), phenomenology.
In his early work, he elaborated critiques of histori ...
defended the correspondence theory. In contemporary
Contemporary history, in English-language historiography, is a subset of modern history that describes the historical period from about 1945 to the present. In the social sciences, contemporary history is also continuous with, and related t ...
analytic philosophy
Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
, Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
,[Bertrand Russell, ''Philosophy of Logical Atomism'', Open Court, 1998 ]918
__NOTOC__
Year 918 (Roman numerals, CMXVIII) was a common year starting on Thursday of the Julian calendar.
Events
By place
Europe
* December 23 – King Conrad I of Germany, Conrad I, injured at one of his battles with Arnulf, D ...
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
From 1929 to 1947, Witt ...
(at least in his early period),[Ludwig Wittgenstein, ''Tractatus Logico-Philosophicus'', Routledge 2001 921] J. L. Austin,[Austin, J. L., 1950, "Truth", reprinted in ''Philosophical Papers'', 3rd ed., Oxford: Oxford University Press 1979, 117–33.] and Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
defended the correspondence theory.
Varieties
Correspondence as congruence
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
[ and ]Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
From 1929 to 1947, Witt ...
[ have in different ways suggested that a statement, to be true, must have some kind of structural ]isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
with the state of affairs in the world that makes it true. For example, "A cat is on a mat" is true if, and only if, there is in the world a cat and a mat and the cat is related to the mat by virtue of being on it. If any of the three pieces (the cat, the mat, and the relation between them which correspond respectively to the subject, object, and verb of the statement) is missing, the statement is false. Some sentences pose difficulties for this model, however. As just one example, adjectives such as "counterfeit", "alleged", or "false" do not have the usual simple meaning of restricting the meaning of the noun they modify: a "tall lawyer" is a kind of lawyer, but an "alleged lawyer" may not be.
Correspondence as correlation
J. L. Austin[ theorized that there need not be any structural parallelism between a true statement and the state of affairs that makes it true. It is only necessary that the ]semantics
Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...
of the language
Language is a structured system of communication that consists of grammar and vocabulary. It is the primary means by which humans convey meaning, both in spoken and signed language, signed forms, and may also be conveyed through writing syste ...
in which the statement is expressed are such as to correlate whole-for-whole the statement with the state of affairs. A false statement, for Austin, is one that is correlated by the language to a state of affairs that does not exist.
Relation to ontology
Historically, most advocates of correspondence theories have been metaphysical realists; that is, they believe that there is a world external to the mind
The mind is that which thinks, feels, perceives, imagines, remembers, and wills. It covers the totality of mental phenomena, including both conscious processes, through which an individual is aware of external and internal circumstances ...
s of all humans. This is in contrast to metaphysical idealists who hold that everything that exists, exists as a substantial metaphysical entity independently of the individual thing of which it is predicated, and also to conceptualists who hold that everything that exists is, in the end, just an idea in some mind. However, it is not strictly necessary that a correspondence theory be married to metaphysical realism. It is possible to hold, for example, that the facts of the world determine which statements are true and to also hold that the world (and its facts) is but a collection of ideas in the mind of some supreme being
Existence is the state of having being or reality in contrast to nonexistence and nonbeing. Existence is often contrasted with essence: the essence of an entity is its essential features or qualities, which can be understood even if one do ...
.[See Kirkham, 1992, section 4.6]
Objections
One attack on the theory claims that the correspondence theory succeeds in its appeal to the real world only in so far as the real world is reachable by us.
The direct realist believes that we directly know objects as they are. Such a person can wholeheartedly adopt a correspondence theory of truth.
The rigorous idealist
Idealism in philosophy, also known as philosophical realism or metaphysical idealism, is the set of metaphysical perspectives asserting that, most fundamentally, reality is equivalent to mind, spirit, or consciousness; that reality is entir ...
believes that there are no real, mind-independent objects. The correspondence theory appeals to imaginary undefined entities, so it is incoherent.
Other positions hold that we have some type of awareness
In philosophy and psychology, awareness is the perception or knowledge of something. The concept is often synonymous with consciousness. However, one can be aware of something without being explicitly conscious of it, such as in the case of bli ...
, perception
Perception () is the organization, identification, and interpretation of sensory information in order to represent and understand the presented information or environment. All perception involves signals that go through the nervous syste ...
, etc. of real-world objects which in some way falls short of direct knowledge of them. But such an indirect awareness or perception is itself an idea in one's mind, so that the correspondence theory of truth reduces to a correspondence between ideas about truth and ideas of the world, whereupon it becomes a coherence theory of truth
Coherence theories of truth characterize truth as a property of whole systems of propositions that can be ascribed to individual propositions only derivatively according to their coherence with the whole. While modern coherence theorists hold that ...
.[See Michael Williams, 1977]
Vagueness or circularity
Either the defender of the correspondence theory of truth offers some accompanying theory of the world, or they do not.
If no theory of the world is offered, the argument is so vague as to be useless or even unintelligible: truth would then be supposed to be correspondence to some undefined, unknown or ineffable world.
It would in this case be difficult to see how a candid truth could be more certain than the world we are to judge its degree of correspondence against.
On the other hand, as soon as the defender of the correspondence theory of truth offers a theory of the world, they are operating in some specific ontological or scientific theory, which stands in need of justification.
But, the only way to support the truth of this world-theory that is allowed by the correspondence theory of truth, is correspondence to the real world. Hence the argument is inescapably circular.
See also
* Belief
A belief is a subjective Attitude (psychology), attitude that something is truth, true or a State of affairs (philosophy), state of affairs is the case. A subjective attitude is a mental state of having some Life stance, stance, take, or opinion ...
* Deep image
* Information
Information is an Abstraction, abstract concept that refers to something which has the power Communication, to inform. At the most fundamental level, it pertains to the Interpretation (philosophy), interpretation (perhaps Interpretation (log ...
* Inquiry
An inquiry (also spelled as enquiry in British English) is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ...
* Knowledge
Knowledge is an Declarative knowledge, awareness of facts, a Knowledge by acquaintance, familiarity with individuals and situations, or a Procedural knowledge, practical skill. Knowledge of facts, also called propositional knowledge, is oft ...
* Pragmatism
Pragmatism is a philosophical tradition that views language and thought as tools for prediction, problem solving, and action, rather than describing, representing, or mirroring reality. Pragmatists contend that most philosophical topics� ...
* Pragmaticism
"Pragmaticism" is a term used by Charles Sanders Peirce for his pragmatic philosophy starting in 1905, in order to distance himself and it from pragmatism, the original name, which had been used in a manner he did not approve of in the "literary ...
* Pragmatic maxim
{{C. S. Peirce articles, abbreviations=no
The pragmatic maxim, also known as the maxim of pragmatism or the maxim of pragmaticism, is a maxim of logic formulated by Charles Sanders Peirce. Serving as a normative recommendation or a regulative pri ...
* Reproducibility
Reproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained by an experiment or an observational study or ...
* Scientific method
The scientific method is an Empirical evidence, empirical method for acquiring knowledge that has been referred to while doing science since at least the 17th century. Historically, it was developed through the centuries from the ancient and ...
* Testability
Testability is a primary aspect of science and the scientific method. There are two components to testability:
#Falsifiability or defeasibility, which means that counterexamples to the hypothesis are logically possible.
#The practical feasibilit ...
* Truthmaker
* Verificationism
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is a doctrine in philosophy which asserts that a statement is meaningful only if it is either empirically verifiable (can be confirmed through the ...
Notes
References
* Hanna, Patricia and Harrison, Bernard (2004)
''Word and World: Practices and the Foundation of Language''
Cambridge University Press.
* Kirkham, Richard L. (1992), ''Theories of Truth: A Critical Introduction'', MIT Press, Cambridge, MA.
* Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
(1912), ''The Problems of Philosophy'', Oxford University Press, Oxford.
* Michael Williams (1977), ''Groundless Belief'', Basil Blackwell, Oxford.
External links
The Correspondence Theory of Truth (Stanford Encyclopedia of Philosophy)
{{DEFAULTSORT:Correspondence Theory Of Truth
Theories of truth
Analytic philosophy