All Topics  
Truth

 
Truth

   Email Print
   Bookmark   Link






 

Truth



 
 
Meaning
Semantic field

The semantic field of a word is the set of sememes expressed by the word.For example, the semantic field of "dog" includes "canine" and "to trail persistently" ....
s for the word truth extend from honesty
Honesty

Honesty is the human quality of communicating and acting truthfully, in accordance with a sense of fairness and sincerity. This includes all varieties of communication, both verbal and non-verbal....
, good faith
Good faith

Good faith, or in Latin language bona fides , is the mental state and morality of honesty, belief as to the truth or falsehood of a proposition or body of opinion, or as to the rectitude or depravity of a line of conduct....
, and sincerity
Sincerity

For the valediction, see Valediction#Yours sincerelySincerity is the virtue of one who speaks truly about his or her own feelings, thoughts, desires....
 in general, to agreement with fact
Fact

A fact is something said to be true or supposed to have happened, example: Kiira is mean, FACT. An idea becomes a fact after competent people have tested a hypothesis through the scientific method....
 or reality
Reality

Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
 in particular. The term has no single definition
Definition

A definition is a statement of the Meaning of a word or phrase. The term to be defined is known as the definiendum . The words which define it are known as the definiens ....
 about which a majority of professional philosophers and scholars agree, and various theories
Theory

For a more detailed account of theories as expressed in formal language as they are studied in mathematical logic see Theory A theory, in the general sense of the word, is an analytic structure designed to explain a set of observations....
 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
Subjectivity

Subjectivity refers to a subject's perspective or opinion, particularly feelings, beliefs, and desires. It is often used casually to refer to unjustified personal opinions, in contrast to knowledge and justified belief....
, relative
Knowledge relativity

In philosophy, knowledge relativity is the notion that knowledge can be seen as the relation between a form of knowledge representation with up to two sorts of intent – communication and use goals – and with up to three subjects – one who knows, one who is informed, and one who observes and confirms....
, objective
Objectivity (philosophy)

For other uses of "objectivity", see Objectivity Objectivity is both an important and very difficult concept to pin down in philosophy. While there is no universally accepted articulation of objectivity, a proposition is generally considered to be objectively true when its truth conditions are "mind-independent"—that is, not the r...
, or absolute
Absolute (philosophy)

The Absolute is the concept of an unconditional reality which transcendence limited, conditional, everyday existence. It is often used as an alternate term for "God" or "the Divinity", especially, but by no means exclusively, by those who feel that the term "God" lends itself too easily to anthropomorphic presumptions....
.






Discussion
Ask a question about 'Truth'
Start a new discussion about 'Truth'
Answer questions from other users
Full Discussion Forum



Quotations


Sometimes lies were more dependable than the truth.

— Andrew "Ender" Wiggin, Ender's Game, by Orson Scott Card.

All great truths begin as blasphemies.

George Bernard Shaw, Annajanska

Beauty is truth, truth beauty, — that is all ye know on earth, and all ye need to know.

John Keats, "Ode on a Grecian Urn"

I am the way, the truth, and the life: no man cometh unto the Father, but by me.

Jesus — John 14:6

In order to be effective truth must penetrate like an arrow — and that is likely to hurt.

It is a fool's prerogative to utter truths that no one else will speak.

Neil Gaiman, Dream Country





Encyclopedia


Meaning
Semantic field

The semantic field of a word is the set of sememes expressed by the word.For example, the semantic field of "dog" includes "canine" and "to trail persistently" ....
s for the word truth extend from honesty
Honesty

Honesty is the human quality of communicating and acting truthfully, in accordance with a sense of fairness and sincerity. This includes all varieties of communication, both verbal and non-verbal....
, good faith
Good faith

Good faith, or in Latin language bona fides , is the mental state and morality of honesty, belief as to the truth or falsehood of a proposition or body of opinion, or as to the rectitude or depravity of a line of conduct....
, and sincerity
Sincerity

For the valediction, see Valediction#Yours sincerelySincerity is the virtue of one who speaks truly about his or her own feelings, thoughts, desires....
 in general, to agreement with fact
Fact

A fact is something said to be true or supposed to have happened, example: Kiira is mean, FACT. An idea becomes a fact after competent people have tested a hypothesis through the scientific method....
 or reality
Reality

Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
 in particular. The term has no single definition
Definition

A definition is a statement of the Meaning of a word or phrase. The term to be defined is known as the definiendum . The words which define it are known as the definiens ....
 about which a majority of professional philosophers and scholars agree, and various theories
Theory

For a more detailed account of theories as expressed in formal language as they are studied in mathematical logic see Theory A theory, in the general sense of the word, is an analytic structure designed to explain a set of observations....
 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
Subjectivity

Subjectivity refers to a subject's perspective or opinion, particularly feelings, beliefs, and desires. It is often used casually to refer to unjustified personal opinions, in contrast to knowledge and justified belief....
, relative
Knowledge relativity

In philosophy, knowledge relativity is the notion that knowledge can be seen as the relation between a form of knowledge representation with up to two sorts of intent – communication and use goals – and with up to three subjects – one who knows, one who is informed, and one who observes and confirms....
, objective
Objectivity (philosophy)

For other uses of "objectivity", see Objectivity Objectivity is both an important and very difficult concept to pin down in philosophy. While there is no universally accepted articulation of objectivity, a proposition is generally considered to be objectively true when its truth conditions are "mind-independent"—that is, not the r...
, or absolute
Absolute (philosophy)

The Absolute is the concept of an unconditional reality which transcendence limited, conditional, everyday existence. It is often used as an alternate term for "God" or "the Divinity", especially, but by no means exclusively, by those who feel that the term "God" lends itself too easily to anthropomorphic presumptions....
. This article introduces the various perspectives and claims, both today and throughout history.

Nomenclature and etymology

The English word truth is from Old English tríewþ, tréowþ, trýwþ, Middle English
Middle English

Middle English is the name given by historical linguistics to the diverse forms of the English language spoken between the Norman conquest of England of 1066 and about 1470, when the #Chancery Standard, a form of London-based English, began to become widespread, a process aided by the introduction of the printing press into England by William...
 trewþe, cognate to Old High German
Old High German

The term Old High German refers to the earliest stage of the German language and it conventionally covers the period from around 500 to 1050. Coherent written texts do not appear until the second half of the 8th century, and some treat the period before 750 as 'prehistoric' and date the start of Old High German proper to 750 for this reason...
 triuwida, Old Norse
Old Norse

Old Norse is a North Germanic languages that was spoken by inhabitants of Scandinavia and inhabitants of their overseas settlements during the Viking Age, until about 1300....
 tryggð. Like troth, it is a -th nominalisation of the adjective true (Old English tréowe).

The English word true is from Old English (West Saxon) (ge)tríewe, tréowe, cognate to Old Saxon
Old Saxon

Old Saxon, also known as Old Low German , is the earliest recorded form of Low German, documented from the 9th century until the 12th century, when it evolved into Middle Low German....
 (gi)trûui, Old High German
Old High German

The term Old High German refers to the earliest stage of the German language and it conventionally covers the period from around 500 to 1050. Coherent written texts do not appear until the second half of the 8th century, and some treat the period before 750 as 'prehistoric' and date the start of Old High German proper to 750 for this reason...
 (ga)triuwu (Modern German treu "faithful"), Old Norse
Old Norse

Old Norse is a North Germanic languages that was spoken by inhabitants of Scandinavia and inhabitants of their overseas settlements during the Viking Age, until about 1300....
 tryggr, Gothic
Gothic language

Gothic is an extinct language Germanic language that was spoken by the Goths. It is known primarily from Codex Argenteus, a 6th century copy of a 4th century Bible translation, and is the only East Germanic languages with a sizable corpus....
 triggws, all from a Proto-Germanic *trewwj- "having good faith
Good faith

Good faith, or in Latin language bona fides , is the mental state and morality of honesty, belief as to the truth or falsehood of a proposition or body of opinion, or as to the rectitude or depravity of a line of conduct....
". Old Norse , holds the semantic field
Semantic field

The semantic field of a word is the set of sememes expressed by the word.For example, the semantic field of "dog" includes "canine" and "to trail persistently" ....
 "faith, word of honour; religious faith, belief" (archaic English troth "loyalty, honesty, good faith", compare ).

Thus, 'truth' involves both the quality of "faithfulness, fidelity, loyalty, sincerity, veracity", and that of "agreement with fact
Fact

