1. The neo-classical theories of truth

• 1.1 The correspondence theory

• 1.1.1 The origins of the correspondence theory

• 1.1.2 The neo-classical correspondence theory

• 1.2 The coherence theory

• 1.3 Pragmatist theories

https://plato.stanford.edu/entries/truth/#NeoClaTheTru

1. The neo-classical theories of truth

Much of the contemporary literature on truth takes as its starting point some ideas which were prominent in the early part of the 20th century. There were a number of views of truth under discussion at that time, the most significant for the contemporary literature being the correspondence, coherence, and pragmatist theories of truth.

These theories all attempt to directly answer the?nature question: what is the nature of truth? They take this question at face value: there are truths, and the question to be answered concerns their nature. In answering this question, each theory makes the notion of truth part of a more thoroughgoing metaphysics or epistemology. Explaining the nature of truth becomes an application of some metaphysical system, and truth inherits significant metaphysical presuppositions along the way.

The goal of this section is to characterize the ideas of the correspondence, coherence and pragmatist theories which animate the contemporary debate. In some cases, the received forms of these theories depart from the views that were actually defended in the early 20th century. We thus dub them the ‘neo-classical theories’. Where appropriate, we pause to indicate how the neo-classical theories emerge from their ‘classical’ roots in the early 20th century.

1.1 The correspondence theory

Perhaps the most important of the neo-classical theories for the contemporary literature is the correspondence theory. Ideas that sound strikingly like a correspondence theory are no doubt very old. They might well be found in Aristotle or Aquinas. When we turn to the late 19th and early 20th centuries where we pick up the story of the neo-classical theories of truth, it is clear that ideas about correspondence were central to the discussions of the time. In spite of their importance, however, it is strikingly difficult to find an accurate citation in the early 20th century for the received neo-classical view. Furthermore, the way the correspondence theory actually emerged will provide some valuable reference points for the contemporary debate. For these reasons, we dwell on the origins of the correspondence theory in the late 19th and early 20th centuries at greater length than those of the other neo-classical views, before turning to its contemporary neo-classical form. For an overview of the correspondence theory, see David (2018).

1.1.1 The origins of the correspondence theory

The basic idea of the correspondence theory is that what we believe or say is true if it corresponds to the way things actually are – to the facts. This idea can be seen in various forms throughout the history of philosophy. Its modern history starts with the beginnings of analytic philosophy at the turn of the 20th century, particularly in the work of G. E. Moore and Bertrand Russell.

Let us pick up the thread of this story in the years between 1898 and about 1910. These years are marked by Moore and Russell’s rejection of idealism. Yet at this point, they do not hold a correspondence theory of truth. Indeed Moore (1899) sees the correspondence theory as a source of idealism, and rejects it. Russell follows Moore in this regard. (For discussion of Moore’s early critique of idealism, where he rejects the correspondence theory of truth, see Baldwin (1991). Hylton (1990) provides an extensive discussion of Russell in the context of British idealism. An overview of these issues is given by Baldwin (2018).)

In this period, Moore and Russell hold a version of the?identity theory of truth. They say comparatively little about it, but it is stated briefly in Moore (1899; 1902) and Russell (1904). According to the identity theory, a true proposition is?identical?to a fact. Specifically, in Moore and Russell’s hands, the theory begins with propositions, understood as the objects of beliefs and other propositional attitudes. Propositions are what are believed, and give the contents of beliefs. They are also, according to this theory, the primary bearers of truth. When a proposition is true, it is identical to a fact, and a belief in that proposition is correct. (Related ideas about the identity theory and idealism are discussed by McDowell (1994) and further developed by Hornsby (2001).)

The identity theory Moore and Russell espoused takes truth to be a property of propositions. Furthermore, taking up an idea familiar to readers of Moore, the property of truth is a simple unanalyzable property. Facts are understood as simply those propositions which are true. There are true propositions and false ones, and facts just are true propositions. There is thus no “difference between truth and the reality to which it is supposed to correspond” (Moore, 1902, p. 21). (For further discussion of the identity theory of truth, see Baldwin (1991), Candlish (1999), Candlish and Damnjanovic (2018), Cartwright (1987), Dodd (2000), and the entry on the?identity theory of truth.)

Moore and Russell came to reject the identity theory of truth in favor of a correspondence theory, sometime around 1910 (as we see in Moore, 1953, which reports lectures he gave in 1910–1911, and Russell, 1910b). They do so because they came to reject the existence of propositions. Why? Among reasons, they came to doubt that there could be any such things as false propositions, and then concluded that there are no such things as propositions at all.

