Analytic-synthetic distinction

The analytic–synthetic distinction is a distinction used in philosophy to divide an ontology into two parts: an analytic part consisting of terms related by synonymy, and a synthetic part concerning connections between such terms and 'real' objects.

Analyticity and empiricism

In several books and papers, Quine challenged the analytic–synthetic distinction. Quine argued that although there are trivial situations in which analyticity prevails (those circumstances which simply replace some elaborate sequence of terms by a tautological equivalent), all interesting propositions in an ontology (all that do not involve simple use of definitions) are synthetic in nature, that is, they inevitably bring forward some empirical fact.

According to Putnam, Quine's position on analyticity is:

‘	“A statement is analytic if it can be turned into a truth of formal logic by substituting synonyms for synonyms.”	’
—Hilary Putnam, ‘Two Dogmas’ revisited

The issue then turns upon whether 'synonym' has a meaning beyond simple tautology. An example involving simple tautology is that All bachelors are unmarried, which holds true simply because, by stipulation, someone is a bachelor if and only if they are unmarried. Quine argued there were no other kinds of analytic statements, and any attempt to extend 'synonymy' beyond such kinds of examples was doomed to failure. Analyticity is possible only by stipulation.

The target here was an interpretation of Carnap's work as saying that synonymy was not just a logical matter, but a matter of usage; stipulation could be extended to certain sense perceptions. Such a view seems to propose the matter of 'analyticity' is not one strictly of logic, but possibly also involving confirmation, a view opposed by Quine.

Interpretation

Carnap introduced two types of 'truth' which he called L-truth and F-truth. L-truth was truth by virtue of semantical rules of an adopted language alone and is his definition of 'analytic' truth (L for Logic). On the other hand, F-truth is what Carnap calls synthetic truth and is also described by him as 'contingent' truth, requiring the 'observation of facts' (F for Fact). He points out explicitly that for a statement phrased within a language to be useful, its analytic truth is necessary but has no bearing upon its synthetic truth. The truth of statements, according to Carnap, was not an undeniable consequence of analyticity within their formal structure, that is L-truth alone, but also a matter of F-truth.

Carnap was close to Lewis in thinking that analytic statements were hypothetical and, while tautologically true within their formal structure, could be considered to have some empirical validity only by comparison with experiments. In this respect, Carnap and Lewis agree with Hawking/Mlodinow's proposal of model-dependent realism.

Quine's argument over synonymy can be viewed as stating that the distinction between L-truth and F-truth is untenable. Or, Quine's position can be taken as in agreement with Carnap over L-truth, and to be an argument over how F-truth is to be established. This latter view is in accord with Quine's statements concerning the verification of concepts, namely, that they cannot be established individually, but only entire theories can be assessed, and they stand or fall as a unit. Quine took this stance further, to argue for a 'theory of everything', to use modern parlance.

‘	Quine's pragmatic challenge to the analytic-synthetic distinction has won many sympathizers, including Nelson Goodman, Morton White, and Hilary Putnam. Critics, however, maintain that some notion of analyticity is indispensable to any coherent account of either formal systems or our everyday use of language. H.P. Grice and P.F. Strawson, for example, contend that analyticity, necessity, and cognitive synonymy constitute an internally coherent family of terms, which Quine takes out of context in appealing to extensional criteria such as semantic reference. Others follow Wittgenstein in restricting analyticity to pure logical tautology, noting that Quine himself does not contest logical truths or stipulations. Even such counterproposals, however, concede a severe curtailment of the distinction, and in the wake of challenges from pragmatism it is hard to envision the analytic and the synthetic ever again enthroned in resplendent isolation.	’
—Frank X. Ryan, "Analytic: Analytic/Synthetic" in American Philosophy: An Encyclopedia'

Price adds that the real argument between Quine and Carnap is not the analytic-synthetic distinction, but is over the issue of multiple languages, "the assumption that there is some sort of principled plurality in language which blocks Quine’s move to homogenize the existential quantifier." This 'homogenization' of Quine's is made possible by Quine's dismissal of the internal-external distinction, the view that these multiple languages are only a plethora of specialized languages, all of which can be subsumed under one general, over-all language. "What is to stop us treating all ontological issues as internal questions within a single grand framework?" One approach to this question is the work of Wittgenstein, who pointed out the futility of looking for the meaning of a term that subsumes all its particular meanings.

Thomasson also supports the fundamental point as the role of multiple languages. She says that the focus upon the analytic-synthetic distinction in the Carnap-Quine debate is misplaced; the important point is the internal-external distinction (which Quine dismissed as trivial): "The real distinction instead is between existence questions asked using a linguistic framework and existence questions that are supposed to be asked somehow without being subject to those rules—asked, as Quine puts it ‘before the adoption of the given language’."