A fact is something said to be true or supposed to have happened, example: Kiira is mean, FACT. An idea becomes a fact after competent people have tested a hypothesis through the scientific method....
 or reality
Reality

Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
", in Anglo-Saxon expressed by soþ.

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 vera "(religious) faith", but influenced by Latin verus
Veritas

In Roman mythology, Veritas was the goddess of truth, a daughter of Saturn and the mother of Virtue. It was believed that she hid in the bottom of a holy well because she was so elusive....
). Romance languages use terms following the Latin veritas
Veritas

In Roman mythology, Veritas was the goddess of truth, a daughter of Saturn and the mother of Virtue. It was believed that she hid in the bottom of a holy well because she was so elusive....
, while the Greek aletheia
Aletheia

}Aletheia is the Greek word for "truth", and like the English word implies sincerity as well as factuality or reality. The literal meaning of the word is, "the state of not being hidden; the state of being evidence"....
 and Slavic pravda have separate etymological origins.

The major theories of truth

The question of what is a proper basis for deciding how words, symbols, ideas and beliefs may properly be considered true, whether by a single person or an entire society, is dealt with by the five major substantive theories introduced below. Each theory presents perspectives that are widely shared by published scholars. There also have more recently arisen "deflationary
Deflationary theory of truth

The deflationary theory of truth is a family of theories which all have in common the claim that assertions that predicate truth of a statement do not attribute a property called truth to such a statement....
" 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.

Substantive theories


Correspondence theory
Correspondence theories state that true beliefs and true statements correspond to the actual state of affairs. This type of theory posits 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
Socrates

Socrates was a Classical Greece Philosophy. Credited as one of the founders of Western philosophy, he is an enigmatic figure known only through the classical accounts of his students....
, Plato
Plato

Plato , was a Classical Greece Greeks philosopher, mathematician, writer of philosophical dialogues, and founder of the Platonic Academy in Ancient Athens, the first institution of higher learning in the western world....
, and Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
. This class of theories holds that the truth or the falsity of a representation is determined in principle solely by how it relates to "things", by whether it accurately describes those "things". An example of correspondence theory is the statement by the Thirteenth Century philosopher/theologian Thomas Aquinas
Thomas Aquinas

Saint Thomas Aquinas, Dominican Order was a priest of the Roman Catholic Church in the Dominican Order from Italy, and an immensely influential philosopher and theologian in the tradition of scholasticism, known as Doctor Angelicus and Doctor Communis....
: Veritas est adaequatio rei et intellectus ("Truth is the equation [or adequation] of thing and intellect"), a statement which Aquinas attributed to the Ninth Century neoplatonist Isaac Israeli
Isaac Israeli ben Solomon

Isaac Israeli Ben Solomon He was born in Egypt before 832; died at Kairouan, Tunisia, in 932. These dates are given by most of the Arabic authorities; but Abraham ben Hasdai, quoting the biographer Sanah ibn Sa'id al-Kurtubi , says that Isaac Israeli died in 942....
. Aquinas also restated the theory as: “A judgment is said to be true when it conforms to the external reality”

Correspondence theory practically operates on the assumption that truth is a matter of accurately copying what was much later called "objective reality" and then representing it in thoughts, words and other symbols. Many 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
German language

German is a West Germanic languages, thus related to and classified alongside English language and Dutch language. It is one of the world's world language and the most widely spoken mother tongue in the European Union....
 word Zeitgeist
Zeitgeist

Zeitgeist is a German language expression literally translated: Zeit, time; Geist, spirit, meaning "the spirit of the age and its society"....
 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
Truth predicate

In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement, or idea "is true."...
. Among the philosophers who grappled with this problem is Alfred Tarski
Alfred Tarski

Alfred Tarski was a Poles logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death....
, whose semantic theory
Semantic theory of truth

The semantic theory of truth holds that any assertion that a Sentence is truth can be made only as a formal requirement regarding the language in which the proposition itself is expressed....
 is summarized further below in this article.

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

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

Some variants of coherence theory are claimed to characterize the essential and intrinsic properties of formal system
Formal system

In logic, a formal system consists of a formal language together with a deductive system which consists of a set of inference rules and/or axioms....
s in logic and mathematics. However, formal reasoners are content to contemplate axiomatically independent
Independence (mathematical logic)

In mathematical logic, a sentence σ is called independent of a given 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....
 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
Natural World

Natural World is the longest-running nature documentary series on British television. 2008 marked the series? 25th anniversary under its present title, though its origins can be traced back to its predecessor The World About Us which began over 40 years ago....
, empirical
Empirical

The word empirical denotes information gained by means of observation, experience, or experiment, as opposed to theory. 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 Logical consequence that are observable by the senses....
 data in general, assertions about practical matters of psychology and society, especially when used without support from the other major theories of truth.

Coherence theories distinguish the thought of rationalist
Rationalism

In epistemology and in its modern sense, rationalism is "any view appealing to reason as a source of knowledge or justification" . In more technical terms it is a method or a theory "in which the criterion of the truth is not sensory but intellectual and deductive" ....
 philosophers, particularly of Spinoza, Leibniz, and G.W.F. Hegel, along with the British philosopher F.H. Bradley. They have found a resurgence also among several proponents of logical positivism
Logical positivism

Logical positivism is a school of philosophy that combines empiricism, the idea that observational evidence is indispensable for knowledge of the world, with a version of rationalism incorporating mathematical and logico-linguistic constructs and deductions in epistemology.See, e.g., : in Stanford Encyclopedia of Philosophy
, notably Otto Neurath
Otto Neurath

Otto Neurath was an Austrian philosophy of science, sociology, and political economy. Before he was forced to flee his native country for Great Britain in the wake of the Nazism occupation, Neurath was one of the leading figures of the Vienna Circle....
 and Carl Hempel.

Constructivist theory

Social constructivism
Constructivist epistemology

Constructivist epistemology is an epistemology perspective in philosophy about the nature of scientific knowledge held by many philosophers of science....
 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
Human sexuality

Human sexuality is how people experience and express themselves as sexual beings. Human sexuality has many aspects. Biology, sexuality refers to the reproductive mechanism as well as the basic biological drive that exists in all species and can encompass sexual intercourse and sexual contact in all its forms....
, and gender
Gender

Gender comprises a range of differences between man and woman, extending from the biological to the social. Biologically, the male gender is defined by the presence of a Y-chromosome, and its absence in the female gender....
 are socially constructed. Giambattista Vico
Giambattista Vico

'Giovanni Battista Vico' or 'Vigo' was an Italy philosopher, rhetorician, historian, and jurist.A critic of modern rationalism and apologist of classical antiquity, Vico's magnum opus is titled "Principles/Origins of [re]New[ed] Science about the Common Nature of Nations" ....
 was among the first to claim that history and culture were man-made. Vico's epistemological
Epistemology

Epistemology or theory of knowledge is the branch of philosophy concerned with the nature and scope of knowledge. It addresses the questions:...
 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.

Consensus theory

Consensus theory
Consensus theory of truth

A consensus theory of truth is any theory of truth that refers to a concept of consensus as a part of its concept of truth....
 holds that truth is whatever is agreed upon, or in some versions, might come to be agreed upon, by some specified group. Such a group might include all human beings, or a subset
Subset

In mathematics, especially in set theory, a Set A is a subset of a set B if A is "contained" inside B. Notice that A and B may coincide....
 thereof consisting of more than one person.

Among the current advocates of consensus theory as a useful accounting of the concept of "truth" is the philosopher Jürgen Habermas
Jürgen Habermas

J?rgen Habermas is a Germany philosopher and sociologist in the tradition of critical theory and American pragmatism. He is perhaps best known for his work on the concept of the public sphere, the topic of his first book....
. Habermas maintains that truth is what would be agreed upon in an ideal speech situation
Ideal speech situation

In the earlier philosophy of J?rgen Habermas it is argued that an ideal speech situation is found within communication between individuals when their speech is governed by basic, but required and implied, rules....
. Among the current strong critics of consensus theory is the philosopher Nicholas Rescher
Nicholas Rescher

Nicholas Rescher is an United States philosophy, affiliated for many years with the University of Pittsburgh, where he is currently University Professor of Philosophy and Chairman of the Center for Philosophy of Science....
.

Pragmatic theory

The three most influential forms of the pragmatic theory of truth were introduced around the turn of the 20th century by Charles S. Peirce
Charles Peirce

Charles Sanders Peirce was an American logician, mathematics, Philosophy, and science, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years....
, William James
William James

