View source for Analytic–synthetic distinction

{{Short description|Semantic distinction in philosophy}}
{{for|the linguistic categories|Analytic language|Synthetic language}}
The '''analytic–synthetic distinction''' is a [[Semantics|semantic]] distinction used primarily in [[philosophy]] to distinguish between propositions (in particular, statements that are affirmative [[Subject (grammar)|subject]]–[[Predicate (grammar)|predicate]] judgments) that are of two types: '''analytic propositions''' and '''synthetic propositions'''. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.<ref name=Rey/>

While the distinction was first proposed by [[Immanuel Kant]], it was revised considerably over time, and different philosophers have used the terms in very different ways. Furthermore, some philosophers (starting with [[Willard Van Orman Quine]]) have questioned whether there is even a clear distinction to be made between propositions which are analytically true and propositions which are synthetically true.<ref name="SEP">{{cite web| title= The Analytic/Synthetic Distinction |url=https://plato.stanford.edu/entries/analytic-synthetic |website=Stanford Encyclopedia of Philosophy |access-date=7 July 2020}}</ref> Debates regarding the nature and usefulness of the distinction continue to this day in contemporary [[philosophy of language]].<ref name="SEP"/>

==Kant==
[[File:Immanuel Kant (painted portrait).jpg|thumb|upright=0.7|[[Immanuel Kant]]]]

===Conceptual containment===
The philosopher [[Immanuel Kant]] uses the terms "analytic" and "synthetic" to divide propositions into two types. Kant introduces the analytic–synthetic distinction in the Introduction to his ''[[Critique of Pure Reason]]'' (1781/1998, A6–7/B10–11). There, he restricts his attention to statements that are affirmative subject–predicate judgments and defines "analytic proposition" and "synthetic proposition" as follows:
* ''analytic proposition'': a proposition whose predicate concept is contained in its subject concept
* ''synthetic proposition'': a proposition whose predicate concept is ''not'' contained in its subject concept but related

Examples of analytic propositions, on Kant's definition, include:
* "All bachelors are unmarried."
* "All triangles have three sides."

Kant's own example is:
* "All bodies are extended": that is, they occupy space. (A7/B11)

Each of these statements is an affirmative subject–predicate judgment, and, in each, the predicate concept is ''contained'' within the subject concept. The concept "bachelor" contains the concept "unmarried"; the concept "unmarried" is part of the definition of the concept "bachelor". Likewise, for "triangle" and "has three sides", and so on.

Examples of synthetic propositions, on Kant's definition, include:
* "All bachelors are alone."
* "All creatures with hearts have kidneys."

Kant's own example is:
* "All bodies are heavy": that is, they experience a gravitational force. (A7/B11)

As with the previous examples classified as analytic propositions, each of these new statements is an affirmative subject–predicate judgment. However, in none of these cases does the subject concept contain the predicate concept. The concept "bachelor" does not contain the concept "alone"; "alone" is not a part of the ''definition'' of "bachelor". The same is true for "creatures with hearts" and "have kidneys"; even if every creature with a heart also has kidneys, the concept "creature with a heart" does not contain the concept "has kidneys".
So the philosophical issue is: What kind of statement is "Language is used to transmit meaning"?

===Kant's version and the ''a priori''–''a posteriori'' distinction===
{{main|A priori and a posteriori}}
In the Introduction to the ''[[Critique of Pure Reason]]'', Kant contrasts his distinction between analytic and synthetic propositions with another distinction, the distinction between [[a priori and a posteriori|''a priori'']] and [[Empirical evidence|''a posteriori'']] propositions. He defines these terms as follows:
* ''a priori proposition'': a proposition whose justification does ''not'' rely upon experience. Moreover, the proposition can be validated by experience, but is not grounded in experience. Therefore, it is logically necessary.
* ''a posteriori proposition'': a proposition whose justification does rely upon experience. The proposition is validated by, and grounded in, experience. Therefore, it is logically contingent.

Examples of ''a priori'' propositions include:
* "All bachelors are unmarried."
* "7 + 5 = 12."

The justification of these propositions does not depend upon experience: one need not consult experience to determine whether all bachelors are unmarried, nor whether {{nowrap|1=7 + 5 = 12}}. (Of course, as Kant would grant, experience is required to understand the concepts "bachelor", "unmarried", "7", "+" and so forth. However, the ''a priori''–''a posteriori'' distinction as employed here by Kant refers not to the ''origins'' of the concepts but to the ''justification'' of the propositions. Once we have the concepts, experience is no longer necessary.)

Examples of ''a posteriori'' propositions include:
* "All bachelors are unhappy."
* "Tables exist."

Both of these propositions are ''a posteriori'': any justification of them would require one's experience.

The analytic–synthetic distinction and the ''a priori''–''a posteriori'' distinction together yield four types of propositions:
* analytic ''a priori''
* synthetic ''a priori''
* analytic ''a posteriori''
* synthetic ''a posteriori''

Kant posits the third type as obviously self-contradictory. Ruling it out, he discusses only the remaining three types as components of his epistemological framework{{mdash}}each, for brevity's sake, becoming, respectively, "analytic", "synthetic ''a priori''", and "empirical" or "''a posteriori''" propositions. This triad accounts for all propositions possible. Examples of analytic and examples of ''a posteriori'' statements have already been given, for synthetic ''a priori'' propositions he gives those in mathematics and physics. <!-- A more concrete example would be welcome. -->

===The ease of knowing analytic propositions===
Part of Kant's argument in the Introduction to the ''[[Critique of Pure Reason]]'' involves arguing that there is no problem figuring out how knowledge of analytic propositions is possible. To know an analytic proposition, Kant argued, one need not consult experience. Instead, one needs merely to take the subject and "extract from it, in accordance with the principle of contradiction, the required predicate" (B12). In analytic propositions, the predicate concept is contained in the subject concept. Thus, to know an analytic proposition is true, one need merely examine the concept of the subject. If one finds the predicate contained in the subject, the judgment is true.

Thus, for example, one need not consult experience to determine whether "All bachelors are unmarried" is true. One need merely examine the subject concept ("bachelors") and see if the predicate concept "unmarried" is contained in it. And in fact, it is: "unmarried" is part of the definition of "bachelor" and so is contained within it. Thus the proposition "All bachelors are unmarried" can be known to be true without consulting experience.

It follows from this, Kant argued, first: All analytic propositions are ''a priori''; there are no ''a posteriori'' analytic propositions. It follows, second: There is no problem understanding how we can know analytic propositions; we can know them because we only need to consult our concepts in order to determine that they are true.

===The possibility of metaphysics===
After ruling out the possibility of analytic ''a posteriori'' propositions, and explaining how we can obtain knowledge of analytic ''a priori'' propositions, Kant also explains how we can obtain knowledge of synthetic ''a posteriori'' propositions. That leaves only the question of how knowledge of synthetic ''a priori'' propositions is possible. This question is exceedingly important, Kant maintains, because all scientific knowledge (for him Newtonian physics and mathematics) is made up of synthetic ''a priori'' propositions. If it is impossible to determine which synthetic ''a priori'' propositions are true, he argues, then metaphysics as a discipline is impossible. The remainder of the ''[[Critique of Pure Reason]]'' is devoted to examining whether and how knowledge of synthetic ''a priori'' propositions is possible.<ref name=Langford1949>See [[Cooper Harold Langford]] (1949)'s ostensive proof: {{cite journal|title= A Proof That Synthetic A Priori Propositions Exist|journal= The Journal of Philosophy |volume= 46|number= 1| date= 1949-01-06|pages= 20–24 |jstor=2019526 |last1= Langford|first1= C. H.|author-link1=Cooper Harold Langford|doi= 10.2307/2019526 }}</ref>

=== Mathematics and Synthetic Apriori Propositions. ===

One example Kant gives of a possibly synthetic apriori propositions are the propositions of mathematics. The mathematical equation that 10 = 0.2x 50 is true regardless of experience thus making it apriori, but not analytic. Mathematical propositions are not analytic in that 10 does not self evidently contain 0.2x50, in the same way that the concept bachelor contains the categories of unmarried and male.

=== The Importance of Synthetic Apriori Propositions to Kant's metaphysics ===

Kant's advocacy for his metaphysics in [[Critique of Pure Reason|''Critique of Pure Reason'']] can be seen as relying on the possibility of synthetic apriori claims. If synthetic apriori propositions are possible, it supposes a certain metaphysical worldview, much of the Critique of Pure reason then relies on the possibility of synthetic apriori propositions to justify a worldview. One could reduce Kant's argument into a simple form: If Kant's metaphysics is true, then synthetic apriori propositions are possible.

==Frege and the logical positivists==

===Frege revision of Kantian definition===
Over a hundred years later, a group of philosophers took interest in Kant and his distinction between analytic and synthetic propositions: the [[Logical positivism|logical positivists]].

Part of Kant's examination of the possibility of synthetic ''a priori'' knowledge involved the examination of mathematical propositions, such as
* "7 + 5 = 12." (B15–16)
* "The shortest distance between two points is a straight line." (B16–17)

Kant maintained that mathematical propositions such as these are synthetic ''a priori'' propositions, and that we know them. That they are synthetic, he thought, is obvious: the concept "equal to 12" is not contained within the concept "7 + 5"; and the concept "straight line" is not contained within the concept "the shortest distance between two points". From this, Kant concluded that we have knowledge of synthetic ''a priori'' propositions.

Although not strictly speaking a logical positivist, [[Gottlob Frege]]'s notion of analyticity influenced them greatly. It included a number of logical properties and relations beyond containment: [[symmetry]], [[transitive relation|transitivity]], [[antonymy]], or [[negation]] and so on. He had a strong emphasis on formality, in particular formal definition, and also emphasized the idea of substitution of synonymous terms. "All bachelors are unmarried" can be expanded out with the formal definition of bachelor as "unmarried man" to form "All unmarried men are unmarried", which is recognizable as tautologous and therefore analytic from its logical form: any statement of the form "All ''X'' that are (''F'' and ''G'') are ''F''". Using this particular expanded idea of analyticity, Frege concluded that Kant's examples of arithmetical truths are analytical ''a priori'' truths and ''not'' synthetic ''a priori'' truths.

{{quote|1=Thanks to Frege's logical semantics, particularly his concept of analyticity, arithmetic truths like "7+5=12" are no longer synthetic ''a priori'' but analytical ''a priori'' truths in [[Carnap]]'s extended sense of "analytic".
Hence logical empiricists are not subject to Kant's criticism of Hume for throwing out mathematics along with metaphysics.<ref name=Katz/>}}

(Here "logical empiricist" is a synonym for "logical positivist".)

===The origin of the logical positivist's distinction===
The logical positivists agreed with Kant that we have knowledge of mathematical truths, and further that mathematical propositions are ''a priori''. However, they did not believe that any complex metaphysics, such as the type Kant supplied, are necessary to explain our knowledge of mathematical truths. Instead, the logical positivists maintained that our knowledge of judgments like "all bachelors are unmarried" and our knowledge of mathematics (and logic) are in the basic sense the same: all proceeded from our knowledge of the meanings of terms or the conventions of language.

{{quote|Since empiricism had always asserted that ''all'' knowledge is based on experience, this assertion had to include knowledge in mathematics. On the other hand, we believed that with respect to this problem the rationalists had been right in rejecting the old empiricist view that the truth of "<nowiki>2+2=4</nowiki>" is contingent on the observation of facts, a view that would lead to the unacceptable consequence that an arithmetical statement might possibly be refuted tomorrow by new experiences. Our solution, based upon [[Wittgenstein]]'s conception, consisted in asserting the thesis of empiricism only for factual truth. By contrast, the truths of logic and mathematics are not in need of confirmation by observations, because they do not state anything about the world of facts, they hold for any possible combination of facts.<ref name=Schlipp/><ref name=Friedman/>|Rudolf Carnap|"Autobiography": §10: Semantics, p. 64}}

===Logical positivist definitions===
Thus the logical positivists drew a new distinction, and, inheriting the terms from Kant, named it the "analytic-synthetic distinction".<ref name=Ebbs/> They provided many different definitions, such as the following:
* ''analytic proposition'': a proposition whose truth depends solely on the meaning of its terms
* ''analytic proposition'': a proposition that is true (or false) by definition
* ''analytic proposition'': a proposition that is made true (or false) solely by the conventions of language

(While the logical positivists believed that the only necessarily true propositions were analytic, they did not define "analytic proposition" as "necessarily true proposition" or "proposition that is true in all possible worlds".)

Synthetic propositions were then defined as:
* ''synthetic proposition'': a proposition that is not analytic

These definitions applied to all propositions, regardless of whether they were of subject–predicate form. Thus, under these definitions, the proposition "It is raining or it is not raining" was classified as analytic, while for Kant it was analytic by virtue of its logical form. And the proposition "{{nowrap|1=7 + 5 = 12}}" was classified as analytic, while under Kant's definitions it was synthetic.
<!-- Suppressed, as it is not clear why it is in this section; this should either be contrasted with logical positivist views or moved to the section on Kant himself:
  For Kant, the proposition "a triangle has three angles and three sides" is analytic, while "the sum of a triangle's angles is 180°" is synthetic.
-->

==Two-dimensionalism==
[[Two-dimensionalism]] is an approach to [[semantics]] in [[analytic philosophy]]. It is a theory of how to determine the [[sense and reference]] of a [[word]] and the [[truth-value]] of a [[sentence (linguistics)|sentence]]. It is intended to resolve a puzzle that has plagued philosophy for some time, namely: How is it possible to discover empirically that a [[necessary truth]] is [[Truth|true]]? Two-dimensionalism provides an analysis of the semantics of words and sentences that makes sense of this possibility. The theory was first developed by [[Robert Stalnaker]], but it has been advocated by numerous philosophers since, including [[David Chalmers]] and [[Berit Brogaard]].

Any given sentence, for example, the words,
:"Water is H<sub>2</sub>O"

is taken to express two distinct [[proposition]]s, often referred to as a ''primary intension'' and a ''secondary intension'', which together compose its [[Meaning (philosophy of language)|meaning]].<ref name=Chalmers/>

The primary [[intension]] of a word or sentence is its [[sense and reference|sense]], i.e., is the idea or method by which we find its referent. The primary intension of "water" might be a description, such as ''watery stuff''. The thing picked out by the primary intension of "water" could have been otherwise. For example, on some other world where the inhabitants take "water" to mean ''watery stuff'', but, where the chemical make-up of watery stuff is not H<sub>2</sub>O, it is not the case that water is H<sub>2</sub>O for that world.

The ''secondary intension'' of "water" is whatever thing "water" happens to pick out in ''this'' world, whatever that world happens to be. So if we assign "water" the primary intension ''watery stuff'' then the secondary intension of "water" is H<sub>2</sub>O, since H<sub>2</sub>O is ''watery stuff'' in this world. The secondary intension of "water" in our world is H<sub>2</sub>O, which is H<sub>2</sub>O in every world because unlike ''watery stuff'' it is impossible for H<sub>2</sub>O to be other than H<sub>2</sub>O. When considered according to its secondary intension, "Water is H<sub>2</sub>O" is true in every world.

If two-dimensionalism is workable it solves some very important problems in the philosophy of language. [[Saul Kripke]] has argued that "Water is H<sub>2</sub>O" is an example of the [[A posteriori necessity|necessary ''a posteriori'']], since we had to discover that water was H<sub>2</sub>O, but given that it is true, it cannot be false. It would be absurd to claim that something that is water is not H<sub>2</sub>O, for these are known to be ''identical''.

==Carnap's distinction==
[[Rudolf Carnap]] was a strong proponent of the distinction between what he called "internal questions", questions entertained within a "framework" (like a mathematical theory), and "external questions", questions posed outside any framework&nbsp;– posed before the adoption of any framework.<ref name=Carnap/><ref name=Russell/><ref name=Murzi/> The "internal" questions could be of two types: ''logical'' (or analytic, or logically true) and ''factual'' (empirical, that is, matters of observation interpreted using terms from a framework). The "external" questions were also of two types: those that were confused pseudo-questions ("one disguised in the form of a theoretical question") and those that could be re-interpreted as practical, pragmatic questions about whether a framework under consideration was "more or less expedient, fruitful, conducive to the aim for which the language is intended".<ref name=Carnap/> The adjective "synthetic" was not used by Carnap in his 1950 work ''Empiricism, Semantics, and Ontology''.<ref name=Carnap/> Carnap did define a "synthetic truth" in his work ''[[Meaning and Necessity]]'': a sentence that is true, but not simply because "the semantical rules of the system suffice for establishing its truth".<ref name=Carnap2/>

The notion of a synthetic truth is of something that is true both because of what it means and because of the way the world is, whereas analytic truths are true in virtue of meaning alone. Thus, what Carnap calls internal ''factual'' statements (as opposed to internal ''logical'' statements) could be taken as being also synthetic truths because they require ''observations'', but some external statements also could be "synthetic" statements and Carnap would be doubtful about their status. The analytic–synthetic argument therefore is not identical with the [[internal–external distinction]].<ref name=Yablo/>

==Quine's criticisms==
{{See also|Willard Van Orman Quine#Rejection of the analytic–synthetic distinction|Two Dogmas of Empiricism#Analyticity and circularity}}
In 1951, [[Willard Van Orman Quine]] published the essay "[[Two Dogmas of Empiricism]]" in which he argued that the analytic–synthetic distinction is untenable.<ref name=Dogmas/> The argument at bottom is that there are no "analytic" truths, but all truths involve an empirical aspect. In the first paragraph, Quine takes the distinction to be the following:
* analytic propositions&nbsp;– propositions grounded in meanings, independent of matters of fact.
* synthetic propositions&nbsp;– propositions grounded in fact.

Quine's position denying the analytic–synthetic distinction is summarized as follows:
{{quote|It is obvious that truth in general depends on both language and extralinguistic fact. ... Thus one is tempted to suppose in general that the truth of a statement is somehow analyzable into a linguistic component and a factual component. Given this supposition, it next seems reasonable that in some statements the factual component should be null; and these are the analytic statements. But, for all its ''a priori'' reasonableness, a boundary between analytic and synthetic statements simply has not been drawn. That there is such a distinction to be drawn at all is an unempirical dogma of empiricists, a metaphysical article of faith.<ref name=Quine4/>|Willard V. O. Quine|"Two Dogmas of Empiricism", p. 64}}

To summarize Quine's argument, the notion of an analytic proposition requires a notion of synonymy, but establishing synonymy inevitably leads to matters of fact&nbsp;– synthetic propositions. Thus, there is no non-circular (and so no tenable) way to ground the notion of analytic propositions.

While Quine's rejection of the analytic–synthetic distinction is widely known, the precise argument for the rejection and its status is highly debated in contemporary philosophy. However, some (for example, [[Paul Boghossian]])<ref name=Boghossian/> argue that Quine's rejection of the distinction is still widely accepted among philosophers, even if for poor reasons.

===Responses===
[[Paul Grice]] and [[P. F. Strawson]] criticized "Two Dogmas" in their 1956 article "In Defense of a Dogma".<ref name=Defense/> Among other things, they argue that Quine's [[skepticism]] about synonyms leads to a skepticism about meaning. If statements can have meanings, then it would make sense to ask "What does it mean?". If it makes sense to ask "What does it mean?", then synonymy can be defined as follows: Two sentences are synonymous if and only if the true answer of the question "What does it mean?" asked of one of them is the true answer to the same question asked of the other. They also draw the conclusion that discussion about correct or incorrect translations would be impossible given Quine's argument. Four years after Grice and Strawson published their paper, Quine's book ''[[Word and Object]]'' was released. In the book Quine presented his theory of [[indeterminacy of translation]].

In ''Speech Acts'', [[John Searle]] argues that from the difficulties encountered in trying to explicate analyticity by appeal to specific criteria, it does not follow that the notion itself is void.<ref name=Searle/> Considering the way that we would test any proposed list of criteria, which is by comparing their extension to the set of analytic statements, it would follow that any explication of what analyticity means presupposes that we already have at our disposal a working notion of analyticity.

In "'Two Dogmas' Revisited", [[Hilary Putnam]] argues that Quine is attacking two different notions:<ref name=Putnam/>
{{quote|It seems to me there is as gross a distinction between 'All bachelors are unmarried' and 'There is a book on this table' as between any two things in this world, or at any rate, between any two linguistic expressions in the world;<ref name=Putnam2/>|Hilary Putnam|''Philosophical Papers'', p. 36}}

Analytic truth defined as a true statement derivable from a [[Tautology (logic)|tautology]] by putting synonyms for synonyms is near Kant's account of analytic truth as a truth whose negation is a contradiction. Analytic truth defined as a truth confirmed no matter what, however, is closer to one of the traditional accounts of ''a priori''. While the first four sections of Quine's paper concern analyticity, the last two concern a-priority. Putnam considers the argument in the two last sections as independent of the first four, and at the same time as Putnam criticizes Quine, he also emphasizes his historical importance as the first top-rank philosopher to both reject the notion of a-priority and sketch a methodology without it.<ref name=Putnam1/>

[[Jerrold Katz]], a one-time associate of [[Noam Chomsky]], countered the arguments of "Two Dogmas" directly by trying to define analyticity non-circularly on the syntactical features of sentences.<ref name=Linsky/><ref name=Quine/><ref name=Katz1/> Chomsky himself critically discussed Quine's conclusion, arguing that it is possible to identify some analytic truths (truths of meaning, not truths of facts) which are determined by specific relations holding among some innate conceptual features of the mind or brain.<ref name="Cipriani">{{cite journal | last1 = Cipriani | first1 = Enrico| year = 2017 | title = Chomsky on analytic and necessary propositions| journal = Phenomenology and Mind| volume = 12| pages = 122–31}}</ref>

In ''Philosophical Analysis in the Twentieth Century, Volume 1: The Dawn of Analysis'', [[Scott Soames]] pointed out that Quine's circularity argument needs two of the logical positivists' central theses to be effective:<ref name=Soames/>

:All necessary (and all ''a priori'') truths are analytic.

:Analyticity is needed to explain and legitimate necessity.

It is only when these two theses are accepted that Quine's argument holds. It is not a problem that the notion of necessity is presupposed by the notion of analyticity if necessity can be explained without analyticity. According to Soames, both theses were accepted by most philosophers when Quine published "Two Dogmas". Today, however, Soames holds both statements to be antiquated. He says: "Very few philosophers today would accept either [of these assertions], both of which now seem decidedly antique."<ref name=Soames/>

==In other fields==
This distinction was imported from philosophy into theology, with [[Albrecht Ritschl]] attempting to demonstrate that Kant's epistemology was compatible with Lutheranism.<ref>{{cite journal |doi=10.5840/faithphil1989619 |url=https://www.researchgate.net/publication/314475752|title=Immanuel Kant: A Christian Philosopher?|year=1989|last1=Palmquist|first1=Stephen|journal=Faith and Philosophy|volume=6|pages=65–75|doi-access=free}}</ref>

==See also==
* [[Holophrastic indeterminacy]]
* [[Paradox of analysis]]
* [[Failure to elucidate]]

==Footnotes==
{{Reflist |refs=
<ref name=Boghossian>
{{cite journal |title=Analyticity Reconsidered |author=Paul Artin Boghossian |journal= Noûs |volume=30 |issue=3 |pages=360–391 |url=http://www.nyu.edu/gsas/dept/philo/faculty/boghossian/papers/AnalyticityReconsidered.html |date=August 1996 |doi=10.2307/2216275|jstor=2216275 |url-access=subscription }}
</ref>

<ref name=Carnap>
{{cite journal |journal=Revue Internationale de Philosophie |volume=4 |year=1950 |pages=20–40|url=https://www.ditext.com/carnap/carnap.html |title=Empiricism, Semantics, and Ontology |author=Rudolf Carnap}} Reprinted in the ''Supplement to Meaning and Necessity: A Study in Semantics and Modal Logic'', enlarged edition (University of Chicago Press, 1956).
</ref>

<ref name=Carnap2>
{{cite book |title=Meaning and Necessity: A study in semantics and modal logic |author=Rudolf Carnap |url=https://archive.org/stream/meaningandnecess033225mbp/meaningandnecess033225mbp_djvu.txt |edition=2nd |publisher=University of Chicago |year=1947 |isbn=978-0226093475}}[https://books.google.com/books?id=SiH15ghjVaAC  Google link to Midway reprint].
</ref>

<ref name=Chalmers>
For a fuller explanation see Chalmers, David. ''The Conscious Mind''. Oxford UP: 1996. Chapter 2, section 4.
</ref>

<ref name=Defense>
{{cite journal |title=In Defense of a Dogma |author1=H. P. Grice  |author2=P. F. Strawson  |name-list-style=amp |pages=41–158 |journal=The Philosophical Review  |volume= 65 |date=April 1956 |jstor=2182828 |issue=2 |doi=10.2307/2182828 }}
</ref>

<ref name=Dogmas>
{{cite journal |journal=The Philosophical Review |volume=60 |issue=1 |year=1951 |pages=20–43 |author=Willard v.O. Quine |doi=10.2307/2181906 |title=Main Trends in Recent Philosophy: Two Dogmas of Empiricism|jstor=2181906 }} Reprinted in W.V.O. Quine, From a Logical Point of View (Harvard University Press, 1953; second, revised, edition 1961) On-line versions at [http://www.calculemus.org/lect/06transl/quine1.html http://www.calculemus.org] and [http://faculty.unlv.edu/jwood/wm/Quine.pdf Woodbridge] {{webarchive |url=https://web.archive.org/web/20130228133303/http://faculty.unlv.edu/jwood/wm/Quine.pdf |date=February 28, 2013 }}.
</ref>

<ref name=Ebbs>
{{cite book |title=Rule-Following and Realism|chapter=§51 A first sketch of the pragmatic roots of Carnap's analytic-synthetic distinction |chapter-url=https://books.google.com/books?id=pCQ88ZUAoFMC&pg=PA101 |pages =101 ''ff'' |author=Gary Ebbs |isbn=978-0674034419 |year=2009 |publisher=Harvard University Press}}
</ref>

<ref name=Friedman>
This quote is found with a discussion of the differences between Carnap and Wittgenstein in {{cite book |title=Early Analytic Philosophy: Frege, Russell, Wittgenstein |editor1=William W. Tait |editor2=Leonard Linsky |editor2-link=Leonard Linsky |author=Michael Friedman |chapter=Carnap and Wittgenstein's ''Tractatus'' |page=29 |chapter-url=https://books.google.com/books?id=eNA_TdDTNkMC&pg=PA29 |isbn=978-0812693447 |year=1997 |publisher=Open Court Publishing}}
</ref>

<ref name=Katz>
{{cite book |title=Realistic Rationalism |author=Jerrold J. Katz |chapter-url=https://books.google.com/books?id=szCaXDdhID8C&pg=PA69 |page=69 |chapter=The epistemic challenge to antirealism |isbn=978-0262263290 |year=2000 |publisher=MIT Press}}
</ref>

<ref name=Katz1>
{{cite journal |url=http://www.psiquadrat.de/downloads/katz74.pdf |author=Jerrold J Katz |title=Where Things Stand Now with the Analytical/Synthetic Distinction |journal=Synthese |volume=28 |year=1974 |pages=283–319 |issue=3–4 |doi=10.1007/BF00877579|s2cid=26340509 }}
</ref>

<ref name=Linsky>
{{cite journal |author= Leonard Linsky |title=Analytical/Synthetic and Semantic Theory |journal=Synthese |date=October 1970 |volume=21 |pages=439–448 |jstor=20114738 |issue=3/4 |doi= 10.1007/BF00484810|s2cid=46959463 }} Reprinted in {{cite book |title=Semantics of natural language |pages= 473–482 |isbn=978-9027703040 |year=1973 |editor1=Donald Davidson |editor2=Gilbert Harman |edition=2nd|doi= 10.1007/978-94-010-2557-7_16 |chapter= Analytic/Synthetic and Semantic Theory }}
</ref>

<ref name=Murzi>
{{cite encyclopedia |author=Mauro Murzi |url=http://www.iep.utm.edu/carnap/#H3 |title=Rudolf Carnap: §3. Analytic and Synthetic |encyclopedia=Internet Encyclopedia of Philosophy |date=April 12, 2001}}
</ref>

<ref name=Putnam>
{{cite book |title=Realism and Reason: Philosophical Papers Volume 3, Realism and Reason |author=Hilary Putnam |isbn=9780521246729 |year=1983 |url=https://books.google.com/books?id=HAjfSA3ir3kC&pg=PA87 |pages=87–97|publisher=Cambridge University Press }}
</ref>

<ref name=Putnam1>
Putnam, Hilary, "'Two dogmas' revisited." In Gilbert Ryle, ''Contemporary Aspects of Philosophy.'' Stocksfield: Oriel Press, 1976, 202–213.
</ref>

<ref name=Putnam2>
{{cite book |url=https://books.google.com/books?id=_0W5ByvEPEgC&pg=PA36 |title=Philosophical Papers: Volume 2, Mind, Language and Reality |page=36 |author=Hilary Putnam |publisher=Harvard University Press |isbn=978-0521295512 |year=1979}}
</ref>

<ref name=Rey>
{{cite encyclopedia|last=Rey|first=Georges|title=The Analytic/Synthetic Distinction|url=http://plato.stanford.edu/entries/analytic-synthetic/|encyclopedia=The Stanford Encyclopedia of Philosophy (Winter 2010 Edition)|access-date=February 12, 2012}}
</ref>

<ref name=Russell>
{{cite web |url=http://www.oxfordbibliographies.com/view/document/obo-9780195396577/obo-9780195396577-0044.xml |author=Gillian Russell |title=Analytic/Synthetic Distinction |work=Oxford Bibliographies |access-date=2013-05-16 |date=2012-11-21}}
</ref>

<ref name=Schlipp>
Reprinted in: {{cite book |author=Carnap, R. |title=The Philosophy of Rudolf Carnap |editor= Paul Arthur Schilpp |chapter=Autobiography |year=1999 |publisher=Open Court Publishing Company |chapter-url=https://www.scribd.com/doc/62133298/The-Philosophy-of-Rudolf-Carnap |page=64 |isbn=978-0812691535}}
</ref>

<ref name=Searle>
{{cite book |author=Searle, John R. |title=Speech Acts: An Essay in the Philosophy of Language |publisher=Cambridge University Press |year=1969 |page= 5 |url=https://books.google.com/books?id=t3_WhfknvF0C&pg=PA5 |isbn= 978-0521096263}}
</ref>

<ref name=Soames>
{{cite book |title='Philosophical Analysis in the Twentieth Century, Volume 1: The Dawn of Analysis |author=Scott Soames |page =360 |chapter=Evaluating the circularity argument |chapter-url=https://books.google.com/books?id=yIldd9K9Rm0C&pg=PA360 |isbn=978-1400825790 |year=2009 |publisher=Princeton University Press}} There are several earlier versions of this work.
</ref>

<ref name=Quine>
{{cite journal |author=Willard v O Quine  |title=On a Suggestion of Katz |journal=The Journal of Philosophy |volume=64 |date=February 2, 1967 |pages=52–54 |jstor=2023770 |issue=2 |doi=10.2307/2023770}}
</ref>

<ref name=Quine4>
{{cite book |page=60  |chapter=Chapter 2: W.V. Quine: Two dogmas of empiricism |chapter-url=https://books.google.com/books?id=iaXVXYDQN1oC&pg=PA60 |title=Challenges to empiricism |author=Willard v O Quine |editor=Harold Morick |isbn=978-0915144907 |publisher=Hackett Publishing |year=1980}} Published earlier in ''From a Logical Point of View'', Harvard University Press (1953)
</ref>

<ref name=Yablo>
{{cite journal |url=http://www.nyu.edu/gsas/dept/philo/courses/factual/papers/YabloMistake.pdf |title=Does ontology rest upon a mistake? |author=Stephen Yablo |journal=Aristotelian Society Supplementary Volume |year=1998  |volume=72 |pages=229–262 |quote=The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association |issue=1 |doi=10.1111/1467-8349.00044}}
</ref>
}}

==References and further reading==
* {{cite encyclopedia |author=Baehr, Jason S. |title=A Priori and A Posteriori |encyclopedia=The Internet Encyclopedia of Philosophy |editor1=J. Fieser |editor2=B. Dowden |date=October 18, 2006 |url=http://www.iep.utm.edu/apriori/}}
* Boghossian, Paul. (1996). [http://www.nyu.edu/gsas/dept/philo/faculty/boghossian/papers/AnalyticityReconsidered.html "Analyticity Reconsidered"]. ''Nous'', Vol. 30, No. 3, pp.&nbsp;360–391.
* {{cite book |title=Analyticity |author1=Cory Juhl |author2=Eric Loomis |isbn=978-0415773331 |year=2009 |url=https://books.google.com/books?id=2yALcKePVDIC |publisher=Routledge}}
* {{cite book|last1=Glock|first1=Hans-Johann|last2=Gluer|first2=Kathrin|last3=Keil|first3=Geert|title=Fifty Years of Quine's "Two dogmas"|date=2003|publisher=Rodopi|isbn=978-9042009486}}
* Kant, Immanuel. (1781/1998). ''The Critique of Pure Reason''. Trans. by P. Guyer and A.W. Wood, Cambridge University Press .
* Rey, Georges. (2003). [http://plato.stanford.edu/entries/analytic-synthetic/ "The Analytic/Synthetic Distinction"]. ''The Stanford Encyclopedia of Philosophy'', Edward Zalta (ed.).
* {{cite book |author=Soames, Scott |chapter=Chapter 14: Ontology, Analyticity and Meaning: The Quine-Carnap Dispute |title=Metametaphysics: New Essays on the Foundations of Ontology |editor1=David John Chalmers |editor2=David Manley |editor3=Ryan Wasserman |chapter-url=http://www-bcf.usc.edu/~soames/sel_pub/Quine_Carnap.pdf |publisher=Oxford University Press |year=2009 |isbn=978-0199546046 }}{{Dead link|date=February 2022 |bot=InternetArchiveBot |fix-attempted=yes }}
* {{cite book |title=American Philosophy: An Encyclopedia |chapter=Analytic: Analytic/Synthetic |author=Frank X Ryan |chapter-url=https://books.google.com/books?id=KmUTkreTEQsC&pg=PA36 |pages=36–39 |editor1=John Lachs |editor2=Robert B. Talisse |isbn=978-0203492796 |publisher=Psychology Press |year=2004}}
* Quine, W. V. (1951). [https://www.ditext.com/quine/quine.html "Two Dogmas of Empiricism"]. ''Philosophical Review'', Vol.60, No.1, pp.&nbsp;20–43. Reprinted in ''From a Logical Point of View'' (Cambridge, MA: Harvard University Press, 1953).
* {{cite journal |url= https://www.researchgate.net/publication/267794526_The_Return_of_the_Analytic-Synthetic_Distinction |author= Robert Hanna |title= The return of the analytic-synthetic distinction |journal =Paradigmi |year=2012}}
* {{Cite journal|last=Sloman|first=Aaron|date=1965-10-01|title='Necessary', 'a priori' and 'analytic'|journal=Analysis|language=en|volume=26|issue=1|pages=12–16|doi=10.1093/analys/26.1.12}}

==External links==
* {{cite SEP |url-id=analytic-synthetic |title=The Analytic/Synthetic Distinction}}
* {{IEP|quine-an|Willard Van Orman Quine: The Analytic/Synthetic Distinction}}
* {{IEP|apriori/#H2}}
* {{InPho|idea|1328}}
* {{PhilPapers|category|the-analytic-synthetic-distinction}}

{{Navboxes
|list =
{{analytic philosophy}}
{{epistemology}}
{{philosophy of science}}
{{logic}}
{{Jurisprudence}}
}}

{{Authority control}}

{{DEFAULTSORT:Analytic-synthetic distinction}}
[[Category:Philosophical logic]]
[[Category:Conceptual distinctions]]
[[Category:Analytic philosophy]]
[[Category:Concepts in epistemology]]
[[Category:Concepts in logic]]
[[Category:Philosophy of logic]]
[[Category:Definitions of knowledge]]