Analytic–Synthetic Distinction

The analytic–synthetic distinction is a distinction between judgments or statements grounded in meanings or conceptual relations and those whose content goes beyond such relations. On a familiar formulation, an analytic statement is true in virtue of meaning, whereas a synthetic statement is not true on that basis alone. The distinction has played a central role in epistemology, philosophy of language, and debates about the foundations of mathematics. Its definition, scope, and philosophical significance remain disputed. (plato.stanford.edu)

Basic meaning and examples

A standard example of an analytic statement is “All bachelors are unmarried,” with bachelor understood in its ordinary sense of an unmarried adult man. Being unmarried is included in the relevant concept; denying the statement while preserving that meaning appears contradictory. “All bachelors are wealthy,” by contrast, is synthetic: the concept of a bachelor does not determine anyone’s financial circumstances. Its truth requires information beyond the meanings of its terms. (iep.utm.edu)

Two broad approaches should be distinguished:

• Conceptual accounts explain analyticity through relations among concepts, particularly the containment of a predicate concept within a subject concept.
• Linguistic accounts explain it through the meanings of expressions, definitions, or rules governing a language.

These approaches overlap, but are not automatically equivalent. A theory of conceptual structure need not identify concepts with dictionary definitions, and a theory of linguistic analyticity must explain which semantic relations make a statement analytic. (plato.stanford.edu)

The label analytic is usually applied to analytic truths. Contradictions arising from meaning are sometimes called analytically false. Synthetic statements, meanwhile, need not be true: syntheticity concerns their relation to meaning or conceptual content, not their truth value. (plato.stanford.edu)

Analyticity, knowledge, and necessity

The distinction must be separated from two related distinctions:

The first is principally conceptual or semantic, the second epistemological, and the third concerns modality. Learning a language through experience does not, by itself, make every statement understood in that language a posteriori. What matters is whether experience supplies the justification for the statement, rather than merely enabling someone to understand it. (iep.utm.edu)

Nor should necessary truth simply be identified with analytic truth. In influential accounts associated with Saul Kripke, identities involving rigidly designating expressions can be necessary while being discovered empirically. The identification of the morning star with the evening star—both Venus—is a standard example. Such cases distinguish metaphysical necessity from either conceptual containment or knowledge independent of experience. (iep.utm.edu)

Kant’s formulation

Although earlier discussions by Gottfried Wilhelm Leibniz and David Hume supplied important precedents, Immanuel Kant gave the distinction its canonical formulation in the Critique of Pure Reason, first published in 1781 and revised in 1787. For affirmative subject–predicate judgments, Kant called a judgment analytic when its predicate was contained in its subject concept, and synthetic when the predicate added something not contained there. (plato.stanford.edu)

Kant’s example “All bodies are extended” is analytic: extension is already included in his concept of a body. Analytic judgments clarify conceptual content; synthetic judgments enlarge it. Importantly, however, Kant did not equate synthetic judgments with empirical judgments. (plato.stanford.edu)

He recognized three fundamental combinations:

• Analytic a priori: judgments justified through analysis of concepts.
• Synthetic a posteriori: judgments whose justification depends on experience.
• Synthetic a priori: judgments that extend knowledge while being justified independently of experience.

His framework excludes analytic a posteriori judgments. The possibility of synthetic a priori knowledge became a central problem of his philosophy. (plato.stanford.edu)

Kant classified arithmetic, geometry, and certain fundamental principles of natural science as synthetic a priori. Their justification, on his account, involves more than extracting predicates from concepts: mathematical knowledge involves intuition, while principles governing experience depend on conditions under which objects can be experienced. These classifications belong to Kant’s philosophical theory rather than constituting an uncontested account of mathematical or scientific knowledge. (plato.stanford.edu)

Frege and logical analysis

Gottlob Frege shifted attention from the grammatical form of a judgment to the grounds of its proof. In The Foundations of Arithmetic (1884), he characterized analytic truths as those whose justification ultimately rests on general logical laws and definitions. This allowed analyticity to encompass complex consequences established through extended reasoning, rather than only immediately apparent conceptual containment. (sshieh.web.wesleyan.edu)

