Truth

Plato locates truth in being rather than in belief alone. What truly is, the Forms, does not change; what only seems to be, the sensible world, is in flux. On this view, truth is primarily a property of what is eternally real, and only secondarily a property of the judgments we form about it. A judgment is true when it answers to what is; falsehood is attachment to appearance, the mistaking of shadows for the realities that cast them. The philosopher's task, as the allegory of the cave in the Republic suggests, is to ascend from opinion to the vision of what is. Questions of knowledge and of opinion, treated more fully under those ideas, are thus already at work in Plato's account of truth.

In the Theaetetus, Plato examines and rejects Protagoras's claim that man is the measure of all things. If each person's perceptions were simply true for that person, no one could ever be mistaken, teaching would lose its point, and the notion of falsehood would collapse. Plato maintains instead that truth must be independent of the believer: a judgment is true because it answers to reality, not because it pleases the one who holds it. The dialogue thus opens the long tradition of arguing against the skeptic or sophist who would make truth a matter of private or conventional preference.

In the Sophist, Plato takes up the further puzzle of how falsehood is possible at all. If to say what is not is to speak of nothing, how can a false statement mean anything? His answer is that statements combine terms that may or may not answer to how things are. True statements match being; false statements diverge from it. Here appears the correspondence of thought to reality that the subsequent tradition would treat as the common definition of truth, even when philosophers continued to disagree about what is true and by what signs truth is known.

Plato places truth among the permanent objects of philosophy and education. Aristotle will retain the correspondence of statement to being while refusing the separate realm of Forms; Augustine will identify the eternal measure of truth with God. The relation of true opinion to knowledge, and of dialectic to the ascent from appearance, continues under the ideas of Knowledge, Opinion, and Dialectic.

Aristotle gives the classical definition that later writers would repeat with little variation of substance. To say of what is that it is not, or of what is not that it is, is false; to say of what is that it is, and of what is not that it is not, is true. Truth and falsity, he holds, belong primarily to statements or judgments that combine or separate concepts about reality, not to simple apprehensions or to things considered in isolation. A statement is true when its combination matches how things are; false when it does not. The fact, he notes, is in some sense the cause of the truth of the proposition, whereas the true proposition is not the cause of the fact.

Unlike Plato, Aristotle does not locate truth in a separate realm of Forms. He locates it in the relation between thought and the world of substances and their attributes. Being and truth are linked: to be true is to represent correctly what is. Logic and metaphysics therefore touch each other, for the structure of true judgment is held to answer to the structure of being. At the same time, Aristotle distinguishes kinds of truth in another respect. Some truths are necessary, as in mathematics and first principles; some are contingent, about particular events. Some are known by demonstration from axioms; others by induction from experience. Truth itself, however, has one meaning throughout: the agreement of statement with reality.

Aristotle also extends the discussion beyond pure theory. Practical truth, as he treats it in the Ethics, consists not only in conformity to what is but in agreement with right desire, for moral judgment concerns what ought to be done rather than what merely is the case. Speculative and practical intellect thus share the general notion of conformity of mind to something outside itself, yet they differ in the measure of that conformity. The distinction reappears in Aquinas and remains a standing theme under the ideas of Judgment and Prudence.

Aristotle's correspondence formula becomes the common Western account of what truth is. It leaves open questions about the signs by which we know that a judgment corresponds to reality, and about whether the human intellect is naturally fitted for such correspondence. Augustine will press the latter point through the doctrine of divine illumination; later moderns will press the former through criteria of clear and distinct ideas, verification, and the division of truths into relations of ideas and matters of fact.

Augustine receives the Platonic association of truth with what is eternal and unchanging, and places that measure in God. God is not merely the creator of truths but is Truth itself, the primal source from which finite truths derive their reality. Where the mind finds immutable truth, Augustine holds, it finds contact with God. Falsehood, as he says, occurs when something is thought to be which is not. The definition of truth as agreement of mind with reality is thus retained, but its theological grounding is made explicit.

