The trouble about "truth" comes from mistakes about thinking, especially from construing features of sentences to be features of thought, and vice versa, and from expecting a single basic analysis of all propositional uses of "it is true that" and "it is false that." There is a family of general notions of truth and falsity, but the expressions "is true" and "is false" are so entrenched in diverse particular practices, like arithmetic, logic, sciences, legal processes, and even sub-processes like various forms of contrary-to-fact speculation, that (i) there can be no single correct analysis to cover all the cases; and (ii) there is no "core" notion with only "accidental" differential features [see C. Wright, 1992] because the meanings in different practices are genuinely different and sometimes have different "overflow" conditions. For instance, sometimes bifurcation is required, sometimes a commitment to no gaps, and sometimes one or another form of cognitive accessibility. (iii) In a variety of discourses, cognitive accessibility requirements range from "warranted assertability" to "constructive provability" "pragmatic verifiability," varying in whether such a requirement is part of the linguistic meaning of "is true" or part of the "overflow" signification. (iv) The standard theories of truth, (e.g., correspondence, coherence, pragmatic, redundancy, disquotational, etc.) either fail to be generalizable into a global theory, or fail to explain what they purport to. For instance, the so-called "correspondence" theories, that are "same thing" theories, fail to explain how there is a truthmaking identification of what is said with what is so. On that point I intend to supply the missing explanatory feature [see Chapter 5].
The notions of "the false" diverge enough from the notions of "the true" and have been so little and so unsuccessfully addressed in prior theories that I need a separate chapter for that [Chapter 8].
The overall outcome is that "true" is analogous in meaning, subject to semantic contagion, is not always eliminable even as a word, much less as a relation, and is a genuine predicate (without any platonic abstracta). Sometimes the notion involves cognitive elements; sometimes, it applies with gaps; sometimes with "not true" not being equivalent to "false." Most importantly, when we take the problem of explaining truth and falsity to concern intelligent human judgment transforming animal awareness, the locus of what is to be explained shifts, with issues about how real things belong to thoughts becoming central, and issues concerning whether "is true" is eliminable by disquotation, and issues about the liar paradoxes becoming secondary and resolved as consequences. Moreover, we are forced to reconceive physical reality and animal perception so as to account for the presence of real things and real conditions of things in animal and human awareness.
The 17th century adjustments to accommodate the deterministic, mechanical and corpuscular reconception of the physical world mutated and endured to become background certainties even now: representationalism, evidentialism, a mind-external-world gap, phenomenalism, the idea that sentences bear truth or falsity, even that "is true" and "is false" are redundant or not genuine predicates, that language is indispensable to understanding, and eventually, materialist idealism.
Truth is an intrinsic feature of (some) thinking. It does not consist in a match-up or working-out or hanging-together of sentences or even of thoughts, but in the sameness of what we think and the being of things, as will be shown later. The content of true judgment is how things are. It will only mislead to think of the sameness as a kind of isomorphism, or a kind of congruence where what we think or say coincides with what is so; I am going to explain a content-identity account instead.
(c) Truth, globally, is right thinking, detectable as right to thought alone, as to what is or is not [cf. Anselm, De Veritate]. What I think is true when what I think is what is. "True" is a plastic notion, adopting distinct meaning elements in diverse discourses and requiring diverse analyses to articulate those diversities of meaning. Moreover, there are "overflow" differences in what is involved in truth or falsity that do not show up as differences of meaning, though they show up in differences of usage: thus sometimes every proposition is assumed to be true or false; other times, nothing is regarded as true that is not cognitively accessible (e.g., constructively provable mathematically), and there are truth-value gaps where verification is not in principle possible, or where there are no accepted rational standards for comparison: "The industrial revolution was more destructive than Colonialism." Sometimes there can be truths and falsities even when we do not acknowledge any independent fact of the matter and other times not. Thus, I think M. Dummett was right to say "meaning is entirely determined by use"; but that has to balanced off with "but use is not entirely reflected in linguistic meaning" because there are additional practices of reference and additional overflow conditions for applicability (signification) and there are ways expressions are used to modify actions that belong to the pragmatic traction between discourse and action rather than the linguistic meaning.
(e) No matter what the domain of discourse, as Michael Dummett [1991] said, whatever is true is true "in virtue of something." But that is a plastic notion too. We have to distinguish "that in virtue of which" when we are talking about mathematics, logic, card games, and anything else you like, where the productive cause is our form of active thinking. In other cases, that in virtue of which our judgment is true is something other than the form of thinking, though the productive cause of truth is still our thinking. When "that in virtue of which" a judgment is true is an independent compliant reality, like the number of people on a bus, that is quite a different "in virtue of which" than, say, the invention by which I make up the features of a game or make an axiomatization of topology. The moral for now is: "whatever is true is true in virtue of something" requires decoding to fit the context and appears to offer explanation when none is provided.
(f) Truth does not require replicating things or matching things, or even things' fitting or working out; instead, truth starts with our wholly particular animal awareness and our coincident dematerialization of the components of judgment. That "start" is not an event but a continuous origin, even before birth. To understand is to be, for an intelligent animal. Cognition is not a match but an identification, for instance, I realize that someone does not understand what I am saying. What I realize is the very thing that is so. How that comes about might take a long story; but it is the only outcome that will hold up. When we know, we realize things, for instance, that "he does not believe me." In a true singular perceptual judgment our commitment is coincident with and has its content from animal awareness: "that guitar is still playing."
(g) Inquiries into truth have become separated from inquiries into animal cognition, and associated too closely with language, as if humans need not have had knowledge and true judgment in order to invent their languages. Truth, in non-cognitive systems -- whether encyclopedias or even sentences, is merely extrinsically attributional from the thinking expressed. There is no intrinsic truth or falsity to anything but a thought; all other truth or falsity is derivative or equivocal. So, if anything says anything, someone must have said it. Moreover, without understanding, there is no function for truth. We have to go back to the natural order of things, to rely upon the platform for judgment in animal awareness, including the presence of real things in animal perception.
There is no "fleshless eye," no "interior man," no spectator in the theater of inner experience, no homunculus, to "see," combine and "affirm" the presentations of sense, memory and imagination (the representations), thereby making judgments and reasonings that are true or false. There is no bodiless inner self "watching" an inner display, like a captured princess bemused by the forest/cliffs/sea-appearance that fills her whole tower window (which fills the whole field of vision). Dualist representationalism made an implicit two-selves story that doubles the problems without resolving any.
To reframe the traditional questions about truth, truth-gaps and cognitive access, I redeploy some positions defended elsewhere, most of which have been argued by other philosophers as well: that there are no empty names, no empty kinds, no merely possible individuals, no natures without cases (no empty universals or empty laws of nature], no subsistent abstracta, and no articulate domains of exemplar ideas or of other real abstracta. Physicalists should not want any of those things, either. We should, then, be able to agree that there are no truths about unrooted possibilities and no empty necessities with content. Thus, there will be semantically well-formed expressions that have no truth values, and others that do not satisfy bifurcation; consequently various discourses will not be suitable for "indirect proof," so the principles of validity will not be the same for all sorts of discourse. Michael Dummett [1991, p. 11] was, in my opinion, too hasty in saying the principles of valid reasoning cannot be a matter of taste. To an extent they can, for instance, depending on how luxuriant a mathematics you want to tolerate; and anyway, there can be different principles of validity for different sorts of discourse as he acknowledges: the principles are determined as much by usage as are the meanings of the words. In unbound discourse we do not use the principle that "a conditional with an impossible antecedent is true"; but sometimes we say "if he's a millionaire, I'm a monkey's uncle"; and there is the Irish phrase, "if he's a saint, there aren't any." And also, sometimes we say "impossibility of the antecedent yields falsity of the whole," and apply it to "if I'd been at Agincourt, I would have been king." What rules we use depends upon our discourse.