True statements are usually held to be the opposite offalse statements. Theconcept of truth is discussed and debated in various contexts, includingphilosophy,art,theology,law, andscience. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, includingjournalism and everyday life. Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself.[3] Most commonly, truth is viewed as the correspondence oflanguage orthought to a mind-independent world. This is called thecorrespondence theory of truth.[4]
Various theories and views of truth continue to be debated among scholars, philosophers, and theologians.[2][5] There are many different questions about the nature of truth which are still the subject of contemporary debates. These include the question of defining truth; whether it is even possible to give an informative definition of truth; identifying things astruth-bearers capable of being true or false; if truth and falsehood arebivalent, or if there are other truth values; identifying thecriteria of truth that allows people to identify it and to distinguish it from falsehood; the role that truth plays in constitutingknowledge; and, if truth is alwaysabsolute or if it can berelative to one's perspective.[6]
The English wordtruth is derived fromOld Englishtriewth,Middle Englishtrewthe, as a-th nominalisation of the adjectivetrue (Old Englishtreowe). In ordinary usage, the word may denote either a quality of "faithfulness, fidelity, loyalty, sincerity, veracity",[7][1] or that of "agreement with fact or reality".
The adjective, cognate with Germantreu 'faithful', stems fromProto-Germanic*trewwj- 'havinggood faith', and perhaps ultimately fromProto-Indo-European*dru- 'tree', on the notion of "steadfast as an oak" (cf.Sanskritdā́ru '(piece of) wood';[8]Old Norsetrú 'faith, word of honour, belief').[9]
The question of what is a proper basis for deciding how words, symbols, ideas and beliefs may properly be considered true, whether by a single person or an entire society, is dealt with by the five most prevalent substantivetheories of truth listed below. Each presents perspectives that are widely shared by published scholars.[10][11][12]: 309–330
Theories other than the most prevalent substantive theories are also discussed. According to a survey of professional philosophers and others on their philosophical views which was carried out in November 2009 (taken by 3226 respondents, including 1803 philosophy faculty members and/or PhDs and 829 philosophy graduate students) 45% of respondents accept or lean toward correspondence theories, 21% accept or lean toward deflationary theories and 14%epistemic theories.[13]
Correspondence theories emphasize that true beliefs and true statements correspond to the actual state of affairs.[14] This type of theory stresses a relationship between thoughts or statements on one hand, and things or objects on the other. It is a traditional model tracing its origins toancient Greek philosophers such asSocrates,Plato, andAristotle.[15] This class of theories holds that the truth or the falsity of a representation is determined in principle entirely by how it relates to "things" according to whether it accurately describes those "things". A classic example of correspondence theory is the statement by the thirteenth century philosopher and theologianThomas Aquinas: "Veritas est adaequatio rei et intellectus" ("Truth is the adequation of things andintellect"), which Aquinas attributed to the ninth centuryNeoplatonistIsaac Israeli.[16][17][18] Aquinas also restated the theory as: "A judgment is said to be true when it conforms to the external reality".[19]
Correspondence theory centres around the assumption that truth is a matter of accurately copying what is known as "objective reality" and then representing it in thoughts, words, and other symbols.[20] Many modern theorists have stated that this ideal cannot be achieved without analysing additional factors.[10][21] For example, language plays a role in that all languages have words to represent concepts that are virtually undefined in other languages. TheGerman wordZeitgeist is one such example: one who speaks or understands the language may "know" what it means, but any translation of the word apparently fails to accurately capture its full meaning (this is a problem with many abstract words, especially those derived inagglutinative languages). Thus, some words add an additional parameter to the construction of an accuratetruth predicate. Among the philosophers who grappled with this problem isAlfred Tarski, whosesemantic theory is summarized further on.[22]
For coherence theories in general, truth requires a proper fit of elements within a whole system. Very often, coherence is taken to imply something more than simple logical consistency; often there is a demand that the propositions in a coherent system lend mutual inferential support to each other. So, for example, the completeness and comprehensiveness of the underlying set of concepts is a critical factor in judging the validity and usefulness of a coherent system.[23] A central tenet of coherence theories is the idea that truth is primarily a property of whole systems of propositions, and can be ascribed to an individual proposition only in virtue of its relationship to that system as a whole. Among the assortment of perspectives commonly regarded as coherence theory, theorists differ on the question of whether coherence entails many possible true systems of thought or only a single absolute system.[24]
Some variants of coherence theory are claimed to describe the essential and intrinsic properties offormal systems in logic and mathematics.[25] Formal reasoners are content to contemplateaxiomatically independent and sometimes mutually contradictory systems side by side, for example, the variousalternative geometries. On the whole, coherence theories have been rejected for lacking justification in their application to other areas of truth, especially with respect to assertions about thenatural world,empirical data in general, assertions about practical matters of psychology and society, especially when used without support from the other major theories of truth.[26]
Three influential forms of thepragmatic theory of truth were introduced around the turn of the 20th century byCharles Sanders Peirce,William James, andJohn Dewey. Although there are wide differences in viewpoint among these and other proponents of pragmatic theory, they all hold that truth is verified and confirmed by the results of putting one's concepts into practice.[28]
Peirce defines it: "Truth is that concordance of an abstract statement with the ideal limit towards which endless investigation would tend to bring scientific belief, which concordance the abstract statement may possess by virtue of the confession of its inaccuracy and one-sidedness, and this confession is an essential ingredient of truth."[29] This statement stresses Peirce's view that ideas of approximation, incompleteness, and partiality, what he describes elsewhere asfallibilism and "reference to the future", are essential to a proper conception of truth. Although Peirce uses words likeconcordance andcorrespondence to describe one aspect of the pragmaticsign relation, he is also quite explicit in saying that definitions of truth based on mere correspondence are no more thannominal definitions, which he accords a lower status thanreal definitions.
James' version of pragmatic theory, while complex, is often summarized by his statement that "the 'true' is only the expedient in our way of thinking, just as the 'right' is only the expedient in our way of behaving."[30] By this, James meant that truth is aquality, the value of which is confirmed by its effectiveness when applying concepts to practice (thus, "pragmatic").
Dewey, less broadly than James but more broadly than Peirce, held thatinquiry, whether scientific, technical, sociological, philosophical, or cultural, is self-corrective over timeif openly submitted for testing by a community of inquirers in order to clarify, justify, refine, and/or refute proposed truths.[31]
Though not widely known, a new variation of the pragmatic theory was defined and wielded successfully from the 20th century forward. Defined and named byWilliam Ernest Hocking, this variation is known as "negative pragmatism". Essentially, what works may or may not be true, but what fails cannot be true because the truth always works.[32] Philosopher of scienceRichard Feynman also subscribed to it: "We never are definitely right, we can only be sure we are wrong."[33] This approach incorporates many of the ideas from Peirce, James, and Dewey. For Peirce, the idea of "endless investigation would tend to bring about scientific belief" fits negative pragmatism in that a negative pragmatist would never stop testing. As Feynman noted, an idea or theory "could never be proved right, because tomorrow's experiment might succeed in proving wrong what you thought was right."[33] Similarly, James and Dewey's ideas also ascribe truth to repeated testing which is "self-corrective" over time.
Pragmatism and negative pragmatism are also closely aligned with thecoherence theory of truth in that any testing should not be isolated but rather incorporate knowledge from all human endeavors and experience. The universe is a whole and integrated system, and testing should acknowledge and account for its diversity. As Feynman said, "...if it disagrees with experiment, it is wrong."[33]: 150
Social constructivism holds that truth is constructed by social processes, is historically and culturally specific, and that it is in part shaped through the power struggles within a community. Constructivism views all of our knowledge as "constructed," because it does not reflect any external "transcendent" realities (as a pure correspondence theory might hold). Rather, perceptions of truth are viewed as contingent on convention, human perception, and social experience. It is believed by constructivists that representations of physical and biological reality, includingrace,sexuality, andgender, are socially constructed.[34]
Giambattista Vico was among the first to claim that history and culture were man-made. Vico'sepistemological orientation unfolds in one axiom:verum ipsum factum—"truth itself is constructed".Hegel andMarx were among the other early proponents of the premise that truth is, or can be, socially constructed. Marx, like many critical theorists who followed, did not reject the existence of objective truth, but rather distinguished between true knowledge and knowledge that has been distorted through power or ideology. For Marx, scientific and true knowledge is "in accordance with the dialectical understanding of history" and ideological knowledge is "an epiphenomenal expression of the relation of material forces in a given economic arrangement".[35]
Consensus theory holds that truth is whatever is agreed upon, or in some versions, might come to be agreed upon, by some specified group. Such a group might include all human beings, or asubset thereof consisting of more than one person.[36]
Among the current advocates of consensus theory as a useful accounting of the concept of "truth" is the philosopherJürgen Habermas.[37] Habermas maintains that truth is what would be agreed upon in anideal speech situation.[38] Among the current strong critics of consensus theory is the philosopherNicholas Rescher.[39]
Modern developments in the field of philosophy have resulted in the rise of a new thesis: that the termtruth does not denote a real property of sentences or propositions. This thesis is in part a response to the common use oftruth predicates (e.g., that some particular thing "...is true") which was particularly prevalent in philosophical discourse on truth in the first half of the 20th century. From this point of view, to assert that "'2 + 2 = 4' is true" is logically equivalent to asserting that "2 + 2 = 4", and the phrase "is true" is—philosophically, if not practically (see: "Michael" example, below)—completely dispensable in this and every other context. In common parlance, truth predicates are not commonly heard, and it would be interpreted as an unusual occurrence were someone to utilize a truth predicate in an everyday conversation when asserting that something is true. Newer perspectives that take this discrepancy into account, and work with sentence structures as actually employed in common discourse, can be broadly described:
asdeflationary theories of truth, since they attempt to deflate the presumed importance of the words "true" ortruth,
asdisquotational theories, to draw attention to the disappearance of the quotation marks in cases like the above example, or
Whichever term is used, deflationary theories can be said to hold in common that "the predicate 'true' is an expressive convenience, not the name of a property requiring deep analysis."[10] Once we have identified the truth predicate's formal features and utility, deflationists argue, we have said all there is to be said about truth. Among the theoretical concerns of these views is to explain away those special cases where itdoes appear that the concept of truth has peculiar and interesting properties. (See, e.g.,Semantic paradoxes, and below.)
The scope of deflationary principles is generally limited to representations that resemble sentences. They do not encompass a broader range of entities that are typically considered true or otherwise. In addition, some deflationists point out that the concept employed in "...is true" formulations does enable us to express things that might otherwise require infinitely long sentences; for example, one cannot express confidence in Michael's accuracy by asserting the endless sentence:
Michael says, 'snow is white' and snow is white, or he says 'roses are red' and roses are red or he says... etc.
This assertion can instead be succinctly expressed by saying:What Michael says is true.[41]
An early variety of deflationary theory is theredundancy theory of truth, so-called because—in examples like those above, e.g. "snow is white [is true]"—the concept of "truth" is redundant and need not have been articulated; that is, it is merely a word that is traditionally used in conversation or writing, generally for emphasis, but not a word that actually equates to anything in reality. This theory is commonly attributed toFrank P. Ramsey, who held that the use of words likefact andtruth was nothing but aroundabout way of asserting a proposition, and that treating these words as separate problems in isolation from judgment was merely a "linguistic muddle".[10][42][43]
A variant of redundancy theory is the "disquotational" theory, which uses a modified form of the logicianAlfred Tarski'sschema: proponents observe that to say that "'P' is true"is to assert "P". A version of this theory was defended byC. J. F. Williams (in his bookWhat is Truth?). Yet another version of deflationism is the prosentential theory of truth, first developed by Dorothy Grover, Joseph Camp, andNuel Belnap as an elaboration of Ramsey's claims. They argue that utterances such as "that's true", when said in response to (e.g.) "it's raining", are "prosentences"—expressions that merely repeat the content of other expressions. In the same way thatit means the same asmy dog in the statement "my dog was hungry, so I fed it",that's true is supposed to mean the same asit's raining when the former is said in reply to the latter.[44]
As noted above, proponents of these ideas do not necessarily follow Ramsey in asserting that truth is not aproperty; rather, they can be understood to say that, for instance, the assertion "P"may well involve a substantial truth—it is only the redundancy involved in statements such as "that's true" (i.e., a prosentence) which is to be minimized.[10]
Attributed to philosopherP. F. Strawson is the performative theory of truth which holds that to say "'Snow is white' is true" is to perform thespeech act of signaling one's agreement with the claim that snow is white (much like nodding one's head in agreement). The idea that some statements are more actions than communicative statements is not as odd as it may seem. For example, when a wedding couple says "I do" at the appropriate time in a wedding, they are performing the act of taking the other to be their lawful wedded spouse. They are notdescribing themselves as taking the other, but actuallydoing so (perhaps the most thorough analysis of such "illocutionary acts" isJ. L. Austin, most notably inHow to Do Things With Words).[45]
Strawson holds that a similar analysis is applicable to all speech acts, not just illocutionary ones: "To say a statement is true is not to make a statement about a statement, but rather to perform the act of agreeing with, accepting, or endorsing a statement. When one says 'It's true that it's raining,' one asserts no more than 'It's raining.' The function of [the statement] 'It's true that...' is to agree with, accept, or endorse the statement that 'it's raining.'"[46]
Philosophical skepticism comes in various forms.Radical forms of skepticism deny that knowledge or rational belief is possible and urge us tosuspend judgment regarding ascription of truth on many or all controversial matters. More moderate forms of skepticism claim only that nothing can be known with certainty, or that we can know little or nothing about the "big questions" in life, such as whether God exists or whether there is an afterlife.Religious skepticism is "doubt concerning basic religious principles (such as immortality, providence, and revelation)".[50]Scientific skepticism concerns testing beliefs for reliability, by subjecting them tosystematic investigation using thescientific method, to discoverempirical evidence for them.
A notable early expression of philosophical skepticism appears in theGospel of John, where the Roman governorPontius Pilate, after hearingJesus claim to “bear witness to the truth,” replies with therhetorical question, “Quid est veritas?” (“What is truth?”) (John 18:38). Commentators have frequently interpreted this question as a dismissal of the very possibility of objective or knowable truth. Alfred Plummer characterizes Pilate as a “practical man of the world” who regards such talk as visionary and naive.[51] Similarly,Francis Bacon cited the episode in his essayOf Truth as illustrative of those who “jest at truth” and refuse to remain for an answer, reflecting a skeptical or cynical stance.[52] The episode remains a widely referenced example of epistemological doubt, emblematic of philosophical skepticism toward the existence or accessibility of absolute truth.
Several of the major theories of truth hold that there is a particular property the having of which makes a belief or proposition true. Pluralist theories of truth assert that there may be more than one property that makes propositions true: ethical propositions might be true by virtue of coherence. Propositions about the physical world might be true by corresponding to the objects and properties they are about.[53]
Some of the pragmatic theories, such as those byCharles Peirce andWilliam James, included aspects of correspondence, coherence and constructivist theories.[29][30]Crispin Wright argued in his 1992 bookTruth and Objectivity that any predicate which satisfied certain platitudes about truth qualified as a truth predicate. In some discourses, Wright argued, the role of the truth predicate might be played by the notion of superassertibility.[54]Michael Lynch, in a 2009 bookTruth as One and Many, argued that we should see truth as a functional property capable of being multiply manifested in distinct properties like correspondence or coherence.[55]
A logical truth (also called an analytic truth or a necessary truth) is a statement that is true in all logically possible worlds[57] or under all possible interpretations, as contrasted to afact (also called asynthetic claim or acontingency), which is only true in thisworld as it has historically unfolded. A proposition such as "If p and q, then p" is considered to be a logical truth because of the meaning of thesymbols andwords in it and not because of any fact of any particular world. They are such that they could not be untrue.
Historically, with the nineteenth century development ofBoolean algebra, mathematical models of logic began to treat "truth", also represented as "T" or "1", as an arbitrary constant. "Falsity" is also an arbitrary constant, which can be represented as "F" or "0". Inpropositional logic, these symbols can be manipulated according to a set ofaxioms andrules of inference, often given in the form oftruth tables.
The works ofKurt Gödel,Alan Turing, and others shook this assumption, with the development of statements that are true but cannot be proven within the system.[65] Two examples of the latter can be found inHilbert's problems. Work onHilbert's 10th problem led in the late twentieth century to the construction of specificDiophantine equations for which it is undecidable whether they have a solution,[66] or even if they do, whether they have a finite or infinite number of solutions. More fundamentally,Hilbert's first problem was on thecontinuum hypothesis.[67] Gödel andPaul Cohen showed that this hypothesis cannot be proved or disproved using the standardaxioms ofset theory.[68] In the view of some, then, it is equally reasonable to take either the continuum hypothesis or its negation as a new axiom.
Gödel thought that the ability to perceive the truth of a mathematical or logical proposition is a matter ofintuition, an ability he admitted could be ultimately beyond the scope of a formal theory of logic or mathematics[69][70] and perhaps best considered in the realm of humancomprehension and communication. But he commented, "The more I think about language, the more it amazes me that people ever understand each other at all".[71]
Tarski's theory of truth (named afterAlfred Tarski) was developed for formal languages, such asformal logic. Here he restricted it in this way: no language could contain its own truth predicate, that is, the expressionis true could only apply to sentences in some other language. The latter he called anobject language, the language being talked about. (It may, in turn, have a truth predicate that can be applied to sentences in still another language.) The reason for his restriction was that languages that contain their own truth predicate will containparadoxical sentences such as, "This sentence is not true". As a result, Tarski held that the semantic theory could not be applied to any natural language, such as English, because they contain their own truth predicates.Donald Davidson used it as the foundation of histruth-conditional semantics and linked it toradical interpretation in a form ofcoherentism.[72]
Bertrand Russell is credited with noticing the existence of such paradoxes even in the best symbolic formations of mathematics in his day, in particular the paradox that came to be named after him,Russell's paradox. Russell andWhitehead attempted to solve these problems inPrincipia Mathematica by putting statements into a hierarchy oftypes, wherein a statement cannot refer to itself, but only to statements lower in the hierarchy. This in turn led to new orders of difficulty regarding the precise natures of types and the structures of conceptually possibletype systems that have yet to be resolved to this day.[73]
Kripke's theory of truth (named afterSaul Kripke) contends that a natural language can in fact contain its own truth predicate without giving rise to contradiction. He showed how to construct one as follows:
Beginning with a subset of sentences of a natural language that contains no occurrences of the expression "is true" (or "is false"). So,The barn is big is included in the subset, but not "The barn is big is true", nor problematic sentences such as "This sentence is false".
Defining truth just for the sentences in that subset.
Extending the definition of truth to include sentences that predicate truth or falsity of one of the original subset of sentences. So "The barn is big is true" is now included, but not either "This sentence is false" nor "'The barn is big is true' is true".
Defining truth for all sentences that predicate truth or falsity of a member of the second set. Imagine this process repeated infinitely, so that truth is defined forThe barn is big; then for "The barn is big is true"; then for "'The barn is big is true' is true", and so on.
Truth never gets defined for sentences likeThis sentence is false, since it was not in the original subset and does not predicate truth of any sentence in the original or any subsequent set. In Kripke's terms, these are "ungrounded." Since these sentences are never assigned either truth or falsehood even if the process is carried out infinitely, Kripke's theory implies that some sentences are neither true nor false. This contradicts theprinciple of bivalence: every sentence must be either true or false. Since this principle is a key premise in deriving theliar paradox, the paradox is dissolved.[74]
Thetruth predicate "P is true" has great practical value in human language, allowingefficient endorsement or impeaching of claims made by others, to emphasize the truth or falsity of a statement, or to enable various indirect (Gricean) conversational implications.[76] Individuals or societies will sometime punish "false" statements to deter falsehoods;[77] the oldest surviving law text, theCode of Ur-Nammu, lists penalties for false accusations of sorcery or adultery, as well as for committingperjury in court. Even four-year-old children can pass simple "false belief" tests and successfully assess that another individual's belief diverges from reality in a specific way;[78] by adulthood there are strong implicit intuitions about "truth" that form a "folk theory" of truth. These intuitions include:[79]
Normativity: It is usually good to believe what is true
False beliefs: The notion that believing a statement does not necessarily make it true
Like many folk theories, the folk theory of truth is useful in everyday life but, upon deep analysis, turns out to be technically self-contradictory; in particular, anyformal system that fully obeys "capture and release" semantics for truth (also known as theT-schema), and that also respects classical logic, is provablyinconsistent and succumbs to theliar paradox or to a similar contradiction.[80]
...Aristotle sounds much more like a genuine correspondence theorist in theCategories (12b11, 14b14), where he talks of "underlying things" that make statements true and implies that these "things" (pragmata) are logically structured situations or facts (viz., his sitting, his not sitting). Most influential is his claim inDe Interpretatione (16a3) that thoughts are "likenesses" (homoiosis) of things. Although he nowhere defines truth in terms of a thought's likeness to a thing or fact, it is clear that such a definition would fit well into his overall philosophy of mind....
Similar statements can also be found in Plato's dialogues (Cratylus 385b2,Sophist 263b).[81]
Some Greek philosophers maintained that truth was either not accessible to mortals, or of greatly limited accessibility, forming earlyphilosophical skepticism. Among these wereXenophanes,Democritus, andPyrrho, the founder ofPyrrhonism, who argued that there was no criterion of truth.
TheEpicureans believed that all sense perceptions were true,[82][83] and that errors arise in how we judge those perceptions.
What corresponds in the mind to what is outside it.[85]
Avicenna elaborated on his definition of truth later in Book VIII, Chapter 6:
The truth of a thing is the property of the being of each thing which has been established in it.[86]
This definition is but a rendering of themedieval Latin translation of the work by Simone van Riet.[87] A modern translation of the original Arabic text states:
Truth is also said of theveridical belief in the existence [of something].[88]
Reevaluating Avicenna, and also Augustine and Aristotle,Thomas Aquinas stated in hisDisputed Questions on Truth:
A natural thing, being placed between two intellects, is calledtrue insofar as it conforms to either. It is said to be true with respect to its conformity with the divine intellect insofar as it fulfills the end to which it was ordained by the divine intellect... With respect to its conformity with a human intellect, a thing is said to be true insofar as it is such as to cause a true estimate about itself.[89]
Thus, for Aquinas, the truth of the human intellect (logical truth) is based on the truth in things (ontological truth).[90] Following this, he wrote an elegant re-statement of Aristotle's view in hisSumma I.16.1:
Veritas est adæquatio intellectus et rei.
(Truth is the conformity of the intellect and things.)
Aquinas also said that real things participate in the act of being of theCreator God who is Subsistent Being, Intelligence, and Truth. Thus, these beings possess the light of intelligibility and are knowable. These things (beings;reality) are the foundation of the truth that is found in the human mind, when it acquires knowledge of things, first through thesenses, then through theunderstanding and thejudgement done byreason. For Aquinas, humanintelligence ("intus", within and "legere", to read) has the capability to reach theessence andexistence of things because it has a non-material,spiritual element, although some moral, educational, and other elements might interfere with its capability.[91]
Richard Firth Green examined the concept of truth in the later Middle Ages in hisA Crisis of Truth, and concludes that roughly during the reign ofRichard II of England the very meaning of the concept changes. The idea of the oath, which was so much part and parcel of for instanceRomance literature,[92] changes from a subjective concept to a more objective one (inDerek Pearsall's summary).[93] Whereas truth (the "trouthe" ofSir Gawain and the Green Knight) was first "an ethical truth in which truth is understood to reside in persons", in Ricardian England it "transforms... into apolitical truth in which truth is understood to reside in documents".[94]
Immanuel Kant endorses a definition of truth along the lines of the correspondence theory of truth.[81] Kant writes in theCritique of Pure Reason: "The nominal definition of truth, namely that it is the agreement of cognition with its object, is here granted and presupposed".[95] He denies that this correspondence definition of truth provides us with a test or criterion to establish which judgements are true. He states in his logic lectures:[96]
...Truth, it is said, consists in the agreement of cognition with its object. In consequence of this mere nominal definition, my cognition, to count as true, is supposed to agree with its object. Now I can compare the object with my cognition, however, onlyby cognizing it. Hence my cognition is supposed to confirm itself, which is far short of being sufficient for truth. For since the object is outside me, the cognition in me, all I can ever pass judgement on is whether my cognition of the object agrees with my cognition of the object.
The ancients called such a circle in explanation adiallelon. And actually the logicians were always reproached with this mistake by the sceptics, who observed that with this definition of truth it is just as when someone makes a statement before a court and in doing so appeals to a witness with whom no one is acquainted, but who wants to establish his credibility by maintaining that the one who called him as witness is an honest man. The accusation was grounded, too. Only the solution of the indicated problem is impossible without qualification and for every man....
This passage makes use of his distinction between nominal and real definitions. A nominal definition explains the meaning of a linguistic expression. A real definition describes the essence of certainobjects and enables us to determine whether any given item falls within the definition.[97] Kant holds that the definition of truth is merely nominal and, therefore, we cannot employ it to establish which judgements are true. According to Kant, the ancient skeptics were critical of the logicians for holding that, by means of a merely nominal definition of truth, they can establish which judgements are true. They were trying to do something that is "impossible without qualification and for every man".[96]
G. W. F. Hegel distanced his philosophy from empiricism by presenting truth as a self-moving process, rather than a matter of merely subjective thoughts. Hegel's truth is analogous to an organism in that it is self-determining according to its own inner logic: "Truth is its own self-movement within itself."[98]
ForArthur Schopenhauer,[99] ajudgment is a combination or separation of two or moreconcepts. If a judgment is to be an expression ofknowledge, it must have asufficient reason or ground by which the judgment could be called true.Truth is the reference of a judgment to something different from itself which is its sufficient reason (ground). Judgments can have material, formal, transcendental, or metalogical truth. A judgment hasmaterial truth if its concepts are based on intuitive perceptions that are generated from sensations. If a judgment has its reason (ground) in another judgment, its truth is called logical orformal. If a judgment, of, for example, pure mathematics or pure science, is based on the forms (space, time, causality) of intuitive, empirical knowledge, then the judgment hastranscendental truth.[99]
WhenSøren Kierkegaard, as his characterJohannes Climacus, ends his writings:My thesis was, subjectivity, heartfelt is the truth, he does not advocate forsubjectivism in its extreme form (the theory that something is true simply because one believes it to be so), but rather that the objective approach to matters of personal truth cannot shed any light upon that which is most essential to a person's life. Objective truths are concerned with the facts of a person's being, while subjective truths are concerned with a person's way of being. Kierkegaard agrees that objective truths for the study of subjects like mathematics, science, and history are relevant and necessary, but argues that objective truths do not shed any light on a person's inner relationship to existence. At best, these truths can only provide a severely narrowed perspective that has little to do with one's actual experience of life.[100]
While objective truths are final and static, subjective truths are continuing and dynamic. The truth of one's existence is a living, inward, and subjective experience that is always in the process of becoming. The values, morals, and spiritual approaches a person adopts, while not denying the existence of objective truths of those beliefs, can only become truly known when they have been inwardly appropriated through subjective experience. Thus, Kierkegaard criticizes all systematic philosophies which attempt to know life or the truth of existence via theories and objective knowledge about reality. As Kierkegaard claims, human truth is something that is continually occurring, and a human being cannot find truth separate from the subjective experience of one's own existing, defined by the values and fundamental essence that consist of one's way of life.[101]
Friedrich Nietzsche believed the search for truth, or 'the will to truth', was a consequence of thewill to power of philosophers. He thought that truth should be used as long as it promoted life and thewill to power, and he thought untruth was better than truth if it had this life enhancement as a consequence. As he wrote inBeyond Good and Evil, "The falseness of a judgment is to us not necessarily an objection to a judgment... The question is to what extent it is life-advancing, life-preserving, species-preserving, perhaps even species-breeding..." (aphorism 4). He proposed thewill to power as a truth only because, according to him, it was the most life-affirming and sincere perspective one could have.
Robert Wicks discusses Nietzsche's basic view of truth as follows:[102]
...Some scholars regard Nietzsche's 1873 unpublished essay, "On Truth and Lies in a Nonmoral Sense" ("Über Wahrheit und Lüge im außermoralischen Sinn") as a keystone in his thought. In this essay, Nietzsche rejects the idea of universal constants, and claims that what we call "truth" is only "a mobile army of metaphors, metonyms, and anthropomorphisms." His view at this time is that arbitrariness completely prevails within human experience: concepts originate via the very artistic transference of nerve stimuli into images; "truth" is nothing more than the invention of fixed conventions for merely practical purposes, especially those of repose, security and consistence....
Separately Nietzsche suggested that an ancient, metaphysical belief in the divinity of Truth lies at the heart of and has served as the foundation for the entire subsequentWestern intellectual tradition: "But you will have gathered what I am getting at, namely, that it is still a metaphysical faith on which our faith in science rests—that even we knowers of today, we godless anti-metaphysicians still takeour fire too, from the flame lit by the thousand-year old faith, the Christian faith which was also Plato's faith, that God is Truth; that Truth is 'Divine'..."[103][104]
Moreover, Nietzsche challenges the notion of objective truth, arguing that truths are human creations and serve practical purposes. He wrote, "Truths are illusions about which one has forgotten that this is what they are."[105] He argues that truth is a human invention, arising from the artistic transference of nerve stimuli into images, serving practical purposes like repose, security, and consistency; formed through metaphorical and rhetorical devices, shaped by societal conventions and forgotten origins:[106]
"What, then, is truth? A mobile army of metaphors, metonyms, and anthropomorphisms – in short, a sum of human relations which have been enhanced, transposed, and embellished poetically and rhetorically..."
Nietzsche argues that truth is always filtered through individual perspectives and shaped by various interests and biases. In "On the Genealogy of Morality," he asserts, "There are no facts, only interpretations."[107] He suggests that truth is subject to constant reinterpretation and change, influenced by shifting cultural and historical contexts as he writes in "Thus Spoke Zarathustra" that "I say unto you: one must still have chaos in oneself to be able to give birth to a dancing star."[108] In the same book, Zarathustra proclaims, "Truths are illusions which we have forgotten are illusions; they are metaphors that have become worn out and have been drained of sensuous force, coins which have lost their embossing and are now considered as metal and no longer as coins."[109]
Other philosophers take this common meaning to be secondary and derivative. According toMartin Heidegger, the original meaning andessence of truth inAncient Greece was unconcealment, or the revealing or bringing of what was previously hidden into the open, as indicated by the original Greek term for truth,aletheia.[110][111] On this view, the conception of truth as correctness is a later derivation from the concept's original essence, a development Heidegger traces to theLatin termveritas. Owing to the primacy ofontology in Heidegger's philosophy, he considered this truth to lie within Being itself, and already inBeing and Time (1927) had identified truth with "being-truth" or the "truth of Being" and partially with the Kantianthing-in-itself in an epistemology essentially concerning a mode ofDasein.[112]
InBeing and Nothingness (1943), partially following Heidegger,Jean-Paul Sartre identified our knowledge of the truth as a relation between thein-itself andfor-itself ofbeing - yet simultaneously closely connected in this vein to the data available to the material personhood, in the body, of an individual in their interaction with the world and others - with Sartre's description that "the world is human" allowing him to postulate all truth as strictlyunderstood byself-consciousness as self-consciousnessof something,[113] a view also preceded byHenri Bergson inTime and Free Will (1889), the reading of which Sartre had credited for his interest in philosophy.[114] This firstexistentialist theory, more fully fleshed out in Sartre's essayTruth and Existence (1948), which already demonstrates a more radical departure from Heidegger in its emphasis on the primacy of the idea, already formulated inBeing and Nothingness, ofexistence as preceding essence in its role in the formulation of truth, has nevertheless been critically examined asidealist rather thanmaterialist in its departure from more traditional idealist epistemologies such as those ofAncient Greek philosophy in Plato and Aristotle, and staying as does Heidegger with Kant.[115]
Later, in theSearch for a Method (1957), in which Sartre used a unification of existentialism andMarxism that he would later formulate in theCritique of Dialectical Reason (1960), Sartre, with his growing emphasis on theHegelian totalisation ofhistoricity, posited a conception of truth still defined by its process of relation to a container giving it material meaning, but with specific reference to a role in this broader totalisation, for "subjectivity is neither everything nor nothing; it represents a moment in the objective process (that in which externality is internalised), and this moment is perpetually eliminated only to be perpetually reborn": "For us, truth is something which becomes, ithas andwill have become. It is a totalisation which is forever being totalised. Particular facts do not signify anything; they are neither true nor false so long as they are not related, through the mediation of various partial totalities, to the totalisation in process." Sartre describes this as a "realistic epistemology", developed out ofMarx's ideas but with such a development only possible in an existentialist light, as with the theme of the whole work.[116][117] In an early segment of the lengthy two-volumeCritique of 1960, Sartre continued to describe truth as a "totalising" "truth of history" to be interpreted by a "Marxist historian", whilst his break with Heidegger's epistemological ideas is finalised in the description of a seemingly antinomous "dualism of Being and Truth" as the essence of a truly Marxist epistemology.[118]
The well-regarded French philosopherAlbert Camus wrote in his famous essay,The Myth of Sisyphus (1942), that "there are truths but no truth", in fundamental agreement with Nietzsche'sperspectivism, and favourably cites Kierkegaard in posing that "no truth is absolute or can render satisfactory an existence that is impossible in itself".[119] Later, inThe Rebel (1951), he declared, akin to Sartre, that "the very lowest form of truth" is "the truth of history",[120] but describes this in the context of its abuse and like Kierkegaard in theConcluding Unscientific Postscript he criticizes Hegel in holding a historical attitude "which consists of saying: 'This is truth, which appears to us, however, to be error, but which is true precisely because it happens to be error. As for proof, it is not I, but history, at its conclusion, that will furnish it.'"[121]
Pragmatists likeC. S. Peirce take truth to have some manner of essential relation to human practices for inquiring into anddiscovering truth, with Peirce himself holding that truth is what humaninquiry would find out on a matter, if our practice of inquiry were taken as far as it could profitably go: "The opinion which is fated to be ultimately agreed to by all who investigate, is what we mean by the truth..."[122]
According toKitaro Nishida, "knowledge of things in the world begins with the differentiation of unitary consciousness into knower and known and ends with self and things becoming one again. Such unification takes form not only in knowing but in the valuing (of truth) that directs knowing, the willing that directs action, and the feeling or emotive reach that directs sensing."[123]
Erich Fromm finds that trying to discuss truth as "absolute truth" is sterile and that emphasis ought to be placed on "optimal truth". He considers truth as stemming from the survival imperative of grasping one's environment physically and intellectually, whereby young children instinctively seek truth so as to orient themselves in "a strange and powerful world". The accuracy of their perceived approximation of the truth will therefore have direct consequences on their ability to deal with their environment. Fromm can be understood to define truth as a functional approximation of reality. His vision of optimal truth is described below:[124]
...the dichotomy between 'absolute = perfect' and 'relative = imperfect' has been superseded in all fields of scientific thought, where "it is generally recognized that there is no absolute truth but nevertheless that there are objectively valid laws and principles".
[...] In that respect, "a scientifically or rationally valid statement means that the power of reason is applied to all the available data of observation without any of them being suppressed or falsified for the sake of the desired result". The history of science is "a history of inadequate and incomplete statements, and every new insight makes possible the recognition of the inadequacies of previous propositions and offers a springboard for creating a more adequate formulation."
[...] As a result "the history of thought is the history of an ever-increasing approximation to the truth. Scientific knowledge is not absolute but optimal; it contains the optimum of truth attainable in a given historical period." Fromm furthermore notes that "different cultures have emphasized various aspects of the truth" and that increasing interaction between cultures allows for these aspects to reconcile and integrate, increasing further the approximation to the truth.
Truth, saysMichel Foucault, is problematic when any attempt is made to see truth as an "objective" quality. He prefers not to use the term truth itself but "Regimes of Truth". In his historical investigations he found truth to be something that was itself a part of, or embedded within, a given power structure. Thus Foucault's view shares much in common with the concepts ofNietzsche. Truth for Foucault is also something that shifts through variousepisteme throughout history.[125]
Jean Baudrillard considered truth to be largely simulated, that is pretending to have something, as opposed to dissimulation, pretending to not have something. He took his cue fromiconoclasts whom he claims knew that images of God demonstrated that God did not exist.[126] Baudrillard wrote in "Precession of the Simulacra":
Thesimulacrum is never that which conceals the truth—it is the truth which conceals that there is none. The simulacrum is true.
Some examples ofsimulacra that Baudrillard cited were: that prisons simulate the "truth" that society is free; scandals (e.g.,Watergate) simulate that corruption is corrected; Disney simulates that the U.S. itself is an adult place. Though such examples seem extreme, such extremity is an important part of Baudrillard's theory. For a less extreme example, movies usually end with the bad being punished, humiliated, or otherwise failing, thus affirming for viewers the concept that the good end happily and the bad unhappily, a narrative which implies that the status quo and established power structures are largely legitimate.[126]
Truthmaker theory is "the branch ofmetaphysics that explores the relationships between what is true and whatexists".[129] It is different from substantive theories of truth in the sense that it does not aim at giving a definition of what truth is. Instead, it has the goal ofdetermining how truth depends on being.[130]
^Alexis G. Burgess and John P. Burgess (2011).Truth(hardcover) (1st ed.). Princeton University Press.ISBN978-0-691-14401-6.Archived from the original on 6 October 2014. Retrieved4 October 2014.a concise introduction to current philosophical debates about truth
^OED ontrue has "Steadfast in adherence to a commander or friend, to a principle or cause, to one's promises, faith, etc.; firm in allegiance; faithful, loyal, constant, trusty; honest, honourable, upright, virtuous, trustworthy; free from deceit, sincere, truthful" besides "Conformity with fact; agreement with reality; accuracy, correctness, verity; Consistent with fact; agreeing with the reality; representing the thing as it is; real, genuine; rightly answering to the description; properly so called; not counterfeit, spurious, or imaginary."
^Truth.Archived from the original on 13 July 2007. Retrieved27 November 2013.
^Blackburn, Simon, and Simmons, Keith (eds., 1999),Truth, Oxford University Press, Oxford. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.
^Hale, Bob; Wright, Crispin; Miller, Alexander, eds. (1997).A Companion to the Philosophy of Language (1999 reprint ed.). Oxford: Blackwell.ISBN978-0-631-21326-0.OCLC40839879.
Heal, Jane (1997). "13. Radical Interpretation".A Companion to the Philosophy of Language. "Chapter postscript" by Alexander Miller. Oxford: Blackwell. pp. 299−323.doi:10.1002/9781118972090.ch13.ISBN978-1-118-97471-1.
Richard, Mark (1997). "14. Propositional Attitudes".A Companion to the Philosophy of Language. Oxford: Blackwell. pp. 324–356.
^Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth.:Arthur N. Prior, p. 223 (Macmillan, 1969). Prior usesBertrand Russell's wording in defining correspondence theory. According to Prior, Russell was substantially responsible for helping to make correspondence theory widely known under this name.
^Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, pp. 223–224 (Macmillan, 1969).
^Encyclopedia of Philosophy, Vol. 2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, Macmillan, 1969, p. 224.
^See, e.g., Bradley, F.H., "On Truth and Copying", in Blackburn,et al. (eds., 1999),Truth, 31–45.
^Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223ff. Macmillan, 1969. See especially, section on "Moore's Correspondence Theory", 225–226, "Russell's Correspondence Theory", 226–227, "Remsey and Later Wittgenstein", 228–229, "Tarski's Semantic Theory", 230–231.
^Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223ff. Macmillan, 1969. See the section on "Tarski's Semantic Theory", 230–231.
^Immanuel Kant, for instance, assembled a controversial but quite coherent system in the early 19th century, whose validity and usefulness continues to be debated even today. Similarly, the systems ofLeibniz andSpinoza are characteristic systems that are internally coherent but controversial in terms of their utility and validity.
^Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth: Alan R. White, pp. 131–133,see esp., section on "Epistemological assumptions" (Macmillan, 1969)
^abPeirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 716–720 inJames Mark Baldwin, ed.,Dictionary of Philosophy and Psychology, v. 2. Peirce's section is entitled "Logical", beginning on p. 718, column 1, and ending on p. 720 with the initials "(C.S.P.)", see Google BooksEprint. Reprinted,Collected Papers v. 5, pp. 565–573.
^abJames, William,The Meaning of Truth, A Sequel to 'Pragmatism', (1909).
^May, Todd (1993).Between Genealogy and Epistemology: Psychology, Politics, and Knowledge in the Thought of Michel Foucault. University Park: Pennsylvania State University Press.ISBN978-0-271-02782-1.OCLC26553016.
^Ramsey, F.P. (1927), "Facts and Propositions", Aristotelian Society Supplementary Volume 7, 153–170. Reprinted, pp. 34–51 in F.P. Ramsey, Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, 1990
^Le Morvan, Pierre. (2004) "Ramsey on Truth and Truth on Ramsey",The British Journal for the History of Philosophy 12(4), pp. 705–718.
^J. L. Austin, "How to Do Things With Words". Cambridge: Harvard University Press, 1975
^Encyclopedia of Philosophy, Vol. 6:Performative Theory of Truth, auth: Gertrude Ezorsky, p. 88 (Macmillan, 1969)
^"skepticism".The Columbia Electronic Encyclopedia. n.d.Archived from the original on 13 July 2012. Retrieved4 June 2018. Citing:
Popkin, R. H. (1968).The History of Skepticism from Erasmus to Descartes (revised ed.).
Stough, C. L. (1969).Greek Skepticism.
Burnyeat, M., ed. (1983).The Skeptical Tradition.
Stroud, B. (1984).The Significance of Philosophical Skepticism.
^"Philosophical views are typically classed as skeptical when they involve advancing some degree of doubt regarding claims that are elsewhere taken for granted."utm.eduArchived 2009-01-13 at theWayback Machine
^Smith, Nicholas J.J. (2010)."Article 2.6"(PDF).Many-Valued Logics. Routledge.Archived(PDF) from the original on 8 April 2018. Retrieved25 May 2018.
^Mancosu, Paolo; Zach, Richard; Badesa, Calixto (2004). "9. The Development of Mathematical Logic from Russell to Tarski 1900-1935" §7.2 "Many-valued logics".The Development of Modern Logic. Oxford University Press. pp. 418–420.ISBN978-0-19-972272-3.
^Hodges, Wilfrid (2022),"Tarski's Truth Definitions", in Zalta, Edward N.; Nodelman, Uri (eds.),The Stanford Encyclopedia of Philosophy (Winter 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved4 April 2025
^Kripke, Saul. "Outline of a Theory of Truth", Journal of Philosophy, 72 (1975), 690–716
^Goldblatt, Robert (1983).Topoi, the categorial analysis of logic (revised ed.). Amsterdam: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland.ISBN0-444-86711-2.OCLC9622076.
^Scharp, Kevin (2013). "6: What is the Use?".Replacing truth (First ed.). Oxford: Oxford Univ. Press.ISBN978-0-19-965385-0.
^"truth | philosophy and logic".Encyclopedia Britannica.Archived from the original on 5 June 2019. Retrieved28 July 2017.Truth is important. Believing what is not true is apt to spoil a person's plans and may even cost him his life. Telling what is not true may result in legal and social penalties.
^Wellman, Henry M., David Cross, and Julanne Watson. "Meta‐analysis of theory‐of‐mind development: the truth about false belief." Child development 72.3 (2001): 655–684.
^Lynch, Michael P. "Alethic functionalism and our folk theory of truth." Synthese 145.1 (2005): 29–43.
^Bueno, Otávio, and Mark Colyvan. "Logical non-apriorism and the law of non-contradiction." The law of non-contradiction: New philosophical essays (2004): 156–175.
^Osman Amin (2007), "Influence of Muslim Philosophy on the West",Monthly Renaissance 17 (11).
^Jan A. Aertsen (1988),Nature and Creature: Thomas Aquinas's Way of Thought, p. 152. Brill, 978-90-04-08451-3.
^Simone van Riet.Liber de philosophia prima, sive Scientia divina (in Latin). p. 413.
^Avicenna: The Metaphysics of The Healing. Translated by Marmura, Michael E. Introduction and annotation by Michael E. Marmura. Brigham Young University Press. 2005. p. 284.ISBN978-0-934893-77-0.
^Disputed Questions on Truth, 1, 2, c, reply to Obj. 1. Trans. Mulligan, McGlynn, Schmidt,Truth, vol. I, pp. 10–12.
^"Veritas supra ens fundatur" (Truth is founded on being).Disputed Questions on Truth, 10, 2, reply to Obj. 3.
^Kant, Immanuel (1781/1787),Critique of Pure Reason. Translated and edited by Paul Guyer and Allen W. Wood (Cambridge: Cambridge University Press, 1998), A58/B82.
^abKant, Immanuel (1801),The Jäsche Logic, inLectures on Logic. Translated and edited by J. Michael Young (Cambridge: Cambridge University Press, 1992), pp. 557–558.
^Alberto Vanzo, "Kant on the Nominal Definition of Truth",Kant-Studien, 101 (2010), pp. 147–166.
^Heidegger, Martin (1962).Being and Time (1st ed.). Oxford: Basil Blackswell. pp. 256–274.
^Sartre, Jean-Paul (1956).Being and Nothingness: An Essay on Phenomenological Ontolgoy (1st ed.). New York: Philosophical Library.
^Sartre, Jean-Paul (2004).The imaginary: a phenomenological psychology of the imagination. Arlette Elkaïm-Sartre, Jonathan Webber. London: Routledge.ISBN0-203-64410-7.OCLC56549324.
^Wilder, Kathleen (1995). "Truth and existence: The idealism in Sartre's theory of truth".International Journal of Philosophical Studies.3 (1):91–109.doi:10.1080/09672559508570805.
^Sartre, Jean-Paul (1963).Search for a Method. New York: Knopf.
^Baudrillard's attribution of this quote toEcclesiastes is deliberately fictional. "Baudrillard attributes this quote to Ecclesiastes. However, the quote is a fabrication (see Jean Baudrillard. Cool Memories III, 1991–95. London: Verso, 1997). Editor's note: In Fragments: Conversations With François L'Yvonnet. New York: Routledge, 2004:11, Baudrillard acknowledges this 'Borges-like' fabrication." Cited in footnote #4 in Smith, Richard G.,"Lights, Camera, Action: Baudrillard and the Performance of Representations"Archived 2018-04-25 at theWayback Machine, International Journal of Baudrillard Studies, Volume 2, Number 1 (January 2005)
^Asay, Jamin."Truthmaker Theory".Internet Encyclopedia of Philosophy.Archived from the original on 24 November 2020. Retrieved28 November 2020.
Aristotle, "On Interpretation", Harold P. Cooke (trans.), pp. 111–179 inAristotle, Volume 1, Loeb Classical Library, William Heinemann, London, 1938.
Aristotle, "Prior Analytics",Hugh Tredennick (trans.), pp. 181–531 inAristotle, Volume 1, Loeb Classical Library, William Heinemann, London, 1938.
Aristotle, "On the Soul" (De Anima),W. S. Hett (trans.), pp. 1–203 inAristotle, Volume 8, Loeb Classical Library, William Heinemann, London, 1936.
Audi, Robert (ed., 1999),The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge, 1995. 2nd edition, 1999. Cited as CDP.
Baldwin, James Mark (ed., 1901–1905),Dictionary of Philosophy and Psychology, 3 volumes in 4, Macmillan, New York.
Baylis, Charles A. (1962), "Truth", pp. 321–322 in Dagobert D. Runes (ed.),Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
Benjamin, A. Cornelius (1962), "Coherence Theory of Truth", p. 58 in Dagobert D. Runes (ed.),Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
Blackburn, Simon, and Simmons, Keith (eds., 1999),Truth, Oxford University Press, Oxford. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.
Chandrasekhar, Subrahmanyan (1987),Truth and Beauty. Aesthetics and Motivations in Science, University of Chicago Press, Chicago, IL.
Chomsky, Noam (1995),The Minimalist Program, MIT Press, Cambridge, Massachusetts.
Church, Alonzo (1962a), "Name Relation, or Meaning Relation", p. 204 in Dagobert D. Runes (ed.),Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
Church, Alonzo (1962b), "Truth, Semantical", p. 322 in Dagobert D. Runes (ed.),Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
Clifford, W.K. (1877), "The Ethics of Belief and Other Essays". (Prometheus Books, 1999),infidels.orgArchived 2009-12-03 at theWayback Machine
Dewey, John (1900–1901),Lectures on Ethics 1900–1901, Donald F. Koch (ed.), Southern Illinois University Press, Carbondale and Edwardsville, IL.
Dewey, John (1932),Theory of the Moral Life, Part 2 of John Dewey andJames H. Tufts,Ethics, Henry Holt and Company, New York, 1908. 2nd edition, Holt, Rinehart, and Winston, 1932. Reprinted, Arnold Isenberg (ed.), Victor Kestenbaum (pref.), Irvingtion Publishers, New York, 1980.
Dewey, John (1938),Logic: The Theory of Inquiry (1938), Holt and Company, New York. Reprinted,John Dewey, The Later Works, 1925–1953, Volume 12: 1938,Jo Ann Boydston (ed.), Southern Illinois University Press, Carbondale and Edwardsville, IL, 1986.
Field, Hartry (2001),Truth and the Absence of Fact, Oxford University Press, Oxford.
Foucault, Michel (1997),Essential Works of Foucault, 1954–1984, Volume 1, Ethics: Subjectivity and Truth, Paul Rabinow (ed.), Robert Hurley et al. (trans.), The New Press, New York.
Garfield, Jay L., and Kiteley, Murray (1991),Meaning and Truth: The Essential Readings in Modern Semantics, Paragon House, New York.
Gupta, Anil (2001), "Truth", in Lou Goble (ed.),The Blackwell Guide to Philosophical Logic, Blackwell Publishers, Oxford.
Gupta, Anil andBelnap, Nuel. (1993).The Revision Theory of Truth. MIT Press.
Haack, Susan (1993),Evidence and Inquiry: Towards Reconstruction in Epistemology, Blackwell Publishers, Oxford.
Habermas, Jürgen (1976), "What Is Universal Pragmatics?", 1st published, "Was heißt Universalpragmatik?",Sprachpragmatik und Philosophie,Karl-Otto Apel (ed.), Suhrkamp Verlag, Frankfurt am Main. Reprinted, pp. 1–68 in Jürgen Habermas,Communication and the Evolution of Society, Thomas McCarthy (trans.), Beacon Press, Boston, 1979.
Habermas, Jürgen (1990),Moral Consciousness and Communicative Action, Christian Lenhardt and Shierry Weber Nicholsen (trans.), Thomas McCarthy (intro.), MIT Press, Cambridge, Massachusetts.
Habermas, Jürgen (2003),Truth and Justification, Barbara Fultner (trans.), MIT Press, Cambridge, Massachusetts.
James, William (1907),Pragmatism, A New Name for Some Old Ways of Thinking, Popular Lectures on Philosophy, Longmans, Green, and Company, New York.
James, William (1909),The Meaning of Truth, A Sequel to 'Pragmatism, Longmans, Green, and Company, New York.
James, William (1912),Essays in Radical Empiricism. Cf. Chapt. 3, "The Thing and its Relations", pp. 92–122.
James, William (2014),William James on Habit, Will, Truth, and the Meaning of Life. James Sloan Allen (ed.), Frederic C. Beil, Publisher, Savannah, GA.
Le Morvan, Pierre (2004), "Ramsey on Truth and Truth on Ramsey",British Journal for the History of Philosophy, 12 (4) 2004, 705–718,PDFArchived 2017-08-29 at theWayback Machine.
Peirce, C.S.,Collected Papers of Charles Sanders Peirce, vols. 1–6,Charles Hartshorne andPaul Weiss (eds.), vols. 7–8,Arthur W. Burks (ed.), Harvard University Press, Cambridge, Massachusetts, 1931–1935, 1958. Cited as CP vol.para.
Peirce, C.S. (1877), "The Fixation of Belief",Popular Science Monthly 12 (1877), 1–15. Reprinted (CP 5.358–387), (CE 3, 242–257), (EP 1, 109–123).EprintArchived 2020-12-11 at theWayback Machine.
Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 718–720 in J.M. Baldwin (ed.),Dictionary of Philosophy and Psychology, vol. 2. Reprinted, CP 5.565–573.
Polanyi, Michael (1966),The Tacit Dimension, Doubleday and Company, Garden City, NY.
Quine, W.V. (1956), "Quantifiers and Propositional Attitudes",Journal of Philosophy 53 (1956). Reprinted, pp. 185–196 in Quine (1976),Ways of Paradox.
Quine, W.V. (1976),The Ways of Paradox, and Other Essays, 1st edition, 1966. Revised and enlarged edition, Harvard University Press, Cambridge, Massachusetts, 1976.
Quine, W.V. (1980 a),From a Logical Point of View, Logico-Philosophical Essays, 2nd edition, Harvard University Press, Cambridge, Massachusetts.
Quine, W.V. (1980 b), "Reference and Modality", pp. 139–159 in Quine (1980 a),From a Logical Point of View.
Ramsey, F. P. (1927), "Facts and Propositions",Aristotelian Society Supplementary Volume 7, 153–170. Reprinted, pp. 34–51 in F. P. Ramsey,Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, 1990.
Ramsey, F. P. (1990),Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge.
Rawls, John (2000),Lectures on the History of Moral Philosophy, Barbara Herman (ed.), Harvard University Press, Cambridge, Massachusetts.
Rorty, R. (1979),Philosophy and the Mirror of Nature, Princeton University Press, Princeton, NJ.
Russell, Bertrand (1912),The Problems of Philosophy, 1st published 1912. Reprinted, Galaxy Book, Oxford University Press, New York, 1959. Reprinted, Prometheus Books, Buffalo, NY, 1988.
Russell, Bertrand (1918), "The Philosophy of Logical Atomism",The Monist, 1918. Reprinted, pp. 177–281 inLogic and Knowledge: Essays 1901–1950,Robert Charles Marsh (ed.), Unwin Hyman, London, 1956. Reprinted, pp. 35–155 inThe Philosophy of Logical Atomism,David Pears (ed.), Open Court, La Salle, IL, 1985.
Russell, Bertrand (1956),Logic and Knowledge: Essays 1901–1950, Robert Charles Marsh (ed.), Unwin Hyman, London, 1956. Reprinted, Routledge, London, 1992.
Russell, Bertrand (1985),The Philosophy of Logical Atomism,David Pears (ed.), Open Court, La Salle, IL.
