Truth

Plato grounds truth in being. What truly is (the Forms) cannot change; what only seems to be (the sensible world) is in constant flux. Truth, therefore, is primarily a property of what is eternally real, and only derivatively of our beliefs about it. A belief is true when it conforms to what is; falsehood is attachment to mere appearance, mistaking shadows for the realities that cast them.

In the Theaetetus, Plato tests and rejects Protagoras's claim that "man is the measure of all things." If each person's perceptions were simply true for them, no one could ever be mistaken, teaching would be pointless, and the very notion of falsehood would collapse. Plato argues instead that truth must be independent of believers: a judgment is true because it answers to reality, not because it pleases the believer.

In the Sophist, Plato tackles the puzzle of how falsehood is possible at all (if to say what is not is to speak of nothing) and concludes that statements can combine terms that fail to answer to how things are. This is the first glimmer of a correspondence theory of truth: true statements match being; false statements diverge from it. The philosopher's task is to ascend from opinion to the vision of what is.

Plato founds the Western doctrine of truth. But locating truth in the eternal Forms immediately raises the question Aristotle will press: why posit a separate realm of Forms to explain correspondence? Aristotle will keep the correspondence but bring truth down to earth, locating it in the relation between statements and the world rather than in the soul's ascent to an immaterial realm.

Aristotle gives truth its classical definition. "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." Truth belongs primarily to statements, which combine concepts about reality. A statement is true when its combination matches how things are; false when it does not.

This is the first formal statement of the correspondence theory of truth. Unlike Plato, Aristotle locates truth not in the Forms themselves but in the relationship between thought and the world. Being and truth are linked: to be true is to correctly represent what is. Logic and metaphysics are therefore intertwined, because the structure of true thought mirrors the structure of being.

Aristotle also distinguishes different kinds of truths. Some truths are necessary (mathematical, logical); some are contingent (about particular events). Some are known by demonstration from first principles; others by induction from experience. Truth itself, however, has one meaning throughout: adequation between statement and reality. This unified account will dominate Western philosophy for two thousand years.

Aristotle's correspondence definition becomes the canonical Western doctrine of truth. But it leaves open the question Augustine will urgently press: if truth is correspondence of thought to thing, what guarantees that the human mind is reliably calibrated to the world? Aristotle assumes the intellect is naturally fitted for truth; Augustine will argue that fallen human nature has broken that fit, and that God's illumination is required to restore it.

Augustine transforms Platonic truth into Christian theology. If Plato traced true knowledge to the Forms, Augustine traces it to God. God is not merely the creator of truth but is Truth itself: the eternal source from which all finite truths derive their reality. "Where I found the truth, there found I my God, who is the truth itself."

This gives Augustine a distinctive epistemology. When the human mind grasps eternal truths (mathematical, moral, metaphysical) it cannot be abstracting them from sense experience, because sensible things are changeable and these truths are immutable. The mind must be illuminated directly by the divine light. "The mind cannot say what it says except in the presence of the inward Truth." To know the truth is, in some measure, to be in contact with God.

Augustine is also keenly aware of the self-refuting character of skepticism. Even if I doubt everything, I cannot doubt that I exist, that I think, that I love the truth. The very act of doubting presupposes truths I cannot coherently deny. "Si enim fallor, sum": "If I am mistaken, I exist." This anticipates Descartes by twelve centuries and grounds Augustine's confidence that truth, far from being elusive, is present at the core of the self.

Augustine Christianizes the doctrine of truth. Descartes will later repeat his move — using the indubitability of the thinking self to escape radical doubt — but will replace divine illumination with a non-deceiving God who certifies clear and distinct perception, cutting out the need for ongoing contact with the eternal light.

Aquinas unites Aristotle's correspondence definition with Augustine's theological grounding. Truth is formally adequatio intellectus et rei: the adequation or correspondence of intellect to thing. A statement is true when the intellect's judgment matches the way the thing is; a thing, reciprocally, is true when it matches the divine intellect that conceived it. Truth is primarily in the mind (as conformity to reality) and only derivatively in things (as conformity to the divine mind).

This gives Aquinas a twofold doctrine of truth. Ontological truth: every being is true insofar as it expresses what God willed it to be. Logical truth: every judgment is true insofar as it conforms to the being of things. These two senses are connected: the human intellect can know the truth of things because both the intellect and things are shaped by the divine mind that created them. Our knowing is an imperfect participation in God's knowing.

Aquinas also addresses how fallible human knowers can attain certainty. We begin with sense experience; the active intellect abstracts universal forms from particular things; the passive intellect judges. Error is always possible in this process, but truth is achievable because reality has a structure we are made to grasp. The intellect is designed to know what is.

Aquinas gives scholastic philosophy its definitive account of truth. Descartes will inherit the correspondence formula but strip away its theological grounding: instead of truth as the mind's participation in God's knowing, Descartes will define truth as whatever the mind perceives clearly and distinctly — and then scramble to find a God who can guarantee that the new criterion is reliable.

Descartes places truth at the center of his method. What we need, he argues, is a criterion that can guide the mind past all the usual sources of error. That criterion is clarity and distinctness: an idea is true if and only if we perceive it clearly (transparently, without obscurity) and distinctly (separated from everything else, without confusion). Error arises when the will, which is infinite, races ahead of the understanding, which is finite, and assents to what has not been clearly grasped.