Why did Moore and Russell find false propositions problematic? A full answer to this question is a point of scholarship that would take us too far afield. (Moore himself lamented that he could not “put the objection in a clear and convincing way” (1953, p. 263), but see Cartwright (1987) and David (2001) for careful and clear exploration of the arguments.) But very roughly, the identification of facts with true propositions left them unable to see what a false proposition could be other than something which is just like a fact, though false. If such things existed, we would have fact-like things in the world, which Moore and Russell now see as enough to make false propositions count as true. Hence, they cannot exist, and so there are no false propositions. As Russell (1956, p. 223) later says, propositions seem to be at best “curious shadowy things” in addition to facts.

As Cartwright (1987) reminds us, it is useful to think of this argument in the context of Russell’s slightly earlier views about propositions. As we see clearly in Russell (1903), for instance, he takes propositions to have constituents. But they are not mere collections of constituents, but a ‘unity’ which brings the constituents together. (We thus confront the ‘problem of the unity of the proposition’.) But what, we might ask, would be the ‘unity’ of a proposition that Samuel Ramey sings – with constituents Ramey and singing – except Ramey bearing the property of singing? If that is what the unity consists in, then we seem to have nothing other than the fact that Ramey sings. But then we could not have genuine false propositions without having false facts.

As Cartwright also reminds us, there is some reason to doubt the cogency of this sort of argument. But let us put the assessment of the arguments aside, and continue the story. From the rejection of propositions a correspondence theory emerges. The primary bearers of truth are no longer propositions, but beliefs themselves. In a slogan:

A belief is true if and only if it?corresponds to a fact.

Views like this are held by Moore (1953) and Russell (1910b; 1912). Of course, to understand such a theory, we need to understand the crucial relation of correspondence, as well as the notion of a fact to which a belief corresponds. We now turn to these questions. In doing so, we will leave the history, and present a somewhat more modern reconstruction of a correspondence theory. (For more on facts and proposition in this period, see Sullivan and Johnston (2018).)

1.1.2 The neo-classical correspondence theory

The correspondence theory of truth is at its core an ontological thesis: a belief is true if there?exists?an appropriate entity – a fact – to which it corresponds. If there is no such entity, the belief is false.

Facts, for the neo-classical correspondence theory, are entities in their own right. Facts are generally taken to be composed of particulars and properties and relations or universals, at least. The neo-classical correspondence theory thus only makes sense within the setting of a metaphysics that includes such facts. Hence, it is no accident that as Moore and Russell turn away from the identity theory of truth, the metaphysics of facts takes on a much more significant role in their views. This perhaps becomes most vivid in the later Russell (1956, p. 182), where the existence of facts is the “first truism.” (The influence of Wittgenstein’s ideas to appear in the?Tractatus?(1922) on Russell in this period was strong, and indeed, the?Tractatus?remains one of the important sources for the neo-classical correspondence theory. For more recent extensive discussions of facts, see Armstrong (1997) and Neale (2001).)

Consider, for example, the belief that Ramey sings. Let us grant that this belief is true. In what does its truth consist, according to the correspondence theory? It consists in there being a fact in the world, built from the individual Ramey, and the property of singing. Let us denote this?Ramey,?Singing. This fact exists. In contrast, the world (we presume) contains no fact?Ramey,?Dancing. The belief that Ramey sings stands in the relation of correspondence to the fact?Ramey,?Singing, and so the belief is true.

What is the relation of correspondence? One of the standing objections to the classical correspondence theory is that a fully adequate explanation of correspondence proves elusive. But for a simple belief, like that Ramey sings, we can observe that the structure of the fact???Ramey,?Singing???matches the subject-predicate form of the?that-clause which reports the belief, and may well match the structure of the belief itself.

So far, we have very much the kind of view that Moore and Russell would have found congenial. But the modern form of the correspondence theory seeks to round out the explanation of correspondence by appeal to?propositions. Indeed, it is common to base a correspondence theory of truth upon the notion of a?structured proposition. Propositions are again cast as the contents of beliefs and assertions, and propositions have structure which at least roughly corresponds to the structure of sentences. At least, for simple beliefs like that Ramey sings, the proposition has the same subject predicate structure as the sentence. (Proponents of structured propositions, such as Kaplan (1989), often look to Russell (1903) for inspiration, and find unconvincing Russell’s reasons for rejecting them.)

With facts and structured propositions in hand, an attempt may be made to explain the relation of correspondence. Correspondence holds between a proposition and a fact when the proposition and fact have the same structure, and the same constituents at each structural position. When they correspond, the proposition and fact thus mirror each-other. In our simple example, we might have:

