Misplaced Pages

Truth: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 08:59, 20 July 2005 editNathan Ladd (talk | contribs)856 edits removed link that simply reloaded this page← Previous edit Latest revision as of 01:51, 23 December 2024 edit undoZyxwvoids (talk | contribs)108 edits Replaced an inaccurate citation of the SEP article on truth with one to Asay's book "The Primitivist Theory of Truth." 
Line 1: Line 1:
{{Short description|Being in accord with fact or reality}}
The search for '''truth''' is a major topic of philosophy. From one point of view, an understanding of the term, 'truth' can be reached by looking at what role, if any, the predicate "is true" plays in statements such as ''"3 is less than 4" is true''. From that point of view, such statements are seen to be evaluating the statement "3 is less than 4," but from a different point of view statements of the form, "It is true that snow is white" are redundant, it is sufficient to say simply, "Snow is white." (See ] below.) This is only one of the issues about truth that philosophers discuss.
{{redirect|The truth|other uses of "The truth"|The Truth (disambiguation)|other uses of "Truth"|Truth (disambiguation)}}
{{use dmy dates|date=October 2024}}
{{pp-move}}
{{Epistemology sidebar}}'''Truth''' or '''verity''' is the ] of being in accord with ] or ].<ref name = Merriam-Webster-def>Merriam-Webster's Online Dictionary, {{Webarchive|url=https://web.archive.org/web/20091229155658/http://m-w.com/dictionary/truth |date=2009-12-29 }}, 2005</ref> In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as ]s, ]s, and ]s.<ref name="SEP Truth">{{cite web |title=Truth |url=https://plato.stanford.edu/entries/truth/ |website=Stanford Encyclopedia of Philosophy |access-date=29 June 2020 |archive-date=20 January 2022 |archive-url=https://web.archive.org/web/20220120210351/https://plato.stanford.edu/entries/truth/ |url-status=live }}</ref>


Truth is usually held to be the opposite of ]. The ] of truth is discussed and debated in various contexts, including ], ], ], ], and ]. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, including ] 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.<ref>{{cite book |last=Asay |first=Jamin |date=October 2013 |title=The Primitivist Theory of Truth |url=http://books.google.com/books?vid=9781107038974 |publisher=Cambridge University Press |page=30-33 |isbn=9781107038974}}</ref> Most commonly, truth is viewed as the correspondence of ] or ] to a mind-independent world. This is called the ].
==Bearers of truth==
]s, ]s, ]s, ]s, ]s, and ]s are said to be true, and are variously called ''truth bearers'' by ]s.


Various theories and views of truth continue to be debated among scholars, philosophers, and theologians.<ref name="SEP Truth"/><ref name=PUP32014>{{cite book|author1=Alexis G. Burgess and John P. Burgess|title=Truth|year=2011|publisher=Princeton University Press|isbn=978-0-691-14401-6|edition=1st|url=http://press.princeton.edu/titles/9460.html|access-date=October 4, 2014|format=hardcover|quote=a concise introduction to current philosophical debates about truth|archive-date=October 6, 2014|archive-url=https://web.archive.org/web/20141006131358/http://press.princeton.edu/titles/9460.html|url-status=live}}</ref> 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 as ]s capable of being true or false; if truth and falsehood are ], or if there are other truth values; identifying the ] that allow us to identify it and to distinguish it from falsehood; the role that truth plays in constituting ]; and, if truth is always ] or if it can be ] to one's perspective.
Some philosophers exclude one or more of these categories, or argue that some of them are true only in a derivative sense. These claims are made on the basis of theories about truth such as those discussed below.


==Etymology and ordinary usage==
For example, propositions are often thought to be the only things that are literally true. A proposition is the abstract entity which is ''expressed'' by a sentence, ''held'' in a belief, ''affirmed'' in a statement or judgement. All these things (which are parts of a language) are called true only if they ''express'', ''hold'', or ''affirm'' true propositions. So plausibly sentences of different languages, such as the (]) ''The sky is blue'' and the (]) ''Der Himmel ist blau'' are both true, for the reason that they express the same proposition.
{{Further|Veritas|Aletheia|Tryggvi|category=|Page 4=Satya|selfref=}}
{{anchor|treowe}}
The English word '']'' is derived from ] {{lang|ang|tríewþ, tréowþ, trýwþ}}, ] {{lang|enm|trewþe}}, cognate to ] {{lang|goh|triuwida}}, ] {{lang|non|tryggð}}. Like ''troth'', it is a '']'' nominalisation of the adjective ''true'' (Old English {{lang|ang|tréowe}}).


The English word '']'' is from Old English (]) {{lang|ang|(ge)tríewe, ]}}, cognate to ] {{lang|osx|(gi)trûui}}, ] {{lang|goh|(ga)triuwu}} (] {{lang|de|treu}} "faithful"), ] {{lang|non|tryggr}}, ] {{lang|got|triggws}},<ref>see ] for the ''-ww-'' : ''-gg-'' alternation.</ref> all from a ] ''*trewwj-'' "having ]", perhaps ultimately from PIE *dru- "tree", on the notion of "steadfast as an oak" (e.g., Sanskrit ] "(piece of) wood").<ref name="Truth from Online Etymology">{{cite web|last=Etymology|first=Online|title=Online Etymology|url=http://www.etymonline.com/|access-date=2013-11-27|archive-date=2007-07-13|archive-url=https://web.archive.org/web/20070713125946/http://www.etymonline.com/|url-status=live}}</ref> Old Norse ''{{lang|is|trú}}'', "faith, word of honour; religious faith, belief"<ref name=":0">'' {{Webarchive|url=https://web.archive.org/web/20070930210807/http://www.northvegr.org/zoega/h442.php |date=2007-09-30 }}'', Geir T. Zoëga (1910), Northvegr.org</ref> (archaic English '']'' "loyalty, ], good faith", compare ''{{lang|is|]}}'').
On the other hand, many philosophers have claimed that propositions and similar abstract entities are mysterious and provide little explanation; surely sentences, or even utterances of sentences, are a more clear-cut and fundamental truth bearer.


Thus, "truth" in its ordinary usage involves both the quality of "faithfulness, fidelity, loyalty, sincerity, veracity",<ref>] on ''true'' 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."</ref> and that of "agreement with ] or ]", in Anglo-Saxon expressed by '']'' (Modern English '']'').
==Theories about truth==


All Germanic languages besides English have introduced a terminological distinction between truth "fidelity" and truth "factuality". To express "factuality", ] opted for nouns derived from {{lang|gmq|sanna}} "to assert, affirm", while continental ] (German and Dutch) opted for continuations of {{lang|gmw|wâra}} "faith, trust, pact" (cognate to Slavic ''věra'' "(religious) faith", but influenced by Latin {{lang|la|]}}). ]s use terms following the Latin {{lang|la|]}}, while the Greek {{lang|el-latn|]}}, Russian {{lang|ru-latn|]}}, South Slavic ''istina'' and Sanskrit {{lang|sa-latn|]}} (related to English ''sooth'' and North Germanic {{lang|gmq|sanna}}) have separate etymological origins.
]s and ]s have proposed a number of broad ] about ], which are now frequently sorted into two camps.


In some modern contexts, the word "truth", like the adjective "true", is used to refer to fidelity to an original or standard. It can also be used in the context of being "true to oneself" in the sense of acting with ].<ref name = Merriam-Webster-def/>
===Robust Theories===
Some theories hold in common that truth is a ''robust'' (sometimes ''inflationary'') concept. According to these theories, truth needs explanation and is something about which significant things can be said:
*The ] sees truth as correspondence with objective reality. Thus, a sentence is said to be true just in case it expresses a state of affairs in the world.
*The ] sees truth as coherence with some specified set of sentences or, more often, of beliefs. For example, one of a person's beliefs is true just in case it is coherent with all or most of her other beliefs. Usually, coherence is taken to imply something stronger than mere consistency: justification, evidence, and comprehensiveness of the belief set are common restrictions.
*The ] holds that truth is whatever is agreed upon, or in some versions, might come to be agreed upon, by some specified group.
*] sees truth as the success of the practical consequences of an idea, i.e. its ].
*] holds that truth is constructed by social processes, and it represents the power struggles within a community.


==Major theories<!-- 'Philosophy of truth', 'Theory of truth', 'Theories of truth', and 'Truth theory' redirect here. Please do not alter the title of the section without also fixing the redirect pages. -->==
===Deflationary Theories===
Other philosophers reject the idea that truth is a robust concept in this sense. From this point of view, to say ''"2 + 2 = 4" is true'' is to say no more than that 2 + 2 = 4, and that there is no more to say about truth than this. These positions are broadly called "deflationary" theories of truth (because the concept has been "deflated" of importance) or "disquotational" theories (to draw attention to the mere "disappearance" of the quotation marks in cases like the above example). The primary theoretical concern of these views is to explain away those special cases where it appears that the concept of truth does have peculiar and interesting properties. (See ]es, and below.)


]'s ''Veritas'' (Truth) outside ], ] ]]]
From this point of view (see ] and ]), truth is not the name of some property of propositions &mdash; some ''thing'' about which one could have a theory. The belief that truth is a property is just an illusion caused by the fact that we have the predicate "is true" in our language. Since most predicates name properties, we naturally assume that "is true" does as well. But, deflationists say, statements that ''seem'' to predicate truth actually do nothing more than signal agreement with the statement.


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 substantive '''theories of truth'''<!--boldface per WP:R#PLA--> listed below. Each presents perspectives that are widely shared by published scholars.<ref name="EPT">], Supp., "Truth", auth: Michael Williams, pp. 572–573 (Macmillan, 1996)</ref><ref>Blackburn, Simon, and Simmons, Keith (eds., 1999), ''Truth'', Oxford University Press, Oxford. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.</ref><ref name=":1">{{cite book |editor1-last=Hale |editor1-first=Bob |editor2-last=Wright |editor2-first=Crispin |editor3-last=Miller |editor3-first=Alexander |date=1997 |publisher=Blackwell |location=Oxford |title=A Companion to the Philosophy of Language |isbn=978-0-631-21326-0 |edition=1999 reprint |oclc=40839879}}
For example, the ] holds that to assert that a statement is true is just to assert the statement itself. Thus, to say that ''"Snow is white" is true'' is to say nothing more nor less than that snow is white.
* {{multiref2|1={{cite book |date=1997 |publisher=Blackwell |location=Oxford |last=Heal |first= Jane | others="Chapter postscript" by Alexander Miller |chapter=13. Radical Interpretation |title=A Companion to the Philosophy of Language|doi=10.1002/9781118972090.ch13 |pages=299−323|isbn=978-1-118-97471-1 |ref=none}}|2={{cite book|last= Richard |first=Mark |date=1997 |publisher=Blackwell |location=Oxford|chapter=14. Propositional Attitudes |title=A Companion to the Philosophy of Language |pages=324–356|ref=none}} }}</ref>{{rp|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% ].<ref>{{cite web |url=http://philpapers.org/surveys/results.pl?affil=All+respondents&areas0=0&areas_max=1&grain=medium |title=The PhilPapers Surveys – Preliminary Survey results |website=The PhilPapers Surveys |publisher=Philpapers.org |access-date=2012-05-27 |archive-date=2012-03-20 |archive-url=https://web.archive.org/web/20120320074244/http://philpapers.org/surveys/results.pl?affil=All+respondents&areas0=0&areas_max=1&grain=medium |url-status=live }}</ref>
A second example, attributed to ], is the performative theory of truth which holds that to say ''"Snow is white" is true'' is to perform the ] of signalling 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. Consider, for example, that when the bride says "I do" at the appropriate time in a wedding, she is performing the act of taking this man to be her lawful wedded husband. She is not ''describing'' herself as taking this man.


===Substantive===
A third type of deflationary theory is the disquotational theory which uses a variant form of Tarski's schema: To say that '"P" is true' is to say that P. One of the most thoroughly worked out versions of this view is the ], first developed by Dorothy Grover, Joseph Camp, and ] as an elaboration of ]'s claims. They argue that sentences like "That's true" are ]s (see ]), expressions that merely repeat the content of other expressions. In the same way that ''it'' means the same as ''my dog'' in the sentence ''My dog was hungry, so I fed it'', ''That's true'' is supposed to mean the same as ''It's raining'' if you say the latter and I then say the former.
====Correspondence====
{{Main|Correspondence theory of truth}}
Correspondence theories emphasize that true beliefs and true statements correspond to the actual state of affairs.<ref name=":2">], Vol.2, "Correspondence Theory of Truth", auth.: ], p. 223 (Macmillan, 1969). Prior uses ]'s wording in defining correspondence theory. According to Prior, Russell was substantially responsible for helping to make correspondence theory widely known under this name.</ref> 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 to ] philosophers such as ], ], and ].<ref>], Vol.2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, pp. 223–224 (Macmillan, 1969).</ref> 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 theologian ]: "'']''" ("Truth is the adequation of things and ]"), which Aquinas attributed to the ninth century ] ].<ref name=":3">], Vol. 2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, Macmillan, 1969, p. 224.</ref><ref> {{Webarchive|url=https://web.archive.org/web/20191031140950/https://plato.stanford.edu/entries/truth-correspondence/ |date=2019-10-31 }}.</ref><ref name=":4">Thomas Aquinas, '']'', I. Q.16, A.2 arg. 2.</ref> Aquinas also restated the theory as: "A judgment is said to be true when it conforms to the external reality".<ref name=":5"> {{Webarchive|url=https://web.archive.org/web/20191031140950/https://plato.stanford.edu/entries/truth-correspondence/ |date=2019-10-31 }} (citing ''De Veritate'' Q.1, A.1–3 and '']'', I. Q.16).</ref>


Correspondence theory centres around the assumption that truth is a matter of accurately copying what is known as "]" and then representing it in thoughts, words, and other symbols.<ref>''See, e.g.,'' Bradley, F.H., "On Truth and Copying", in Blackburn, ''et al.'' (eds., 1999),''Truth'', 31–45.</ref> Many modern theorists have stated that this ideal cannot be achieved without analysing additional factors.<ref name=EPT/><ref name=":6">], Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223 ''ff''. 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.</ref> For example, language plays a role in that all languages have words to represent concepts that are virtually undefined in other languages. The ] word '']'' 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 in ]). Thus, some words add an additional parameter to the construction of an accurate ]. Among the philosophers who grappled with this problem is ], whose ] is summarized further on.<ref>], Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223 ''ff''. Macmillan, 1969. See the section on "Tarski's Semantic Theory", 230–231.</ref>
===Formal definitions===


Proponents of several of the theories below have gone further to assert that there are yet other issues necessary to the analysis, such as interpersonal power struggles, community interactions, personal biases, and other factors involved in deciding what is seen as truth or in what the contents of truth consist.
====Semantic theory of truth====

====Coherence====
{{Main|Coherence theory of truth}}

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.<ref>], 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 of ] and ] are characteristic systems that are internally coherent but controversial in terms of their utility and validity.</ref> 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.