This gives Descartes a workable discipline. Doubt everything until you reach what is clear and distinct; judge only according to such ideas; and from them, by rigorous steps, derive further truths. The cogito is the first and paradigmatic case: "I think, therefore I am" is clear and distinct in a way that nothing can shake. From this foundation, further truths can be discovered by the same criterion.

But Descartes needs something more to guarantee the reliability of clear and distinct perception: God. A perfect being cannot be a deceiver, and God, having endowed us with the faculty of clear and distinct perception, cannot allow it to mislead us in its proper use. Truth thus rests on two pillars: the mind's clarity, and God's goodness.

Descartes inaugurates modern epistemology with his criterion of truth. Clarity and distinctness, methodic doubt, and the first-person test of truth shape the entire early modern period and remain live resources in contemporary philosophy of mind.

Hume divides all truths into two kinds. Relations of ideas are the truths of mathematics and logic: propositions discoverable by pure thought, whose negation is contradictory, whose certainty is absolute. "Three times five is equal to the half of thirty" is true simply by the relations of the concepts involved. Matters of fact, by contrast, concern the way the world happens to be. They can only be known through experience, and their negation is always conceivable.

This distinction, later called "Hume's fork," has devastating implications. Most of what we call knowledge is matter of fact: that fire burns, that bread nourishes, that the sun will rise. None of these can be demonstrated a priori. We believe them because experience has taught us to expect one thing regularly after another. But experience itself cannot ground the universal claim that such regularities will continue, for that claim goes beyond what experience gives us.

Hume's famous challenge to induction follows. From the fact that one event has always been followed by another, we cannot logically infer that it will always be followed by it. Our confidence rests on custom, not reason. Truths about the world, therefore, are never certain in the way mathematical truths are. The mind's expectations about matters of fact are psychological habits, not rational demonstrations, a result that provokes Kant and shakes modern philosophy.

Hume sets the terms for modern empiricism. His fork between necessary and contingent truths, and his skeptical analysis of induction, shape every subsequent debate about the foundations of science and the nature of empirical knowledge.

Kant accepts the traditional definition of truth ("the agreement of knowledge with its object") but reframes what can count as an object. Objects, as we experience them, are not independent things-in-themselves; they are appearances structured by the mind's own forms (space, time) and categories (substance, causation, unity). Truth, then, is the correspondence of judgment not to reality as it is in itself but to objects as constituted by the knower.

This resolves Hume's challenge. Necessary truths about causation and substance are not derived from experience and therefore threatened by it; they are conditions of experience, required for any object to be thinkable at all. At the same time, their necessity is confined to the phenomenal world. We cannot make true or false claims about things as they are in themselves, because we have no access to them.

Kant's innovation is to make truth both objective and mind-dependent. Objective: judgments must conform to the structure of experience, not to individual caprice. Mind-dependent: the structure of experience is contributed by the knowing subject. This "transcendental idealism" reshapes the question of truth: not "does this match the thing in itself?" but "does this conform to the structures by which objects are constituted for us?"

Kant transforms modern epistemology. His account of truth as the agreement of knowledge with objects-as-constituted opens new territory for Hegel's historicism, twentieth-century constructivism, and contemporary debates about realism and anti-realism.

Hegel rejects every static conception of truth. "The true is the whole": a single proposition, no matter how accurate, captures only a partial moment of what is true. Real truth is the complete, self-developing system of thought, in which each partial insight is preserved, negated, and taken up into a richer unity. Truth is not a property of isolated statements but of the total dialectical movement that includes their contradictions and resolutions.

This departs sharply from correspondence theories. For Hegel, what counts as true cannot be determined by matching propositions to static objects, because neither propositions nor objects are really static. Thought and reality develop together, through contradiction and sublation. Each stage in the history of consciousness (sense-certainty, perception, understanding, self-consciousness, reason, spirit) seems true in its own terms, reveals its inadequacies, and generates a more adequate stage.

Hegel's truth is therefore historical and systematic. It cannot be grasped piecemeal; it must be understood as the outcome of the whole process. "Truth is its own self-movement." The philosopher's task is not to freeze truth in a definition but to trace its development, showing how the limited claims of each stage contribute to the complete self-understanding of Spirit.

Hegel transforms truth into a process. His historicist, dialectical, process conception shapes nineteenth- and twentieth-century philosophy from Marx through pragmatism to contemporary coherentism and narrative theories of truth.

William James ends the classical conversation with a pragmatic redefinition. The question "What is truth?" has been dressed up in metaphysics for two millennia; James strips it down. A true idea is one that "works": that guides us successfully through experience, that corresponds to reality in the practical sense of fitting with what we encounter, that yields predictable, satisfying consequences when acted upon.

This is not relativism. James insists that true ideas must be verified by experience, that they must cohere with other beliefs, that they must lead us where we want to go. What he denies is that truth is some mysterious extra property (a glow of correspondence hovering above statements) beyond these concrete marks. "The truth of an idea is not a stagnant property inherent in it. Truth happens to an idea. It becomes true, is made true by events."

James's pragmatism is generous with traditional conceptions of truth. Correspondence theories are right that true ideas fit reality; they just need to spell out what fitting means concretely. Coherence theories are right that truths form systems; they just need to connect coherence to practice. Pragmatism synthesizes: truth is what is confirmed, what coheres, what guides successfully, all of these together, tested in the ongoing stream of experience.

James closes the classical debate by making truth pragmatic. His redefinition reshapes twentieth-century philosophy of science, animates Dewey's instrumentalism, and frames contemporary debates about realism, relativism, and the nature of scientific truth.