William James was a pioneering American psychology and philosophy trained as a medical doctor. He wrote influential books on the young science of psychology, educational psychology, psychology of religion experience and mysticism, and the philosophy of pragmatism....
, and John Dewey
John Dewey

John Dewey was an American philosopher, psychologist, and school reform whose thoughts and ideas have been highly influential in the United States and around the world....
. 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.

Peirce
Charles Peirce

Charles Sanders Peirce was an American logician, mathematics, Philosophy, and science, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years....
 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." This statement emphasizes Peirce's view that ideas of approximation, incompleteness, and partiality, what he describes elsewhere as fallibilism
Fallibilism

Fallibilism is the philosophical doctrine that all claims of knowledge could, in principle, be mistaken. Some fallibilists go further, arguing that absolute certainty about knowledge is impossible....
 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
Sign relation

A sign relation is the basic construct in the theory of signs, also known as semeiotic or semiotics, as developed by Charles Sanders Peirce....
, 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.

William James
William James

William James was a pioneering American psychology and philosophy trained as a medical doctor. He wrote influential books on the young science of psychology, educational psychology, psychology of religion experience and mysticism, and the philosophy of pragmatism....
'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." 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").

John Dewey
John Dewey

John Dewey was an American philosopher, psychologist, and school reform whose thoughts and ideas have been highly influential in the United States and around the world....
, 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.

Pluralist theories
Most traditional theories of truth are monist: that is, they hold that there is one and only property the having of which makes a belief or proposition true. Pluralist theories of truth deny this assumption. According to pluralism, there may be more than one property that makes propositions true: ethical propositions might be true by virtue of coherence; propositions about the physical world might be true by corresponding to the the objects and properties they are about. Pluralism, in short, holds out the prospect that propositions might be "true in more than one way".

Crispin Wright
Crispin Wright

Crispin Wright is a United Kingdom philosopher, who has written on neo-Gottlob Frege philosophy of mathematics, Wittgenstein's later philosophy, and on issues related to truth, Philosophical realism, cognitivism, skepticism, knowledge, and Objectivity ....
 is the most well-known advocate of pluralism about truth. In his 1992 book, Truth and Objectivity Wright argued that any predicate which satisfied certain platitudes about truth qualified as a truth predicate. In some discourses, Wright argued, the role of the truth predicate might be played by the notion of superassertibility.

Michael Lynch (philosopher)
Michael Lynch (philosopher)

Michael Lynch is Professor of Philosophy at the University of Connecticut and Associate Fellow of the Arch? for Logic, Language, Metaphysics and Epistemology at the University of St....
 has recently championed a different type of pluralism about truth. In a series of articles and in his 2009 book Truth as One and Many Lynch argues that we should see truth as a functional property capable of being multiply manifested in distinct properties like correspondence or coherence.

Minimalist (deflationary) theories


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


Whichever term is used, deflationary theories can be said to hold in common that "[t]he predicate 'true' is an expressive convenience, not the name of a property requiring deep analysis." Once we have identified the truth predicate's formal features and utility, deflationists argue, we have said all there is to be said about truth. Among the theoretical concerns of these views is to explain away those special cases where it does appear that the concept of truth has peculiar and interesting properties. (See, e.g., Semantic paradoxes, and below.)

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: What Michael says is true.

Performative theory of truth
Attributed to P. F. Strawson
P. F. Strawson

Sir Peter Frederick Strawson British Academy was an England Philosophy. He was the Waynflete Professor of Metaphysical Philosophy at the University of Oxford from 1968 to 1987....
 is the performative theory of truth which holds that to say "'Snow is white' is true" is to perform the speech act
Speech act

Speech act is a technical term in linguistics and the philosophy of language. Precise conceptions vary.Speech act as an illocutionary 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, but actually doing so (perhaps the most thorough analysis of such "perlocutionary" statements is J. L. Austin
J. L. Austin

John Langshaw Austin was a British philosophy of language, born in Lancaster, Lancashire and educated at Shrewsbury School and Balliol College, Oxford....
, "How to Do Things With Words").

Strawson holds that a similar analysis is applicable to all speech acts, not only to special perlocutionary ones: "To say a statement is true is not to make a statement about a statement, but rather to perform the act of agreeing with, accepting, or endorsing a statement. When one says 'It's true that it's raining,' one asserts no more than 'It's raining.' The function of [the statement] 'It's true that...' is to agree with, accept, or endorse the statement that 'it's raining.'"

Redundancy and related theories

According to the redundancy theory of truth
Redundancy theory of truth

According to the redundancy theory of truth, or the disquotational theory of truth, asserting that a statement is true is completely equivalent to asserting the statement itself....
, 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
Frank P. Ramsey

Frank Plumpton Ramsey was a United Kingdom mathematician who, in addition to mathematics, made significant contributions in philosophy and economics....
, who held that the use of words like fact and truth was nothing but a roundabout
Periphrasis

In linguistics, periphrasis is a device by which a grammar category or relationship is expressed by a free morpheme , instead of being shown by inflection or derivation ....
 way of asserting a proposition, and that treating these words as separate problems in isolation from judgment was merely a "linguistic muddle".

A variant of redundancy theory is the disquotational theory which uses a modified form of Tarski's schema
Truth

semantic fields for the word truth extend from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular....
: 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
Nuel Belnap

Nuel D. Belnap, Jr. is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory....
 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."

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 character named Snow White, both of which can be true in some 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 logic


A logical truth (also called an analytic truth or a necessary truth) is a statement which is true in all possible worlds or under all possible interpretation
Interpretation

An interpretation is an explanation of the meaning of some Object of attention. It also refers to making ideas more understanding, including translation....
s, as contrasted to a synthetic claim (or fact
Fact

A fact is something said to be true or supposed to have happened, example: Kiira is mean, FACT. An idea becomes a fact after competent people have tested a hypothesis through the scientific method....
) which is only true in this world as it has historically unfolded. Logical truths are necessarily true. A proposition
Proposition

This article is about the term proposition in logic and philosophy; for other uses see PropositionIn logic and philosophy, proposition refers to either the "content" or Meaning of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence....
 such as “If p and q, then p.” and the proposition “All husbands are married.” are considered to be logical truths because they are true because of their meaning
Meaning

Meaning may refer to:...
s and not because of any facts of the world. They are such that they could not be untrue.

Logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
 is concerned with the patterns in reason
Reason

Reason may refer to Mind#Mental faculties that consciously create explanations in order to judge, decide, solve problems, generalize, and give examples, among other activities....
 that can help tell us if a proposition
Proposition

This article is about the term proposition in logic and philosophy; for other uses see PropositionIn logic and philosophy, proposition refers to either the "content" or Meaning of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence....
 is true or not. However, logic does not deal with truth in the absolute sense, as for instance a metaphysician
Metaphysics

Metaphysics investigates principles of reality transcending those of any particular science. cosmology and ontology are traditional branches of metaphysics....
 does. Logicians use formal language
Formal language

A formal language is a set of words, i.e. finite string of letters, or symbols. The inventory from which these letters are taken is called the alphabet over which the language is defined....
s to express the truths which they are concerned with, and as such there is only truth under some interpretation
Interpretation

An interpretation is an explanation of the meaning of some Object of attention. It also refers to making ideas more understanding, including translation....
 or truth within some logical system.

Truth in mathematics


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

In mathematics, model theory is the study of mathematical Structure such as Group , fields, graph , or even models of set theory, using tools from mathematical logic....
 and the proof theory of truth
Proof theory

Proof theory is a branch of mathematical logic that represents Mathematical 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 table
Truth table

A truth table is a mathematical table used in logic?specifically in connection with Boolean algebra , boolean functions, and propositional calculus?to compute the functional values of logical expression s on each of their functional arguments, that is, on each combination of values taken by their logical variables....
s.

In addition, from at least the time of Hilbert's program
Hilbert's program

Hilbert's program, formulated by Germans 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....
 at the turn of the twentieth century to the proof of Gödel's theorem
Gödel's theorem

G?del's theorem may refer to:*G?del's incompleteness theorems*G?del's completeness 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.

The works of Kurt Gödel
Kurt Gödel

Kurt G?del was an Austrian-United States logician, mathematician and philosopher. One of the most significant logicians of all time, G?del made an immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A....
, Alan Turing
Alan Turing

Alan Mathison Turing, Order of the British Empire, Fellow of the Royal Society was a British mathematician, logician and Cryptanalysis....
, and others shook this assumption, with the development of statements that are true but cannot be proven within the system. Two examples of the latter can be found in Hilbert's problems
Hilbert's problems