Some variants of coherence theory are claimed to describe the essential and intrinsic properties of ]s in logic and mathematics.<ref>], Vol.2, "Coherence Theory of Truth", auth: ], pp. 130–131 (Macmillan, 1969)</ref> Formal reasoners are content to contemplate ] and sometimes mutually contradictory systems side by side, for example, the various ]. 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 the ], ] data in general, assertions about practical matters of psychology and society, especially when used without support from the other major theories of truth.<ref>], Vol.2, "Coherence Theory of Truth", auth: Alan R. White, pp. 131–133, ''see'' esp., section on "Epistemological assumptions" (Macmillan, 1969)</ref>

Coherence theories distinguish the thought of ] philosophers, particularly of ], ], and ], along with the British philosopher ].<ref>], Vol.2, "Coherence Theory of Truth", auth: Alan R. White, p. 130</ref> They have found a resurgence also among several proponents of ], notably ] and ].

====Pragmatic====
{{Main|Pragmatic theory of truth}}

Three influential forms of the ''pragmatic theory of truth'' were introduced around the turn of the 20th century by ], ], and ]. 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.<ref>], Vol. 5, "Pragmatic Theory of Truth", 427 (Macmillan, 1969).</ref>

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."<ref name="Peirce Truth and Falsity">Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 716–720 in ], 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 Books . Reprinted, '']'' v. 5, pp. 565–573.</ref> This statement stresses Peirce's view that ideas of approximation, incompleteness, and partiality, what he describes elsewhere as '']'' and "reference to the future", are essential to a proper conception of truth. Although Peirce uses words like ''concordance'' and ''correspondence'' to describe one aspect of the pragmatic ], he is also quite explicit in saying that definitions of truth based on mere correspondence are no more than ''nominal'' definitions, which he accords a lower status than ''real'' 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."<ref name=WJP>James, William, ''The Meaning of Truth, A Sequel to 'Pragmatism','' (1909).</ref> By this, James meant that truth is a ''quality'', 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 that ], whether scientific, technical, sociological, philosophical, or cultural, is self-corrective over time ''if'' openly submitted for testing by a community of inquirers in order to clarify, justify, refine, and/or refute proposed truths.<ref>], Vol.2, "Dewey, John", by ], p. 383 (Macmillan, 1969)</ref>

Though not widely known, a new variation of the pragmatic theory was defined and wielded successfully from the 20th century forward. Defined and named by ], 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.<ref>Sahakian, W.S. & Sahakian, M.L., Ideas of the Great Philosophers, New York: Barnes & Noble, 1966, {{LCCN|66-23155}}</ref> Philosopher of science ] also subscribed to it: "We never are definitely right, we can only be sure we are wrong."<ref name="FeynmanThe">{{cite book |last1=Feynman |first1=Richard Phillips |title=The Character of Physical Law |date=1994 |publisher=Modern Library |location=New York |isbn=978-0-679-60127-2|orig-date=First published 1965}}</ref> 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."<ref name="FeynmanThe" /> 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 the ] 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, "...{{nbsp}}if it disagrees with experiment, it is wrong."{{r|FeynmanThe|p=150}}

====Constructivist====
{{Main|Constructivist epistemology}}

] 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, including ], ], and ], are socially constructed.

] was among the first to claim that history and culture were man-made. Vico's ] orientation unfolds in one axiom: ''verum ipsum factum''—"truth itself is constructed". ] and ] 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".<ref>{{cite book |author1=May, Todd |author-link1=Todd May (philosopher) |title=Between Genealogy and Epistemology: Psychology, Politics, and Knowledge in the Thought of Michel Foucault |date=1993 |publisher=Pennsylvania State University Press |location=University Park |isbn=978-0-271-02782-1|oclc= 26553016}}</ref>{{page needed|date=March 2019}}

====Consensus====
{{Main|Consensus theory of truth}}

] 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 a ] thereof consisting of more than one person.

Among the current advocates of consensus theory as a useful accounting of the concept of "truth" is the philosopher ].<ref>''See, e.g.'', Habermas, Jürgen, ''Knowledge and Human Interests'' (English translation, 1972).</ref> Habermas maintains that truth is what would be agreed upon in an ].<ref>''See, e.g.'', Habermas, Jürgen, ''Knowledge and Human Interests'' (English translation, 1972), esp. Part III, pp. 187 ''ff''.</ref> Among the current strong critics of consensus theory is the philosopher ].<ref>Rescher, Nicholas, ''Pluralism: Against the Demand for Consensus'' (1995).</ref>

===Minimalist===
====Deflationary====
{{Main|Deflationary theory of truth}}

Modern developments in the field of philosophy have resulted in the rise of a new thesis: that the term ''truth'' does not denote a real property of sentences or propositions. This thesis is in part a response to the common use of ''truth predicates'' (e.g., that some particular thing "...{{nbsp}}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:
* as ''deflationary'' theories of truth, since they attempt to deflate the presumed importance of the words "true" or ''truth'',
* as ''disquotational'' theories, to draw attention to the disappearance of the quotation marks in cases like the above example, or
* as ''minimalist'' theories of truth.<ref name=EPT/><ref>Blackburn, Simon, and Simmons, Keith (eds., 1999), ''Truth'' in the Introductory section of the book.</ref>

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."<ref name=EPT/> 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 it ''does'' appear that the concept of truth has peculiar and interesting properties. (See, e.g., ]es, 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 "...{{nbsp}}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:
{{blockindent|1=''Michael says, 'snow is white' and snow is white, or he says 'roses are red' and roses are red or he says{{nbsp}}... etc.''}}
This assertion can instead be succinctly expressed by saying: ''What Michael says is true''.<ref>], ], MIT Press, 1992.</ref>

=====Redundancy and related=====
{{Main|Redundancy theory of truth}}

An early variety of deflationary theory is the ], so-called because—in examples like those above, e.g. "snow is white "—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 to ], who held that the use of words like ''fact'' and ''truth'' was nothing but a ] way of asserting a proposition, and that treating these words as separate problems in isolation from judgment was merely a "linguistic muddle".<ref name="EPT"/><ref>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</ref><ref>Le Morvan, Pierre. (2004) "Ramsey on Truth and Truth on Ramsey", ''The British Journal for the History of Philosophy'' 12(4), pp. 705–718.</ref>

A variant of redundancy theory is the "disquotational" theory, which uses a modified form of the logician ]'s ]: proponents observe that to say that "'P' is true" ''is'' to assert "P". A version of this theory was defended by ] (in his book ''What is Truth?''). Yet another version of deflationism is the prosentential theory of truth, first developed by Dorothy Grover, Joseph Camp, and ] 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 "]s"—expressions that merely repeat the content of other expressions. In the same way that ''it'' means the same as ''my dog'' in the statement "my dog was hungry, so I fed it", ''that's true'' is supposed to mean the same as ''it's raining'' when the former is said in reply to the latter.

As noted above, proponents of these ideas do not necessarily follow Ramsey in asserting that truth is not a ''property;'' 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.<ref name=EPT/>

====Performative====
Attributed to philosopher ] is the performative theory of truth which holds that to say "'Snow is white' is true" is to perform the ] 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 not ''describing'' themselves as taking the other, but actually ''doing'' so (perhaps the most thorough analysis of such "illocutionary acts" is ], most notably in '']''<ref>J. L. Austin, "How to Do Things With Words". Cambridge: Harvard University Press, 1975</ref>).

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 'It's true that{{nbsp}}...' is to agree with, accept, or endorse the statement that 'it's raining.{{' "}}<ref>], Vol. 6: ''Performative Theory of Truth'', auth: Gertrude Ezorsky, p. 88 (Macmillan, 1969)</ref>

====Philosophical skepticism====
{{see also|Philosophical skepticism|Certainty}}

] is generally any ] of one or more items of ] or ] which ascribe truth to their assertions and propositions.<ref>{{cite encyclopedia |title=skepticism |date=n.d. |url=https://encyclopedia2.thefreedictionary.com/skepticism |encyclopedia=The Columbia Electronic Encyclopedia|archive-date=2012-07-13 |archive-url=https://archive.today/20120713170158/http://encyclopedia2.thefreedictionary.com/Skeptikoi |url-status=live|access-date=2018-06-04 }} Citing:
* {{cite book |first=R. H. |last=Popkin |title=The History of Skepticism from Erasmus to Descartes |edition=revised |date=1968|ref=none}}
* {{cite book|first=C. L. |last=Stough|title=Greek Skepticism|date=1969|ref=none}}
* {{cite book|editor-first=M. |editor-last=Burnyeat |title=The Skeptical Tradition |date=1983|ref=none}}
* {{cite book|first= B. |last= Stroud |title=The Significance of Philosophical Skepticism |date=1984 |ref=none}}</ref><ref>"Philosophical views are typically classed as skeptical when they involve advancing some degree of doubt regarding claims that are elsewhere taken for granted." {{Webarchive|url=https://web.archive.org/web/20090113210019/http://www.utm.edu/research/iep/s/skepcont.htm |date=2009-01-13 }}</ref> The primary target of philosophical skepticism is ], but it can be applied to any domain, such as the ], morality (]), and ] (skepticism about the existence of God).<ref>{{Cite book|title = The Oxford Handbook of Skepticism|url = https://books.google.com/books?id=Ozv0lftrUeEC|publisher = Oxford University Press, US|year = 2008|isbn = 978-0-19-518321-4|language = en|first = John|last = Greco|author-link=John Greco (philosopher)}}</ref>

Philosophical skepticism comes in various forms. ] deny that knowledge or rational belief is possible and urge us to ] 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. ] is "doubt concerning basic religious principles (such as immortality, providence, and revelation)".<ref>{{Cite web|title = Definition of SKEPTICISM|url = http://www.merriam-webster.com/dictionary/skepticism|website = Merriam-Webster |access-date = 2016-02-05|archive-date = 2019-04-24|archive-url = https://web.archive.org/web/20190424142033/https://www.merriam-webster.com/dictionary/skepticism|url-status = live}}</ref> ] concerns testing beliefs for reliability, by subjecting them to ] investigation using the ], to discover ] for them.

===Pluralist===
{{Main|Pluralist theories of 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.

Some of the pragmatic theories, such as those by ] and ], included aspects of correspondence, coherence and constructivist theories.<ref name="Peirce Truth and Falsity"/><ref name=WJP/> ] argued in his 1992 book ''Truth 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.<ref>Truth and Objectivity, Cambridge, Massachusetts: Harvard University Press, 1992.</ref> ], in a 2009 book ''Truth 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.<ref>Truth as One and Many (Oxford: Oxford University Press, 2009).</ref>

==Formal theories==
===Logic===
{{Main|Logical truth|Criteria of truth|Truth value}}

] is concerned with the patterns in ] that can help tell if a ] is true or not. Logicians use ]s to express the truths they are concerned with, and as such there is only truth under some ] or truth within some ].

A logical truth (also called an analytic truth or a necessary truth) is a statement that is true in all logically possible worlds<ref>], '']''.</ref> or under all possible interpretations, as contrasted to a '']'' (also called a '']'' or a '']''), which is only true in this ] 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 the ] and ] in it and not because of any fact of any particular world. They are such that they could not be untrue.

] of ] in logic may be represented using two or more discrete values, as with ] (or ]), ], and other forms of ].<ref>{{cite book| last=Kretzmann| first=Norman| title=William of Sherwood's Treatise on Syncategorematic Words| chapter=IV, section<nowiki>=</nowiki>2. 'Infinitely Many' and 'Finitely Many'| publisher=University of Minnesota Press| year=1968| chapter-url=https://books.google.com/books?id=fW5rlSy-5D8C&pg=PA42| isbn=978-0-8166-5805-3}}</ref><ref>{{cite book| last=Smith| first=Nicholas J.J.| chapter=Article 2.6| title=Many-Valued Logics| publisher=Routledge| year=2010| chapter-url=https://www-personal.usyd.edu.au/~njjsmith/papers/smith-many-valued-logics.pdf| access-date=2018-05-25| archive-date=2018-04-08| archive-url=https://web.archive.org/web/20180408200831/http://www-personal.usyd.edu.au/~njjsmith/papers/smith-many-valued-logics.pdf| url-status=live}}</ref> Truth in logic can be represented using numbers comprising a ] range, typically between 0 and 1, as with ] and other forms of ].<ref>{{cite book| title=The Development of Modern Logic| last1=Mancosu| first1=Paolo| last2=Zach| first2=Richard| last3=Badesa| first3=Calixto| chapter=9. The Development of Mathematical Logic from Russell to Tarski 1900-1935" §7.2 "Many-valued logics| publisher=Oxford University Press| pages=418–420| year=2004| url=https://books.google.com/books?id=0jXavKsArnIC| isbn=978-0-19-972272-3}}</ref><ref>{{cite web| last=Garrido| first=Angel| title=A Brief History of Fuzzy Logic| publisher=Revista EduSoft| year=2012| url=https://www.edusoft.ro/brain/index.php/brain/article/viewFile/308/390| access-date=2018-05-25| archive-date=2018-05-17| archive-url=https://web.archive.org/web/20180517152622/https://www.edusoft.ro/brain/index.php/brain/article/viewFile/308/390| url-status=live}}, Editorial</ref> In general, the concept of representing truth using more than two values is known as ].<ref>{{cite book| last=Rescher| first=Nicholas| publisher=Humanities Press Synthese Library volume 17| year=1968| doi=10.1007/978-94-017-3546-9_6| title=Topics in Philosophical Logic|pages = 54–125|isbn = 978-90-481-8331-9| chapter=Many-Valued Logic}}</ref>

===Mathematics===
{{anchor|Truth_in_mathematics}}
{{Main|Model theory|Proof theory}}

There are two main approaches to truth in mathematics. They are the '']'' and the '']''.<ref>Penelope Maddy; ''Realism in Mathematics''; Series: Clarendon Paperbacks; Paperback: 216 pages; Publisher: Oxford University Press, US (1992); 978-0-19-824035-8.</ref>

Historically, with the nineteenth century development of ], 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". In ], these symbols can be manipulated according to a set of ] and ], often given in the form of ]s.

In addition, from at least the time of ] at the turn of the twentieth century to the proof of ] and the development of the ] in the early part of that century, true statements in mathematics were ] to be those statements that are provable in a formal axiomatic system.<ref>Elliott Mendelson; ''Introduction to Mathematical Logic''; Series: Discrete Mathematics and Its Applications; Hardcover: 469 pages; Publisher: Chapman and Hall/CRC; 5 edition (August 11, 2009); 978-1-58488-876-5.</ref>