This account yields a distinctive theory of how the mind knows. When the human intellect grasps eternal truths, mathematical, moral, or metaphysical, it cannot, on Augustine's view, be simply abstracting them from sense experience, for sensible things change and these truths do not. The mind must be illuminated by the divine light that is present within. The criterion of truth is therefore in one sense intrinsic: the inward Truth, neither Hebrew nor Greek nor Latin, tells the mind without lips or tongue that a claim is true. To know the truth is, in some measure, to be in contact with God. The same line of thought bears on the ideas of God, Knowledge, and Mind.

Augustine is also concerned with the self-refuting character of radical skepticism. Even if one doubts everything, one cannot coherently deny that one exists, that one thinks, or that one loves the truth. The act of doubting presupposes truths that cannot be denied without contradiction. "If I am mistaken, I exist": the very possibility of error implies a subject who is. This argument anticipates Descartes by many centuries and supports Augustine's confidence that truth is not utterly beyond human reach, even if the fallen mind requires divine aid.

Augustine Christianizes the doctrine of truth without abandoning correspondence. Descartes will later use the indubitability of the thinking self against radical doubt, but will replace ongoing divine illumination with a non-deceiving God who certifies clear and distinct perception. Aquinas will join Augustine's theological measure of truth to Aristotle's account of adequation between intellect and thing.

Aquinas unites Aristotle's correspondence definition with Augustine's theological grounding. Truth is formally the adequation of intellect and thing: a judgment is true when the intellect's composition matches the way the thing is. Yet the equation can be read in two directions. When things measure the intellect, truth consists in the equation of the intellect to the thing. When the intellect measures things, as in art, truth consists in the equation of things to the intellect that planned them. A house is said to be true when it fulfills the form in the architect's mind.

This twofold structure yields both logical and ontological truth. Logical truth is primarily in the intellect as conformity to reality. Ontological truth is secondarily in things as conformity to the intellect on which they depend. Natural things are true insofar as they express the likeness of the ideas in the divine mind; a stone is a true stone when it has the nature proper to a stone according to the divine preconception. Human knowing is thus an imperfect participation in God's knowing. Divine truth, however, has no source and is not truth by correspondence with anything else. It is the primal truth, the rule and source of all finite truth. The comparison of human and divine truth is a standing topic of the chapter on God as well as of this idea.

Aquinas also treats how fallible knowers attain certainty, and how error arises. Knowledge begins with sense; the active intellect abstracts universal forms; judgment follows. Error is always possible, yet truth remains attainable because reality has a structure the intellect is ordered to grasp. Before the fall, he holds, the lower powers did not impede the higher; after the fall, imagination and the other lower powers may mislead without the intellect itself simply failing. The causes of error, and the rules for avoiding it, connect his account of truth to the ideas of Knowledge, Sense, and Sin.

Aquinas gives the scholastic tradition its standard formulation of truth. Descartes will keep a correspondence-like demand that ideas conform to things, yet he will shift the criterion to clarity and distinctness and seek a non-deceiving God to guarantee that criterion, rather than the full doctrine of participation in the divine intellect.

Descartes places the problem of truth at the center of method. What is needed, he holds, is a criterion by which the mind can avoid the usual sources of error. That criterion is clarity and distinctness: an idea enters true judgment when we perceive it clearly, without obscurity, and distinctly, separated from what is confused with it. Truth and falsity, strictly speaking, belong to judgments rather than to simple ideas considered alone. Error arises when the will, whose range is wider than the understanding, assents to what has not been clearly grasped. The mind that restrains assent to what is clearly and distinctly represented can, he claims, avoid deception.

Methodic doubt is the discipline that isolates such perceptions. One withholds assent until what remains cannot be shaken. The cogito is the first and paradigmatic case: that I am a thinking thing is clear and distinct in a way that resists the most extreme hypothesis of deception. From this foundation further truths are to be derived by the same standard. Descartes thus joins the question of what truth is to the question of by what intrinsic mark the mind knows that it has the truth, a problem less pressing for the ancients than for early modern method.

