Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737

The meaning of the word truth extends from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular.^[1] The term has no single definition about which the majority of professional philosophers and scholars agree. Various theories of truth continue to be debated. There are differing claims on such questions as what constitutes truth; how to define and identify truth; the roles that revealed and acquired knowledge play; and whether truth is subjective, relative, objective, or absolute. This article introduces the various perspectives and claims, both today and throughout history. Image File history File links Size of this preview: 484 × 599 pixelsFull resolution (780 × 966 pixel, file size: 197 KB, MIME type: image/jpeg) Faithful reproductions of two-dimensional original works cannot attract copyright in the U.S. according to the rule in Bridgeman Art Library v. ... Image File history File links Size of this preview: 484 × 599 pixelsFull resolution (780 × 966 pixel, file size: 197 KB, MIME type: image/jpeg) Faithful reproductions of two-dimensional original works cannot attract copyright in the U.S. according to the rule in Bridgeman Art Library v. ... Narcisse (1728) François Lemoyne or François Le Moine, (born 1688 in Paris, died 4 June 1737 in Paris) was a French rococo painter. ... See Truth for the discussion on the meaning of the word. ... The semantic field of a word is the sum of the sememes expressed by it. ... Honest redirects here, For other uses, see Honesty (disambiguation) Look up honesty in Wiktionary, the free dictionary. ... Bona fide redirects here. ... In the modern world, sincerity is the elusive virtue of speaking truly about ones feelings, thoughts, desires. ... For the trade organisation, see Federation Against Copyright Theft. ... For other uses, see Reality (disambiguation). ... For other uses, see Definition (disambiguation). ... In mathematics, theory is used informally to refer to a body of knowledge about mathematics. ... This article is in need of attention. ... Categories: Wikipedia cleanup | Stub ... An objective or goal is a personal or organizational desired end point in development. ... The Absolute is the totality of things; all that is, whether it has been discovered or not. ...

Etymology

Further information: Veritas and Aletheia

English truth is 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). For other uses, see Veritas (disambiguation). ... Aletheia in its current sense comes from Heideggers use of it as renewed attempt to understand Truth. ... Old English (also called Anglo-Saxon[1], Old English: ) is an early form of the English language that was spoken in parts of what is now England and southern Scotland between the mid-fifth century and the mid-twelfth century. ... Middle English is the name given by historical linguistics to the diverse forms of the English language spoken between the Norman invasion of 1066 and the mid-to-late 15th century, when the Chancery Standard, a form of London-based English, began to become widespread, a process aided by the... The (Late Old High) German speaking area of the Holy Roman Empire around 950. ... Old Norse or Danish tongue is the Germanic language once spoken by the inhabitants of the Nordic countries (for instance during the Viking Age). ... To meet Wikipedias quality standards and to make a clear distinction between fact and fiction, this article may require cleanup. ...

English 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.^[2], all from a Proto-Germanic *trewwj- "having good faith". Old Norse trú, means "faith, word of honour; religious faith, belief"^[3] (archaic English troth "loyalty, honesty, good faith", compare Ásatrú). This article concerns the English kingdom, not the Westland Wessex helicopter Wessex was one of the seven major Anglo-Saxon kingdoms (the Heptarchy) that preceded the kingdom of England. ... Old Saxon, also known as Old Low German, is a Germanic language. ... The (Late Old High) German speaking area of the Holy Roman Empire around 950. ... German (called Deutsch in German; in German the term germanisch is equivalent to English Germanic), is a member of the western group of Germanic languages and is one of the worlds major languages. ... Old Norse or Danish tongue is the Germanic language once spoken by the inhabitants of the Nordic countries (for instance during the Viking Age). ... Gothic is an extinct Germanic language that was spoken by the Goths. ... This article or section does not cite any references or sources. ... Bona fide redirects here. ... Mjolnir, the hammer of Thor, is one of the major symbols of Ásatrú. This article is about the reconstruction of Norse paganism in particular. ...

Thus, truth in its original sense is the quality of "faithfulness, fidelity, loyalty, sincerity, veracity",^[4], and the narrowed sense "in agreement with fact or reality", in Anglo-Saxon expressed by sōþ, is a secondary development coupled to the process of "Enlightenment" in 17th century philosophy.^[5] For the trade organisation, see Federation Against Copyright Theft. ... For other uses, see Reality (disambiguation). ... The Enlightenment (French: ; German: ; Italian: ; Portuguese: ) was an eighteenth century movement in European and American philosophy — some classifications also include 17th century philosophy (usually called the Age of Reason). ... 17th-century Western philosophy is conventionally seen as being dominated by the coming of symbolic mathematics and rationalism to philosophy, many of the most noted philosophers were also mathematicians. ...

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 continuing Latin veritas, while Greek with aletheia and Slavic with pravda have unrelated terms. A North Germanic language is any of several Germanic languages spoken in Scandinavia, parts of Finland and on the islands west of Scandinavia. ... West Germanic is the largest branch of the Germanic family of languages, including such languages as English, Dutch, and German. ... For other uses, see Veritas (disambiguation). ... The Romance languages, also called Romanic languages, are a subfamily of the Italic languages, specifically the descendants of the Vulgar Latin dialects spoken by the common people evolving in different areas after the break-up of the Roman Empire. ... For other uses, see Veritas (disambiguation). ... Aletheia in its current sense comes from Heideggers use of it as renewed attempt to understand Truth. ...

The major theories of truth

Questions about what is a proper basis on which to decide how words, symbols, ideas and beliefs may properly be said to constitute truth, whether for a single person or an entire community or society, are among the many questions addressed by the theories introduced below.

Each of the five substantive theories below deal with truth as something with a nature, a phenomenon, or thing, or type of human experience about which significant things can be said. These theories each present perspectives that are widely agreed by published scholars to apply in some way to a broad set of occurrences that can be observed in human interaction, or which offer significant, stable explanations for issues related to the idea of truth in human experience.^[6][7] There also have more recently arisen "deflationary" or "minimalist" theories of truth based on the idea that the application of a term like true to a statement does not assert anything significant about it, for instance, anything about its nature, but that the label truth is a tool of discourse used to express agreement, to emphasize claims, or to form certain types of generalizations.^[6][8][9] The deflationary theory of truth is a family of theories which all have in common the belief that assertions that predicate truth of a statement do not provide any substantive information or insight into the nature of truth. ...

Substantive theories

Correspondence theory

Main article: Correspondence theory of truth