The works of ], ], and others shook this assumption, with the development of statements that are true but cannot be proven within the system.<ref>''See, e.g.,'' Chaitin, Gregory L., ''The Limits of Mathematics'' (1997) esp. 89 ''ff''.</ref> Two examples of the latter can be found in ]. Work on ] led in the late twentieth century to the construction of specific ] for which it is undecidable whether they have a solution,<ref>M. Davis. "Hilbert's Tenth Problem is Unsolvable." ''American Mathematical Monthly'' 80, pp. 233–269, 1973</ref> or even if they do, whether they have a finite or infinite number of solutions. More fundamentally, ] was on the ].<ref>Yandell, Benjamin H.. ''The Honors Class. Hilbert's Problems and Their Solvers'' (2002).</ref> Gödel and ] showed that this hypothesis cannot be proved or disproved using the standard ]s of ].<ref>Chaitin, Gregory L., ''The Limits of Mathematics'' (1997) 1–28, 89 ''ff''.</ref> 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 of ], an ability he admitted could be ultimately beyond the scope of a formal theory of logic or mathematics<ref>{{cite web| last=Ravitch| first=Harold| title=On Gödel's Philosophy of Mathematics| year=1998| url=http://www.friesian.com/goedel/chap-2.htm| access-date=2018-05-25| archive-date=2018-02-28| archive-url=https://web.archive.org/web/20180228005628/http://friesian.com/goedel/chap-2.htm| url-status=live}}</ref><ref>{{cite web| last=Solomon| first=Martin| title=On Kurt Gödel's Philosophy of Mathematics| year=1998| url=http://calculemus.org/lect/07logika/godel-solomon.html| access-date=2018-05-25| archive-date=2016-03-04| archive-url=https://web.archive.org/web/20160304030146/http://www.calculemus.org/lect/07logika/godel-solomon.html| url-status=live}}</ref> and perhaps best considered in the realm of human ] and communication. But he commented, "The more I think about language, the more it amazes me that people ever understand each other at all".<ref>{{cite book| last=Wang| first=Hao| title=A Logical Journey: From Gödel to Philosophy| publisher=The MIT Press| year=1997| url=https://books.google.com/books?isbn=0262261251}} (A discussion of Gödel's views on ] is woven throughout the book; the quote appears on page 75.)</ref>

===Tarski's semantics===
{{main|Semantic theory of truth}}


The ] has as its general case for a given language: The ] has as its general case for a given language:
:'P' is true if and only if P :'P' is true if and only if P
where 'P' is a reference to the sentence (the sentence's name), and P is just the sentence itself. where 'P' refers to the sentence (the sentence's name), and P is just the sentence itself.


Logician and philosopher ] developed the theory for formal languages (such as ]). Here he restricted it in this way: no language could contain its own truth predicate, that is, the expression ''is true'' could only apply to sentences in some other language. The latter he called an ''object 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 contain paradoxical sentences like the Liar: ''This sentence is not true''. See ]. 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. Tarski thought of his theory as a species of correspondence theory. ] used it as the foundation of his ] and linked it to ] in a form of ]. ] (named after ]) was developed for formal languages, such as ]. Here he restricted it in this way: no language could contain its own truth predicate, that is, the expression ''is true'' could only apply to sentences in some other language. The latter he called an ''object 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 contain ] 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. ] used it as the foundation of his ] and linked it to ] in a form of ].


] 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 and ] attempted to solve these problems in '']'' by putting statements into a hierarchy of ], 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 possible ]s that have yet to be resolved to this day.
====Kripke's theory of truth====


===Kripke's semantics<!--Linked from 'Semantic theory of truth'-->===
] 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:
{{Main|Semantic theory of truth}}
] (named after ]) 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 "<nowiki>'</nowiki>''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 for ''The barn is big''; then for "''The barn is big'' is true"; then for "<nowiki>'</nowiki>''The barn is big'' is true' is true", and so on.


Truth never gets defined for sentences like ''This 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 the ]: every sentence must be either true or false. Since this principle is a key premise in deriving the ], the paradox is dissolved.<ref>Kripke, Saul. "Outline of a Theory of Truth", Journal of Philosophy, 72 (1975), 690–716</ref>
* Begin 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"''.


The ] shows self-reference cannot be avoided naively{{clarify|date=November 2022|reason=
* Define truth just for the sentences in that subset.
Is this paragraph implying that Kripke semantics attempt to "naively avoid self-reference"? I am pretty certain that Kripke was well aware of, and deeply understood both Godel's and Tarski's work relevant to these questions, given that he was a mathematical logician in the period several decades after Godel's and Tarski's foundational publications. So all things being equal, unless another commensurate expert is claiming that Kripke is doing this, it shouldn't be assumed that he is -- in which case a citation to the expert, and where their opinion is expressed, is needed.
}}{{citation needed|date=November 2022|reason=Which of Godel's publications is this referring to?
}}, since propositions about seemingly unrelated objects can have an informal self-referential meaning; in Gödel's work, these objects are integer numbers, and they have an informal meaning regarding propositions{{clarify|date=November 2022|reason=
Great, but what part of Kripke semantics relies on (something equivalent to) first-order Peano arithmetic, which as far as I understand is the context where the Goedel numbering method (which this paragraph is seemingly referencing) is relevant. And based on this informal discussion, it's unclear to me whether the author is conflating object language and metalanguage.
}}. In fact, this idea — manifested by the ]—is the basis for ] that truth cannot be consistently defined.{{clarify|date=November 2022|reason=
Again Saul Kripke is a mathematical logician, he was obviously aware of diagonal arguments (also relevant to Cantor's theorem, most generalized by Lawvere's theorem), so the basis for assuming that he proposed a system of formal semantics that doesn't make sense in light of a diagonal argument seems highly dubious. That might not be what this paragraph is claiming, but again I don't understand what it is claiming.
}}


It has thus been claimed<ref>Keith Simmons, ''Universality and the Liar: An Essay on Truth and the Diagonal Argument'', Cambridge University Press, Cambridge 1993</ref> that Kripke's system indeed leads to contradiction{{dubious|date=November 2022}}: while its truth predicate is only partial, it does give truth value (true/false) to propositions such as the one built in Tarski's proof,{{dubious|reason=Based on what I understand of Kripke semantics based on Goldblatt's book, this seems likely to be incorrect, because propositions can either not be given any truth values, or be given one truth value in one part of the poset (partially ordered set) and another truth value in another part of the poset. So this really sounds to me like a misinterpretation of both partial orders in general (which need not be total orders a.k.a. linear orders) as well as Kripke semantics in particular.
* Then extend 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".
|date=November 2022}} and is therefore inconsistent. While there is still a debate on whether Tarski's proof can be implemented to every similar partial truth system,{{clarify|date=November 2022|reason=
What is a "partial truth system"? (I.e. the precise mathematical definition?) And in what metalanguage/metalogic are people trying to prove the consistency of these "partial truth systems" in? Also, no one has shown ZFC to be consistent - does that mean this paragraph is claiming that the foundations of mathematics are dubious? Maybe they are, but it's not clear to me either way what this is claiming. E.g. is it conflating "consistency" or "completeness" of a theory (expressed in a given logic) with "consistency" or "completeness" of a given logic?
}} none have been shown to be consistent by ] used in ].{{citation needed|date=November 2022}}


] are related to the use of ] and other concepts from ] in the study of ].<ref>{{Cite book |last=Goldblatt |first=Robert |title=Topoi, the categorial analysis of logic |date=1983 |publisher=Sole distributors for the U.S.A. and Canada, Elsevier North-Holland |isbn=0-444-86711-2 |edition=revised |location=Amsterdam |oclc=9622076}}</ref> They provide a choice of formal semantics for ].
* Next, define 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 for ''The barn is big''; then for ' ''The barn is big'' is true'; then for "' ''The barn is big'' is true' is true", and so on.


==Folk beliefs==
Notice that truth never gets defined for sentences like ''This 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 the ]: every sentence must be either true or false. Since this principle is a key premise in deriving the Liar paradox, the paradox is dissolved.
The ] "''P'' is true" has great practical value in human language, allowing ''efficient'' endorsement or impeaching of claims made by others, to emphasize the truth or falsity of a statement, or to enable various indirect (]) conversational implications.<ref>{{cite book|last1=Scharp|first1=Kevin|title=Replacing truth|date=2013|publisher=Oxford Univ. Press|location=Oxford|isbn=978-0-19-965385-0|edition=First|chapter=6: What is the Use?}}</ref> Individuals or societies will sometime punish "false" statements to deter falsehoods;<ref>{{cite web|title=truth {{!}} philosophy and logic|url=https://www.britannica.com/topic/truth-philosophy-and-logic|website=Encyclopedia Britannica|access-date=28 July 2017|language=en|quote=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.|archive-date=5 June 2019|archive-url=https://web.archive.org/web/20190605223755/https://www.britannica.com/topic/truth-philosophy-and-logic|url-status=live}}</ref> the oldest surviving law text, the ], lists penalties for false accusations of sorcery or adultery, as well as for committing ] in court. Even four-year-old children can pass simple "]" tests and successfully assess that another individual's belief diverges from reality in a specific way;<ref>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.</ref> by adulthood there are strong implicit intuitions about "truth" that form a "folk theory" of truth. These intuitions include:<ref>Lynch, Michael P. "Alethic functionalism and our folk theory of truth." Synthese 145.1 (2005): 29–43.</ref>
* Capture (''T''-in): If ''P'', then ''P'' is true
* Release (''T''-out): If ''P'' is true, then ''P''
* ]: A statement cannot be both true and false
* 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, any ] that fully obeys "capture and release" semantics for truth (also known as the '']''), and that also respects classical logic, is provably ] and succumbs to the ] or to a similar contradiction.<ref>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.</ref>
==Types of truth==


==Ancient Greek philosophy==
===Subjective vs. objective===


{{see also| Aletheia}}
Subjective truths are those with which we are most intimately acquainted. That I like broccoli or that I have a pain in my foot are both subjectively true. ] holds that all we have are such truths. That is, that all we can know about are, one way or another, our own subjective experiences. This view does not necessarily reject ]. But at the least it claims that we cannot have direct knowledge of the real world.
]', ]'s and ]'s ideas about truth are seen by some as consistent with ]. In his '']'', Aristotle stated: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true".<ref name=StanfordCorr>David, Marion (2005). {{Webarchive|url=https://web.archive.org/web/20140225071446/http://plato.stanford.edu/entries/truth-correspondence/#1 |date=2014-02-25 }} in ]</ref> The ] proceeds to say of Aristotle:<ref name=StanfordCorr/>


<blockquote>...{{nbsp}}Aristotle sounds much more like a genuine correspondence theorist in the ''Categories'' (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 in ''De 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.{{nbsp}}...</blockquote>
In contrast, ] truths are supposed in some way to be independent of our subjective beliefs and tastes. Such truths would subsist not in the mind but in the external object.


Similar statements can also be found in Plato's dialogues ('']'' 385b2, '']'' 263b).<ref name=StanfordCorr/>
===Relative vs. absolute ===


Some Greek philosophers maintained that truth was either not accessible to mortals, or of greatly limited accessibility, forming early ]. Among these were ], ], and ], the founder of ], who argued that there was no criterion of truth.
Relative truths are statements or propositions that are true only relative to some standard or convention or point-of-view. Usually the standard cited is the tenets of one's own culture. Everyone agrees that the truth or falsity of ''some'' statements is relative: That the fork is to the left of the spoon depends on where one stands. But ] is the doctrine that ''all'' truths within a particular domain (say, morality or aesthetics) are of this form, and Relativism entails that what is true varies across cultures and eras. For example, ] is the view that moral truths are socially determined. Some logical issues about Relativism are taken up in the article on the ].


The ] believed that all sense perceptions were true,<ref>{{Cite book|title=The Cambridge Companion to Epicureanism|url=https://archive.org/details/cambridgecompani00warr_995|url-access=limited|last=Asmis|first=Elizabeth|publisher=Cambridge University Press|year=2009|editor-last=Warren|editor-first=James|page=|chapter=Epicurean empiricism}}</ref><ref name=":252">{{Cite book|title=Epicureanism|last=O'Keefe|first=Tim|publisher=University of California Press|year=2010|pages=97–98}}</ref> and that errors arise in how we judge those perceptions.
Relative truths can be contrasted with absolute truths. The latter are statements or propositions that are taken to be true for all cultures and all eras. For example, for Muslims ''God is great'' expresses an absolute truth; for the microeconomist, that the laws of ] determine the value of any consumable in a market economy is true in all situations; for the Kantian, "act only according to that maxim by which you can at the same time will that it should become a universal law" forms an absolute moral truth. They are statements that are often claimed to emanate from the very nature of the universe, God, or some other ultimate essence or ] signifier. But some absolutists claim that the doctines they regard as absolute arise from certain universal facts of human nature.


The ] conceived truth as accessible from ] via ].
] in a particular domain of thought is the view that all statements in that domain are either absolutely true or absolutely false: none is true for some cultures or eras while false for other cultures or eras. For example, ] is the view that moral claims such as "Abortion is wrong" or "Charity is good" are either true for all people in all times or false for all people in all times.


==Double truth== ==Medieval philosophy==
===Avicenna (980–1037)===
In ], ] (Ibn Sina) defined truth in his work ] '']'', Book I, Chapter 8, as:
{{blockquote|What corresponds in the mind to what is outside it.<ref>Osman Amin (2007), "Influence of Muslim Philosophy on the West", ''Monthly Renaissance'' 17 (11).</ref>}}


] elaborated on his definition of truth later in Book VIII, Chapter 6:
In thirteenth century Europe, the ] denounced what it described as theories of "double truth," i.e. theories to the effect that although a truth may be established by reason, its contrary ought to be believed as true as a matter of faith.
{{Blockquote|The truth of a thing is the property of the being of each thing which has been established in it.<ref name=Aertsen>Jan A. Aertsen (1988), ''Nature and Creature: Thomas Aquinas's Way of Thought'', p. 152. Brill, 978-90-04-08451-3.</ref>}}


This definition is but a rendering of the ] Latin translation of the work by Simone van Riet.<ref>{{cite book
The condemnation was aimed specifically at a "Latin Averroist," (see ]), ], but it was more broadly an attempt to halt the spread of ]'s ideas, which the reconquest of Spain and, accordingly, access to the libraries of the Moors had re-introduced into the Latin literate world. At the time, much of the doctrine of the ] Church was based upon ] ideas, and Aristoteleanism struck many as ]. Siger and others seem to have conceded this, and to have used the sharp reason/faith distinction that came to be known as "double truth as a way of legitimizing discussion of Aristotle despite that concession.
| author = Simone van Riet
| title = Liber de philosophia prima, sive Scientia divina
| page = 413
| language = la}}</ref> A modern translation of the original Arabic text states:


{{blockquote|Truth is also said of the veridical belief in the existence .<ref>{{cite book
==True testimony==
| title = Avicenna: The Metaphysics of The Healing |author=Avicenna|author-mask=0
]es who ] under ] to ] truthfully in ]s of ], are not expected to make infallibly true statements, but to make a ] attempt to recount an observed ] from their ] or provide ]. That what one witness says may differ from true accounts of other witnesses is a commonplace occurrence in the practice of law. Triers-of-fact are then charged with the responsibility to determine the credibility or veracity of a witness' testimony.
| publisher = Brigham Young University Press
| year = 2005
| page = 284
| others =Introduction and annotation by Michael E. Marmura
|translator-last=Marmura |translator-first=Michael E.
| isbn = 978-0-934893-77-0
}}</ref>}}