$$\text{proposition that ??}& &$$

$$\downarrow \; ?\; ?\; ?\; ?\; ??&$$

$$\\ & ?Ramey,& Singing?$$

Propositions, though structured like facts, can be true or false. In a false case, like the proposition that Ramey dances, we would find no fact at the bottom of the corresponding diagram. Beliefs are true or false depending on whether the propositions which are believed are.

We have sketched this view for simple propositions like the proposition that Ramey sings. How to extend it to more complex cases, like general propositions or negative propositions, is an issue we will not delve into here. It requires deciding whether there are complex facts, such as general facts or negative facts, or whether there is a more complex relation of correspondence between complex propositions and simple facts. (The issue of whether there are such complex facts marks a break between Russell (1956) and Wittgenstein (1922) and the earlier views which Moore (1953) and Russell (1912) sketch.)

According to the correspondence theory as sketched here, what is key to truth is a relation between propositions and the world, which obtains when the world contains a fact that is structurally similar to the proposition. Though this is not the theory Moore and Russell held, it weaves together ideas of theirs with a more modern take on (structured) propositions. We will thus dub it the neo-classical correspondence theory. This theory offers us a paradigm example of a correspondence theory of truth.

The leading idea of the correspondence theory is familiar. It is a form of the older idea that true beliefs show the right kind of?resemblance?to what is believed. In contrast to earlier empiricist theories, the thesis is not that one’s ideas?per se?resemble what they are about. Rather, the propositions which give the contents of one’s true beliefs mirror reality, in virtue of entering into correspondence relations to the right pieces of it.

In this theory, it is the way the world provides us with appropriately structured entities that explains truth. Our metaphysics thus explains the nature of truth, by providing the entities needed to enter into correspondence relations.

For more on the correspondence theory, see David (1994, 2018) and the entry on thecorrespondance theory of truth.

1.2 The coherence theory

Though initially the correspondence theory was seen by its developers as a competitor to the identity theory of truth, it was also understood as opposed to the coherence theory of truth.

We will be much briefer with the historical origins of the coherence theory than we were with the correspondence theory. Like the correspondence theory, versions of the coherence theory can be seen throughout the history of philosophy. (See, for instance, Walker (1989) for a discussion of its early modern lineage.) Like the correspondence theory, it was important in the early 20th century British origins of analytic philosophy. Particularly, the coherence theory of truth is associated with the British idealists to whom Moore and Russell were reacting.

Many idealists at that time did indeed hold coherence theories. Let us take as an example Joachim (1906). (This is the theory that Russell (1910a) attacks.) Joachim says that:

truth in its essential nature is that systematic coherence which is the character of a significant whole (p. 76).

We will not attempt a full exposition of Joachim’s view, which would take us well beyond the discussion of truth into the details of British idealism. But a few remarks about his theory will help to give substance to the quoted passage.

Perhaps most importantly, Joachim talks of ‘truth’ in the singular. This is not merely a turn of phrase, but a reflection of his monistic idealism. Joachim insists that what is true is the “whole complete truth” (p. 90). Individual judgments or beliefs are certainly not the whole complete truth. Such judgments are, according to Joachim, only true to a degree. One aspect of this doctrine is a kind of holism about content, which holds that any individual belief or judgment gets its content only in virtue of being part of a system of judgments. But even these systems are only true to a degree, measuring the extent to which they express the content of the single ‘whole complete truth’. Any real judgment we might make will only be partially true.

To flesh out Joachim’s theory, we would have to explain what a significant whole is. We will not attempt that, as it leads us to some of the more formidable aspects of his view, e.g., that it is a “process of self-fulfillment” (p. 77). But it is clear that Joachim takes ‘systematic coherence’ to be stronger than consistency. In keeping with his holism about content, he rejects the idea that coherence is a relation between independently identified contents, and so finds it necessary to appeal to ‘significant wholes’.

As with the correspondence theory, it will be useful to recast the coherence theory in a more modern form, which will abstract away from some of the difficult features of British idealism. As with the correspondence theory, it can be put in a slogan:

A belief is true if and only if it is part of a coherent system of beliefs.

To further the contrast with the neo-classical correspondence theory, we may add that a proposition is true if it is the content of a belief in the system, or entailed by a belief in the system. We may assume, with Joachim, that the condition of coherence will be stronger than consistency. With the idealists generally, we might suppose that features of the believing subject will come into play.?