Hilbert's problems are a list of twenty-three problems in mathematics put forth by Germany mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900....
. Work on Hilbert's 10th problem led in the late twentieth century to the construction of specific Diophantine equations for which it is undecidable whether they have a solution, or even if they do, whether they have a finite or infinite number of solutions. More fundamentally, Hilbert's first problem was on the continuum hypothesis
Continuum hypothesis

In mathematics, the continuum hypothesis is a hypothesis, advanced by Georg Cantor, about the possible sizes of infinite Set . Cantor introduced the concept of cardinal number to compare the sizes of infinite sets, and he gave two proofs that the cardinality of the set of integers is strictly smaller than that of the set of real numbers....
. Gödel and Paul Cohen
Paul Cohen (mathematician)

Paul Joseph Cohen was an United States mathematician best known for his proof of the independence of the continuum hypothesis and the axiom of choice from Zermelo?Fraenkel set theory, the most widely accepted axiomatization of set theory....
 showed that this hypothesis cannot be proved or disproved using the standard axiom
Axiom

In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evidence, or subject to necessary decision....
s of set theory
Set theory

Set theory is the branch of mathematics that studies Set , which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics....
 and a finite number of proof steps. In the view of some, then, it is equally reasonable to take either the continuum hypothesis or its negation as a new axiom.

Semantic theory of truth

The semantic theory of truth
Semantic theory of truth

The semantic theory of truth holds that any assertion that a Sentence is truth can be made only as a formal requirement regarding the language in which the proposition itself is expressed....
 has as its general case for a given language:
'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
Alfred Tarski

Alfred Tarski was a Poles logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death....
 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
Liar paradox

In philosophy and logic, the liar paradox, known to the ancients as the pseudomenon, encompasses paradoxical statements such as "This sentence is false." or "The next sentence is false....
. 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
Donald Davidson (philosopher)

Donald Herbert Davidson was an United States philosopher, who served as Slusser Professor of Philosophy at the University of California, Berkeley, from 1981 to 2003, after having also held substantive teaching appointments at Stanford University, Rockefeller University, Princeton University and the University of Chicago....
 used it as the foundation of his truth-conditional semantics
Truth-conditional semantics

Truth-conditional semantics is 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....
 and linked it to radical interpretation
Radical interpretation

Radical interpretation is interpretation of a speaker, including attributing beliefs and desires to them and meanings to their words, from scratch--that is, without relying on translators, dictionaries, or specific prior knowledge of their mental states....
 in a form of coherentism
Coherentism

There are two distinct types of coherentism. One refers to the coherence theory of truth. The otheris belief in the coherence theory of justification — an Epistemology theory opposing foundationalism and offering a solution to the regress argument....
.

Bertrand Russell
Bertrand Russell

Bertrand Arthur William Russell, 3rd Earl Russell, Order of Merit , Fellow of the Royal Society , was a British people philosopher, mathematical logic, mathematician, historian, advocate for social reform, and pacifism....
 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's paradox

Part of fundamental mathematics, Russell's paradox , discovered by Bertrand Russell in 1901, showed that the naive set theory of Gottlob Frege leads to a contradiction....
. Russell and Whitehead
Alfred North Whitehead

Alfred North Whitehead, Order of Merit was an England mathematician who became a philosopher. He wrote on algebra, logic, foundations of mathematics, philosophy of science, physics, metaphysics, and education....
 attempted to solve these problems in Principia Mathematica
Principia Mathematica

The Principia Mathematica is a 3-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910?1913....
 by putting statements into a hierarchy of types
Type theory

In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general....
, 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 system
Type system

In computer science, a type system may be defined as "a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute."....
s that have yet to be resolved to this day.

Kripke's theory of truth

Saul Kripke
Saul Kripke

Saul Aaron Kripke is an American philosophy and logician, now emeritus from Princeton University. He teaches as distinguished professor of philosophy at CUNY Graduate Center....
 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:
  • 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
Principle of bivalence

In logic, the semantic principle of bivalence states that every proposition takes exactly one of two truth values . The laws of bivalence, law of excluded middle, and law of non-contradiction are related, but they refer to the calculus of logic, not its semantics, and are hence not the same....
: every sentence must be either true or false. Since this principle is a key premise in deriving the Liar paradox, the paradox is dissolved.

Notable philosophers' views

Truth

Ancient philosophers

The ancient Greek
Greek language

Greek is an Indo-European languages native to the southern Balkan peninsula, the language of the Greek people. It forms an independent branch within Indo-European....
 origins of the words "true" and "truth" have some consistent definitions throughout great spans of history that were often associated with topics of logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
, geometry
Geometry

Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers....
, mathematics
Mathematics

Mathematics is the study of quantity, structure, space, change, and related topics of pattern and form. Mathematicians seek out patterns whether found in numbers, space, natural science, computers, imaginary abstractions, or elsewhere....
, deduction
Deduction

Deduction can refer to one of the following usages: lower price on something* Deductive reasoning, inference in which the conclusion is of no greater generality than the premises...
, induction
Induction

Most common meanings * Inductive reasoning, used in science and the scientific method* Mathematical induction, a method of proof in the field of mathematics...
, and natural philosophy
Natural philosophy

Natural philosophy or the philosophy of nature , is a term applied to the Objectivity study of nature and the physical universe that was dominant before the development of modern science....
.

Socrates
Socrates

Socrates was a Classical Greece Philosophy. Credited as one of the founders of Western philosophy, he is an enigmatic figure known only through the classical accounts of his students....
', Plato
Plato

Plato , was a Classical Greece Greeks philosopher, mathematician, writer of philosophical dialogues, and founder of the Platonic Academy in Ancient Athens, the first institution of higher learning in the western world....
's and Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
's ideas about truth are commonly seen as consistent with correspondence theory. In his Metaphysics
Metaphysics (Aristotle)

Metaphysics is one of the principal works of Aristotle and the first major work of the Metaphysics with the same name. The principal subject is "being qua being", or being understood as being....
, Aristotle stated: “To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true”. The Stanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy

The Stanford Encyclopedia of Philosophy is a Open access online encyclopedia of philosophy maintained by Stanford University. The SEP was initially developed with U.S....
 proceeds to say of Aristotle:

Aristotle sounds much more like a genuine correspondence theorist in the Categories (12b11, 14b14), where he talks of “underlying things” that make statements true and implies that these “things” (pragmata) are logically structured situations or facts (viz., his sitting, his not sitting). Most influential is his claim in De Interpretatione (16a3) that thoughts are “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.


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

Medieval philosophers


Avicenna
In early Islamic philosophy
Early Islamic philosophy

Early Islamic philosophy or classical Islamic philosophy is a period of intense philosophical development beginning in the 2nd century AH of the Islamic calendar and lasting until the 6th century AH ....
, Avicenna
Avicenna

, known as Abu Ali Sina Balkhi or Ibn Sina and commonly known in English by his Latinized name Avicenna , was a Persian people polymath and the foremost Islamic medicine and Early Islamic philosophy of his time....
 (Ibn Sina) defined truth in his Metaphysics of Healing, Book I, Chapter 8, as:

Avicenna
Avicenna

, known as Abu Ali Sina Balkhi or Ibn Sina and commonly known in English by his Latinized name Avicenna , was a Persian people polymath and the foremost Islamic medicine and Early Islamic philosophy of his time....
 elaborated on his definition of truth in his Metaphysics
Metaphysics

Metaphysics investigates principles of reality transcending those of any particular science. cosmology and ontology are traditional branches of metaphysics....
 Book Eight, Chapter 6:

However, this definition is merely a translation of the Latin translation from the Middle Ages. A modern translation of the original Arabic text states:
Aquinas
Following Avicenna, and also Augustine and Aristotle, Thomas Aquinas
Thomas Aquinas

Saint Thomas Aquinas, Dominican Order was a priest of the Roman Catholic Church in the Dominican Order from Italy, and an immensely influential philosopher and theologian in the tradition of scholasticism, known as Doctor Angelicus and Doctor Communis....
 stated in his Disputed Questions on Truth:

Thus, for Aquinas, the truth of the human intellect (logical truth) is based on the truth in things (ontological truth). Following this, he wrote an elegant re-statement of Aristotle's view in his :

Aquinas also said that real things participate in the act of being of the Creator God
God