===Aquinas (1225–1274)===
==Other uses of "true"==
Reevaluating Avicenna, and also Augustine and Aristotle, ] stated in his ''Disputed Questions on Truth'':
In addition to its use in reference to propositions, there are other uses of "truth" and "true" in the ]:
# most often applied to people, and is used as a commendation, ]ous with "]", as in ''she is true to her friends''. This sense of truth should be contrasted with being fake, insincere, misleading and so on.
# '''True''' can mean "in accordance with a standard or archetype," which is how it is used in "He is a true Englishman."
# '''True''' in ] and ] can be used as meaning "straight", not ] but in the same flat ] - as the ]s of a ].


{{blockquote|A natural thing, being placed between two intellects, is called ''true'' 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{{nbsp}}... 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.<ref>''Disputed Questions on Truth'', 1, 2, c, reply to Obj. 1. Trans. Mulligan, McGlynn, Schmidt, ''Truth'', vol. I, pp. 10–12.</ref>}}


Thus, for Aquinas, the truth of the human intellect (logical truth) is based on the truth in things (ontological truth).<ref>"Veritas supra ens fundatur" (Truth is founded on being). ''Disputed Questions on Truth'', 10, 2, reply to Obj. 3.</ref> Following this, he wrote an elegant re-statement of Aristotle's view in his :
==Quotations==
{{blockquote|Veritas est adæquatio intellectus et rei.{{pb}}(Truth is the conformity of the intellect and things.)}} Aquinas also said that real things participate in the act of being of the ] who is Subsistent Being, Intelligence, and Truth. Thus, these beings possess the light of intelligibility and are knowable. These things (beings; ]) are the foundation of the truth that is found in the human mind, when it acquires knowledge of things, first through the ]s, then through the ] and the ] done by ]. For Aquinas, human ] ("intus", within and "legere", to read) has the capability to reach the ] and ] of things because it has a non-material, ] element, although some moral, educational, and other elements might interfere with its capability.
{{wikiquote}}
*"To say of what is, that it is, or of what is not, that it is not, is ''true''." &mdash; ] in ''Metaphysics'' (Book 4)
*"Truth certainly would do well enough, if she were once left to shift for herself. ... She is not taught by laws, nor has she any need of force, to procure her entrance into the minds of men." &mdash; ], January 31, 1689
*"What then is truth? A movable host of metaphors, metonymies, and; anthropomorphisms: in short, a sum of human relations which have been poetically and rhetorically intensified, transferred, and embellished, and which, after long usage, seem to a people to be fixed, canonical, and binding." &mdash; ], ''On truth and Lies in a Nonmoral Sense''


===Changing concepts of truth in the Middle Ages===
==See also==
] examined the concept of truth in the later Middle Ages in his ''A Crisis of Truth'', and concludes that roughly during the reign of ] the very meaning of the concept changes. The idea of the oath, which was so much part and parcel of for instance ],<ref>{{cite journal|last=Rock|first=Catherine A.|year=2006|title=Forsworn and Fordone: Arcite as Oath-Breaker in the "Knight's Tale"|journal=]|volume=40|issue=4|pages=416–432|jstor=25094334|doi=10.1353/cr.2006.0009|s2cid=159853483 }}</ref> changes from a subjective concept to a more objective one (in ]'s summary).<ref name=pearsall>{{cite journal|last=Pearsall|first=Derek|year=2004|title=Medieval Literature and Historical Enquiry|journal=]|volume=99|issue=4|pages=xxxi–xlii|jstor=3738608|doi=10.2307/3738608|s2cid=155446847 }}</ref> Whereas truth (the "trouthe" of '']'') was first "an ethical truth in which truth is understood to reside in persons", in Ricardian England it "transforms{{nbsp}}... into a ] in which truth is understood to reside in documents".<ref>{{cite journal|last=Fowler|first=Elizabeth|year=2003|title=Rev. of Green, ''A Crisis of Truth''|journal=]|volume=78|issue=1|pages=179–182|jstor=3301477|doi=10.1017/S0038713400099310}}</ref>
{{Wiktionarypar|true}}
*]
*]
*]
*]
*]
*]
*]
*] (love of truth)
*]
*]
*]


===Truth in logic=== ==Modern philosophy==
===Kant (1724–1804)===
] endorses a definition of truth along the lines of the correspondence theory of truth.<ref name=StanfordCorr/> Kant writes in the '']'': "The nominal definition of truth, namely that it is the agreement of cognition with its object, is here granted and presupposed".<ref name = "Kant-1781">Kant, Immanuel (1781/1787), '']''. Translated and edited by Paul Guyer and Allen W. Wood (Cambridge: Cambridge University Press, 1998), A58/B82.</ref> 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:<ref name = "Kant-1801">Kant, Immanuel (1801), ''The Jäsche Logic'', in ''Lectures on Logic''. Translated and edited by J. Michael Young (Cambridge: Cambridge University Press, 1992), pp. 557–558.</ref>
<blockquote>...{{nbsp}}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, only ''by cognizing it''.<!-- I wonder if the original had this cursive... --> 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.{{pb}} The ancients called such a circle in explanation a ''diallelon''. 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.{{nbsp}}...</blockquote>
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 certain ] and enables us to determine whether any given item falls within the definition.<ref name = "Vanzo-Kant">Alberto Vanzo, "Kant on the Nominal Definition of Truth", ''Kant-Studien'', 101 (2010), pp. 147–166.</ref> 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".<ref name = "Kant-1801" />


===Hegel (1770–1831)===
* ]
] 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."<ref>"Die Wahrheit ist die Bewegung ihrer an ihr selbst." '']'', Preface, ¶ 48</ref>
* ]
* ]s
* ]
* ]
* ]


===Schopenhauer (1788–1860)===
===Major philosophers who have proposed theories of truth===
For ],<ref>''On the Fourfold Root of the Principle of Sufficient Reason'', §§ 29–33</ref> a ] is a combination or separation of two or more ]s. If a judgment is to be an expression of ], it must have a ] 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 has ''material'' 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 or ''formal''. 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 has ''transcendental'' truth.
* ]

* ]
===Kierkegaard (1813–1855)===
* ]
When ], as his character ''Johannes Climacus'', ends his writings: ''My thesis was, subjectivity, heartfelt is the truth'', he does not advocate for ] 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.<ref>Kierkegaard, Søren. ''Concluding Unscientific Postscript''. Princeton, Princeton University Press, 1992</ref>

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.<ref>Watts, Michael. ''Kierkegaard'', Oxford: Oneworld Publications, 2003</ref>

===Nietzsche (1844–1900)===
] believed the search for truth, or 'the will to truth', was a consequence of the '']'' of philosophers. He thought that truth should be used as long as it promoted life and the ''will to power'', and he thought untruth was better than truth if it had this life enhancement as a consequence. As he wrote in '']'', "The falseness of a judgment is to us not necessarily an objection to a judgment{{nbsp}}... The question is to what extent it is life-advancing, life-preserving, species-preserving, perhaps even species-breeding{{nbsp}}..." (aphorism 4). He proposed the ''will 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:<ref>Robert Wicks, {{Webarchive|url=https://web.archive.org/web/20180904231138/http://plato.stanford.edu/entries/nietzsche/#EarWri187187 |date=2018-09-04 }}, ''The Stanford Encyclopedia of Philosophy'' (Spring 2008 Edition), Edward N. Zalta (ed.)</ref>
<blockquote>...{{nbsp}}Some scholars regard Nietzsche's 1873 unpublished essay, "On Truth and Lies in a Nonmoral Sense" ("{{lang|de|Ü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.{{nbsp}}...</blockquote>

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 subsequent ]: "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 take ''our'' 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'{{nbsp}}..."<ref>{{Cite book|url=https://books.google.com/books?id=Vf8KETLiKXMC&q=%22even+we+knowers+of+today%22&pg=PA201|title=Nietzsche: The Gay Science: With a Prelude in German Rhymes and an Appendix of Songs|first1=Friedrich|last1=Nietzsche|first2=Bernard|last2=Williams|first3=Josefine|last3=Nauckhoff|year=2001|publisher=Cambridge University Press|via=Google Books|isbn=978-0-521-63645-2}}</ref><ref>{{Cite book|url=https://books.google.com/books?id=wMzu8j4D1SYC&q=god+is+truth&pg=PA112|title=Nietzsche: 'On the Genealogy of Morality' and Other Writings Student Edition|first=Friedrich|last=Nietzsche|year=2006|publisher=Cambridge University Press|via=Google Books|isbn=978-1-139-46121-4}}</ref>

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."<ref>{{Cite book|title=Beyond Good and Evil|first1=Friedrich|last1=Nietzsche|year=1997|publisher=Dover Publications|isbn=978-0-486-29868-9|page=46}}</ref> 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:<ref>{{Cite book|url=https://books.google.com/books?id=qZAmAQAAIAAJ|title=The Portable Nietzsche|first1=Friedrich|last1=Nietzsche|year=1976|publisher=Penguin Books|isbn=978-0-14-015062-9|page=46}}</ref> <blockquote>"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{{nbsp}}..."</blockquote>

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."<ref>{{Cite book|url=https://books.google.com/books?id=rttCAgAAQBAJ&pg=PA73|title=On the Genealogy of Morality|first1=Friedrich|last1=Nietzsche|year=1887|publisher=Oxford University Press|isbn=978-0-19-953708-2|page=73}}</ref> 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."<ref>{{Cite book|url=https://books.google.com/books?id=ezSQDwAAQBAJ&pg=PT121|title=Thus Spoke Zarathustra|first1=Friedrich|last1=Nietzsche|year=1883|publisher=Penguin UK|isbn=978-0-14-044118-5|page=46}}</ref> 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."<ref>{{Cite book|url=https://books.google.com/books?id=ezSQDwAAQBAJ&pg=PT121|title=Thus Spoke Zarathustra|first1=Friedrich|last1=Nietzsche|year=1883|publisher=Penguin UK|isbn=978-0-14-044118-5|page=121}}</ref>

===Heidegger (1889–1976)===
Other philosophers take this common meaning to be secondary and derivative. According to ], the original meaning and ] of truth in ] was unconcealment, or the revealing or bringing of what was previously hidden into the open, as indicated by the original Greek term for truth, {{lang|el-latn|]}}.<ref>{{Cite web |last=Heidegger |first=Martin |title=On the Essence of Truth |url=https://aphelis.net/wp-content/uploads/2011/02/Martin-Heidegger-On-the-Essence-of-Truth.pdf |access-date=3 October 2023 |website=aphelis.net}}</ref><ref>{{cite web|url=http://www.ontology.co/heidegger-aletheia.htm|title=Martin Heidegger on Aletheia (Truth) as Unconcealment|access-date=2010-08-13|archive-url=https://web.archive.org/web/20150626101634/http://www.ontology.co/heidegger-aletheia.htm|archive-date=2015-06-26}}</ref> On this view, the conception of truth as correctness is a later derivation from the concept's original essence, a development Heidegger traces to the ] term {{lang|la|]}}. Owing to the primacy of ] in Heidegger's philosophy, he considered this truth to lie within Being itself, and already in '']'' (1927) had identified truth with "]" or the "truth of Being" and partially with the Kantian ] in an epistemology essentially concerning a mode of '']''.<ref>{{Cite book |last=Heidegger |first=Martin |title=Being and Time |publisher=Basil Blackswell |year=1962 |edition=1st |location=Oxford |pages=256–274}}</ref>

=== Sartre (1905–1980) ===
In '']'' (1943), partially following Heidegger, ] identified our knowledge of the truth as a relation between the ] and ] of ] - 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 strictly ''understood'' by ] as self-consciousness ''of'' something,<ref>{{Cite book |last=Sartre |first=Jean-Paul |title=Being and Nothingness: An Essay on Phenomenological Ontolgoy |publisher=Philosophical Library |year=1956 |edition=1st |location=New York}}</ref> a view also preceded by ] in '']'' (1889), the reading of which Sartre had credited for his interest in philosophy.<ref>{{Cite book |last=Sartre |first=Jean-Paul |title=The imaginary: a phenomenological psychology of the imagination |date=2004 |publisher=Routledge |others=Arlette Elkaïm-Sartre, Jonathan Webber |isbn=0-203-64410-7 |location=London |oclc=56549324}}</ref> This first ] theory, more fully fleshed out in Sartre's essay ''Truth and Existence'' (1948), which already demonstrates a more radical departure from Heidegger in its emphasis on the primacy of the idea, already formulated in ''Being and Nothingness'', of ] in its role in the formulation of truth, has nevertheless been critically examined as ] rather than ] in its departure from more traditional idealist epistemologies such as those of ] in Plato and Aristotle, and staying as does Heidegger with Kant.<ref>{{Cite journal |last=Wilder |first=Kathleen |title=Truth and existence: The idealism in Sartre's theory of truth |journal=International Journal of Philosophical Studies |year=1995 |volume=3 |issue=1 |pages=91–109|doi=10.1080/09672559508570805 }}</ref>

Later, in the '']'' (1957), in which Sartre used a unification of existentialism and ] that he would later formulate in the '']'' (1960), Sartre, with his growing emphasis on the ] totalisation of ], posited a conception of truth still defined by its process of relation to a container giving it material meaning, but with specfiic 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, it ''has'' and ''will 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 "'']'' epistemology", developed out of ]'s ideas but with such a development only possible in an existentialist light, as with the theme of the whole work.<ref>{{Cite book |last=Sartre |first=Jean-Paul |title=Search for a Method |publisher=Knopf |year=1963 |location=New York}}</ref><ref>{{cite book |last=Skirke |first=Christian |section=Jean-Paul Sartre |date=2014-04-28 |title=Philosophy |publisher=Oxford University Press |doi=10.1093/obo/9780195396577-0192 |isbn=978-0-19-539657-7}}</ref> In an early segment of the lengthy two-volume ''Critique'' 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 "] of Being and Truth" as the essence of a truly Marxist epistemology.<ref>{{Cite book |last=Sartre |first=Jean-Paul |title=Critique of Dialectical Reason |publisher=Verso |year=2004 |location=London |pages=15–41}}</ref>

=== Camus (1913–1960) ===
The well-regarded French philosopher ] wrote in his famous essay, '']'' (1942), that "there are truths but no truth", in fundamental agreement with Nietzsche's ], and favourably cites Kierkergaad in posing that "no truth is absolute or can render satisfactory an existence that is impossible in itself".<ref>{{Cite book |last=Camus |first=Albert |title=The Myth of Sisyphus and Other Essays |publisher=Penguin Group |year=2020 |edition=1st |location=London |pages=14–16}}</ref> Later, in '']'' (1951), he declared, akin to Sartre, that "the very lowest form of truth" is "the truth of history",<ref>{{Cite book |last=Camus |first=Albert |title=The Rebel |publisher=Penguin Group |year=2013 |edition=3rd |location=London |page=180}}</ref> but describes this in the context of its abuse and like Kierkergaad in the '']'' 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.'"<ref>{{Cite book |last=Camus |first=Albert |title=The Rebel |publisher=Penguin Group |year=2013 |edition=3rd |location=London |page=90}}</ref>

