Truth is the property a statement has when it says how things are. Every theory of truth tries to explain what that amounts to without simply repeating the word.

The main theories

The correspondence theory holds that a statement is true when it matches a fact in the world. "Snow is white" is true when snow is white. This fits ordinary usage and runs into difficulty specifying what a fact is and what matching means for claims about numbers, morals or the future.

The coherence theory holds that truth consists in fitting into a consistent system of beliefs. It handles abstract domains well and faces the objection that a well-built fiction is internally coherent.

Pragmatist theories, developed by William James and John Dewey, treat truth as what survives inquiry — the belief that keeps working as evidence accumulates. Critics object that this describes the marks of truth rather than what truth is.

Deflationary theories argue that the concept carries less weight than it appears to. Saying "it is true that snow is white" asserts only that snow is white, so truth is a device for endorsement rather than a substantial property.

The liar

"This sentence is false" is true if false and false if true. The liar paradox is not a curiosity: any language rich enough to talk about its own sentences generates it. Alfred Tarski's response in 1933 was to separate the language being described from the language doing the describing, which blocks the paradox and implies that no sufficiently rich language can consistently contain its own truth predicate.

Truth connects to knowledge, which requires it, and to skepticism, which asks how we could ever tell we have reached it.