God is a deity in theism and deism religions and other belief systems, representing either the sole deity in monotheism, or a principal deity in polytheism....
 who is Subsistent Being, Intelligence, and Truth. Thus, these beings possess the light of intelligibility and are knowable. These things (beings; reality
Reality

Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
) are the foundation of the truth that is found in the human mind, when it acquires knowledge of things, first through the sense
Sense

Senses are the physiological methods of perception. The senses and their operation, classification, and theory are overlapping topics studied by a variety of fields, most notably neuroscience, cognitive psychology , and philosophy of perception....
s, then through the understanding
Understanding

Understanding is a psychology process related to an abstract or physical object, such as a person, situation, or message whereby one is able to think about it and use concepts to deal adequately with that object....
 and the judgement done by reason
Reason

Reason may refer to Mind#Mental faculties that consciously create explanations in order to judge, decide, solve problems, generalize, and give examples, among other activities....
. For Aquinas, human intelligence
Intelligence

Intelligence is an umbrella term used to describe a property of the mind that encompasses many related abilities, such as the capacities to reason, to plan, to problem solving, to think abstraction, to comprehend ideas, to use language, and to Learning....
 ("intus", within and "legere", to read) has the capability to reach the essence
Essence

In philosophy, essence is the attribute or set of attributes that make an object or substance theory what it fundamentally is, and which it has by metaphysical necessity, and without which it loses its identity....
 and existence
Existence

In common usage, existence is the world of which we are aware through our senses, but in philosophy the word has a more specialized meaning, and is often contrasted with essence....
 of things because it has a non-material, spiritual
Spiritual

Spiritual may refer to:*Spirituality, a concern with matters of the spirit*Spiritual , an African American song, usually with a Christian religious text...
 element, although some moral, educational, and other elements might interfere with its capability.

Modern philosophers


Kant
Immanuel Kant (painted Portrait)
Immanuel Kant
Immanuel Kant

Immanuel Kant was an 18th-century German Philosophy from the Kingdom of Prussia city of K?nigsberg . He is regarded as one of the most influential thinkers of modern Europe and of the late Age of Enlightenment....
 discussed the correspondence theory of truth in the following manner, criticizing correspondence theory as circular reasoning.
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.
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
Definition

A definition is a statement of the Meaning of a word or phrase. The term to be defined is known as the definiendum . The words which define it are known as the definiens ....
. 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.

Hegel
Hegel tried to distance his philosophy from psychology by presenting truth as being an external self–moving object instead of being related to inner, subjective thoughts. Hegel's truth is analogous to the mechanics
Mechanics

Mechanics is the branch of physics concerned with the behaviour of physical body when subjected to forces or Displacement , and the subsequent effect of the bodies on their environment....
 of a material body in motion under the influence of its own inner force. "Truth is its own self–movement within itself." Teleological truth moves itself in the three–step form of dialectical triplicity
Dialectic

Dialectic is a method of argument, which has been central to both Eastern and Western philosophy since ancient times. The word "dialectic" originates in Ancient Greece, and was made popular by Plato's Socratic dialogues....
 toward the final goal of perfect, final, absolute truth. For Hegel, the progression of philosophical truth is a resolution of past oppositions into increasingly more accurate approximations to absolute truth. Chalybäus
Heinrich Moritz Chalybäus

Heinrich Moritz Chalyb?us was a Germany philosopher best known for his exegetical work on philosophy, such as his characterisation of Hegel's dialectic as positing a triad of thesis-antithesis-synthesis....
 used the terms "thesis
Thesis, antithesis, synthesis

Although he never used the terms himself, the triad thesis, antithesis, synthesis is often used to describe the thought of Germany philosophy Georg Wilhelm Friedrich Hegel....
," "antithesis
Thesis, antithesis, synthesis

Although he never used the terms himself, the triad thesis, antithesis, synthesis is often used to describe the thought of Germany philosophy Georg Wilhelm Friedrich Hegel....
," and "synthesis
Thesis, antithesis, synthesis

Although he never used the terms himself, the triad thesis, antithesis, synthesis is often used to describe the thought of Germany philosophy Georg Wilhelm Friedrich Hegel....
" to describe Hegel's dialectical triplicity. The "thesis" consists of an incomplete historical movement. To resolve the incompletion, an "antithesis" occurs which opposes the "thesis." In turn, the "synthesis" appears when the "thesis" and "antithesis" become reconciled
Sublation

Sublation is an English term mainly used to translate Georg Wilhelm Friedrich Hegel's German term Aufhebung. The German word Aufhebung literally means "out/up-lifting"....
 and a higher level of truth is obtained. This "synthesis" thereby becomes a "thesis," which will again necessitate an "antithesis," requiring a new "synthesis" until a final state is reached as the result of reason's historical movement. History is the Absolute Spirit
Absolute (philosophy)

The Absolute is the concept of an unconditional reality which transcendence limited, conditional, everyday existence. It is often used as an alternate term for "God" or "the Divinity", especially, but by no means exclusively, by those who feel that the term "God" lends itself too easily to anthropomorphic presumptions....
 moving toward a goal. This historical progression will finally conclude itself when the Absolute Spirit understands its own infinite self at the very end of history. Absolute Spirit will then be the complete expression of an infinite God
God

God is a deity in theism and deism religions and other belief systems, representing either the sole deity in monotheism, or a principal deity in polytheism....
.

Schopenhauer
For Schopenhauer
Arthur Schopenhauer

Arthur Schopenhauer was a Germany philosopher known for his atheistic pessimism and philosophical clarity. At age 25, he published his doctoral dissertation, On the Fourfold Root of the Principle of Sufficient Reason, which examined the fundamental question of whether reason alone can unlock answers about the world....
, a judgment
Judgment

A judgment , in a legal context, is synonymous with the formal decision made by a court following a lawsuit. At the same time the court may also make a range of court orders, such as imposing a sentence upon a Guilt y defendant in a Criminal law matter, or providing a Legal remedy for the plaintiff in a civil law matter....
 is a combination or separation of two or more concept
Concept

A concept is a cognition unit of meaning— an abstraction idea or a mental symbol sometimes defined as a "unit of knowledge," built from other units which act as a concept's characteristics....
s. If a judgment is to be an expression of knowledge
Knowledge

Knowledge is defined in the Oxford English Dictionary as expertise, and skills acquired by a person through experience or education; the theoretical or practical understanding of a subject, what is known in a particular field or in total; facts and information or awareness or familiarity gained by experience of a fact or situation....
, it must have a sufficient reason
Principle of sufficient reason

The principle of sufficient reason states that anything that happens does so for a definite reason. In virtue of which no fact can be real or no statement true unless it has sufficient reason why it should not be otherwise....
 or ground by which the judgment could be called true. Truth is the reference of a judgment to something different from itself which is it sufficient reason (ground). Judgments can have material, formal, transcendental, or metalogical truth. A judgment has material truth if its concepts are based on intuitive perceptions that are generated from sensations. If a judgment has its reason (ground) in another judgment, its truth is called logical or formal. If a judgment, of, for example, pure mathematics or pure science, is based on the forms (space, time, causality) of intuitive, empirical knowledge, then the judgment has transcendental truth.

Kierkegaard
When Søren Kierkegaard
Søren Kierkegaard

S?ren Aabye Kierkegaard was a prolific 19th century Denmark philosopher and theologian. Kierkegaard strongly criticised both the Hegelianism of his time, and what he saw as the empty ceremony of the Church of Denmark....
, as his character Johannes Climacus, wrote that "Truth is Subjectivity", he does not advocate for subjectivism
Subjectivism

Subjectivism is a philosophical tenet that accords primacy to subjective experience as fundamental of all measure and law. In an extreme form, it may hold that the nature and existence of every object depends solely on someone's subjective awareness of it....
 in its extreme form (the theory that something is true simply because one believes it to be so), but rather that the objective approach to matters of personal truth cannot shed any light upon that which is most essential to a person's life. Objective truths are concerned with the facts of a person's being, while subjective truths are concerned with a person's way of being. Kierkegaard agrees that objective truths for the study of subjects like mathematics, science, and history are relevant and necessary, but argues that objective truths do not shed any light on a person's inner relationship to existence. At best, these truths can only provide a severely narrowed perspective that has little to do with one's actual experience of life.