===Whitehead (1861–1947)===
], a British mathematician who became an American philosopher, said: "There are no whole truths; all truths are half-truths. It is trying to treat them as whole truths that plays the devil".<ref>Alfred North Whitehead, ''Dialogues'', 1954: Prologue.</ref>

The logical progression or connection of this line of thought is to conclude that truth can lie, since ]s are deceptive and may lead to a false conclusion.

===Peirce (1839–1914)===
] like ] take truth to have some manner of essential relation to human practices for inquiring into and ] truth, with Peirce himself holding that truth is what human ] 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{{nbsp}}..."<ref>{{cite web|url=http://www.peirce.org/writings/p119.html|title=How to Make Our Ideas Clear|access-date=2015-08-31|archive-date=2018-10-03|archive-url=https://web.archive.org/web/20181003203035/http://www.peirce.org/writings/p119.html|url-status=live}}</ref>

===Nishida (1870–1945)===
According to ], "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."<ref>John Maraldo, {{Webarchive|url=https://web.archive.org/web/20101204043326/http://plato.stanford.edu/entries/nishida-kitaro/#2.2 |date=2010-12-04 }}, in: ''The Stanford Encyclopedia of Philosophy'' (Spring 2005 Edition), Edward N. Zalta (ed.)</ref>

===Fromm (1900–1980)===
] 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 partly in ''Man for Himself: An Inquiry into the Psychology of Ethics'' (1947), from which excerpts are included below.
{{bq|text=...{{nbsp}}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".{{pb}} 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."{{pb}} 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.}}

===Foucault (1926–1984)===
Truth, says ], 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 of ]. Truth for Foucault is also something that shifts through various ] throughout history.<ref>Foucault, M. "The Order of Things", London: Vintage Books, 1970 (1966)</ref>

===Baudrillard (1929–2007)===
] 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 from ] whom he claims knew that images of God demonstrated that God did not exist.<ref name = "Baudrillard">Jean Baudrillard. Simulacra and Simulation. Michigan: Michigan University Press, 1994.</ref> Baudrillard wrote in "Precession of the Simulacra":
::The ] is never that which conceals the truth—it is the truth which conceals that there is none. The simulacrum is true.
::—Ecclesiastes<ref>Baudrillard, Jean. {{webarchive|url=https://web.archive.org/web/20040209024621/http://www.stanford.edu/dept/HPS/Baudrillard/Baudrillard_Simulacra.html |date=2004-02-09 }}, ed. ], ], 1988; 166 ''ff''</ref><ref>Baudrillard's attribution of this quote to ] 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., {{Webarchive|url=https://web.archive.org/web/20180425060347/https://www2.ubishops.ca/baudrillardstudies/vol2_1/smith.htm#_edn4 |date=2018-04-25 }}, International Journal of Baudrillard Studies, Volume 2, Number 1 (January 2005)</ref>

Some examples of ] that Baudrillard cited were: that prisons simulate the "truth" that society is free; scandals (e.g., ]) 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.<ref name = "Baudrillard"/>

=== Other contemporary positions ===
] is "the branch of ] that explores the relationships between what is true and what ]".<ref name="Asay">{{cite web |last1=Asay |first1=Jamin |title=Truthmaker Theory |url=https://iep.utm.edu/truth-ma/ |website=Internet Encyclopedia of Philosophy |access-date=2020-11-28 |archive-date=2020-11-24 |archive-url=https://web.archive.org/web/20201124032018/https://iep.utm.edu/truth-ma/ |url-status=live }}</ref> 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 of ''determining'' how truth depends on being.<ref>{{cite book |last1=Beebee |first1=Helen |last2=Dodd |first2=Julian |title=Truthmakers: The Contemporary Debate |year=2005 |publisher=Clarendon Press |pages=13–14 |url=https://philpapers.org/rec/BEETTC |access-date=2020-11-28 |archive-date=2020-12-06 |archive-url=https://web.archive.org/web/20201206202200/https://philpapers.org/rec/BEETTC |url-status=live }}</ref>

==Theological views==
{{primary_sources|date=March 2024}}
{{main|Religious views on truth}}

===Hinduism===
In ], truth is defined as "unchangeable", "that which has no distortion", "that which is beyond distinctions of time, space, and person", "that which pervades the universe in all its constancy". The human body, therefore, is not completely true as it changes with time, for example. There are many references, properties and explanations of truth by Hindu sages that explain varied facets of truth, such as the national motto of ]: "]" (Truth alone triumphs), as well as "Satyam muktaye" (Truth liberates), "Satya' is 'Parahit'artham' va'unmanaso yatha'rthatvam' satyam" (Satya is the benevolent use of words and the mind for the welfare of others or in other words responsibilities is truth too), "When one is firmly established in speaking truth, the fruits of action become subservient to him (patanjali yogasutras, sutra number 2.36), "The face of truth is covered by a golden bowl. ''Unveil it, O Pusan (Sun), so that I who have truth as my duty (satyadharma) may see it!''" (Brhadaranyaka V 15 1–4 and the brief IIsa Upanisad 15–18), Truth is superior to silence (]), etc. Combined with other words, satya acts as a modifier, like ''ultra'' or ''highest'', or more literally ''truest'', connoting ''purity and excellence''. For example, satyaloka is the "highest heaven" and Satya Yuga is the "golden age" or best of the four cyclical cosmic ages in Hinduism, and so on. The Buddha, the 9th incarnation of Bhagwan Vishnu, quoted as such - Three things cannot be long hidden: the sun, the moon and the truth.

===Buddhism===
In ], particularly in the ] tradition, the notion of truth is often divided into the ], which consists of ] and ultimate truth. The former refers to truth that is based on common understanding among ordinary people and is accepted as a practical basis for communication of higher truths. Ultimate truth necessarily transcends logic in the sphere of ordinary experience, and recognizes such phenomena as illusory. ] philosophy asserts that any doctrine can be analyzed with both divisions of truth. Affirmation and negation belong to relative and absolute truth respectively. Political law is regarded as relative, while religious law is absolute.

===Christianity===
], depicting ], in which ] asks ] "What is truth?"]]
] has a ] view of truth. According to the ] in ], ] is quoted as having said "I am the way, the truth and the life: no man cometh unto the Father, but by me".

==See also==
{{Portal|Philosophy|Psychology}}
{{Div col|colwidth=15em}}
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* '']''
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
* ]
{{div col end}}

===Other theorists===
{{Div col|colwidth=20em}}
* ]
* ] * ]
* ] * ]
* ]
* ] * ]
* ] * ]
* ]
* ]
* ] * ]
{{div col end}}
* ]
* ]
* ]
* ]
* ]
* ]
* ]


==External links== ==Notes==
{{Reflist}}
* Double Truth
* by Paul Newall, aimed at beginners.


==References== ==References==
{{refbegin|20em}}
* ], "The Categories", ] (trans.), pp.&nbsp;1–109 in ''Aristotle, Volume&nbsp;1'', ], ], London, 1938.
* Aristotle, "On Interpretation", Harold P. Cooke (trans.), pp.&nbsp;111–179 in ''Aristotle, Volume&nbsp;1'', Loeb Classical Library, William Heinemann, London, 1938.
* Aristotle, "]", ] (trans.), pp.&nbsp;181–531 in ''Aristotle, Volume&nbsp;1'', Loeb Classical Library, William Heinemann, London, 1938.
* Aristotle, "]" (''De Anima''), ] (trans.), pp.&nbsp;1–203 in ''Aristotle, Volume&nbsp;8'', Loeb Classical Library, William Heinemann, London, 1936.
* ] (ed., 1999), ''The Cambridge Dictionary of Philosophy'', Cambridge University Press, Cambridge, 1995. 2nd edition, 1999. Cited as CDP.
* ] (ed., 1901–1905), ''Dictionary of Philosophy and Psychology'', 3 volumes in 4, Macmillan, New York.
* ] (1962), "Truth", pp.&nbsp;321–322 in Dagobert D. Runes (ed.), ''Dictionary of Philosophy'', Littlefield, Adams, and Company, Totowa, NJ.
* ] (1962), "Coherence Theory of Truth", p.&nbsp;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.
* ] (1987), ''Truth and Beauty. Aesthetics and Motivations in Science'', University of Chicago Press, Chicago, IL.
* ], and ], ''Model Theory'', North-Holland, Amsterdam, Netherlands, 1973.
* ] (1995), ''The Minimalist Program'', MIT Press, Cambridge, Massachusetts.
* ] (1962a), "Name Relation, or Meaning Relation", p.&nbsp;204 in Dagobert D. Runes (ed.), ''Dictionary of Philosophy'', Littlefield, Adams, and Company, Totowa, NJ.
* Church, Alonzo (1962b), "Truth, Semantical", p.&nbsp;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), {{Webarchive|url=https://web.archive.org/web/20091203020835/http://www.infidels.org/library/historical/w_k_clifford/ethics_of_belief.html |date=2009-12-03 }}
* ] (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 and ], ''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'', ] (ed.), Southern Illinois University Press, Carbondale and Edwardsville, IL, 1986.
* Field, Hartry (2001), ''Truth and the Absence of Fact'', Oxford University Press, Oxford.
* ] (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 and ]. (1993). ''The Revision Theory of Truth''. MIT Press.
* ] (1993), ''Evidence and Inquiry: Towards Reconstruction in Epistemology'', Blackwell Publishers, Oxford.
* ] (1976), "What Is Universal Pragmatics?", 1st published, "Was heißt Universalpragmatik?", ''Sprachpragmatik und Philosophie'', ] (ed.), Suhrkamp Verlag, Frankfurt am Main. Reprinted, pp.&nbsp;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.
* ], (1977), '']'', Oxford University Press, Oxford, {{ISBN|978-0-19-824597-1}}.
* Horwich, Paul, (1988), ''Truth'', 2nd edition, Oxford University Press, Oxford.
* ] (1904), ''A World of Pure Experience''.<!--Publisher & Place of Publication Needed-->
* 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.&nbsp;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.
* ] (1800), ''Introduction to Logic''. Reprinted, ] (trans.), ] (intro.), Barnes and Noble, New York, 2005.
* ] (1992), '']'', MIT Press, Cambridge, Massachusetts.
* ], and ] (1962), ''The Development of Logic'', Oxford University Press, London, 1962. Reprinted with corrections, 1975.
* ], and ] (1972), ''Psychology of the Arts'', Duke University Press, Durham, NC.
* Le Morvan, Pierre (2004), "Ramsey on Truth and Truth on Ramsey", ''British Journal for the History of Philosophy'', 12 (4) 2004, 705–718, {{Webarchive|url=https://web.archive.org/web/20170829235557/http://www.tcnj.edu/~lemorvan/ramsey_web.pdf |date=2017-08-29 }}.
* ].
* ], ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, ] and ] (eds.), vols. 7–8, ] (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). {{Webarchive|url=https://web.archive.org/web/20201211082624/http://www.peirce.org/writings/p107.html |date=2020-12-11 }}.
* Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp.&nbsp;718–720 in J.M. Baldwin (ed.), ''Dictionary of Philosophy and Psychology'', vol. 2. Reprinted, CP 5.565–573.
* ] (1966), ''The Tacit Dimension'', Doubleday and Company, Garden City, NY.
* ] (1956), "Quantifiers and Propositional Attitudes", ''Journal of Philosophy'' 53 (1956). Reprinted, pp.&nbsp;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.&nbsp;139–159 in Quine (1980 a), ''From a Logical Point of View''.
* ], and ] (ed., 1985), '']'', Columbia University Press, New York.
* ] (1927), "Facts and Propositions", ''Aristotelian Society Supplementary Volume 7'', 153–170. Reprinted, pp.&nbsp;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.
* ] (2000), ''Lectures on the History of Moral Philosophy'', Barbara Herman (ed.), Harvard University Press, Cambridge, Massachusetts.
* ] (1979), ''Philosophy and the Mirror of Nature'', Princeton University Press, Princeton, NJ.
* ] (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.&nbsp;177–281 in ''Logic and Knowledge: Essays 1901–1950'', ] (ed.), Unwin Hyman, London, 1956. Reprinted, pp.&nbsp;35–155 in ''The Philosophy of Logical Atomism'', ] (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'', ] (ed.), Open Court, La Salle, IL.
* ], (1974), '']'', Open Court, La Salle, IL, {{ISBN|978-0-87548-187-6}}.
* ] (1969), ''The Religious Experience of Mankind'', Charles Scribner's Sons, New York.
* ], ''Logic, Semantics, Metamathematics: Papers from 1923 to 1938'', J.H. Woodger (trans.), Oxford University Press, Oxford, 1956. 2nd edition, John Corcoran (ed.), Hackett Publishing, Indianapolis, IN, 1983.
* ] (1966), ''Religion: An Anthropological View'', Random House, New York.
{{refend}}

===Reference works===
{{refbegin|20em}}
* ] (ed., 1999), ''The Cambridge Dictionary of Philosophy'', Cambridge University Press, Cambridge, 1995. 2nd edition, 1999. Cited as CDP.
* ] (1996), ''The Oxford Dictionary of Philosophy'', Oxford University Press, Oxford, 1994. Paperback edition with new Chronology, 1996. Cited as ODP.
* ] (ed.), ''Dictionary of Philosophy'', Littlefield, Adams, and Company, Totowa, NJ, 1962.
* ''Webster's New International Dictionary of the English Language, Second Edition, Unabridged'' (1950), W. A. Neilson, T. A. Knott, P. W. Carhart (eds.), G. & C. Merriam Company, Springfield, MA. Cited as MWU.
* ''Webster's Ninth New Collegiate Dictionary'' (1983), Frederick C. Mish (ed.), Merriam–Webster Inc., Springfield, MA. Cited as MWC.
{{refend}}

==External links==
{{wikiquote}}
{{Wiktionary|truth}}
{{Commons category|Truth}}
* by Paul Newall, aimed at beginners.
* ]:
**
**
**
**
* ]:
**
**
**
**
**
**
**
**
*
*
*


{{Theories of Truth|state=expanded}}
*Blackburn, S and Simmons K. 1999. ''Truth''. Oxford University Press. A good anthology of classic articles, including papers by James, Russell, Ramsey, Tarski and more recent work.
{{Navboxes
*Field, H. 2001. ''Truth and the Absence of Fact'', Oxford.
|list =
*Grover, Dorothy. 1992. ''The Prosentential Theory of Truth'', Princeton University Press.
{{metaphysics}}
*Horwich, P. ''Truth''. Oxford.
{{epistemology}}
*Habermas, Jürgen. 2003. ''Truth and Justification''. MIT Press.
{{logic}}
*Kirkham, Richard 1992: ''Theories of Truth''. Bradford Books. A very good reference book.
{{Positivism}}
* Kripke, Saul 1975: "An Outline of a Theory of Truth" ''Journal of Philosophy'' 72:690-716.
}}
*http://www.ditext.com/tarski/tarski.html Tarski's classic 1944 paper on the Semantic Conception of Truth online.