Correspondence theories claim that true beliefs and true statements correspond to the actual state of affairs.^[10] This type of theory attempts to posit a relationship between thoughts or statements on the one hand, and things or objects on the other. It is a traditional model which goes back at least to some of the classical Greek philosophers such as Socrates, Plato, and Aristotle.^[11] This class of theories holds that the truth or the falsity of a representation is determined in principle solely by how it relates to objective reality, by whether it accurately describes that reality. For example, there is a true distance to the moon when we humans attempt to go there, and this true distance is necessary to know so that the journey can be successfully made. The correspondence theory of truth states that something (for example, a proposition or statement or sentence) is rendered true by the existence of a fact with corresponding elements and a similar structure. ... This page is about the Classical Greek philosopher. ... For other uses, see Plato (disambiguation). ... For other uses, see Aristotle (disambiguation). ... The objective reality is reality which does not depend on our existence and the way of performing observations. ... When someone sincerely agrees with an assertion, they might claim that it is the truth. ... KNOW (91. ...

Correspondence theory traditionally operates on the assumption that truth is a matter of accurately copying "objective reality" and then representing it in thoughts, words and other symbols.^[12] More modern theorists have stated that this ideal cannot be achieved independently of some analysis of additional factors. For example, language plays a role in that all languages have words that are not easily translatable into another. 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 fails to accurately capture its full meaning (this is a problem with many abstract words, especially those derived in agglutinative languages). Thus, the language itself adds 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 below in this article. This article is about the German word. ... An agglutinative language is a language in which the words are formed by joining morphemes together. ... A boolean-valued function, in some usages a predicate or a proposition, is a function of the type , where is an arbitrary set, where is a generic 2-element set, typically , and where the latter is frequently interpreted for logical applications as . ... // Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ... The semantic theory of truth holds that any assertion that a sentence is true can be made only as a formal requirement regarding the language in which the proposition itself is expressed. ...

Proponents of several of the theories below have gone farther 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.

Coherence theory

Main article: Coherence theory of truth

For coherence theories in general, truth requires a proper fit of elements within a whole system. Very often, though, 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.^[13] A pervasive tenet of coherence theories is the idea that truth is primarily a property of whole systems of propositions, and can be ascribed to individual propositions only according to their coherence with the 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. There are two distinct types of Coherentism. ...

Some variants of coherence theory are claimed to characterize the essential and intrinsic properties of formal systems in logic and mathematics.^[14] However, 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 criticized as 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.^[15] In mathematical logic, a sentence σ is called independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and it is also impossible to prove from T that σ is false. ... The term non-Euclidean geometry (also spelled: non-Euclidian geometry) describes both hyperbolic and elliptic geometry, which are contrasted with Euclidean geometry. ... Natural World (sometimes in the past titled Wildlife On One or Wildlife On Two) is a long-running BBC television series on natural history. ... A central concept in science and the scientific method is that all evidence must be empirical, or empirically based, that is, dependent on evidence or consequences that are observable by the senses. ...

Coherence theories distinguish the thought of rationalist philosophers, particularly of Spinoza, Leibniz, and G.W.F. Hegel, along with the British philosopher F.H. Bradley.^[16] They have found a resurgence also among several proponents of logical positivism, notably Otto Neurath and Carl Hempel. In epistemology and in its broadest sense, rationalism is any view appealing to reason as a source of knowledge or justification (Lacey 286). ... Baruch Spinoza Benedictus de Spinoza (November 24, 1632 - February 21, 1677), named Baruch Spinoza by his synagogue elders and known as Bento de Spinoza or Bento dEspiñoza in the community in which he grew up. ... Gottfried Leibniz Gottfried Wilhelm von Leibniz (July 1, 1646 in Leipzig - November 14, 1716 in Hannover) was a German philosopher, scientist, mathematician, diplomat, librarian, and lawyer of Sorb descent. ... Georg Wilhelm Friedrich Hegel (August 27, 1770 - November 14, 1831) was a German philosopher born in Stuttgart, Württemberg, in present-day southwest Germany. ... Francis Herbert Bradley (30 January 1846 - 18 September 1924) was a British philosopher. ... Logical positivism grew from the discussions of Moritz Schlicks Vienna Circle and Hans Reichenbachs Berlin Circle in the 1920s and 1930s. ... Otto Neurath (December 10, 1882-December 22, 1945) was an Austrian sociologist, political economist, and an unorthodox Marxist. ... Carl Gustav Hempel (* January 8th, 1905 in Oranienburg, Germany † November 9th, 1997 in Princeton, New Jersey) was a philosopher of science and a student of logical positivism. ...

Constructivist theory

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 gathers the most diverse rays and unfolds in one axiom--verum ipsum factum--"truth itself is constructed." Hegel, Garns, and Marx were among the other early proponents of the premise that truth is socially constructed. Constructivism is a perspective in philosophy that views all of our knowledge as constructed, under the assumption that it does not necessarily reflect any external transcendent realities; it is contingent on convention, human perception, and social experience. ... Constructivism is a perspective in philosophy that views all of our knowledge as constructed, under the assumption that it does not necessarily reflect any external transcendent realities; it is contingent on convention, human perception, and social experience. ... For other uses, see Race (disambiguation). ... This article is about human sexual perceptions. ... Gender in common usage refers to the sexual distinction between male and female. ... Giambattista Vico or Giovanni Battista Vico (June 23, 1668 – January 23, 1744) was an Italian philosopher, historian, and jurist. ... Theory of knowledge redirects here: for other uses, see theory of knowledge (disambiguation) According to Plato, knowledge is a subset of that which is both true and believed Epistemology or theory of knowledge is the branch of philosophy that studies the nature, methods, limitations, and validity of knowledge and belief. ... Georg Wilhelm Friedrich Hegel (August 27, 1770 - November 14, 1831) was a German philosopher born in Stuttgart, Württemberg, in present-day southwest Germany. ... Marx is a common German surname. ...

Consensus theory

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. The consensus theory of truth, originated by Charles Sanders Peirce who called it pragmatism, and later pragmaticism, holds that a statement is true if it would be agreed to by all those who investigate it if investigation were carried sufficiently far in that particular direction. ... The consensus theory of truth, originated by Charles Sanders Peirce who called it pragmatism, and later pragmaticism, holds that a statement is true if it would be agreed to by all those who investigate it if investigation were carried sufficiently far in that particular direction. ... “Superset” redirects here. ...

Among the current advocates of consensus theory as a useful accounting of the concept of "truth" is the philosopher Jürgen Habermas.^[17] Habermas maintains that truth is what would be agreed upon in an ideal speech situation.^[18] Among the current strong critics of consensus theory is the philosopher Nicholas Rescher.^[19] Jürgen Habermas (IPA: ; born June 18, 1929) is a German philosopher and sociologist in the tradition of critical theory and American pragmatism. ... Nicholas Rescher (born July 15, 1928 in Hagen, Germany) is an American philosopher, affiliated for many years with the University of Pittsburgh, where he is currently University Professor of Philosophy and Chairman of the Center for the Philosophy of Science. ...

Pragmatic theory

Main article: Pragmatic theory of truth

The three most influential forms of the pragmatic theory of truth were introduced around the turn of the 20th century by Charles S. Peirce, William James, and John Dewey. Although there are wide differences in viewpoint among these and other proponents of pragmatic theory, they hold in common that truth is verified and confirmed by the results of putting one's concepts into practice.^[20] Pragmatic theory of truth refers to those accounts, definitions, and theories of the concept truth that distinguish the philosophies of pragmatism and pragmaticism. ... Charles Sanders Peirce (IPA: /pɝs/), (September 10, 1839 – April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ... This article needs additional references or sources for verification. ... John Dewey (October 20, 1859 – June 1, 1952) was an American philosopher, psychologist, and educational reformer, whose thoughts and ideas have been greatly influential in the United States and around the world. ...

Peirce defines truth as follows: "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."^[21] This statement emphasizes 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. Charles Sanders Peirce (IPA: /pɝs/), (September 10, 1839 – April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ... Fallibilism refers to the philosophical doctrine that absolute certainty about knowledge is impossible; or at least that all claims to knowledge could, in principle, be mistaken. ... A sign relation is the basic construct in the theory of signs, or semiotic theory, as developed by Charles Sanders Peirce (1839-1914). ...

William James's 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."^[22] By this, James meant that truth is a quality the value of which is confirmed by its effectiveness when applying concepts to actual practice (thus, "pragmatic"). This article needs additional references or sources for verification. ...

John 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.^[23] John Dewey (October 20, 1859 – June 1, 1952) was an American philosopher, psychologist, and educational reformer, whose thoughts and ideas have been greatly influential in the United States and around the world. ...

Minimalist (deflationary) theories

Main article: Deflationary theory of truth

A number of philosophers reject the thesis that the concept or term truth refers to a real property of sentences or propositions. These philosophers are responding, in part, 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 the proposition “'2 + 2 = 4' is true” is logically equivalent to asserting the proposition “2 + 2 = 4”, and the phrase “is true” is completely dispensable in this and every other context. These positions are broadly described The deflationary theory of truth is a family of theories which all have in common the belief that assertions that predicate truth of a statement do not provide any substantive information or insight into the nature of truth. ...

• 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.^[24][6]

Whichever term is used, deflationary theories can be said to hold in common that "[t]he predicate 'true' is an expressive convenience, not the name of a property requiring deep analysis."^[6] 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.) Robert Boyles self-flowing flask fills itself in this diagram, but perpetual motion machines do not exist. ...

In addition to highlighting such formal aspects of the predicate "is true", some deflationists point out that the concept enables 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.

But it can be expressed succinctly by saying: Whatever Michael says is true.^[25]

Performative theory of truth

Attributed to 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. 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. In a similar way, Strawson holds: "To say a statement is true is not to make a statement about a statement, but rather to perform the act of agreeing with, accepting, or endorsing a statement. When one says 'It's true that it's raining,' one asserts no more than 'It's raining.' The function of [the statement] 'It's true that...' is to agree with, accept, or endorse the statement that 'it's raining.'"^[26] Strawson redirects here. ... The notion speech act is a technical term in linguistics and the philosophy of language. ...

Redundancy and related theories

Main article: Redundancy theory of truth

According to the redundancy theory of truth, asserting that a statement is true is completely equivalent to asserting the statement itself. For example, making the assertion that " 'Snow is white' is true" is equivalent to asserting "Snow is white". Redundancy theorists infer from this premise that truth is a redundant concept; 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".^[27][28] The Redundancy theory of truth is a philosophical theory about the way in which the predicate is true functions in such sentences as Snow is white is true. In its simplest version, the redundancy theory holds that Snow is white is true says no more than does Snow is white... The Redundancy theory of truth is a philosophical theory about the way in which the predicate is true functions in such sentences as Snow is white is true. In its simplest version, the redundancy theory holds that Snow is white is true says no more than does Snow is white... Frank Plumpton Ramsey (February 22, 1903 – January 19, 1930) was a British mathematician who, in addition to mathematics, made significant contributions in philosophy and economics. ... Periphrasis, like its Latin counterpart circumlocution, is a figure of speech where the meaning of a word or phrase is indirectly expressed through several or many words. ...

A variant of redundancy theory is the disquotational theory which uses a modified form of Tarski's schema: To say that '"P" is true' is to say that P. 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 sentences like "That's true", when said in response to "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 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. These variations do not necessarily follow Ramsey in asserting that truth is not a property, but rather can be understood to say that, for instance, the assertion "P" may well involve a substantial truth, and the theorists in this case are minimalizing only the redundancy or prosentence involved in the statement such as "that's true."^[6] Alfred Tarski, original name Alfred Teitelbaum (b. ... Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 For other uses, see Truth (disambiguation). ... Nuel D. Belnap Jr. ... A pro-sentence is a function word or expression that substitutes for a whole sentence whose content is recoverable from the context. ...

Deflationary principles do not apply to representations that are not analogous to sentences, and also do not apply to many other things that are commonly judged to be true or otherwise. Consider the analogy between the sentence "Snow is white" and the person Snow White, both of which can be true in a sense. To a minimalist, saying "Snow is white is true" is the same as saying "Snow is white", but to say "Snow White is true" is not the same as saying "Snow White".

Formal theories

Truth in 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. In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the structures that underlie mathematical systems. ... Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. ... In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the structures that underlie mathematical systems. ... Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. ...

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. Boolean algebra is the finitary algebra of two values. ... Propositional logic or sentential logic is the logic of propositions, sentences, or clauses. ... For the algebra software named Axiom, see Axiom computer algebra system. ... In logic, especially in mathematical logic, a rule of inference is a scheme for constructing valid inferences. ... Truth tables are a type of mathematical table used in logic to determine whether an expression is true or whether an argument is valid. ...

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 theorem 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 which are provable in a formal axiomatic system. Hilberts program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. ... In mathematical logic, Gödels incompleteness theorems are two celebrated theorems proven by Kurt Gödel in 1931. ... In computability theory the Church-Turing thesis, Churchs thesis, Churchs conjecture or Turings thesis, named after Alonzo Church and Alan Turing, is a hypothesis about the nature of mechanical calculation devices, such as electronic computers. ...

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.^[29] 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,^[30] 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.^[31] Gödel and Paul Cohen showed that this hypothesis cannot be proved or disproved using the standard axioms of set theory and a finite number of proof steps.^[32] In the view of some, then, it is equally reasonable to take either the continuum hypothesis or its negation as a new axiom. Kurt Gödel (IPA: ) (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) – January 14, 1978 Princeton, New Jersey) was an Austrian American mathematician and philosopher. ... Alan Mathison Turing, OBE, FRS (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer. ... Hilberts problems are a list of twenty-three problems in mathematics put forth by German mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900. ... Matiyasevichs theorem, proven in 1970 by Yuri Matiyasevich, implies that Hilberts tenth problem is unsolvable. ... In mathematics, a Diophantine equation is an equation between two polynomials with integer coefficients with any number of unknowns. ... In mathematics, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. ... In mathematics, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. ... Paul Joseph Cohen (April 2, 1934 – March 23, 2007[1]) was an American mathematician. ... This article is about a logical statement. ... Set theory is the mathematical theory of sets, which represent collections of abstract objects. ...

Semantic theory of truth

The semantic theory of truth has as its general case for a given language: The semantic theory of truth holds that any assertion that a sentence is true can be made only as a formal requirement regarding the language in which the proposition itself is expressed. ...

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

Logician and philosopher Alfred Tarski developed the theory 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 like the Liar: This sentence is not true. See The Liar paradox. 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. // Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ... Logic (from ancient Greek λόγος (logos), meaning reason) is the study of arguments. ... In philosophy and logic, the liar paradox encompasses paradoxical statements such as: I am lying now. ... Donald Davidson (March 6, 1917 – August 30, 2003) was an American philosopher and the Willis S. and Marion Slusser Professor Emeritus of Philosophy at the University of California, Berkeley. ... Truth-conditional semantics is the name for an approach to semantics of natural language that sees the meaning of a sentence being the same as, or reducible to, the truth conditions of that sentence. ... Radical interpretation in philosophy means working out the meaning of words, sentences and whole languages from scratch, by observing how they are used. ... Coherentism - Wikipedia, the free encyclopedia /**/ @import /skins-1. ...

Bertrand Russell is credited with noticing the existence of such paradoxes even in the best symbolic formalizations 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. Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 – 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ... Part of the foundation of mathematics, Russells paradox (also known as Russells antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory of Frege leads to a contradiction. ... Alfred North Whitehead, OM (February 15, 1861 Ramsgate, Kent, England – December 30, 1947 Cambridge, Massachusetts, USA) was an English-born mathematician who became a philosopher. ... The Principia Mathematica is a three-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910-1913. ... At the broadest level, type theory is the branch of mathematics and logic that first creates a hierarchy of types, then assigns each mathematical (and possibly other) entity to a type. ... In computer science, a type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact. ...

Kripke's theory of truth

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: Saul Aaron Kripke (born in November 13, 1940 in Bay Shore, New York) is an American philosopher and logician now emeritus from Princeton and teaches as distinguished professor of philosophy at CUNY Graduate Center. ...

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

• Define truth just for the sentences in that subset.

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

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

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 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.^[33] In logic, the principle of bivalence states that for any proposition P, either P is true or P is false. ...

Notable philosophers' views

La Vérité ("Truth") by Jules Joseph Lefebvre

Image File history File links Download high resolution version (1029x2501, 771 KB) File links The following pages link to this file: Truth Talk:Truth Jules Joseph Lefebvre ... Image File history File links Download high resolution version (1029x2501, 771 KB) File links The following pages link to this file: Truth Talk:Truth Jules Joseph Lefebvre ... Jules Joseph Lefebvre (1836 – 1911) was a French figure painter. ...

Ancient philosophers

The ancient Greek origins of the words "true" and "truth" have some consistent definitions throughout great spans of history that were often associated with topics of logic, geometry, mathematics, deduction, induction, and natural philosophy. Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. ... For other uses, see Geometry (disambiguation). ... For other meanings of mathematics or uses of math and maths, see Mathematics (disambiguation) and Math (disambiguation). ... Look up deduction in Wiktionary, the free dictionary. ... Look up induction in Wiktionary, the free dictionary. ... Natural philosophy or the philosophy of nature, known in Latin as philosophia naturalis, is a term applied to the objective study of nature and the physical universe that was regnant before the development of modern science. ...

Socrates', Plato's and Aristotle's ideas about truth are commonly seen 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”.^[34] The Stanford Encyclopedia of Philosophy proceeds to say of Aristotle: This page is about the Classical Greek philosopher. ... For other uses, see Plato (disambiguation). ... For other uses, see Aristotle (disambiguation). ...

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 “likenessess” (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.^[34]

Very similar statements can also be found in Plato (Cratylus 385b2, Sophist 263b).^[34]

In ancient Indian philosophy and Buddhist philosophy, Gautama Buddha developed the theory of the Four Noble Truths, which are one of the most fundamental teachings of Buddhism and commonly appear in the earliest Buddhist texts, the Pali Canon.^[35] The term Indian philosophy may refer to any of several traditions of philosophical thought, including: Hindu philosophy Buddhist philosophy Jain philosophy Sikh philosophy Carvaka atheist philosophy Lokayata materialist philosophy Tantric religious philosophy Bhakti religious philosophy Sufi religious philosophy Ahmadi religious philosophy Political and military philosophy such as that of Chanakya... Buddhist Teachings deals extensively with problems in metaphysics, phenomenology, ethics, and epistemology. ... Siddhartha and Gautama redirect here. ... The Four Noble Truths (Pali: Cattāri ariyasaccāni, Sanskrit: Catvāri āryasatyāni, Chinese: Sìshèngdì, Thai: อริยสัจสี่, Ariyasaj Sii) are one of the most fundamental Buddhist teachings. ... A statue of the Sakyamuni Buddha in Tawang Gompa, India. ... Standard edition of the Thai Pali Canon The Pali Canon is the standard scripture collection of the Theravada Buddhist tradition. ...

Medieval philosophers

In early Islamic philosophy, Avicenna (Ibn Sina) defined truth as: Early Muslim philosophy is considered influential in the rise of modern philosophy. ... (Persian: ابن سينا) (c. ...

What corresponds in the mind to what is outside it.^[36]

Avicenna elaborated on his definition of truth in his Metaphysics: Plato (Left) and Aristotle (right), by Raphael (Stanza della Segnatura, Rome) Metaphysics is the branch of philosophy concerned with explaining the ultimate nature of reality, being, and the world. ...

The truth of a thing is the property of the being of each thing which has been established in it.^[37]

In medieval Christian philosophy, Thomas Aquinas wrote an elegant re-statement of Aristotle's view in his Summa I.16.1: It is proposed that this article be deleted, because of the following concern: Filled with OR and completely unsourced. ... Saint Thomas Aquinas, O.P.(also Thomas of Aquin, or Aquino; c. ...

Veritas est adæquatio intellectus et rei.
(Truth is the conformity of the intellect to the things.)

In his Quodlibeta, Thomas Aquinas wrote a commentary on Avicenna's definition of truth in his Metaphysics and explained it as follows: Saint Thomas Aquinas, O.P.(also Thomas of Aquin, or Aquino; c. ...

The truth of each thing, as Avicenna says in his Metaphysica, is nothing else than the property of its being which has been established in it. So that is called true gold which has properly the being of gold and attains to the established determinations of the nature of gold. Now, each thing has properly being in some nature because it stands under the complete form proper to that nature, whereby being and species in that nature is.^[37]

Modern philosophers

Kant

Immanuel Kant discussed the correspondence theory of truth in the following manner. Kant's criticism of correspondence theory is one of numerous examples of why so many thinkers who examine the question of truth are not satisfied to rest with this first theory that usually comes to mind. Kant redirects here. ...

Immanuel Kant

Truth is said to consist in the agreement of knowledge with the object. According to this mere verbal definition, then, my knowledge, in order to be true, must agree with the object. Now, I can only compare the object with my knowledge by this means, namely, by taking knowledge of it. My knowledge, then, is to be verified by itself, which is far from being sufficient for truth. For as the object is external to me, and the knowledge is in me, I can only judge whether my knowledge of the object agrees with my knowledge of the object. Such a circle in explanation was called by the ancients Diallelos. And the logicians were accused of this fallacy by the sceptics, who remarked that this account of truth was as if a man before a judicial tribunal should make a statement, and appeal in support of it to a witness whom no one knows, but who defends his own credibility by saying that the man who had called him as a witness is an honourable man.^[38] Image File history File links Kant_2. ... Image File history File links Kant_2. ...

According to Kant, the definition of truth as correspondence is a "mere verbal definition", here making use of Aristotle's distinction between a nominal definition, a definition in name only, and a real definition, a definition that shows the true cause or essence of the thing whose term is being defined. From Kant's account of the history, the definition of truth as correspondence was already in dispute from classical times, the "skeptics" criticizing the "logicians" for a form of circular reasoning, though the extent to which the "logicians" actually held such a theory is not evaluated.^[39] For other uses, see Definition (disambiguation). ...

Kierkegaard

When Søren Kierkegaard, as his character Johannes Climacus, wrote that "Truth is Subjectivity", 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.^[40] Søren Aabye Kierkegaard (IPA: , but usually Anglicized as ;  ) 5 May 1813 – 11 November 1855) was a prolific 19th century Danish philosopher and theologian. ... This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. ...

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.^[41]

Nietzsche

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. Friedrich Wilhelm Nietzsche (October 15, 1844 – August 25, 1900) (IPA: ) was a nineteenth-century German philosopher. ...

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.^[42]

Heidegger

Main article: Aletheia

Aletheia in its current sense comes from Heideggers use of it as renewed attempt to understand Truth. ...

Gandhi

Mohandas "Mahatma" Gandhi dedicated his life to the wider purpose of discovering truth, or Satya. He tried to achieve this by learning from his own mistakes and conducting experiments on himself. He called his autobiography The Story of My Experiments with Truth. Gandhi stated that the most important battle to fight was overcoming his own demons, fears, and insecurities. Gandhi summarized his beliefs first when he said "God is Truth". He would later change this statement to "Truth is God". Thus, Truth in Gandhi's philosophy is God. Mohandas Karamchand Gandhi (October 2, 1869 – January 30, 1948) (Devanagari: मोहनदास करमचन्द गांधी, Gujarati મોહનદાસ કરમચંદ ગાંધી), called... Satya is a true badman. ... Cover of the first English edition of 1793 of Benjamin Franklins autobiography. ... “Fiend” redirects here. ... For other uses, see Fear (disambiguation). ... This article discusses the term God in the context of monotheism and henotheism. ...

Whitehead

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 play 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. Half-truths are deceptive statements, that include some element of truth. ... A conclusion is a final proposition, which is arrived at after the consideration of evidence, arguments or premises. ...

Nishida

According to Kitaro Nishida, "[k]nowledge 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."^[43] Nishida Kitaro Nishida Kitaro (西田 幾多郎 Nishida Kitarō; 1870, Ishikawa Prefecture – 1945) was a prominent Japanese philosopher, founder of what has been called the Kyoto School of philosophy. ...

Fromm

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 from Himself: An Inquiry into the Psychology of Ethics" (1947), from which excerpts are included below. Erich Fromm Erich Pinchas Fromm (March 23, 1900 – March 18, 1980) was an internationally renowned Jewish-German-American social psychologist, psychoanalyst, and humanistic philosopher. ...

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

Truth, for 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.^[44] Michel Foucault (IPA pronunciation: ) (October 15, 1926 – June 25, 1984) was a French philosopher, historian and sociologist. ... Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 For other uses, see Truth (disambiguation). ... As distinguished from techne, the Greek word episteme (literally: science) is often translated as knowledge. ...

Baudrillard

Jean Baudrillard considers truth to be largely simulated, that is pretending to have something, as opposed to dissimulation, pretending to not have something. He takes his cue from iconoclasts who he claims knew that images of God demonstrated the fact that God did not exist.^[45] Baudrillard writes in "Precession of the Simulacra": Jean Baudrillard (July 29, 1929 – March 6, 2007) (IPA pronunciation: [1]) was a French cultural theorist, philosopher, political commentator, and photographer. ... This article belongs in one or more categories. ...

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

—Ecclesiastes^[46][47]

Some example simulacra that Baudrillard cites are: that prisons simulate the "truth" that society is free; scandals (eg, Watergate) simulate that corruption is corrected; Disney simulates that the U.S. itself is an adult place. One must remember that though such examples seem extreme, such extremity is an important part of Baudrillard's philosophy. For a less extreme example consider how movies, almost without exception, end with the bad guy being punished, thus drilling into the viewers that successful businessmen and politicians are good or, if not, will be caught.^[48] Simulacrum (plural: simulacra), from the Latin simulare, to make like, to put on an appearance of, originally meaning a material object representing something (such as a cult image representing a deity, or a painted still-life of a bowl of fruit). ... Watergate redirects here. ...

Types of truth

Metaphysical subjectivism holds that the truth or falsity of all propositions depends, at least partly, on what we believe. In contrast, metaphysical objectivism holds that truths are independent of our beliefs. Except for propositions that are actually about our beliefs or sensations, what is true or false is independent of what we think is true or false. This article is in need of attention. ... Objectivity, as a concept of philosophy, is dependent upon the presupposition distinguishing references in the field of epistemology regarding the ontological status of a possible objective reality, and the state of being objective in regard to references towards whatever is considered as objective reality. ...

Relative truths are statements or propositions that are true only relative to some standard, convention, or point-of-view, such as that of one's own culture. Many would agree that the truth or falsity of some statements are relative: That the fork is to the left of the spoon depends on where one stands. Relativism is the doctrine that all truths within a particular domain (say, morality or aesthetics) are of this form, and entails that what is true varies across cultures and eras. For example, moral relativism is the view that a moral statement can be true in one time and place but false in another. This is different from the uncontroversial claim that people in different cultures and eras believe different things about morality: moral relativism is claiming that the moral facts themselves are different. Assorted forks. ... For other uses, see Spoon (disambiguation). ... For the physics theory with a similar name, see Theory of Relativity. ... In philosophy, moral relativism is the position that moral or ethical propositions do not reflect objective and/or universal moral truths, but instead make claims relative to social, cultural, historical or personal circumstances. ...

Relative truths can be contrasted with absolute truths. The existence of absolute truths is somewhat controversial, but is strongly asserted by universalism. Believers in absolute truth hold that 2+2=4 everywhere in the universe forever; likewise, if A implies B and B implies C, then A implies C for every entity, at every time, at any place.^{[citation needed]} On a more local scale, for example, from the viewpoint of the microeconomist, the laws of supply and demand determine that 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, human nature, or some other ultimate essence. This article needs additional references or sources for verification. ... The supply and demand model describes how prices vary as a result of a balance between product availability at each price (supply) and the desires of those with purchasing power at each price (demand). ...

Absolutism in a particular domain of thought is the view that all statements in that domain are either true in all times and places or false in all times and places: none is true for some cultures or eras while false for other cultures or eras. Absolute truth can be interpreted in different ways based on its usage, just like truth. ...

Mythology

Main article: Mythology

A myth is a narrative that a particular culture believes to be both true and significant, typical involving the supernatural or aiming to explain the nature of the universe and humanity. In the opinion of J. R. R. Tolkien, For other uses, see Mythology (disambiguation). ... For other uses, see Culture (disambiguation). ... Look up Supernatural in Wiktionary, the free dictionary. ... Tolkien redirects here. ...

"Legends and myths are largely made of 'truth', and indeed present aspects of truth that can only be received in this mode."^[49]

Religious truth

For more details on this topic, see Truth (religious).

The following text needs to be harmonized with text in the article Truth (religious). (See e.g. Wikipedia:Summary style.)

Most religious traditions have a body of doctrine that adherents of that religion view as truth. This may take the form of a creed or catechism, it may refer to a book such as the Bible or the Koran, or it may be an unwritten code shared by believers. Unlike scientific truth or observed truth, religious truth often makes the claim of being either revealed or inspired by God. - When there is a clash between religious truth and scientific truth, various methods have been used to reconcile the two. During the Middle Ages, for example, there was a conflict between Roman Catholic dogma on the one hand and an emerging body of scientific knowledge on the other. Sometimes the established church sought to suppress scientific truth, as in the case of Galileo, but often the two truths were allowed to coexist, which led to the doctrine of the two truths. According to this compromise, there is a lesser truth, scientific truth, which holds that the earth orbits the sun, and a greater truth, religious truth, that holds that the earth is the fixed center of the universe. According to the doctrine of the two truths, these two truths were both true in their own sphere. ^[50][51] In the 20th Century, there were similar attempts to explain apparent conflicts between religious truth and scientific truth, especially where the age of the earth, the historicity of a universal flood, and the evolution of species were concerned. The conflict between religious truth and scientific truth continues. The following text needs to be harmonized with text in the article Truth. ... Image File history File links Broom_icon. ... The following text needs to be harmonized with text in the article Truth. ... This Gutenberg Bible is displayed by the United States Library. ... The Quran (Arabic al-qurʾān أَلْقُرآن; also transliterated as Quran, Koran, and less commonly Alcoran) is the holy book of Islam. ... The Middle Ages formed the middle period in a traditional schematic division of European history into three ages: the classical civilization of Antiquity, the Middle Ages, and modern times, beginning with the Renaissance. ... The Roman Catholic Church, most often spoken of simply as the Catholic Church, is the largest Christian church, with over one billion members. ... A magnet levitating above a high-temperature superconductor demonstrates the Meissner effect. ... Galileo can refer to: Galileo Galilei, astronomer, philosopher, and physicist (1564 - 1642) the Galileo spacecraft, a NASA space probe that visited Jupiter and its moons the Galileo positioning system Life of Galileo, a play by Bertolt Brecht Galileo (1975) - screen adaptation of the play Life of Galileo by Bertolt Brecht... (19th century - 20th century - 21st century - more centuries) Decades: 1900s 1910s 1920s 1930s 1940s 1950s 1960s 1970s 1980s 1990s As a means of recording the passage of time, the 20th century was that century which lasted from 1901–2000 in the sense of the Gregorian calendar (1900–1999... Earth as seen from Apollo 17 Modern geologists consider the age of the Earth to be around 4. ... Flooding in Amphoe Sena, Ayutthaya Province, Thailand. ... This article is about evolution in biology. ...

Notes

Holtzmanns Law is a Proto-Germanic sound law originally noticed by Adolf Holtzmann in 1838. ... OED stands for Oxford English Dictionary Office of Enrollment & Discipline This page concerning a three-letter acronym or abbreviation is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. ... Shakespeare redirects here. ... Walter Deverell,The Mock Marriage of Orlando and Rosalind, 1853 William Shakespeares As You Like It is a pastoral comedy written in 1599 or early 1600. ... William Prynne (1600 - October 24, 1669) was a Puritan opponent of the church policy of Archbishop of Canterbury William Laud. ... Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 – 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ... Kant redirects here. ... Gottfried Leibniz Gottfried Wilhelm von Leibniz (July 1, 1646 in Leipzig - November 14, 1716 in Hannover) was a German philosopher, scientist, mathematician, diplomat, librarian, and lawyer of Sorb descent. ... Baruch Spinoza Benedictus de Spinoza (November 24, 1632 - February 21, 1677), named Baruch Spinoza by his synagogue elders and known as Bento de Spinoza or Bento dEspiñoza in the community in which he grew up. ... Ecclesiastes, Qohelet in Hebrew, is a book of the Hebrew Bible. ... The Letters of J. R. R. Tolkien (ISBN 0-618-05699-8) is a selection of J. R. R. Tolkiens letters published in 1981, edited by Tolkiens biographer Humphrey Carpenter assisted by Christopher Tolkien. ...

References

• Aristotle, "The Categories", Harold P. Cooke (trans.), pp. 1–109 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

• Aristotle, "On Interpretation", Harold P. Cooke (trans.), pp. 111–179 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

• Aristotle, "Prior Analytics", Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

• Aristotle, "On the Soul" (De Anima), W. S. Hett (trans.), pp. 1–203 in Aristotle, Volume 8, Loeb Classical Library, William Heinemann, London, UK, 1936.

• Audi, Robert (ed., 1999), The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge, UK, 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, NY.

• 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, UK. 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, MA.

• 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) [6]

• 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, NY, 1908. 2nd edition, Holt, Rinehart, and Winston, 1932. Reprinted, Arnold Isenberg (ed.), Victor Kestenbaum (pref.), Irvingtion Publishers, New York, NY, 1980.

• Dewey, John (1938), Logic: The Theory of Inquiry (1938),Holt and Company, New York, NY. 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, UK.

• 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, NY.

• Garfield, Jay L., and Kiteley, Murray (1991), Meaning and Truth: The Essential Readings in Modern Semantics, Paragon House, New York, NY.

• Gupta, Anil (2001), "Truth", in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, Oxford, UK.

• Haack, Susan (1993), Evidence and Inquiry: Towards Reconstruction in Epistemology, Blackwell Publishers, Oxford, UK.

• 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, MA, 1979.

• Habermas, Jürgen (1990), Moral Consciousness and Communicative Action, Christian Lenhardt and Shierry Weber Nicholsen (trans.), Thomas McCarthy (intro.), MIT Press, Cambridge, MA.

• Habermas, Jürgen (2003), Truth and Justification, Barbara Fultner (trans.), MIT Press, Cambridge, MA.

• Horwich, Paul, (1988), Truth, 2nd edition, Oxford University Press, Oxford, UK.

• 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, NY.

• James, William (1909), The Meaning of Truth, A Sequel to 'Pragmatism', Longmans, Green, and Company, New York, NY.

• James, William (1912), Essays in Radical Empiricism. Cf. Chapt. 3, "The Thing and its Relations", pp. 92–122.

• Kant, Immanuel (1800), Introduction to Logic. Reprinted, Thomas Kingsmill Abbott (trans.), Dennis Sweet (intro.), Barnes and Noble, New York, NY, 2005.

• Kirkham, Richard L. (1992), Theories of Truth, MIT Press, Cambridge, MA.

• Kneale, W., and Kneale, M. (1962), The Development of Logic, Oxford University Press, London, UK, 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.

• 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, MA, 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.

• 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, MA, 1976.

• Quine, W.V. (1980 a), From a Logical Point of View, Logico-Philosophical Essays, 2nd edition, Harvard University Press, Cambridge, MA.

• 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, NY.

• 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, UK, 1990.

• Ramsey, F.P. (1990), Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK.

• Rawls, John (2000), Lectures on the History of Moral Philosophy, Barbara Herman (ed.), Harvard University Press, Cambridge, MA.

• 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, NY, 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, UK, 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, UK, 1956. Reprinted, Routledge, London, UK, 1992.

• Russell, Bertrand (1985), The Philosophy of Logical Atomism, David Pears (ed.), Open Court, La Salle, IL.

• Smart, Ninian (1969), The Religious Experience of Mankind, Charles Scribner's Sons, New York, NY.

• Tarski, A., Logic, Semantics, Metamathematics: Papers from 1923 to 1938, J.H. Woodger (trans.), Oxford University Press, Oxford, UK, 1956. 2nd edition, John Corcoran (ed.), Hackett Publishing, Indianapolis, IN, 1983.

• Wallace, Anthony F.C. (1966), Religion: An Anthropological View, Random House, New York, NY.

Reference works For other uses, see Aristotle (disambiguation). ... The Loeb Classical Library is a series of books, today published by the Harvard University Press, which present important works of ancient Greek and Latin Literature in a way designed to make the text accessible to the broadest possible audience, by presenting the original Greek or Latin text on each... To meet Wikipedias quality standards, this article or section may require cleanup. ... Prior Analytics is Aristotles work on deductive reasoning, part of his Organon, the organ of logical and scientific methods. ... On the Soul (or De Anima) is a writing by Aristotle, outlining his philosophical views on the nature of living things. ... Robert Audi (born November 1941) is a philosopher whose major work has focused on epistemology, ethics—especially on Ethical intuitionism, and the theory of action. ... James Mark Baldwin (Columbia, South Carolina, 1861—1934) was an American philosopher, educated at Princeton and several German universities. ... Chandrasekhar redirects here. ... Avram Noam Chomsky (Hebrew: אברם נועם חומסקי Yiddish: אברם נועם כאמסקי) (born December 7, 1928) is an American linguist, philosopher, political activist, author, and lecturer. ... ‹ The template below (Expand) is being considered for deletion. ... John Dewey (October 20, 1859 – June 1, 1952) was an American philosopher, psychologist, and educational reformer, whose thoughts and ideas have been greatly influential in the United States and around the world. ... Michel Foucault (IPA pronunciation: ) (October 15, 1926 – June 25, 1984) was a French philosopher, historian and sociologist. ... // Childhood Anil Gupta was born on February 2, 1952 in New Delhi to late Mr. ... Susan Haack (born 1945) is an English professor of philosophy and law at the University of Miami in Coral Gables, Florida, in the United States. ... Jürgen Habermas (IPA: ; born June 18, 1929) is a German philosopher and sociologist in the tradition of critical theory and American pragmatism. ... Karl-Otto Apel is a German philosopher. ... This article needs additional references or sources for verification. ... Kant redirects here. ... Thomas Kingsmill Abbott (1829-1913) was an Irish scholar and educator. ... Richard Ladd Kirkham, American philosopher, was born 18 June 1955. ... Charles Peirce (Bibliography). ... Charles Sanders Peirce (IPA: /pɝs/), (September 10, 1839 – April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ... Charles Hartshorne (June 5, 1897 – October 9, 2000) was a prominent philosopher who concentrated primarily on the philosophy of religion and metaphysics. ... Paul Weiss (May 19, 1901 – July 5, 2002) was an American philosopher, known for his work in metaphysics and for his efforts to reverse age discrimination policies at American universities. ... Arthur Walter Burks (born October 13, 1915 in Duluth, Minnesota) is an American mathematician who in the 1940s as a senior engineer on the project contributed to the design of the ENIAC, the first general-purpose electronic digital computer. ... Michael Polanyi (born Polányi Mihály) (March 11, 1891 – February 22, 1976) was a Hungarian–British polymath whose thought and work extended across physical chemistry, economics, and philosophy. ... W. V. Quine Willard Van Orman Quine (June 25, 1908 - December 25, 2000) was one of the most influential American philosophers and logicians of the 20th century. ... John Rajchman is a philosopher working in the areas of art history, architecture, and continental philosophy. ... Cornell West redirects here. ... Frank Plumpton Ramsey (February 22, 1903 - January 19, 1930) was a British mathematician and logician. ... John Rawls (February 21, 1921 – November 24, 2002) was an American philosopher, a professor of political philosophy at Harvard University and author of A Theory of Justice (1971), Political Liberalism, Justice as Fairness: A Restatement, and The Law of Peoples. ... Richard McKay Rorty (October 4, 1931 in New York City – June 8, 2007) was an American philosopher. ... Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 – 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ... Professor Roderick Ninian Smart (1927–2001) was a writer and university educator. ... // Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ...

• Audi, Robert (ed., 1999), The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge, UK, 1995. 2nd edition, 1999. Cited as CDP.

• Blackburn, Simon (1996), The Oxford Dictionary of Philosophy, Oxford University Press, Oxford, UK, 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.

Robert Audi (born November 1941) is a philosopher whose major work has focused on epistemology, ethics—especially on Ethical intuitionism, and the theory of action. ... Simon Blackburn (born 1944) is a British academic philosopher also known for his efforts to popularise philosophy. ...

See also

Aletheia in its current sense comes from Heideggers use of it as renewed attempt to understand Truth. ... For other uses, see Believe. ... Confirmation holism, also called epistemological holism is the claim that a scientific theory cannot be tested in isolation; a test of one theory always depends on other theories and hypotheses. ... In philosophy, physiology, and psychology, a disposition is a habit, a preparation, a state of readiness, or a tendency to act in a specified way. ... Honest redirects here, For other uses, see Honesty (disambiguation) Look up honesty in Wiktionary, the free dictionary. ... Wikipedia does not yet have an article with this exact name. ... In mathematics, an invariant is something that does not change under a set of transformations. ... This article needs additional references or sources for verification. ... In philosophy and logic, the liar paradox encompasses paradoxical statements such as: I am lying now. ... This article is about untruthfulness. ... A lie-to-children is an expression that describes a form of simplification of material for consumption by children. ... The three normative sciences, according to traditional conceptions in philosophy, are aesthetics, ethics, and logic. ... For other uses of objectivity, see objectivity (disambiguation). ... Look up paradox in Wiktionary, the free dictionary. ... The physical symbol system hypothesis was formulated by Newell and Simon (1963) as the result of success of GPS (General Problem Solver) and subsequent programs as models of cognition. ... For other uses, see Reality (disambiguation). ... For the physics theory with a similar name, see Theory of Relativity. ... In philosophical logic, a slingshot argument is an argument that purports to show that all true sentences stand for the same thing (e. ... In probability theory, to say that two events are independent intuitively means that the occurrence of one event makes it neither more nor less probable that the other occurs. ... In propositional logic, a tautology (from the Greek word ταυτολογία) is a sentence that is true in every valuation (also called interpretation) of its propositional variables, independent of the truth values assigned to these variables. ... In rhetoric, a tautology is an unnecessary (and usually unintentional) repetition of meaning, utilising different words, i. ... Stephen Colbert announces that The Wørd of the night is truthiness, during the premiere episode of The Colbert Report. ... In philosophy, the unity of the proposition is the problem of explaining how a sentence in the indicative mood expresses more than just what a list of proper names expresses. ... For other uses, see Veritas (disambiguation). ...

Truth in logic

Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. ... In logic and mathematics, a logical value, also called a truth value, is a value indicating to what extent a proposition is true. ... In formal logic, a modal logic is any logic for handling modalities: concepts like possibility, existence, and necessity. ... In semantics, truth conditions are what obtain precisely when a sentence is true. ... In logic a truth function is a connective for which the truth value is determined systematically by the values of the statements it connects. ... Truth tables are a type of mathematical table used in logic to determine whether an expression is true or whether an argument is valid. ... In epistemology, criteria of truth (or tests of truth) are standards and rules used to judge the accuracy of statements and claims. ...

Theories of truth

Coherentism - Wikipedia, the free encyclopedia /**/ @import /skins-1. ... There are two distinct types of Coherentism. ... The consensus theory of truth, originated by Charles Sanders Peirce who called it pragmatism, and later pragmaticism, holds that a statement is true if it would be agreed to by all those who investigate it if investigation were carried sufficiently far in that particular direction. ... The correspondence theory of truth states that something (for example, a proposition or statement or sentence) is rendered true by the existence of a fact with corresponding elements and a similar structure. ... The deflationary theory of truth is a family of theories which all have in common the belief that assertions that predicate truth of a statement do not provide any substantive information or insight into the nature of truth. ... In philosophy, epistemic theories of truth are attempts to analyse the notion of truth in terms of epistemic notions such as belief, acceptance, verification, justification, perspective and so on. ... An indefinabilist about truth subscribes to the correspondence view- that truth is agreement with reality- but resists drawing the conclusion that this succeeds in proffering a definition or explanatory reduction of the concept. ... Pragmatic theory of truth refers to those accounts, definitions, and theories of the concept truth that distinguish the philosophies of pragmatism and pragmaticism. ... The Redundancy theory of truth is a philosophical theory about the way in which the predicate is true functions in such sentences as Snow is white is true. In its simplest version, the redundancy theory holds that Snow is white is true says no more than does Snow is white... The semantic theory of truth holds that any assertion that a sentence is true can be made only as a formal requirement regarding the language in which the proposition itself is expressed. ...

Major theorists

For other uses, see Aristotle (disambiguation). ... Saint Thomas Aquinas, O.P.(also Thomas of Aquin, or Aquino; c. ... Augustinus redirects here. ... John Langshaw Austin (March 28, 1911 - February 8, 1960) was a philosopher of language, who developed much of the current theory of speech acts. ... Percy Brand Blanshard (August 27, 1892, Fredericksburg, Ohio – 1987) was an American philosopher known primarily for his defense of reason. ... John Dewey (October 20, 1859 – June 1, 1952) was an American philosopher, psychologist, and educational reformer, whose thoughts and ideas have been greatly influential in the United States and around the world. ... Hartry H. Field (born 1946) is a philosopher working at New York University (NYU). ... Friedrich Ludwig Gottlob Frege (8 November 1848, Wismar – 26 July 1925, IPA: ) was a German mathematician who became a logician and philosopher. ... Jürgen Habermas (IPA: ; born June 18, 1929) is a German philosopher and sociologist in the tradition of critical theory and American pragmatism. ... Martin Heidegger (September 26, 1889 – May 26, 1976) (IPA ) was a highly influential German philosopher. ... Paul Horwich (born 1947) is a British analytic philosopher at New York University, whose work includes writings on causality, truth and meaning. ... This article needs additional references or sources for verification. ... Harold Joachim, an idealist philosopher, disciple of Francis Herbert Bradley, Joachim is generally credited with the definitive formulation of the coherence theory of truth, in The Nature of Truth (1906). ... Saul Aaron Kripke (born in November 13, 1940 in Bay Shore, New York) is an American philosopher and logician now emeritus from Princeton and teaches as distinguished professor of philosophy at CUNY Graduate Center. ... Charles Sanders Peirce Charles Sanders Peirce (September 10, 1839 – April 19, 1914) was an American logician, philosopher, scientist, and mathematician. ... For other uses, see Plato (disambiguation). ... Sir Karl Raimund Popper CH FRS FBA (July 28, 1902 â€“ September 17, 1994) was an Austrian and British[1] philosopher and a professor at the London School of Economics. ... W. V. Quine Willard Van Orman Quine (June 25, 1908 - December 25, 2000) was one of the most influential American philosophers and logicians of the 20th century. ... Frank Plumpton Ramsey (February 22, 1903 – January 19, 1930) was a British mathematician who, in addition to mathematics, made significant contributions in philosophy and economics. ... Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 – 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ... This page is about the Classical Greek philosopher. ... Peter Frederick Strawson (born November 23, 1919 in London) is a philosopher associated with the ordinary language philosophy movement within analytical philosophy. ... // Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland – October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ... Ludwig Josef Johann Wittgenstein (IPA: ) (April 26, 1889 in Vienna, Austria – April 29, 1951 in Cambridge, England) was an Austrian philosopher who contributed several ground-breaking ideas to philosophy, primarily in the foundations of logic, the philosophy of mathematics, the philosophy of language, and the philosophy of mind. ...

External links

Wikiquote has a collection of quotations related to:

Truth

Look up truth in Wiktionary, the free dictionary.

• An Introduction to Truth by Paul Newall, aimed at beginners.
• Stanford Encyclopedia of Philosophy:
  • Truth
  • Coherence theory of truth
  • Correspondence theory of truth
  • Deflationary theory of truth
  • Identity theory of truth
  • Revision theory of truth
  • Tarski's definition of truth
  • Axiomatic theories of truth
• All the Truths about TRUTH. An alphabetical summary (by author) of views about Truth in philosophy, history, science and religion.