This theory is offered as an analysis of the nature of truth, and not simply a test or criterion for truth. Put as such, it is clearly not Joachim’s theory (it lacks his monism, and he rejects propositions), but it is a standard take on coherence in the contemporary literature. (It is the way the coherence theory is given in Walker (1989), for instance. See also Young (2001) for a recent defense of a coherence theory.) Let us take this as our neo-classical version of the coherence theory. The contrast with the correspondence theory of truth is clear. Far from being a matter of whether the world provides a suitable object to mirror a proposition, truth is a matter of how beliefs are related to each-other.

The coherence theory of truth enjoys two sorts of motivations. One is primarily epistemological. Most coherence theorists also hold a coherence theory of knowledge; more specifically, a coherence theory of justification. According to this theory, to be justified is to be part of a coherent system of beliefs. An argument for this is often based on the claim that only another belief could stand in a justification relation to a belief, allowing nothing but properties of systems of belief, including coherence, to be conditions for justification. Combining this with the thesis that a fully justified belief is true forms an argument for the coherence theory of truth. (An argument along these lines is found in Blanshard (1939), who holds a form of the coherence theory closely related to Joachim’s.)

The steps in this argument may be questioned by a number of contemporary epistemological views. But the coherence theory also goes hand-in-hand with its own metaphysics as well. The coherence theory is typically associated with idealism. As we have already discussed, forms of it were held by British idealists such as Joachim, and later by Blanshard (in America). An idealist should see the last step in the justification argument as quite natural. More generally, an idealist will see little (if any) room between a system of beliefs and the world it is about, leaving the coherence theory of truth as an extremely natural option.

It is possible to be an idealist without adopting a coherence theory. (For instance, many scholars read Bradley as holding a version of the identity theory of truth. See Baldwin (1991) for some discussion.) However, it is hard to see much of a way to hold the coherence theory of truth without maintaining some form of idealism. If there is nothing to truth beyond what is to be found in an appropriate system of beliefs, then it would seem one’s beliefs constitute the world in a way that amounts to idealism. (Walker (1989) argues that every coherence theorist must be an idealist, but not vice-versa.)

The neo-classical correspondence theory seeks to capture the intuition that truth is a content-to-world relation. It captures this in the most straightforward way, by asking for an object in the world to pair up with a true proposition. The neo-classical coherence theory, in contrast, insists that truth is not a content-to-world relation at all; rather, it is a content-to-content, or belief-to-belief, relation. The coherence theory requires some metaphysics which can make the world somehow reflect this, and idealism appears to be it. (A distant descendant of the neo-classical coherence theory that does not require idealism will be discussed in section 6.5 below.)

For more on the coherence theory, see Walker (2018) and the entry on the?coherence theory of truth.

1.3 Pragmatist theories

A different perspective on truth was offered by the American pragmatists. As with the neo-classical correspondence and coherence theories, the pragmatist theories go with some typical slogans. For example, Peirce is usually understood as holding the view that:

truth is the end of inquiry.

(See, for instance Hartshorne et al., 1931–58, §3.432.) Both Peirce and James are associated with the slogan that:

truth is satisfactory to believe.

James (e.g., 1907) understands this principle as telling us what practical value truth has. True beliefs are guaranteed not to conflict with subsequent experience. Likewise, Peirce’s slogan tells us that true beliefs will remain settled at the end of prolonged inquiry. Peirce’s slogan is perhaps most typically associated with pragmatist views of truth, so we might take it to be our canonical neo-classical theory. However, the contemporary literature does not seem to have firmly settled upon a received ‘neo-classical’ pragmatist theory.

In her reconstruction (upon which we have relied heavily), Haack (1976) notes that the pragmatists’ views on truth also make room for the idea that truth involves a kind of correspondence, insofar as the scientific method of inquiry is answerable to some independent world. Peirce, for instance, does not reject a correspondence theory outright; rather, he complains that it provides merely a ‘nominal’ or ‘transcendental’ definition of truth (e.g Hartshorne et al., 1931–58, §5.553, §5.572), which is cut off from practical matters of experience, belief, and doubt (§5.416). (See Misak (2004) for an extended discussion.)

This marks an important difference between the pragmatist theories and the coherence theory we just considered. Even so, pragmatist theories also have an affinity with coherence theories, insofar as we expect the end of inquiry to be a coherent system of beliefs. As Haack also notes, James maintains an important verificationist idea: truth is what is verifiable. We will see this idea re-appear in section 4.

For more on pragmatist theories of truth, see Misak (2018). James’ views are discussed further in the entry on?William James. Peirce’s views are discussed further in the entry on?Charles Sanders Peirce.