{{Authority control}}


<!-- do both parties of an argument agree that truth claims are indeed true? -->
]
]
]


] ]
]
]
]
]
]
]
]
]
]
]
] ]
]
]
]
]
] ]
]
]
] ]
]
]
]

Latest revision as of 01:51, 23 December 2024

Being in accord with fact or reality "The truth" redirects here. For other uses of "The truth", see The Truth (disambiguation). For other uses of "Truth", see Truth (disambiguation).

Part of a series on
Epistemology
Schools
Concepts
Domains
Epistemologists
Related fields

Truth or verity is the property of being in accord with fact or reality. In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.

Truth is usually held to be the opposite of false statement. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, law, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, including journalism 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. Most commonly, truth is viewed as the correspondence of language or thought to a mind-independent world. This is called the correspondence theory of truth.

Various theories and views of truth continue to be debated among scholars, philosophers, and theologians. 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 as truth-bearers capable of being true or false; if truth and falsehood are bivalent, or if there are other truth values; identifying the criteria of truth that allow us to identify it and to distinguish it from falsehood; the role that truth plays in constituting knowledge; and, if truth is always absolute or if it can be relative to one's perspective.

Etymology and ordinary usage

Further information: Veritas, Aletheia, and Tryggvi

The English word truth is derived from Old English tríewþ, tréowþ, trýwþ, Middle English trewþe, cognate to Old High German triuwida, Old Norse tryggð. Like troth, it is a -th nominalisation of the adjective true (Old English tréowe).

The English word true is from Old English (West Saxon) (ge)tríewe, tréowe, cognate to Old Saxon (gi)trûui, Old High German (ga)triuwu (Modern German treu "faithful"), Old Norse tryggr, Gothic triggws, all from a Proto-Germanic *trewwj- "having good faith", perhaps ultimately from PIE *dru- "tree", on the notion of "steadfast as an oak" (e.g., Sanskrit dā́ru "(piece of) wood"). Old Norse trú, "faith, word of honour; religious faith, belief" (archaic English troth "loyalty, honesty, good faith", compare Ásatrú).

Thus, "truth" in its ordinary usage involves both the quality of "faithfulness, fidelity, loyalty, sincerity, veracity", and that of "agreement with fact or reality", in Anglo-Saxon expressed by sōþ (Modern English sooth).

All Germanic languages besides English have introduced a terminological distinction between truth "fidelity" and truth "factuality". To express "factuality", North Germanic opted for nouns derived from sanna "to assert, affirm", while continental West Germanic (German and Dutch) opted for continuations of wâra "faith, trust, pact" (cognate to Slavic věra "(religious) faith", but influenced by Latin verus). Romance languages use terms following the Latin veritas, while the Greek aletheia, Russian pravda, South Slavic istina and Sanskrit sat (related to English sooth and North Germanic sanna) have separate etymological origins.

In some modern contexts, the word "truth", like the adjective "true", is used to refer to fidelity to an original or standard. It can also be used in the context of being "true to oneself" in the sense of acting with authenticity.

Major theories

Walter Seymour Allward's Veritas (Truth) outside Supreme Court of Canada, Ottawa, Ontario Canada

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 substantive theories of truth listed below. Each presents perspectives that are widely shared by published scholars.

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.

Substantive

Correspondence

Main article: Correspondence theory of truth

Correspondence theories emphasize that true beliefs and true statements correspond to the actual state of affairs. 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 to ancient Greek philosophers such as Socrates, Plato, and Aristotle. 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 theologian Thomas Aquinas: "Veritas est adaequatio rei et intellectus" ("Truth is the adequation of things and intellect"), which Aquinas attributed to the ninth century Neoplatonist Isaac Israeli. Aquinas also restated the theory as: "A judgment is said to be true when it conforms to the external reality".

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. Many modern theorists have stated that this ideal cannot be achieved without analysing additional factors. For example, language plays a role in that all languages have words to represent concepts that are virtually undefined in other languages. The German word Zeitgeist 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 in agglutinative languages). Thus, some words add an additional parameter to the construction of an accurate truth predicate. Among the philosophers who grappled with this problem is Alfred Tarski, whose semantic theory is summarized further on.

Proponents of several of the theories below have gone further to assert that there are yet other issues necessary to the analysis, such as interpersonal power struggles, community interactions, personal biases, and other factors involved in deciding what is seen as truth or in what the contents of truth consist.

Coherence

Main article: Coherence theory of truth

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. 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.

Some variants of coherence theory are claimed to describe the essential and intrinsic properties of formal systems in logic and mathematics. Formal reasoners are content to contemplate axiomatically independent and sometimes mutually contradictory systems side by side, for example, the various alternative 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 the natural 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.

Coherence theories distinguish the thought of rationalist philosophers, particularly of Baruch Spinoza, Gottfried Wilhelm Leibniz, and Georg Wilhelm Friedrich Hegel, along with the British philosopher F. H. Bradley. They have found a resurgence also among several proponents of logical positivism, notably Otto Neurath and Carl Hempel.

Pragmatic

Main article: Pragmatic theory of truth

Three influential forms of the pragmatic theory of truth were introduced around the turn of the 20th century by Charles Sanders Peirce, William James, and John 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.

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." This statement stresses Peirce's view that ideas of approximation, incompleteness, and partiality, what he describes elsewhere as fallibilism and "reference to the future", are essential to a proper conception of truth. Although Peirce uses words like concordance and correspondence to describe one aspect of the pragmatic sign relation, he is also quite explicit in saying that definitions of truth based on mere correspondence are no more than nominal definitions, which he accords a lower status than real 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." By this, James meant that truth is a quality, 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 that inquiry, whether scientific, technical, sociological, philosophical, or cultural, is self-corrective over time if openly submitted for testing by a community of inquirers in order to clarify, justify, refine, and/or refute proposed truths.

Though not widely known, a new variation of the pragmatic theory was defined and wielded successfully from the 20th century forward. Defined and named by William 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. Philosopher of science Richard Feynman also subscribed to it: "We never are definitely right, we can only be sure we are wrong." 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." 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 the coherence 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."

Constructivist

Main article: Constructivist epistemology

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, including race, sexuality, and gender, are socially constructed.

Giambattista Vico was among the first to claim that history and culture were man-made. Vico's epistemological orientation unfolds in one axiom: verum ipsum factum—"truth itself is constructed". Hegel and Marx 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".

Consensus

Main article: Consensus theory of truth

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 a subset thereof consisting of more than one person.

Among the current advocates of consensus theory as a useful accounting of the concept of "truth" is the philosopher Jürgen Habermas. Habermas maintains that truth is what would be agreed upon in an ideal speech situation. Among the current strong critics of consensus theory is the philosopher Nicholas Rescher.

Minimalist

Deflationary

Main article: Deflationary theory of truth

Modern developments in the field of philosophy have resulted in the rise of a new thesis: that the term truth does not denote a real property of sentences or propositions. This thesis is in part a response to the common use of truth 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:

  • as deflationary theories of truth, since they attempt to deflate the presumed importance of the words "true" or truth,
  • as disquotational theories, to draw attention to the disappearance of the quotation marks in cases like the above example, or
  • as minimalist theories of truth.

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." 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 it does 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.

Redundancy and related
Main article: Redundancy theory of truth

An early variety of deflationary theory is the redundancy theory of truth, so-called because—in examples like those above, e.g. "snow is white "—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 to Frank P. Ramsey, who held that the use of words like fact and truth was nothing but a roundabout way of asserting a proposition, and that treating these words as separate problems in isolation from judgment was merely a "linguistic muddle".

A variant of redundancy theory is the "disquotational" theory, which uses a modified form of the logician Alfred Tarski's schema: proponents observe that to say that "'P' is true" is to assert "P". A version of this theory was defended by C. J. F. Williams (in his book What is Truth?). Yet another version of deflationism is the prosentential theory of truth, first developed by Dorothy Grover, Joseph Camp, and Nuel 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 that it means the same as my dog in the statement "my dog was hungry, so I fed it", that's true is supposed to mean the same as it's raining when the former is said in reply to the latter.

As noted above, proponents of these ideas do not necessarily follow Ramsey in asserting that truth is not a property; 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.

Performative

Attributed to philosopher P. F. Strawson is the performative theory of truth which holds that to say "'Snow is white' is true" is to perform the speech 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 not describing themselves as taking the other, but actually doing so (perhaps the most thorough analysis of such "illocutionary acts" is J. L. Austin, most notably in How to Do Things With Words).

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 'It's true that ...' is to agree with, accept, or endorse the statement that 'it's raining.'"

Philosophical skepticism

See also: Philosophical skepticism and Certainty

Philosophical skepticism is generally any doubt of one or more items of knowledge or belief which ascribe truth to their assertions and propositions. The primary target of philosophical skepticism is epistemology, but it can be applied to any domain, such as the supernatural, morality (moral skepticism), and religion (skepticism about the existence of God).

Philosophical skepticism comes in various forms. Radical forms of skepticism deny that knowledge or rational belief is possible and urge us to suspend 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)". Scientific skepticism concerns testing beliefs for reliability, by subjecting them to systematic investigation using the scientific method, to discover empirical evidence for them.

Pluralist

Main article: Pluralist theories of 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.

Some of the pragmatic theories, such as those by Charles Peirce and William James, included aspects of correspondence, coherence and constructivist theories. Crispin Wright argued in his 1992 book Truth 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. Michael Lynch, in a 2009 book Truth 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.

Formal theories

Logic

Main articles: Logical truth, Criteria of truth, and Truth value

Logic is concerned with the patterns in reason that can help tell if a proposition is true or not. Logicians use formal languages to express the truths they are concerned with, and as such there is only truth under some interpretation or truth within some logical system.

A logical truth (also called an analytic truth or a necessary truth) is a statement that is true in all logically possible worlds or under all possible interpretations, as contrasted to a fact (also called a synthetic claim or a contingency), which is only true in this world 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 the symbols and words in it and not because of any fact of any particular world. They are such that they could not be untrue.

Degrees of truth in logic may be represented using two or more discrete values, as with bivalent logic (or binary logic), three-valued logic, and other forms of finite-valued logic. Truth in logic can be represented using numbers comprising a continuous range, typically between 0 and 1, as with fuzzy logic and other forms of infinite-valued logic. In general, the concept of representing truth using more than two values is known as many-valued logic.

Mathematics

Main articles: Model theory and Proof theory

There are two main approaches to truth in mathematics. They are the model theory of truth and the proof theory of truth.

Historically, with the nineteenth century development of Boolean 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". In propositional logic, these symbols can be manipulated according to a set of axioms and rules of inference, often given in the form of truth tables.

In addition, from at least the time of Hilbert's program at the turn of the twentieth century to the proof of Gödel's incompleteness theorems and the development of the Church–Turing thesis in the early part of that century, true statements in mathematics were generally assumed to be those statements that are provable in a formal axiomatic system.

The works of Kurt Gödel, Alan Turing, and others shook this assumption, with the development of statements that are true but cannot be proven within the system. Two examples of the latter can be found in Hilbert's problems. Work on Hilbert's 10th problem led in the late twentieth century to the construction of specific Diophantine equations for which it is undecidable whether they have a solution, or even if they do, whether they have a finite or infinite number of solutions. More fundamentally, Hilbert's first problem was on the continuum hypothesis. Gödel and Paul Cohen showed that this hypothesis cannot be proved or disproved using the standard axioms of set theory. 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 of intuition, an ability he admitted could be ultimately beyond the scope of a formal theory of logic or mathematics and perhaps best considered in the realm of human comprehension and communication. But he commented, "The more I think about language, the more it amazes me that people ever understand each other at all".

Tarski's semantics

Main article: Semantic theory of truth

The semantic theory of truth has as its general case for a given language:

'P' is true if and only if P

