In metaphysics and philosophy of language, the correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes (i.e., corresponds with) that world. [1]
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 facts on the other.
Correspondence theory is a traditional model which goes back at least to some of the ancient Greek philosophers such as Plato and Aristotle. [2] [3] 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 : "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". [4]
A classic example of correspondence theory is the statement by the medieval philosopher and theologian Thomas Aquinas: "Veritas est adaequatio rei et intellectus" ("Truth is the adequation of things and intellect"), which Aquinas attributed to the ninth-century Neoplatonist Isaac Israeli. [3] [5] [6]
Correspondence theory was either explicitly or implicitly embraced by most of the early modern thinkers, including René Descartes, Baruch Spinoza, John Locke, Gottfried Wilhelm Leibniz, David Hume, and Immanuel Kant. [2] (However, Spinoza and Kant have also been [mis]interpreted as defenders of the coherence theory of truth.) [7] Correspondence theory has also been attributed to Thomas Reid. [8]
In late modern philosophy, Friedrich Wilhelm Joseph Schelling espoused the correspondence theory. [9] According to Bhikhu Parekh, Karl Marx also subscribed to a version of the correspondence theory. [10]
In contemporary Continental philosophy, Edmund Husserl defended the correspondence theory. [11] In contemporary analytic philosophy, Bertrand Russell, [12] Ludwig Wittgenstein (at least in his early period), [13] J. L. Austin, [14] and Karl Popper [15] [16] defended the correspondence theory.
Bertrand Russell [12] [2] and Ludwig Wittgenstein [13] [2] have in different ways suggested that a statement, to be true, must have some kind of structural isomorphism 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. [17] 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.
J. L. Austin [14] [2] 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 of the language 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. [18]
Historically, most advocates of correspondence theories have been metaphysical realists; that is, they believe that there is a world external to the minds 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. [19]
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 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, perception, 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. [20]
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. [20]
In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.
Epistemology, or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics.
Existence is the ability of an entity to interact with reality. In philosophy, it refers to the ontological property of being.
Sir Karl Raimund Popper 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 classical inductivist views on the scientific method in favour of empirical falsification. According to Popper, a theory in the empirical sciences can never be proven, but it can be falsified, meaning that it can be scrutinised with decisive experiments. Popper was opposed to the classical justificationist account of knowledge, which he replaced with critical rationalism, namely "the first non-justificational philosophy of criticism in the history of philosophy".
Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement whose central thesis was the verification principle. This theory of knowledge asserted that only statements verifiable through direct observation or logical proof are meaningful in terms of conveying truth value, information or factual content. Starting in the late 1920s, groups of philosophers, scientists, and mathematicians formed the Berlin Circle and the Vienna Circle, which, in these two cities, would propound the ideas of logical positivism.
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.
Philosophy of religion is "the philosophical examination of the central themes and concepts involved in religious traditions". Philosophical discussions on such topics date from ancient times, and appear in the earliest known texts concerning philosophy. The field is related to many other branches of philosophy, including metaphysics, epistemology, and ethics.
Truth is the property of being in accord with fact or reality. In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.
The Tractatus Logico-Philosophicus is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as Logisch-Philosophische Abhandlung. In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's Tractatus Theologico-Politicus (1670).
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives. The logical and structural nature of mathematics makes this branch of philosophy broad and unique.
Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United States, Canada, Australia, New Zealand, and Scandinavia, and continues today. Analytic philosophy is often contrasted with continental philosophy, coined as a catch-all term for other methods prominent in Europe.
In philosophy of science and in epistemology, instrumentalism is a methodological view that ideas are useful instruments, and that the worth of an idea is based on how effective it is in explaining and predicting phenomena. According to instrumentalists, a successful scientific theory reveals nothing known either true or false about nature's unobservable objects, properties or processes. Scientific theory is merely a tool whereby humans predict observations in a particular domain of nature by formulating laws, which state or summarize regularities, while theories themselves do not reveal supposedly hidden aspects of nature that somehow explain these laws. Instrumentalism is a perspective originally introduced by Pierre Duhem in 1906.
In philosophical epistemology, there are two types of coherentism: the coherence theory of truth; and the coherence theory of justification.
Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there was no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.
Ethical subjectivism or moral non-objectivism is the meta-ethical view which claims that:
Logical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" that cannot be broken down any further, each of which can be understood independently of other facts.
Philosophical realism is usually not treated as a position of its own but as a stance towards other subject matters. Realism about a certain kind of thing is the thesis that this kind of thing has mind-independent existence, i.e. that it is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality entirely.
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 there are many possible systems to which the determination of truth may be based upon coherence, others, particularly those with strong religious beliefs, hold that the truth only applies to a single absolute system. In general, truth requires a proper fit of elements within the whole system. Very often, though, coherence is taken to imply something more than simple formal coherence. For example, the coherence of the underlying set of concepts is considered to be a critical factor in judging validity for the whole system. In other words, the set of base concepts in a universe of discourse must first be seen to form an intelligible paradigm before many theorists will consider that the coherence theory of truth is applicable.
In semantics, semiotics, philosophy of language, metaphysics, and metasemantics, meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".
Quietism in philosophy sees the role of philosophy as broadly therapeutic or remedial. Quietist philosophers believe that philosophy has no positive thesis to contribute, but rather that its value is in defusing confusions in the linguistic and conceptual frameworks of other subjects, including non-quietist philosophy. For quietists, advancing knowledge or settling debates is not the job of philosophy, rather philosophy should liberate the mind by diagnosing confusing concepts.