To secure the reliability of clear and distinct perception beyond the moment of intuition, Descartes appeals to God. A perfect being cannot be a deceiver; having endowed us with the faculty of clear and distinct perception, God cannot allow that faculty to mislead us when it is properly used. Without knowledge of such a God, even clear and distinct ideas would leave us without assurance that they have the perfection of being true. Truth therefore rests both on the mind's clarity and on the divine guarantee of its proper use. The account of error as a misuse of free will in relation to finite understanding belongs as much to the idea of Will as to the idea of Truth.

Descartes' criterion of clear and distinct ideas, his methodic doubt, and his first-person test of certainty set the terms of much early modern epistemology. Later empiricists will question how far clarity yields truth about matters of fact; Kant will retain a formal definition of truth as agreement of knowledge with its object while denying that the object is a thing in itself independent of the mind's forms.

Hume divides the objects of human reason into two kinds. Relations of ideas are the truths of mathematics and logic: propositions discoverable by pure thought, whose negation is contradictory, and whose certainty is of a kind that does not depend on what exists in nature. Matters of fact, by contrast, concern the way the world happens to be. They can be known only through experience, and their negation is always conceivable. Three times five equals half of thirty is true by the relations of the concepts involved; that the sun will rise tomorrow is not of that sort. The definition of truth as agreement with reality does not apply in the same way to both kinds.

This division, often called Hume's fork, bears directly on what can be claimed as knowledge of the world. Most of what we call ordinary knowledge is matter of fact: that fire burns, that bread nourishes, that one event follows another. None of these, Hume argues, can be demonstrated a priori. We believe them because experience has taught us to expect one thing regularly after another. Yet experience itself cannot ground the universal claim that such regularities will continue, for that claim goes beyond any finite series of observations. The problem of induction, treated also under the ideas of Induction and Hypothesis, thus becomes a problem about the certainty of empirical truth.

Hume's mitigated skepticism does not simply deny truth. It restricts what can be demonstrated and treats many judgments about the real world as probable rather than certain. Custom, not pure reason, is the great guide of human life in matters of fact. The mind's expectations are psychological habits as much as rational demonstrations. Whether probability can replace truth both as a basis for action and as the quality of our opinions about nature is one of the standing ways in which the skeptic continues the argument after the extreme denial of all distinction between true and false has been set aside.

Hume's fork and his analysis of inductive inference set terms for modern empiricism and for debates about the foundations of science. Kant will answer by locating necessary truths about causation and substance among the conditions of experience rather than among either pure relations of ideas or mere custom. William James will later treat the verification of ideas in experience as the practical mark of their truth without abandoning the language of agreement with reality.

Kant accepts the traditional nominal definition of truth, that it is the agreement of knowledge with its object, as granted. He then reframes what can count as an object for human knowledge. Objects as we experience them are not things in themselves independent of our cognitive constitution; they are appearances structured by the forms of intuition, space and time, and by the categories of the understanding, such as substance, causation, and unity. Truth, then, is the correspondence of judgment not to reality as it is in itself, but to objects as constituted for the knower. Once truth is defined as agreement with the object, the problem of a universal material criterion of truth remains, and Kant holds that no such criterion of content can be given.

This transcendental turn is Kant's reply to Hume. Necessary truths about causation and substance are not derived from experience and therefore threatened by the limits of induction; they are conditions of experience, required if any object is to be thinkable at all. 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 under those categories. Formal logic yields only a negative criterion of truth: freedom from contradiction is a necessary condition of all truth, but not a sufficient test of whether a cognition agrees with its object in content.

Kant's account makes truth both objective and mind-dependent in a precise sense. Objective, because judgments must conform to the structure of experience, not to individual caprice. Mind-dependent, because that structure is contributed by the knowing subject. Experience of nature, he writes, presents us with rules and is a source of truth in a way that ethical judgment is not simply parallel to. Practical and speculative truth thus remain distinguishable, as they were for Aristotle and Aquinas, though on different grounds. The wider theory of the mind's contribution to objects is treated under the ideas of Mind, Knowledge, and Form.

