{"agent_id":"ayer","agent_name":"A.J. Ayer","slug":"empiricist-theory-of-meaning-and-the-analytic-synthetic-dist","label":"Empiricist theory of meaning and the analytic/synthetic distinction: are there only analytic and empirical truths, with no synthetic a priori?","topic":"Empiricist theory of meaning and the analytic/synthetic distinction","question":"Are there only analytic and empirical truths, with no synthetic a priori?","position":"Analytic propositions (the truths of logic and mathematics) are necessarily true but factually empty: they are tautologies that tell us nothing about the world, true in virtue of the meanings of the terms they contain. Synthetic propositions (the truths of natural science and ordinary empirical knowledge) are contingent and empirical: they make claims about the world that observation can confirm or disconfirm. The distinction is exhaustive: there is no third category of synthetic a priori truth. Kant's claim that the propositions of mathematics, the categorical imperative, and various metaphysical principles are synthetic and known a priori rests on confusions the verificationist analysis dissolves: the mathematical truths are analytic; the moral pronouncements are pseudo-propositions; the metaphysical principles are meaningless. Quine's 'Two Dogmas of Empiricism' (1951) attacked the analytic/synthetic distinction by arguing that no principled criterion of analyticity can be given without circularity, and that empirical confirmation is holistic (statements face the tribunal of experience as a body, not individually). The attack identifies real difficulties at the margins but does not establish that the distinction cannot be drawn or that the empiricist framework requires it to be sharp; the considered position preserves the distinction while acknowledging the holistic character of theory-confirmation Quine identified.","paragraphs":[[{"t":"Analytic propositions (the truths of logic and mathematics) are necessarily true but factually empty: they are tautologies that tell us nothing about the world, true in virtue of the meanings of the terms they contain.","n":[1]},{"t":"Synthetic propositions (the truths of natural science and ordinary empirical knowledge) are contingent and empirical: they make claims about the world that observation can confirm or disconfirm.","n":[]}],[{"t":"The distinction is exhaustive: there is no third category of synthetic a priori truth.","n":[]},{"t":"Kant's claim that the propositions of mathematics, the categorical imperative, and various metaphysical principles are synthetic and known a priori rests on confusions the verificationist analysis dissolves: the mathematical truths are analytic; the moral pronouncements are pseudo-propositions; the metaphysical principles are meaningless.","n":[2,3]}],[{"t":"Quine's 'Two Dogmas of Empiricism' (1951) attacked the analytic/synthetic distinction by arguing that no principled criterion of analyticity can be given without circularity, and that empirical confirmation is holistic (statements face the tribunal of experience as a body, not individually).","n":[4]},{"t":"The attack identifies real difficulties at the margins but does not establish that the distinction cannot be drawn or that the empiricist framework requires it to be sharp; the considered position preserves the distinction while acknowledging the holistic character of theory-confirmation Quine identified.","n":[5]}]],"texts":"Language, Truth and Logic (1936) Chapter 4 'The A Priori,' Chapter 1 on the verification principle, Chapter 5 on truth and probability; 'Truth' (Philosophical Essays 1954); the reply to David F. Pears on 'Ayer's Views on Meaning-Rules' (Hahn volume); the reply to Paul Gochet on 'On Sir Alfred Ayer's Theory of Truth' (Hahn volume); the reply to Francisco Miró Quesada on 'Ayer's Philosophy of Logic and Mathematics' (Hahn volume). Reception: W.V. Quine 'Two Dogmas of Empiricism' (Philosophical Review 1951) and 'On What There Is' (1948) for the central post-war attack; Saul Kripke Naming and Necessity (Harvard 1972/1980) for the necessary a posteriori category; Hilary Putnam 'The Meaning of Meaning' (1975) and 'Is It Necessary that Water is H2O?' (Hahn volume); Carnap's Meaning and Necessity (1947) and the Carnap-Quine debate; Paul Grice and P.F. Strawson 'In Defense of a Dogma' (1956).","works":["Language, Truth and Logic (1936) Chapter 4 'The A Priori,' Chapter 1 on the verification principle, Chapter 5 on truth and probability","'Truth' (Philosophical Essays 1954)","the reply to David F. Pears on 'Ayer's Views on Meaning-Rules' (Hahn volume)","the reply to Paul Gochet on 'On Sir Alfred Ayer's Theory of Truth' (Hahn volume)","the reply to Francisco Miró Quesada on 'Ayer's Philosophy of Logic and Mathematics' (Hahn volume)"],"reception":"W.V. Quine 'Two Dogmas of Empiricism' (Philosophical Review 1951) and 'On What There Is' (1948) for the central post-war attack; Saul Kripke Naming and Necessity (Harvard 1972/1980) for the necessary a posteriori category; Hilary Putnam 'The Meaning of Meaning' (1975) and 'Is It Necessary that Water is H2O?' (Hahn volume); Carnap's Meaning and Necessity (1947) and the Carnap-Quine debate; Paul Grice and P.F. Strawson 'In Defense of a Dogma' (1956).","status":"The empiricist account of meaning in LTL is one of the central twentieth-century positions in philosophy of language. Quine's 'Two Dogmas of Empiricism' (1951) is the central post-war attack; the Quine-Carnap debate runs through the 1950s and shapes the post-positivist tradition. Grice and Strawson 'In Defense of a Dogma' (1956) defended the distinction against Quine. Kripke's Naming and Necessity (1972/1980) introduced the necessary-a-posteriori category that the LTL framework had excluded; Putnam's natural-kind argument develops the same challenge. The empiricist account remains contested but is preserved in modified form by neo-Carnapians (Stalnaker, Chalmers) and by Ayer's late writings.","era":"1910-1989","discipline":"Philosophy","refs":[{"n":1,"work":"Language, Truth and Logic","page":"pp. 81–82","canonical":"","quote":"They will form a special class of analytic propositions, containing special terms, but they will be none the less analytic for that. For the criterion of an analytic proposition is that its validity should follow simply from the definition of the terms contained in it, and this condition is fulfilled by the propositions of pure mathematics.","label":"Language, Truth and Logic, pp. 81–82"},{"n":2,"work":"Language, Truth and Logic","page":"p. 78","canonical":"","quote":"I think that we can preserve the logical import of Kant's distinction between analytic and synthetic propositions, while avoiding the confusions which mar his actual account of it, if we say that a proposition is analytic when its validity depends solely on the definitions of the symbols it contains, and synthetic when its validity is determined by the facts of experience.","label":"Language, Truth and Logic, p. 78"},{"n":3,"work":"Intellectual Autobiography and Replies","page":"","canonical":"","quote":"Thus, the true propositions of mathematics are necessarily true, in Kant's system, because they flesh out the a priori intuitions that process the material to which our understanding applies its categories. But then, if one dismisses those ---------------------------------------- REPLY TO F. MIRO QUESADA 479 ---------------------------------------- REPLY TO F.","label":"Intellectual Autobiography and Replies"},{"n":4,"work":"Philosophy in the Twentieth Century","page":"pp. 258–259","canonical":"","quote":"The two dogmas, both of which Quine rejects, are first that there is a fundamental distinction between analytic and synthetic propositions and secondly the dogma of reductionism, 'the belief,' as he puts it, 'that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience'.4 An analytic proposition, as we have seen, is one that is supposed to be true solely in…","label":"Philosophy in the Twentieth Century, pp. 258–259"},{"n":5,"work":"The Central Questions of Philosophy","page":"p. 215","canonical":"","quote":"It is a general feature of our use of predicates that they are sorted into categories in such a way that if something is characterized at any given time by one member of a category it is not characterized by another. Thus, being red is incompatible with being blue in the same way as being round is incompatible with being square, or being just 2 inches long is incompatible with being 3 inches long.","label":"The Central Questions of Philosophy, p. 215"}],"answer":null,"siblings":[{"slug":"logical-positivism-verificationism","label":"Logical positivism / verificationism: are metaphysical statements literally meaningless because they fail the verification principle?"},{"slug":"emotivism","label":"Emotivism: are ethical statements expressions of attitude rather than descriptions of moral facts?"},{"slug":"phenomenalism-and-sense-data","label":"Phenomenalism and sense-data: are physical-object statements reducible to statements about actual and counterfactual sense-experience?"},{"slug":"causation-induction-probability","label":"Causation, induction, probability: is causation regular succession (Humean), and is induction justified through probability rather than necessary connection?"},{"slug":"other-minds-and-personal-identity","label":"Other minds and personal identity: is the argument from analogy the right route to knowledge of other minds, and is personal identity bodily-criterial with mental-continuity supplementation?"}]}