While objective truths are final and static, subjective truths are continuing and dynamic. The truth of one's existence is a living, inward, and subjective experience that is always in the process of becoming. The values, morals, and spiritual approaches a person adopts, while not denying the existence of objective truths of those beliefs, can only become truly known when they have been inwardly appropriated through subjective experience. Thus, Kierkegaard criticizes all systematic philosophies which attempt to know life or the truth of existence via theories and objective knowledge about reality. As Kierkegaard claims, human truth is something that is continually occurring, and a human being cannot find truth separate from the subjective experience of one's own existing, defined by the values and fundamental essence that consist of one's way of life.

Nietzsche
Friedrich Nietzsche
Friedrich Nietzsche

Friedrich Wilhelm Nietzsche was a 19th century philosophy Germans philosophy and classical philology. He wrote critical texts on religion, morality, contemporary culture, philosophy, and science, using a distinctive German language style and displaying a fondness for metaphor and aphorism....
 believed the search for truth or 'the will to truth' was a consequence of the will to power of philosophers. He thought that truth should be used as long as it promoted life and the will to power, and he thought untruth was better than truth if it had this life enhancement as a consequence. As he wrote in Beyond Good and Evil, "The falseness of a judgment is to us not necessarily an objection to a judgment... The question is to what extent it is life-advancing, life-preserving, species-preserving, perhaps even species-breeding..." (aphorism 4). He proposed the will to power as a truth only because according to him it was the most life affirming and sincere perspective one could have.

Robert Wicks discusses Nietzsche's basic view of truth as follows:
Some scholars regard Nietzsche's 1873 unpublished essay, "On Truth and Lies in a Nonmoral Sense" ("Über Wahrheit und Lüge im außermoralischen Sinn") as a keystone in his thought. In this essay, Nietzsche rejects the idea of universal constants, and claims that what we call "truth" is only "a mobile army of metaphors, metonyms, and anthropomorphisms." His view at this time is that arbitrariness completely prevails within human experience: concepts originate via the very artistic transference of nerve stimuli into images; "truth" is nothing more than the invention of fixed conventions for merely practical purposes, especially those of repose, security and consistence.


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
Half-truths

A half-truth comes in several forms, and is a deception, that includes some element of truth. The statement might be partly true, the statement may be totally true but only part of the whole truth, or it may utilize some deceptive element, such as improper punctuation, or double meaning, especially if the intent is to deceive, evade, blame o...
 are deceptive and may lead to a false conclusion.

Nishida
According to Kitaro Nishida, "knowledge of things in the world begins with the differentiation of unitary consciousness into knower and known and ends with self and things becoming one again. Such unification takes form not only in knowing but in the valuing (of truth) that directs knowing, the willing that directs action, and the feeling or emotive reach that directs sensing."

Fromm
Erich Fromm
Erich Fromm

Erich Seligmann Fromm was an internationally renowned social psychology, psychoanalyst, and humanism philosophy. He was associated with what became known as the Frankfurt School of critical theory....
 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.

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
Michel Foucault

Michel Foucault was a French philosophy, historian, intellectual, Critical theory and sociologist. He held a chair at the Coll?ge de France with the title "History of Systems of Thought," and also taught at the University of California, Berkeley....
, 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

semantic fields for the word truth extend from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular....
. Truth for Foucault is also something that shifts through various episteme
Episteme

Episteme, as distinguished from techne, is etymologically derived from the Greek language word ?p?st??? for knowledge or science, which comes from the verb ?p?sta?a?, "to know"....
 throughout history.

Baudrillard
Jean Baudrillard
Jean Baudrillard

Jean Baudrillard was a France culture theory, sociologist, philosopher, political commentator, and photographer. His work is frequently associated with postmodernism and post-structuralism....
 considered truth to be largely simulated, that is pretending to have something, as opposed to dissimulation, pretending to not have something. He took his cue from iconoclast
Iconoclast

An iconoclast is someone who performs iconoclasm ? destruction of religious symbols, or, by extension, established dogma or conventions.Iconoclast may also refer to:...
s who he claims knew that images of God demonstrated the fact that God did not exist. Baudrillard wrote in "Precession of the Simulacra": The simulacrum
Simulacrum

Simulacrum , from the Latin simulacrum which means "likeness, similarity", is first recorded in the English language in the late 16th century, used to describe a representation of another thing, such as a statue or a painting, especially of a god; by the late 19th century, it had gathered a secondary association of inferiority: an image...
 is never that which conceals the truth—it is the truth which conceals that there is none. The simulacrum is true. —Ecclesiastes

Some example simulacra that Baudrillard cited were: that prisons simulate the "truth" that society is free; scandals (eg, Watergate
Watergate scandal

The Watergate scandals were a series of United States political scandals during the President of the United States of Richard Nixon that resulted in the indictment of several of Nixon's closest advisors, and ultimately his resignation on August 9, 1974....
) 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.

Ratzinger
Philosopher and theologian Joseph Ratzinger, before his election as Benedict XVI, explored the relationship of truth with tolerance, conscience
Conscience

Conscience is an ability or a Power that distinguishes whether one's actions are right or wrong. It leads to feelings of remorse when one does things that go against his/her moral values, and to feelings of rectitude or integrity when one's actions conform to our moral values....
, freedom
Freedom

Freedom may refer to:* Freedom * Freedom , the absence of interference with the sovereignty of an individual by the use of coercion or aggression...
, and religion
Religion

A religion is an organized approach to human spirituality which usually encompasses a set of myth, symbols, beliefs and practices, often with a supernatural or transcendence quality, that give meaning to the practitioner's experiences of life through reference to a higher power or truth....
. For him, "beyond all particular questions, the real problem lies in the question of truth."

In consonance with Aristotle and Aquinas, Ratzinger affirms that human reason has the power to know reality and arrive at the truth, and for this he alludes to the achievement of the natural science
Natural science

In science, the term natural science refers to a methodological naturalism approach to the study of the universe, which is understood as obeying rules or law of nature origin....
s. He sees that "the modern self-limitation of reason" rooted in Kant which views itself incapable of knowing religion and the human science
Human Science

Human science is a term applied to the investigation of human life and human activities via a rational, systematic, and verifiable methodology that acknowledges the validity of both data derived by impartial observation of sensory experience and data derived by means of impartial observation of psychological experience ....
s such as ethics
Ethics

Ethics is a word for a philosophy that encompasses proper conduct and good living. It is significantly broader than the common conception of ethics as the analyzing of right and wrong....
 leads to dangerous pathologies of religion and pathologies of science (ecological disasters
List of environmental disasters

This page is a list of environmental disasters. In this context it is an annotated list of specific events caused by human activity that results in a negative effect on the Environment ....
 and destruction of humans). He thinks that this self-limitation, which "amputates" the mind's capacity to answer fundamental questions such as man's origin and purpose, dishonors reason and is contradictory to the modern acclamation of science, whose basis is the power of reason.

In his book Truth and Tolerance, Ratzinger affirmed that truth and love
Love

Love is any of a number of emotions and experiences related to a sense of strong affection and attachment . The word wikt:en:love can refer to a variety of different feelings, states, and attitudes, ranging from generic pleasure to intense interpersonal attraction....
 are identical. And if well understood, according to him, this is "the surest guarantee of tolerance."

Badiou
Alain Badiou
Alain Badiou

Alain Badiou is a prominent French philosopher, formerly chair of philosophy at the ?cole Normale Sup?rieure . Along with Giorgio Agamben and Slavoj Zizek, Badiou is a prominent figure in an anti-postmodern strand of continental philosophy....
 has gained renown in contemporary
Contemporary philosophy

Contemporary philosophy is the period in the history of philosophy that began at the end of the nineteenth century with the rise of Analytic Philosophy and Continental Philosophy philosophy and that extends into the present....
 continental philosophy
Continental philosophy

Continental philosophy, in contemporary usage, refers to a set of traditions of 19th and 20th century philosophy from mainland Europe. This sense of the term originated among English-speaking philosophers in the second half of the 20th century, who found it useful for referring to a range of thinkers and traditions outside the analytic philo...
 for his theory of truth as a situated "truth-procedure" consisting in the practice of fidelity to an event. According to Badiou, truth-procedures are situated, singular, subjective
Subject (philosophy)

In philosophy, a subject is a being which has subjective experiences, subjective consciousness or a relationship with another entity . A subject is an observer and an object is a thing observed....
, and universal. Badiou defines love, art, science, and politics
Alain Badiou

Alain Badiou is a prominent French philosopher, formerly chair of philosophy at the ?cole Normale Sup?rieure . Along with Giorgio Agamben and Slavoj Zizek, Badiou is a prominent figure in an anti-postmodern strand of continental philosophy....
 as the four domains of truth-procedures, and defines philosophy as a space of thought conditioned by and concerned with thinking through the interaction of truth-procedures in these four domains. Badiou's theory of truth is deeply rooted in his mathematical ontology, and has gained notoriety as a critique of postmodern philosophy
Postmodern philosophy

Postmodern philosophy is a philosophical direction which is critical of the foundational assumptions and structures of philosophy. Beginning as a critique of Continental philosophy, it was heavily influenced by Phenomenology , structuralism and existentialism, including writings of Georg Wilhelm Friedrich Hegel, S?ren Kierkegaard, Belette Des...
 and post-structuralism
Post-structuralism

Post-structuralism encompasses the intellectual developments of continental philosophy and critical theory who wrote with tendencies of French philosophy#20th century....
 articulated from within the tradition of Continental philosophy
Continental philosophy

Continental philosophy, in contemporary usage, refers to a set of traditions of 19th and 20th century philosophy from mainland Europe. This sense of the term originated among English-speaking philosophers in the second half of the 20th century, who found it useful for referring to a range of thinkers and traditions outside the analytic philo...
.

See also

  • Aletheia
    Aletheia

    }Aletheia is the Greek word for "truth", and like the English word implies sincerity as well as factuality or reality. The literal meaning of the word is, "the state of not being hidden; the state of being evidence"....
  • Asha
    Asha

    Asha or arta is the Avestan language term for a concept of cardinal importance to Zoroastrianism theology and doctrine. In the moral sphere, a?a/arta represents what has been called "the decisive confessional concept of Zoroastrianism."  . The opposite of Avestan a?a is druj, "lie."...
  • Belief
    Belief

    Belief is the psychological state in which an individual holds a proposition or premise to be true....
  • Confirmation holism
    Confirmation holism

    Confirmation holism, also called epistemological holism is the claim that a single scientific theory cannot be tested in isolation; a test of one theory always depends on other theories and hypotheses....
  • contextualism
    Contextualism

    Contextualism describes a collection of views in philosophy which emphasize the context in which an action, utterance, or expression occurs, and argues that, in some important respect, the action, utterance, or expression can only be understood relative to that context....
  • Degrees of truth
  • Disposition
    Disposition

    A disposition is a habit , a preparation, a state of readiness, or a tendency to act in a specified way.The terms dispositional belief and occurrent belief refer, in the former case, to a belief that is held in the mind but not currently being considered, and in the latter case, to a belief that is currently being considered by the mind....
  • Eclecticism
    Eclecticism

    Eclecticism is a conceptual approach that does not hold rigidly to a single paradigm or set of assumptions, but instead draws upon multiple theories, styles, or ideas to gain complementary insights into a subject, or applies different theories in particular cases....
  • Half-truth
  • Honesty
    Honesty

    Honesty is the human quality of communicating and acting truthfully, in accordance with a sense of fairness and sincerity. This includes all varieties of communication, both verbal and non-verbal....
  • Imagination
    Imagination

    Imagination is the faculty of imagining, or of forming mental images or concepts of what is not actually present to the senses, and the action or process of forming such images or concepts....
  • Independence
    Independence (mathematical logic)

    In mathematical logic, a sentence σ is called independent of a given 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....
  • Inquiry
    Inquiry

    Inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim....
  • Interpretation
    Interpretation (logic)

    In logic an interpretation gives meaning to an artificial or formal language or to a Sentence of such a language by assigning a denotation to each non-logical symbol in that language or in that sentence....
  • Invariance
  • Knowledge
    Knowledge

    Knowledge is defined in the Oxford English Dictionary as expertise, and skills acquired by a person through experience or education; the theoretical or practical understanding of a subject, what is known in a particular field or in total; facts and information or awareness or familiarity gained by experience of a fact or situation....
  • Liar paradox
    Liar paradox

    In philosophy and logic, the liar paradox, known to the ancients as the pseudomenon, encompasses paradoxical statements such as "This sentence is false." or "The next sentence is false....
  • Lie
    Lie

    A lie , is a type of deception in the form of an untruthful statement, especially with the intention to deceive others, often with the further intention to maintain a secret or reputation, protect someone's feelings or to avoid a punishment....
  • Lie-to-children
    Lie-to-children

    A lie-to-children is an expression that describes the simplification of technical or difficult to understand material for consumption by children....
  • List of fallacies
    List of fallacies

    This is a list of Fallacy....
  • Normative science
    Normative science

    A normative science is a form of inquiry, typically involving a community of inquiry and its accumulated body of provisional knowledge, that seeks to discover good ways of achieving recognized aims, ends, goals, objectives, or purposes....
  • Objectivity
    Objectivity (philosophy)

    For other uses of "objectivity", see Objectivity Objectivity is both an important and very difficult concept to pin down in philosophy. While there is no universally accepted articulation of objectivity, a proposition is generally considered to be objectively true when its truth conditions are "mind-independent"—that is, not the r...
  • Paradox
    Paradox

    A paradox is a Proposition or group of statements that leads to a contradiction or a situation which defies intuition ; or, it can be an apparent contradiction that actually expresses a non-dual truth ....
  • Perspectivism
    Perspectivism

    Perspectivism is the philosophy view developed by Friedrich Nietzsche that all ideations take place from particular Perspective s. This means that there are many possible conceptual schemes, or perspectives which determine any possible judgment of truth or value that we may make; this implies that no way of seeing the world can be taken as de...
  • Philalethia
  • Physical symbol system
    Physical symbol system

    A physical symbol system takes physical patterns , combining them into structures and manipulating them to produce new expressions.The physical symbol system hypothesis is a position in the philosophy of artificial intelligence formulated by Allen Newell and Herbert Simon....
  • Reality
    Reality

    Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
  • Relativism
    Relativism

    Relativism is the idea that some elements or aspects of experience or culture are relative to, i.e., dependent on, other elements or aspects.Common statements that might be considered relativistic include...
  • Religion
    Religion

    A religion is an organized approach to human spirituality which usually encompasses a set of myth, symbols, beliefs and practices, often with a supernatural or transcendence quality, that give meaning to the practitioner's experiences of life through reference to a higher power or truth....
  • Slingshot argument
    Slingshot argument

    In logic, a slingshot argument is one of a group of logical arguments claiming to show that all true sentence s stand for the same thing.This type of argument was dubbed the "slingshot" by philosophers Jon Barwise and John Perry due to its disarming simplicity....
  • Statistical independence
    Statistical independence

    In probability theory, to say that two event s are independent intuitively means that the occurrence of one event makes it neither more nor less probable that the other occurs....
  • Tautology (logic)
    Tautology (logic)

    In propositional logic, a tautology is a propositional formula that is true under any possible Valuation of its propositional variables. For example, the propositional formula is a tautology, because the statement is true for any valuation of A....
  • Tautology (rhetoric)
    Tautology (rhetoric)

    In rhetoric, a tautology is an unnecessary or unessential repetition of meaning, using different and dissimilar words that effectively say the same thing twice by repeating the meaning ....
  • The Truth
    The Truth

    The Truth may mean:* The truth in a particular context - a statement that is known to be correct —ie. in accord with reality, as corroborated by evidence or related experience...
  • Truthiness
    Truthiness

    Truthiness is a Term first used in its current satire sense by United States television comedian Stephen Colbert in 2005, to describe things that a person claims to know intuition or "from the gut" without regard to evidence, logic, intellectual examination, or facts....
  • Truthlikeness
  • Unity of the proposition
    Unity of the proposition

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

    Verisimilitude in its literary context is defined as the fact or quality of being verisimilar, the appearance of being true or real; likeness or resemblance of the truth, reality or a fact's probability....
  • Veritas
    Veritas

    In Roman mythology, Veritas was the goddess of truth, a daughter of Saturn and the mother of Virtue. It was believed that she hid in the bottom of a holy well because she was so elusive....


Truth in logic

  • Fuzzy logic
    Fuzzy logic

    Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. In binary sets with binary logic, in contrast to fuzzy logic named also crisp logic, the variables may have a Membership function of only 0 or 1....
  • Logic
    Logic

    Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
  • Logical value
    Logical value

    In logic and mathematics, a logical value, also called a truth value, is a value indicating the extent to which a proposition is truth.In classical logic, the only possible truth values are true and false....
  • Modal logic
    Modal logic

    A modal logic is any system of mathematical logic#Formal logic that attempts to deal with notions of possibility and necessity. Traditionally, there are three "modes" or "moods" or "modalities" of the Copula to be, namely, Logical possibility, probability, and Necessary_and_sufficient_conditions#Necessary_conditions....
  • Multi-valued logic
    Multi-valued logic

    Multi-valued logics are 'propositional calculus' in which there are more than one truth values. Traditionally, in 'logical calculi' - invented by Aristotle - there were only two possible values for any proposition to take....
  • Principle of bivalence
    Principle of bivalence

    In logic, the semantic principle of bivalence states that every proposition takes exactly one of two truth values . The laws of bivalence, law of excluded middle, and law of non-contradiction are related, but they refer to the calculus of logic, not its semantics, and are hence not the same....
  • Truth condition
    Truth condition

    In semantics, truth conditions are what obtain precisely when a Sentence is wiktionary:True. For example, "It is snowing in Nebraska" is true precisely when it is snowing in Nebraska....
    s
  • Truth function
    Truth function

    In mathematical logic, a truth function is a function from a set of truth-values to truth-values. Classically the domain and range of a truth function are , but generally they may have any number of truth-values, including an infinity of them....
  • Truth table
    Truth table

    A truth table is a mathematical table used in logic?specifically in connection with Boolean algebra , boolean functions, and propositional calculus?to compute the functional values of logical expression s on each of their functional arguments, that is, on each combination of values taken by their logical variables....
  • Criteria of truth
    Criteria of truth

    In epistemology, criteria of truth are standards and rules used to judge the accuracy of statements and claims. They are tools of verification....


Theories of truth

  • Anekantavada
    Anekantavada

    is one of the most important and fundamental doctrines of Jainism. It refers to the principles of Pluralism and multiplicity of viewpoints, the notion that truth and reality are perceived differently from diverse points of view, and that no single point of view is the complete truth....
  • Coherence theory of truth
    Coherence theory of truth

    There is no single coherence theory of truth, but rather an assortment of perspectives that are commonly collected under this title. In general, coherence theory sees truth as coherence with some specified set of sentences, propositions or beliefs....
  • Coherentism
    Coherentism

    There are two distinct types of coherentism. One refers to the coherence theory of truth. The otheris belief in the coherence theory of justification — an Epistemology theory opposing foundationalism and offering a solution to the regress argument....
  • Consensus theory of truth
    Consensus theory of truth

    A consensus theory of truth is any theory of truth that refers to a concept of consensus as a part of its concept of truth....
  • Correspondence theory of truth
    Correspondence theory of truth

    The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world, and whether it accurately describes that world....
  • Deflationary theory of truth
    Deflationary theory of truth

    The deflationary theory of truth is a family of theories which all have in common the claim that assertions that predicate truth of a statement do not attribute a property called truth to such a statement....
  • Epistemic theories of truth
    Epistemic theories of truth

    In philosophy, epistemic theories of truth are attempts to analyze the notion of truth in terms of epistemic notions such as knowledge, belief, acceptance, verificationist, Theory of justification, and Perspective ....
  • Indefinability theory of truth
  • Pragmatic theory of truth
    Pragmatic theory of truth

    Pragmatic theory of truth refers to those accounts, definitions, and theories of the concept truth that distinguish the philosophies of pragmatism and pragmaticism....
  • Redundancy theory of truth
    Redundancy theory of truth

    According to the redundancy theory of truth, or the disquotational theory of truth, asserting that a statement is true is completely equivalent to asserting the statement itself....
  • Semantic theory of truth
    Semantic theory of truth

    The semantic theory of truth holds that any assertion that a Sentence is truth can be made only as a formal requirement regarding the language in which the proposition itself is expressed....


Major theorists

  • Aristotle
    Aristotle

    Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
  • Thomas Aquinas
    Thomas Aquinas

    Saint Thomas Aquinas, Dominican Order was a priest of the Roman Catholic Church in the Dominican Order from Italy, and an immensely influential philosopher and theologian in the tradition of scholasticism, known as Doctor Angelicus and Doctor Communis....
  • J.L. Austin
  • Brand Blanshard
    Brand Blanshard

    Percy Brand Blanshard was an American philosopher known primarily for his defense of reason. A powerful polemicist, by all accounts he comported himself with courtesy and grace in philosophical controversies and exemplified the "rational temper" he advocated....
  • John Dewey
    John Dewey

    John Dewey was an American philosopher, psychologist, and school reform whose thoughts and ideas have been highly influential in the United States and around the world....
  • Hartry Field
    Hartry Field

    Hartry H. Field is a philosopher working at New York University . He previously taught at the University of Southern California and The Graduate Center of the City University of New York ....
  • Gottlob Frege
    Gottlob Frege

    Friedrich Ludwig Gottlob Frege was a Germany mathematics who became a logician and philosophy. He helped found both modern mathematical logic and analytic philosophy....
  • Jürgen Habermas
    Jürgen Habermas

    J?rgen Habermas is a Germany philosopher and sociologist in the tradition of critical theory and American pragmatism. He is perhaps best known for his work on the concept of the public sphere, the topic of his first book....
  • Georg Hegel
  • Martin Heidegger
    Martin Heidegger

    Martin Heidegger was an influential Germany Philosophy. His best known book, Being and Time, is generally considered to be one of the most important philosophical works of the 20th century....
  • Augustine of Hippo
  • Paul Horwich
    Paul Horwich

    Paul Horwich is a United Kingdom analytic philosophy at New York University, whose work includes writings on causality, truth, and meaning. Horwich earned his PhD from Cornell University; his thesis advisor was Richard Boyd....
  • William James
    William James

    William James was a pioneering American psychology and philosophy trained as a medical doctor. He wrote influential books on the young science of psychology, educational psychology, psychology of religion experience and mysticism, and the philosophy of pragmatism....
  • Harold Joachim
    Harold Joachim

    Harold Henry Joachim was a UK idealist philosopher. He was a disciple of Francis Herbert Bradley, and is now identified with the movement British Idealism, in its later days....
  • Saul Kripke
    Saul Kripke

    Saul Aaron Kripke is an American philosophy and logician, now emeritus from Princeton University. He teaches as distinguished professor of philosophy at CUNY Graduate Center....
  • Friedrich Nietzsche
    Friedrich Nietzsche

    Friedrich Wilhelm Nietzsche was a 19th century philosophy Germans philosophy and classical philology. He wrote critical texts on religion, morality, contemporary culture, philosophy, and science, using a distinctive German language style and displaying a fondness for metaphor and aphorism....
  • Charles Sanders Peirce
  • Plato
    Plato

    Plato , was a Classical Greece Greeks philosopher, mathematician, writer of philosophical dialogues, and founder of the Platonic Academy in Ancient Athens, the first institution of higher learning in the western world....
  • Karl Popper
    Karl Popper

    Knight Bachelor Karl Raimund Popper Order of the Companions of Honour, Fellow of the Royal Society, Fellow of the British Academy was an Austrian and British philosopher and a professor at the London School of Economics....
  • W.V. Quine
  • Frank P. Ramsey
    Frank P. Ramsey

    Frank Plumpton Ramsey was a United Kingdom mathematician who, in addition to mathematics, made significant contributions in philosophy and economics....
  • Bertrand Russell
    Bertrand Russell

    Bertrand Arthur William Russell, 3rd Earl Russell, Order of Merit , Fellow of the Royal Society , was a British people philosopher, mathematical logic, mathematician, historian, advocate for social reform, and pacifism....
  • Arthur Schopenhauer
    Arthur Schopenhauer

    Arthur Schopenhauer was a Germany philosopher known for his atheistic pessimism and philosophical clarity. At age 25, he published his doctoral dissertation, On the Fourfold Root of the Principle of Sufficient Reason, which examined the fundamental question of whether reason alone can unlock answers about the world....
  • Socrates
    Socrates

    Socrates was a Classical Greece Philosophy. Credited as one of the founders of Western philosophy, he is an enigmatic figure known only through the classical accounts of his students....
  • P.F. Strawson
  • Alfred Tarski
    Alfred Tarski

    Alfred Tarski was a Poles logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death....
  • Ludwig Wittgenstein
    Ludwig Wittgenstein

    Ludwig Josef Johann Wittgenstein was an Austrian-United Kingdom philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language....


External links

  • by Paul Newall, aimed at beginners.
  • Stanford Encyclopedia of Philosophy
    Stanford Encyclopedia of Philosophy

    The Stanford Encyclopedia of Philosophy is a Open access online encyclopedia of philosophy maintained by Stanford University. The SEP was initially developed with U.S....
    :