Kant preserves the definition of truth as agreement while relocating the object of that agreement within the conditions of possible experience. Hegel will reject any fixed isolation of proposition and object in favor of truth as the whole dialectical movement of thought. Later debates about realism and anti-realism continue to turn on whether the object of true judgment is independent of our modes of constitution.

Hegel refuses any conception of truth that treats it as a fixed property of isolated propositions matched to static objects. The true, he maintains, is the whole. A single judgment, however accurate within its limits, 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 merely a property of statements taken one by one, but of the total dialectical movement that includes their contradictions and resolutions.

This departs from correspondence theories that treat mind and world as fixed poles to be brought into agreement. For Hegel, what counts as true cannot be settled by matching propositions to unchanging objects, because neither thought nor the object of thought is, in the relevant sense, static. Thought and reality develop together through contradiction and sublation. Each stage in the history of consciousness, from sense-certainty through perception, understanding, self-consciousness, reason, and spirit, seems adequate in its own terms, reveals its inadequacy, and generates a more comprehensive stage. The philosopher's task is to follow that development rather than to freeze truth in a single definition.

Hegel's truth is therefore both historical and systematic. It cannot be grasped piecemeal as a list of certified propositions; it must be understood as the outcome of the whole process. Truth is its own self-movement. Everything depends, as he says, on grasping the true not only as substance but equally as subject. The relation of this process view to earlier doctrines of eternal verities, and to the accumulation of truth in the progress of learning, intersects the ideas of History, Dialectic, and Being.

Hegel converts truth from a static agreement into a developmental process. Later historicist, dialectical, and coherentist accounts of knowledge draw on this move; pragmatists such as James will keep the stress on process and consequence while refusing the claim that only the completed system is true.

William James accepts the traditional definition that truth consists in the agreement of our ideas with reality, and that falsity consists in their disagreement. What he offers, he insists against his critics, is not a new definition of the nature of truth but a new interpretation of what agreement means in practice. To agree with reality in the widest sense is to be guided toward it or into its surroundings, to handle either it or something connected with it better than if we disagreed. Any idea that helps us deal, practically or intellectually, with a reality or its belongings, and that adapts our life to that reality's whole setting, agrees sufficiently to meet the requirement. It will be true of that reality.

The important point for James is not only that truth consists in agreement with reality, but that true ideas are those we can assimilate, validate, corroborate, and verify. Whether we can do so depends on consequences for thought or action, what he calls truth's cash-value in experiential terms. Truth happens to an idea; it becomes true, is made true by events. An idea is not true by a stagnant property inherent in it apart from its working. In this respect James treats the signs or criteria of truth as central, whereas the ancients often took the nature of truth as settled and the problem of marks of truth as secondary. The pragmatic test looks mainly to extrinsic signs, to consequences rather than to an intrinsic glow of the idea itself.

James does not mean to reduce truth to mere private satisfaction. True ideas must be verified in experience, cohere with other beliefs, and lead us successfully. Correspondence theories are right that true ideas fit reality; they need only spell out what fitting means concretely. Coherence theories are right that truths form systems; they need only connect coherence to practice. Pragmatism, on James's showing, gathers these marks: confirmation, coherence, and successful guidance, tested in the ongoing stream of experience. Theories must also account for sensible experience and may be weighed, more controversially, for their appeal to aesthetic, emotional, and active needs. The moral and political aspects of truth-telling, lying, and the love of truth remain distinct from this epistemic account.

James closes much of the classical debate by shifting emphasis from the abstract nature of truth to the concrete marks of its verification. His pragmatism shapes later philosophy of science, Dewey's instrumentalism, and ongoing disputes about realism, relativism, and the nature of scientific truth under the ideas of Science, Experience, and Hypothesis.