Frege’s logicist project sought to establish arithmetic as analytic by deriving its fundamental laws from logic and appropriate definitions. He thus rejected Kant’s classification of arithmetic while accepting that geometry involved synthetic truths. On this approach, an analytic result can be informative and difficult to discover: following from definitions and logical laws does not mean being psychologically obvious. (sshieh.web.wesleyan.edu)

Frege’s original formal foundations encountered Russell’s paradox. Consequently, his ambition to establish the analyticity of arithmetic must be distinguished from the success of his particular formal system. Later work on Fregean foundations investigates which logical resources and additional principles suffice to derive arithmetic. (plato.stanford.edu)

Logical empiricism and Carnap

In logical empiricism, analyticity offered a way to reconcile apparently a priori knowledge with empiricism. Logical empiricists generally rejected synthetic a priori knowledge and treated logic and mathematics as analytic rather than as sources of substantive knowledge about the empirical world independent of observation. (plato.sydney.edu.au)

Rudolf Carnap developed accounts of analyticity relative to explicitly specified linguistic frameworks. Within an artificial language, logical and semantic rules could determine which statements were analytic. Adopting or modifying a framework was a different matter from evaluating statements under its established rules. (plato.stanford.edu)

This creates an important distinction between describing natural language and constructing a formal language. A stipulated framework can provide precise criteria for analyticity without thereby proving that ordinary language possesses one uniquely determined analytic–synthetic boundary. Much of the disagreement between Carnap and Quine concerned the relationship between these projects. (plato.stanford.edu)

Quine’s criticism

Willard Van Orman Quine challenged the distinction in “Two Dogmas of Empiricism” (1951). His criticism targeted attempts to explain analyticity through meaning, synonymy, definition, or semantic rules without an independently adequate account of those notions. Definitions often presuppose synonymy, while explaining synonymy through analyticity risks circularity. Simply designating some rules “semantic” does not necessarily explain why they mark a philosophically significant boundary. (plato.stanford.edu)

Quine also advanced confirmation holism: statements about the world confront experience as interconnected bodies of belief rather than one by one. When predictions fail, revisions can occur at different points in the network, including background assumptions. Resistance to revision therefore need not establish a special category of truths insulated from empirical considerations. (plato.stanford.edu)

The criticism is not simply that ordinary speakers cannot distinguish definitions from factual reports. Its deeper target is the use of that distinction to establish a fundamental division between kinds of justification. In later writings Quine allowed a limited account of analyticity, but denied that it provided the epistemological separation traditionally sought. (plato.stanford.edu)

Defenses and continuing significance

Paul Grice and Peter Strawson defended the distinction in “In Defense of a Dogma” (1956). They argued that established uses of concepts such as meaning and synonymy support genuine distinctions even when no satisfactory reductive definition is available. Failure to analyze a concept in more basic terms does not automatically show that it lacks application. (iep.utm.edu)

The dispute leaves several questions separable: whether particular statements are intelligibly classified as analytic; whether analyticity can be precisely defined within a formal framework; and whether it explains necessity or a priori justification. Accepting one claim need not establish all the others. Carnap’s framework-relative approach and Quine’s epistemological criticism illustrate this separation particularly clearly. (plato.stanford.edu)

In analytic philosophy, the distinction also bears on conceptual analysis: whether examining concepts such as knowledge or causation can yield substantive philosophical results. The name of that philosophical tradition does not imply universal acceptance of analyticity. Its practitioners have included both prominent defenders and major critics of the distinction. (iep.utm.edu)

References

1. The Analytic/Synthetic Distinctionplato.stanford.edu
2. A Priori and A Posterioriiep.utm.edu
3. Kant's Theory of Judgmentplato.stanford.edu
4. Kant's Theory of Judgmentplato.stanford.edu
5. Kant’s Theory of Judgmentplato.stanford.edu
6. Kant’s Theory of Judgment: Completing the Picture of Kant’s Metaphysics of Judgmentplato.sydney.edu.au
7. Modal Metaphysicsiep.utm.edu
8. The Foundations of Arithmeticsshieh.web.wesleyan.edu
9. Frege's Theorem and Foundations for Arithmeticplato.stanford.edu
10. Logical Empiricismplato.sydney.edu.au
11. Rudolf Carnap: Carnap vs. Quine on the Analytic-Synthetic Distinctionplato.stanford.edu
12. Willard Van Orman Quineplato.stanford.edu