where 'P' refers to the sentence (the sentence's name), and P is just the sentence itself.

Tarski's theory of truth (named after Alfred Tarski) was developed for formal languages, such as formal logic. Here he restricted it in this way: no language could contain its own truth predicate, that is, the expression is true could only apply to sentences in some other language. The latter he called an object 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 contain paradoxical 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 his truth-conditional semantics and linked it to radical interpretation in a form of coherentism.

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 and Whitehead attempted to solve these problems in Principia Mathematica by putting statements into a hierarchy of types, 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 possible type systems that have yet to be resolved to this day.

Kripke's semantics

Main article: Semantic theory of truth

Kripke's theory of truth (named after Saul 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 for The 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 like This 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 the principle of bivalence: every sentence must be either true or false. Since this principle is a key premise in deriving the liar paradox, the paradox is dissolved.

The proof sketch for Gödel's first incompleteness theorem shows self-reference cannot be avoided naively, since propositions about seemingly unrelated objects can have an informal self-referential meaning; in Gödel's work, these objects are integer numbers, and they have an informal meaning regarding propositions. In fact, this idea — manifested by the diagonal lemma—is the basis for Tarski's theorem that truth cannot be consistently defined.

It has thus been claimed that Kripke's system indeed leads to contradiction: while its truth predicate is only partial, it does give truth value (true/false) to propositions such as the one built in Tarski's proof, and is therefore inconsistent. While there is still a debate on whether Tarski's proof can be implemented to every similar partial truth system, none have been shown to be consistent by acceptable methods used in mathematical logic.

Kripke's semantics are related to the use of topoi and other concepts from category theory in the study of mathematical logic. They provide a choice of formal semantics for intuitionistic logic.

Folk beliefs

The truth predicate "P is true" has great practical value in human language, allowing efficient 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. Individuals or societies will sometime punish "false" statements to deter falsehoods; the oldest surviving law text, the Code of Ur-Nammu, lists penalties for false accusations of sorcery or adultery, as well as for committing perjury 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; by adulthood there are strong implicit intuitions about "truth" that form a "folk theory" of truth. These intuitions include:

  • Capture (T-in): If P, then P is true
  • Release (T-out): If P is true, then P
  • Noncontradiction: A statement cannot be both true and false
  • 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, any formal system that fully obeys "capture and release" semantics for truth (also known as the T-schema), and that also respects classical logic, is provably inconsistent and succumbs to the liar paradox or to a similar contradiction.

Ancient Greek philosophy

See also: Aletheia

Socrates', Plato's and Aristotle's ideas about truth are seen by some as consistent with correspondence theory. In his Metaphysics, Aristotle stated: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true". The Stanford Encyclopedia of Philosophy proceeds to say of Aristotle:

... Aristotle sounds much more like a genuine correspondence theorist in the Categories (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 in De 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).

Some Greek philosophers maintained that truth was either not accessible to mortals, or of greatly limited accessibility, forming early philosophical skepticism. Among these were Xenophanes, Democritus, and Pyrrho, the founder of Pyrrhonism, who argued that there was no criterion of truth.

The Epicureans believed that all sense perceptions were true, and that errors arise in how we judge those perceptions.

The Stoics conceived truth as accessible from impressions via cognitive grasping.

Medieval philosophy

Avicenna (980–1037)

In early Islamic philosophy, Avicenna (Ibn Sina) defined truth in his work Kitab Al-Shifa The Book of Healing, Book I, Chapter 8, as:

What corresponds in the mind to what is outside it.

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.

This definition is but a rendering of the medieval Latin translation of the work by Simone van Riet. A modern translation of the original Arabic text states:

Truth is also said of the veridical belief in the existence .

Aquinas (1225–1274)

Reevaluating Avicenna, and also Augustine and Aristotle, Thomas Aquinas stated in his Disputed Questions on Truth:

A natural thing, being placed between two intellects, is called true 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.

Thus, for Aquinas, the truth of the human intellect (logical truth) is based on the truth in things (ontological truth). Following this, he wrote an elegant re-statement of Aristotle's view in his Summa 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 the Creator 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 the senses, then through the understanding and the judgement done by reason. For Aquinas, human intelligence ("intus", within and "legere", to read) has the capability to reach the essence and existence of things because it has a non-material, spiritual element, although some moral, educational, and other elements might interfere with its capability.

Changing concepts of truth in the Middle Ages

Richard Firth Green examined the concept of truth in the later Middle Ages in his A Crisis of Truth, and concludes that roughly during the reign of Richard II of England the very meaning of the concept changes. The idea of the oath, which was so much part and parcel of for instance Romance literature, changes from a subjective concept to a more objective one (in Derek Pearsall's summary). Whereas truth (the "trouthe" of Sir 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 a political truth in which truth is understood to reside in documents".

Modern philosophy

Kant (1724–1804)

Immanuel Kant endorses a definition of truth along the lines of the correspondence theory of truth. Kant writes in the Critique of Pure Reason: "The nominal definition of truth, namely that it is the agreement of cognition with its object, is here granted and presupposed". 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:

... 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, only by 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 a diallelon. 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 certain objects and enables us to determine whether any given item falls within the definition. 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".

Hegel (1770–1831)

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."

Schopenhauer (1788–1860)

For Arthur Schopenhauer, a judgment is a combination or separation of two or more concepts. If a judgment is to be an expression of knowledge, it must have a sufficient 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 has material 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 or formal. 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 has transcendental truth.

Kierkegaard (1813–1855)

When Søren Kierkegaard, as his character Johannes Climacus, ends his writings: My thesis was, subjectivity, heartfelt is the truth, he does not advocate for subjectivism 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.

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.

Nietzsche (1844–1900)

Friedrich Nietzsche believed the search for truth, or 'the will to truth', was a consequence of the will to power of philosophers. He thought that truth should be used as long as it promoted life and the will to power, and he thought untruth was better than truth if it had this life enhancement as a consequence. As he wrote in Beyond 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 the will 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:

... 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 subsequent Western 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 take our 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' ..."

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." 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:

"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." 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." 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."

Heidegger (1889–1976)

Other philosophers take this common meaning to be secondary and derivative. According to Martin Heidegger, the original meaning and essence of truth in Ancient 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. On this view, the conception of truth as correctness is a later derivation from the concept's original essence, a development Heidegger traces to the Latin term veritas. Owing to the primacy of ontology in Heidegger's philosophy, he considered this truth to lie within Being itself, and already in Being and Time (1927) had identified truth with "being-truth" or the "truth of Being" and partially with the Kantian thing-in-itself in an epistemology essentially concerning a mode of Dasein.

Sartre (1905–1980)

In Being and Nothingness (1943), partially following Heidegger, Jean-Paul Sartre identified our knowledge of the truth as a relation between the in-itself and for-itself of being - 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 strictly understood by self-consciousness as self-consciousness of something, a view also preceded by Henri Bergson in Time and Free Will (1889), the reading of which Sartre had credited for his interest in philosophy. This first existentialist theory, more fully fleshed out in Sartre's essay Truth and Existence (1948), which already demonstrates a more radical departure from Heidegger in its emphasis on the primacy of the idea, already formulated in Being and Nothingness, of existence as preceding essence in its role in the formulation of truth, has nevertheless been critically examined as idealist rather than materialist in its departure from more traditional idealist epistemologies such as those of Ancient Greek philosophy in Plato and Aristotle, and staying as does Heidegger with Kant.

Later, in the Search for a Method (1957), in which Sartre used a unification of existentialism and Marxism that he would later formulate in the Critique of Dialectical Reason (1960), Sartre, with his growing emphasis on the Hegelian totalisation of historicity, posited a conception of truth still defined by its process of relation to a container giving it material meaning, but with specfiic 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, it has and will 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 of Marx's ideas but with such a development only possible in an existentialist light, as with the theme of the whole work. In an early segment of the lengthy two-volume Critique 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.

Camus (1913–1960)

The well-regarded French philosopher Albert Camus wrote in his famous essay, The Myth of Sisyphus (1942), that "there are truths but no truth", in fundamental agreement with Nietzsche's perspectivism, and favourably cites Kierkergaad in posing that "no truth is absolute or can render satisfactory an existence that is impossible in itself". Later, in The Rebel (1951), he declared, akin to Sartre, that "the very lowest form of truth" is "the truth of history", but describes this in the context of its abuse and like Kierkergaad in the Concluding 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.'"

Whitehead (1861–1947)

Alfred North Whitehead, a British mathematician who became an American philosopher, said: "There are no whole truths; all truths are half-truths. It is trying to treat them as whole truths that plays the devil".

The logical progression or connection of this line of thought is to conclude that truth can lie, since half-truths are deceptive and may lead to a false conclusion.

Peirce (1839–1914)

Pragmatists like C. S. Peirce take truth to have some manner of essential relation to human practices for inquiring into and discovering truth, with Peirce himself holding that truth is what human inquiry 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 ..."

Nishida (1870–1945)

According to Kitaro 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."

Fromm (1900–1980)

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 partly in Man for Himself: An Inquiry into the Psychology of Ethics (1947), from which excerpts are included below.

... 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.

Foucault (1926–1984)

Truth, says Michel 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 of Nietzsche. Truth for Foucault is also something that shifts through various episteme throughout history.

Baudrillard (1929–2007)

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 from iconoclasts whom he claims knew that images of God demonstrated that God did not exist. Baudrillard wrote in "Precession of the Simulacra":

The simulacrum is never that which conceals the truth—it is the truth which conceals that there is none. The simulacrum is true.
—Ecclesiastes

Some examples of simulacra 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.

Other contemporary positions

Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". 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 of determining how truth depends on being.

Theological views

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources.
Find sources: "Truth" – news · newspapers · books · scholar · JSTOR (March 2024) (Learn how and when to remove this message)
Main article: Religious views on truth

Hinduism

In Hinduism, truth is defined as "unchangeable", "that which has no distortion", "that which is beyond distinctions of time, space, and person", "that which pervades the universe in all its constancy". The human body, therefore, is not completely true as it changes with time, for example. There are many references, properties and explanations of truth by Hindu sages that explain varied facets of truth, such as the national motto of India: "Satyameva Jayate" (Truth alone triumphs), as well as "Satyam muktaye" (Truth liberates), "Satya' is 'Parahit'artham' va'unmanaso yatha'rthatvam' satyam" (Satya is the benevolent use of words and the mind for the welfare of others or in other words responsibilities is truth too), "When one is firmly established in speaking truth, the fruits of action become subservient to him (patanjali yogasutras, sutra number 2.36), "The face of truth is covered by a golden bowl. Unveil it, O Pusan (Sun), so that I who have truth as my duty (satyadharma) may see it!" (Brhadaranyaka V 15 1–4 and the brief IIsa Upanisad 15–18), Truth is superior to silence (Manusmriti), etc. Combined with other words, satya acts as a modifier, like ultra or highest, or more literally truest, connoting purity and excellence. For example, satyaloka is the "highest heaven" and Satya Yuga is the "golden age" or best of the four cyclical cosmic ages in Hinduism, and so on. The Buddha, the 9th incarnation of Bhagwan Vishnu, quoted as such - Three things cannot be long hidden: the sun, the moon and the truth.

Buddhism

In Buddhism, particularly in the Mahayana tradition, the notion of truth is often divided into the two truths doctrine, which consists of relative or conventional truth and ultimate truth. The former refers to truth that is based on common understanding among ordinary people and is accepted as a practical basis for communication of higher truths. Ultimate truth necessarily transcends logic in the sphere of ordinary experience, and recognizes such phenomena as illusory. Mādhyamaka philosophy asserts that any doctrine can be analyzed with both divisions of truth. Affirmation and negation belong to relative and absolute truth respectively. Political law is regarded as relative, while religious law is absolute.

Christianity

What is Truth? by Nikolai Ge, depicting John 18:38, in which Pilate asks Christ "What is truth?"

Christianity has a soteriological view of truth. According to the Bible in John 14:6, Jesus is quoted as having said "I am the way, the truth and the life: no man cometh unto the Father, but by me".

See also

Other theorists

Notes

  1. ^ Merriam-Webster's Online Dictionary, truth Archived 2009-12-29 at the Wayback Machine, 2005
  2. ^ "Truth". Stanford Encyclopedia of Philosophy. Archived from the original on 20 January 2022. Retrieved 29 June 2020.
  3. Asay, Jamin (October 2013). The Primitivist Theory of Truth. Cambridge University Press. p. 30-33. ISBN 9781107038974.
  4. Alexis G. Burgess and John P. Burgess (2011). Truth (hardcover) (1st ed.). Princeton University Press. ISBN 978-0-691-14401-6. Archived from the original on 6 October 2014. Retrieved 4 October 2014. a concise introduction to current philosophical debates about truth
  5. see Holtzmann's law for the -ww- : -gg- alternation.
  6. Etymology, Online. "Online Etymology". Archived from the original on 13 July 2007. Retrieved 27 November 2013.
  7. A Concise Dictionary of Old Icelandic Archived 2007-09-30 at the Wayback Machine, Geir T. Zoëga (1910), Northvegr.org
  8. OED on true 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."
  9. ^ Encyclopedia of Philosophy, Supp., "Truth", auth: Michael Williams, pp. 572–573 (Macmillan, 1996)
  10. Blackburn, Simon, and Simmons, Keith (eds., 1999), Truth, Oxford University Press, Oxford. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.
  11. Hale, Bob; Wright, Crispin; Miller, Alexander, eds. (1997). A Companion to the Philosophy of Language (1999 reprint ed.). Oxford: Blackwell. ISBN 978-0-631-21326-0. OCLC 40839879.
      • 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. ISBN 978-1-118-97471-1.
      • Richard, Mark (1997). "14. Propositional Attitudes". A Companion to the Philosophy of Language. Oxford: Blackwell. pp. 324–356.
  12. "The PhilPapers Surveys – Preliminary Survey results". The PhilPapers Surveys. Philpapers.org. Archived from the original on 20 March 2012. Retrieved 27 May 2012.
  13. Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, p. 223 (Macmillan, 1969). Prior uses Bertrand 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.
  14. Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, pp. 223–224 (Macmillan, 1969).
  15. Encyclopedia of Philosophy, Vol. 2, "Correspondence Theory of Truth", auth.: Arthur N. Prior, Macmillan, 1969, p. 224.
  16. "Correspondence Theory of Truth", in Stanford Encyclopedia of Philosophy Archived 2019-10-31 at the Wayback Machine.
  17. Thomas Aquinas, Summa Theologiae, I. Q.16, A.2 arg. 2.
  18. "Correspondence Theory of Truth", in Stanford Encyclopedia of Philosophy Archived 2019-10-31 at the Wayback Machine (citing De Veritate Q.1, A.1–3 and Summa Theologiae, I. Q.16).
  19. See, e.g., Bradley, F.H., "On Truth and Copying", in Blackburn, et al. (eds., 1999),Truth, 31–45.
  20. Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223 ff. 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.
  21. Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth: Arthur N. Prior, pp. 223 ff. Macmillan, 1969. See the section on "Tarski's Semantic Theory", 230–231.
  22. 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 of Leibniz and Spinoza are characteristic systems that are internally coherent but controversial in terms of their utility and validity.
  23. Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth: Alan R. White, pp. 130–131 (Macmillan, 1969)
  24. Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth: Alan R. White, pp. 131–133, see esp., section on "Epistemological assumptions" (Macmillan, 1969)
  25. Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth: Alan R. White, p. 130
  26. Encyclopedia of Philosophy, Vol. 5, "Pragmatic Theory of Truth", 427 (Macmillan, 1969).
  27. ^ Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 716–720 in James 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 Books Eprint. Reprinted, Collected Papers v. 5, pp. 565–573.
  28. ^ James, William, The Meaning of Truth, A Sequel to 'Pragmatism', (1909).
  29. Encyclopedia of Philosophy, Vol.2, "Dewey, John", by Richard J. Bernstein, p. 383 (Macmillan, 1969)
  30. Sahakian, W.S. & Sahakian, M.L., Ideas of the Great Philosophers, New York: Barnes & Noble, 1966, LCCN 66--23155
  31. ^ Feynman, Richard Phillips (1994) . The Character of Physical Law. New York: Modern Library. ISBN 978-0-679-60127-2.
  32. May, Todd (1993). Between Genealogy and Epistemology: Psychology, Politics, and Knowledge in the Thought of Michel Foucault. University Park: Pennsylvania State University Press. ISBN 978-0-271-02782-1. OCLC 26553016.
  33. See, e.g., Habermas, Jürgen, Knowledge and Human Interests (English translation, 1972).
  34. See, e.g., Habermas, Jürgen, Knowledge and Human Interests (English translation, 1972), esp. Part III, pp. 187 ff.
  35. Rescher, Nicholas, Pluralism: Against the Demand for Consensus (1995).
  36. Blackburn, Simon, and Simmons, Keith (eds., 1999), Truth in the Introductory section of the book.
  37. Richard Kirkham, Theories of Truth: A Critical Introduction, MIT Press, 1992.
  38. 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
  39. Le Morvan, Pierre. (2004) "Ramsey on Truth and Truth on Ramsey", The British Journal for the History of Philosophy 12(4), pp. 705–718.
  40. J. L. Austin, "How to Do Things With Words". Cambridge: Harvard University Press, 1975
  41. Encyclopedia of Philosophy, Vol. 6: Performative Theory of Truth, auth: Gertrude Ezorsky, p. 88 (Macmillan, 1969)
  42. "skepticism". The Columbia Electronic Encyclopedia. n.d. Archived from the original on 13 July 2012. Retrieved 4 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.
  43. "Philosophical views are typically classed as skeptical when they involve advancing some degree of doubt regarding claims that are elsewhere taken for granted." utm.edu Archived 2009-01-13 at the Wayback Machine
  44. Greco, John (2008). The Oxford Handbook of Skepticism. Oxford University Press, US. ISBN 978-0-19-518321-4.
  45. "Definition of SKEPTICISM". Merriam-Webster. Archived from the original on 24 April 2019. Retrieved 5 February 2016.
  46. Truth and Objectivity, Cambridge, Massachusetts: Harvard University Press, 1992.
  47. Truth as One and Many (Oxford: Oxford University Press, 2009).
  48. Ludwig Wittgenstein, Tractatus Logico-Philosophicus.
  49. Kretzmann, Norman (1968). "IV, section=2. 'Infinitely Many' and 'Finitely Many'". William of Sherwood's Treatise on Syncategorematic Words. University of Minnesota Press. ISBN 978-0-8166-5805-3.
  50. Smith, Nicholas J.J. (2010). "Article 2.6" (PDF). Many-Valued Logics. Routledge. Archived (PDF) from the original on 8 April 2018. Retrieved 25 May 2018.
  51. 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. ISBN 978-0-19-972272-3.
  52. Garrido, Angel (2012). "A Brief History of Fuzzy Logic". Revista EduSoft. Archived from the original on 17 May 2018. Retrieved 25 May 2018., Editorial
  53. Rescher, Nicholas (1968). "Many-Valued Logic". Topics in Philosophical Logic. Humanities Press Synthese Library volume 17. pp. 54–125. doi:10.1007/978-94-017-3546-9_6. ISBN 978-90-481-8331-9.
  54. Penelope Maddy; Realism in Mathematics; Series: Clarendon Paperbacks; Paperback: 216 pages; Publisher: Oxford University Press, US (1992); 978-0-19-824035-8.
  55. Elliott Mendelson; Introduction to Mathematical Logic; Series: Discrete Mathematics and Its Applications; Hardcover: 469 pages; Publisher: Chapman and Hall/CRC; 5 edition (August 11, 2009); 978-1-58488-876-5.
  56. See, e.g., Chaitin, Gregory L., The Limits of Mathematics (1997) esp. 89 ff.
  57. M. Davis. "Hilbert's Tenth Problem is Unsolvable." American Mathematical Monthly 80, pp. 233–269, 1973
  58. Yandell, Benjamin H.. The Honors Class. Hilbert's Problems and Their Solvers (2002).
  59. Chaitin, Gregory L., The Limits of Mathematics (1997) 1–28, 89 ff.
  60. Ravitch, Harold (1998). "On Gödel's Philosophy of Mathematics". Archived from the original on 28 February 2018. Retrieved 25 May 2018.
  61. Solomon, Martin (1998). "On Kurt Gödel's Philosophy of Mathematics". Archived from the original on 4 March 2016. Retrieved 25 May 2018.
  62. Wang, Hao (1997). A Logical Journey: From Gödel to Philosophy. The MIT Press. (A discussion of Gödel's views on logical intuition is woven throughout the book; the quote appears on page 75.)
  63. Kripke, Saul. "Outline of a Theory of Truth", Journal of Philosophy, 72 (1975), 690–716
  64. Keith Simmons, Universality and the Liar: An Essay on Truth and the Diagonal Argument, Cambridge University Press, Cambridge 1993
  65. Goldblatt, Robert (1983). Topoi, the categorial analysis of logic (revised ed.). Amsterdam: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland. ISBN 0-444-86711-2. OCLC 9622076.
  66. Scharp, Kevin (2013). "6: What is the Use?". Replacing truth (First ed.). Oxford: Oxford Univ. Press. ISBN 978-0-19-965385-0.
  67. "truth | philosophy and logic". Encyclopedia Britannica. Archived from the original on 5 June 2019. Retrieved 28 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.
  68. 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.
  69. Lynch, Michael P. "Alethic functionalism and our folk theory of truth." Synthese 145.1 (2005): 29–43.
  70. 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.
  71. ^ David, Marion (2005). "Correspondence Theory of Truth" Archived 2014-02-25 at the Wayback Machine in Stanford Encyclopedia of Philosophy
  72. Asmis, Elizabeth (2009). "Epicurean empiricism". In Warren, James (ed.). The Cambridge Companion to Epicureanism. Cambridge University Press. p. 84.
  73. O'Keefe, Tim (2010). Epicureanism. University of California Press. pp. 97–98.
  74. Osman Amin (2007), "Influence of Muslim Philosophy on the West", Monthly Renaissance 17 (11).
  75. Jan A. Aertsen (1988), Nature and Creature: Thomas Aquinas's Way of Thought, p. 152. Brill, 978-90-04-08451-3.
  76. Simone van Riet. Liber de philosophia prima, sive Scientia divina (in Latin). p. 413.
  77. 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. ISBN 978-0-934893-77-0.
  78. Disputed Questions on Truth, 1, 2, c, reply to Obj. 1. Trans. Mulligan, McGlynn, Schmidt, Truth, vol. I, pp. 10–12.
  79. "Veritas supra ens fundatur" (Truth is founded on being). Disputed Questions on Truth, 10, 2, reply to Obj. 3.
  80. Rock, Catherine A. (2006). "Forsworn and Fordone: Arcite as Oath-Breaker in the "Knight's Tale"". The Chaucer Review. 40 (4): 416–432. doi:10.1353/cr.2006.0009. JSTOR 25094334. S2CID 159853483.
  81. Pearsall, Derek (2004). "Medieval Literature and Historical Enquiry". Modern Language Review. 99 (4): xxxi–xlii. doi:10.2307/3738608. JSTOR 3738608. S2CID 155446847.
  82. Fowler, Elizabeth (2003). "Rev. of Green, A Crisis of Truth". Speculum. 78 (1): 179–182. doi:10.1017/S0038713400099310. JSTOR 3301477.
  83. 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.
  84. ^ Kant, Immanuel (1801), The Jäsche Logic, in Lectures on Logic. Translated and edited by J. Michael Young (Cambridge: Cambridge University Press, 1992), pp. 557–558.
  85. Alberto Vanzo, "Kant on the Nominal Definition of Truth", Kant-Studien, 101 (2010), pp. 147–166.
  86. "Die Wahrheit ist die Bewegung ihrer an ihr selbst." The Phenomenology of Spirit, Preface, ¶ 48
  87. On the Fourfold Root of the Principle of Sufficient Reason, §§ 29–33
  88. Kierkegaard, Søren. Concluding Unscientific Postscript. Princeton, Princeton University Press, 1992
  89. Watts, Michael. Kierkegaard, Oxford: Oneworld Publications, 2003
  90. Robert Wicks, "Friedrich Nietzsche – Early Writings: 1872–1876" Archived 2018-09-04 at the Wayback Machine, The Stanford Encyclopedia of Philosophy (Spring 2008 Edition), Edward N. Zalta (ed.)
  91. Nietzsche, Friedrich; Williams, Bernard; Nauckhoff, Josefine (2001). Nietzsche: The Gay Science: With a Prelude in German Rhymes and an Appendix of Songs. Cambridge University Press. ISBN 978-0-521-63645-2 – via Google Books.
  92. Nietzsche, Friedrich (2006). Nietzsche: 'On the Genealogy of Morality' and Other Writings Student Edition. Cambridge University Press. ISBN 978-1-139-46121-4 – via Google Books.
  93. Nietzsche, Friedrich (1997). Beyond Good and Evil. Dover Publications. p. 46. ISBN 978-0-486-29868-9.
  94. Nietzsche, Friedrich (1976). The Portable Nietzsche. Penguin Books. p. 46. ISBN 978-0-14-015062-9.
  95. Nietzsche, Friedrich (1887). On the Genealogy of Morality. Oxford University Press. p. 73. ISBN 978-0-19-953708-2.
  96. Nietzsche, Friedrich (1883). Thus Spoke Zarathustra. Penguin UK. p. 46. ISBN 978-0-14-044118-5.
  97. Nietzsche, Friedrich (1883). Thus Spoke Zarathustra. Penguin UK. p. 121. ISBN 978-0-14-044118-5.
  98. Heidegger, Martin. "On the Essence of Truth" (PDF). aphelis.net. Retrieved 3 October 2023.
  99. "Martin Heidegger on Aletheia (Truth) as Unconcealment". Archived from the original on 26 June 2015. Retrieved 13 August 2010.
  100. Heidegger, Martin (1962). Being and Time (1st ed.). Oxford: Basil Blackswell. pp. 256–274.
  101. Sartre, Jean-Paul (1956). Being and Nothingness: An Essay on Phenomenological Ontolgoy (1st ed.). New York: Philosophical Library.
  102. Sartre, Jean-Paul (2004). The imaginary: a phenomenological psychology of the imagination. Arlette Elkaïm-Sartre, Jonathan Webber. London: Routledge. ISBN 0-203-64410-7. OCLC 56549324.
  103. 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.
  104. Sartre, Jean-Paul (1963). Search for a Method. New York: Knopf.
  105. Skirke, Christian (28 April 2014). "Jean-Paul Sartre". Philosophy. Oxford University Press. doi:10.1093/obo/9780195396577-0192. ISBN 978-0-19-539657-7.
  106. Sartre, Jean-Paul (2004). Critique of Dialectical Reason. London: Verso. pp. 15–41.
  107. Camus, Albert (2020). The Myth of Sisyphus and Other Essays (1st ed.). London: Penguin Group. pp. 14–16.
  108. Camus, Albert (2013). The Rebel (3rd ed.). London: Penguin Group. p. 180.
  109. Camus, Albert (2013). The Rebel (3rd ed.). London: Penguin Group. p. 90.
  110. Alfred North Whitehead, Dialogues, 1954: Prologue.
  111. "How to Make Our Ideas Clear". Archived from the original on 3 October 2018. Retrieved 31 August 2015.
  112. John Maraldo, Nishida Kitarô – Self-Awareness Archived 2010-12-04 at the Wayback Machine, in: The Stanford Encyclopedia of Philosophy (Spring 2005 Edition), Edward N. Zalta (ed.)
  113. Foucault, M. "The Order of Things", London: Vintage Books, 1970 (1966)
  114. ^ Jean Baudrillard. Simulacra and Simulation. Michigan: Michigan University Press, 1994.
  115. Baudrillard, Jean. "Simulacra and Simulations", in Selected Writings Archived 2004-02-09 at the Wayback Machine, ed. Mark Poster, Stanford University Press, 1988; 166 ff
  116. Baudrillard's attribution of this quote to Ecclesiastes 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 the Wayback Machine, International Journal of Baudrillard Studies, Volume 2, Number 1 (January 2005)
  117. Asay, Jamin. "Truthmaker Theory". Internet Encyclopedia of Philosophy. Archived from the original on 24 November 2020. Retrieved 28 November 2020.
  118. Beebee, Helen; Dodd, Julian (2005). Truthmakers: The Contemporary Debate. Clarendon Press. pp. 13–14. Archived from the original on 6 December 2020. Retrieved 28 November 2020.

References

  • Aristotle, "The Categories", Harold P. Cooke (trans.), pp. 1–109 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, 1938.
  • Aristotle, "On Interpretation", Harold P. Cooke (trans.), pp. 111–179 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, 1938.
  • Aristotle, "Prior Analytics", Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, 1938.
  • Aristotle, "On the Soul" (De Anima), W. S. Hett (trans.), pp. 1–203 in Aristotle, 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.
  • Chang, C.C., and Keisler, H.J., Model Theory, North-Holland, Amsterdam, Netherlands, 1973.
  • 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.org Archived 2009-12-03 at the Wayback 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 and James 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 and Belnap, 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.
  • Hegel, Georg, (1977), The Phenomenology of Spirit, Oxford University Press, Oxford, ISBN 978-0-19-824597-1.
  • Horwich, Paul, (1988), Truth, 2nd edition, Oxford University Press, Oxford.
  • James, William (1904), A World of Pure Experience.
  • 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.
  • Kant, Immanuel (1800), Introduction to Logic. Reprinted, Thomas Kingsmill Abbott (trans.), Dennis Sweet (intro.), Barnes and Noble, New York, 2005.
  • Kirkham, Richard L. (1992), Theories of Truth: A Critical Introduction, MIT Press, Cambridge, Massachusetts.
  • Kneale, W., and Kneale, M. (1962), The Development of Logic, Oxford University Press, London, 1962. Reprinted with corrections, 1975.
  • Kreitler, Hans, and Kreitler, Shulamith (1972), Psychology of the Arts, Duke University Press, Durham, NC.
  • Le Morvan, Pierre (2004), "Ramsey on Truth and Truth on Ramsey", British Journal for the History of Philosophy, 12 (4) 2004, 705–718, PDF Archived 2017-08-29 at the Wayback Machine.
  • Peirce, C.S., Bibliography.
  • Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul 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). Eprint Archived 2020-12-11 at the Wayback 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.
  • Rajchman, John, and West, Cornel (ed., 1985), Post-Analytic Philosophy, Columbia University Press, New York.
  • 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 in Logic and Knowledge: Essays 1901–1950, Robert Charles Marsh (ed.), Unwin Hyman, London, 1956. Reprinted, pp. 35–155 in The 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.
  • Schopenhauer, Arthur, (1974), On the Fourfold Root of the Principle of Sufficient Reason, Open Court, La Salle, IL, ISBN 978-0-87548-187-6.
  • Smart, Ninian (1969), The Religious Experience of Mankind, Charles Scribner's Sons, New York.
  • Tarski, A., Logic, Semantics, Metamathematics: Papers from 1923 to 1938, J.H. Woodger (trans.), Oxford University Press, Oxford, 1956. 2nd edition, John Corcoran (ed.), Hackett Publishing, Indianapolis, IN, 1983.
  • Wallace, Anthony F.C. (1966), Religion: An Anthropological View, Random House, New York.

Reference works

  • Audi, Robert (ed., 1999), The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge, 1995. 2nd edition, 1999. Cited as CDP.
  • Blackburn, Simon (1996), The Oxford Dictionary of Philosophy, Oxford University Press, Oxford, 1994. Paperback edition with new Chronology, 1996. Cited as ODP.
  • Runes, Dagobert D. (ed.), Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ, 1962.
  • Webster's New International Dictionary of the English Language, Second Edition, Unabridged (1950), W. A. Neilson, T. A. Knott, P. W. Carhart (eds.), G. & C. Merriam Company, Springfield, MA. Cited as MWU.
  • Webster's Ninth New Collegiate Dictionary (1983), Frederick C. Mish (ed.), Merriam–Webster Inc., Springfield, MA. Cited as MWC.

External links

Truth
General
Theories
Links to related articles
Metaphysics
Theories
Concepts
Metaphysicians
Notable works
Related topics
Epistemology
Epistemologists
Theories
Concepts
Related articles
Logic
Major fields
Logics
Theories
Foundations
Lists
topics
other
Positivism
Perspectives
Declinations
Principal concepts
Antitheses
Related paradigm shifts
in the history of science
Related topics
Positivist-related debate
Method
Contributions
Proponents
Criticism
Critics
Concepts in contention
Category
Categories: