RUDOLF CARNAP ON SEMANTICAL SYSTEMS AND
W.V.O. QUINE'S PRAGMATIST CRITIQUE
BOOK III - Page 8
Quine's Critique of Analyticity
The fourth of the five milestones that Quine finds in the history of empiricism is the abandonment of analyticity in the traditional analytic-synthetic dichotomy. He calls his exclusive acceptance of synthetic statements “methodological monism.” The rejection of analyticity is one of the earliest theses in Quine’s philosophy of language. In his Dear Carnap, Dear Van Creath reports that when Quine had first met Carnap in March 1933, Quine was reading the manuscript for Carnap’s Logical Syntax as Carnap’s wife was typing it. Creath notes that a brief shorthand note later found among Carnap’s archived papers reveals that Quine had asked whether or not the difference between the analytic axioms of arithmetic and the synthetic empirical claims about physical bodies is merely a difference of degree, which reflects our relative willingness to abandon the various beliefs under consideration. Quine’s first published statement of the rejection of the traditional analytic-synthetic distinction is in his “Truth by Convention” (1936) originally in Philosophical Essays for A.N. Whitehead, and later reprinted in his Ways of Paradox. Analytic statements are those that are true by linguistic convention, and they include the propositions of logic and mathematics. Essentially his argument in this paper is based on the rejection of an infinite regress; he argues that some logic is needed and is presupposed to develop logic. Thus he asks whether or not it makes any sense to say that the truths of logic and mathematics are destined to be maintained independently of our observation of the world, so that truth by convention may apply.
Fifteen years later Quine’s critique of analyticity took a different tack in his famous article “Two Dogmas of Empiricism”. There he formulated the Duhem-Quine thesis of semantical wholism, and attacked linguistic synonymy upon which analyticity is based. The statement “No bachelor is married” is made analytic by substitution of synonyms “bachelor” and “unmarried man” in the statement “No unmarried man is married”, because the latter statement is true in all interpretations of its nonlogical or descriptive terms. Quine notes that Carnap explained analyticity by appeal to state descriptions; a statement is analytic if it is true in all state descriptions. Quine says that appeal to state descriptions works only if the atomic statements of the language are mutually independent, i.e., if the language has no extralogical synonym pairs such as “bachelor” and “unmarried man”. Thus on Quine’s thesis, Carnap’s criterion for analyticity in terms of state descriptions is a reconstruction at best of logical truth, not of analyticity. Quine argues that all instances of synonymy except those occurring in purely stipulative definitions introducing notational abbreviations are based on observed synonymy occurring in natural language. These include synonymies occurring in reduction sentences, analytic sentences and Carnap’s semantical rules. And they all depend on the thesis contrary to Duhem’s thesis, that it is possible to determine the truth or falsehood of sentences in isolation from one another. Invoking Duhem’s thesis Quine rejects the distinction between a factual component and a linguistic component in the truth of any individual statement, which is the basis for the analytic-synthetic distinction.
Shortly after writing “Two Dogmas” Quine wrote “Carnap and Logical Truth” (1954) in The Philosophy of Rudolf Carnap (1963). This critical essay’s most distinctive characteristic relative to Quine’s prior essays is its treatment of the effects of linguistic and scientific change on analyticity and logical truth. Carnap’s interest in philosophy was originally inspired by Einstein’s use of non-Euclidian geometry and by Hilbert’s formalistic approach to mathematics. Quine says that the initial tendencies to treat geometries as true by convention together with the tendency toward formalization were extended to mathematical systems generally. But Quine maintains that formalist mathematics has been “corrupted” by supposing that postulates are true by convention, and he rejects the idea of semantically uninterpreted postulates. Quine treats the subject of postulates in a manner similar to his earlier treatment of definitions in “Two Dogmas”. He distinguishes two types of postulates: “legislative” and “discursive”. The former type is a stipulative definition that merely introduces previously unused notation, and it initiates truth by convention. Discursive postulation on the other hand is a selection from a pre-existing body of truths, of certain ones for use as a basis from which to derive others initially either known or unknown. Most notably what discursive postulation fixes is not truth, but only some particular ordering of the truth. All postulation may be said to be conventional, but only legislative postulation admits to truth by convention.
The importance of the distinction, however, is that it refers to an act and not to any enduring consequences. The conventionality in postulation is a passing trait, which is significant at the moving frontier of science, but which is useless in classifying the sentences behind the lines. This is the diachronic perspective that is characteristic of pragmatism. Conventionality is a trait of events and not of sentences. And if legislative postulates are subsequently singled out in some later exposition, they have the status of discursive postulates in the subsequent exposition. The artificiality of legislative truth does not linger as a localized quality, but suffuses with the corpus and becomes integral with it.
Quine does not explicitly reference Duhem in this context, but Duhem’s wholism is clearly operative. Quine says that legislative postulation occurs continually in the theoretical hypotheses of natural science. The justification of any theoretical hypothesis can at the time of hypothesizing consist in no more than the elegance or convenience which the hypothesis brings to the containing body of laws and data. There is indirect but eventual confrontation with empirical data, but this can be remote. Furthermore, some remote confirmation with experience may be claimed even for pure mathematics and logic. A self-contained theory that can be checked with experience includes not only its various theoretical hypotheses of so-called natural science, but also such portions of logic and mathematics that it uses. There is no line to be drawn between hypotheses that confer truth by convention and hypotheses that do not. Even logic and mathematics are not qualitatively different from the rest of science.
Quine elaborates by illustration: Suppose a scientist introduces a new term for a certain substance or force by an act of legislative definition or postulation. Progressing, he then evolves hypotheses regarding further traits of the named substance or force. And then further progressing he identifies this substance or force with one named by a complex term built up of other portions of his scientific vocabulary. This new identity will figure in the ensuing developments quite on a par with the identity which first came by the act of legislative definition, or on a par with the law which first came by the act of legislative postulation. And revision in the course of further progress can touch any of these affirmations equally. Quine says that scientists proceeding in this way are not slurring over any meaningful distinction. Legislative acts occur routinely. Carnap’s dichotomy between analytic and synthetic, between truth by meaning postulate and truth by force of nature, has no clear meaning, even as a methodological ideal. The fabric of our sentences, our “web of belief” as Quine calls them later, develops and changes through more or less arbitrary and deliberate revisions and additions of our own, more or less directly occasioned by the continuing stimulation of our sense organs.
Carnap replies at the end of the volume in which Quine’s critique was published. He emphasizes that his explication of “analytic” has always been for a formalized language, one for which explicit semantical rules are specified and that lead to the concept of truth. He rejects Quine’s demand that semantical concepts such as analyticity and synonymy must also be explicated pragmatically by an empirical criterion in behavioristic terms applicable to natural language. He therefore maintains that Quine’s objections are not directed against his semantical explicata, and that A-truth is not objectionable. Carnap then turns to Quine’s critique of analyticity in situations where there is a change in artificial language, from L(n) to L(n+1). Firstly Carnap agrees with much of what Quine says in “Two Dogmas”, where Quine sets forth his neo-Duhemist wholistic thesis. Carnap agrees that a scientist who discovers a conflict between his observations and his theory and who must therefore make a readjustment somewhere in the total system of science, has much latitude with respect to the places where a change is to be made. Remarkably Carnap also agrees that in this procedure of readjustment, no statement is immune to revision, not even statements of logic or mathematics. But Carnap rejects Quine’s characterization of an analytic statement as one held true come what may. And Carnap furthermore denies that a change in language invalidates the analytic-synthetic distinction.
In defense of analyticity Carnap distinguishes two types of linguistic change. The first type is a change of language from L(n) to L(n+1). He says that this type constitutes a radical alteration and perhaps a revolution. It occurs only at certain historically decisive points in the development of science. The second type is a mere change in or an addition of a truth-value ascribed to an indeterminate statement. An indeterminate statement is one having a truth-value that is not fixed by the rules of the language, i.e., by postulation of logic, mathematics, or perhaps physics. This second type of change occurs “every minute” according to Carnap. He says that his concept of analyticity has nothing to do with the first type of transition; his concept of analyticity refers only to some given language, L(n). The truth of a sentence, S, in L(n) is based on meanings in L(n) of the terms occurring in S. In L(n) analytic sentences cannot change their truth-value, and furthermore neither can the synthetic postulates of physics and their logical consequences.
Quine’s critique of analyticity is directed against what Carnap called A-truth, which is truth based on the semantics of the descriptive vocabulary in the sentence, a lexical basis. As a symbolic logician Quine continues to rely on logical truth, on the kind of sentence that Carnap calls L-truth, but his reasons are different than Carnap’s. In “The Ground of Logical Truth”, the eighth chapter in his Philosophy of Logic, Quine admits to an acceptable sense of logical truth, the truth that is evident due to the grammatical structure of the logically true sentence. But Quine rejects Carnap’s doctrine of linguistic truth, the thesis that language alone can make logical truth independently of the nature of the world. In view of Carnap’s defense of analyticity, it is doubtful that Carnap continued to maintain such a view. In any event, Quine maintains that the validity of logical truth depends on the relation of grammatical structure to the structure of the real world. He argues that the distinction between the lexical and the grammatical is variable not only among different languages, but also within the same language.
Quine’s Rejection of First Philosophy
Quine’s taking Whitehead’s comment that logic shapes metaphysical thought beyond logic and making it his general theory of language, has an important implication: Quine’s thesis of ontological relativity. Thus the fifth of the five milestones in Quine’s history of empiricism is what he calls the abandonment of the goal of a first philosophy. By first philosophy he means any philosophy that is prior to natural science. Traditionally metaphysics and epistemology have been called “first philosophy”. In contrast Quine calls his position “naturalism.” The term “naturalism” has meant many different things in the history of philosophy. A term that Quine does not use is “scientism.” In “Five Milestones” Quine defines his naturalism as the view that natural science is an inquiry into reality, a fallible and corrigible inquiry, but not answerable to any super scientific tribunal, and not in need of any justification beyond observation and the hypothetico-deductive method. This statement by Quine is not merely an affirmation of the autonomy of empirical science from metaphysics, as may be found in Duhem’s philosophy of science. Quine rejects the view that there is any philosophical tribunal for science, by which he means any knowledge separate from empirical “common sense” that he views to be continuous with science in his wholistic philosophy of language.
Furthermore, Quine maintains that epistemology is an empirical discipline that he assimilates into empirical psychology, which for him is behavioristic psychology. He describes the scientific epistemologist as asking how animals, presumably human, can have managed to have arrived at science from the limited information from surface stimulations, and as pursuing this inquiry to yield an account that pertains to the learning of language and the neurology of perception.
Quine gives two reasons for his naturalism by which he rejects all first philosophy. One reason is what he calls an “unregenerate” realism, the robust state of mind of the natural scientist who has never felt any qualms beyond the negotiable uncertainties internal to his science. He expresses his realism emphatically in his “Scope and Language of Science” (1954) reprinted in Ways of Paradox. There he states that we cannot significantly question the reality of the external world or deny that there is evidence of external objects in the testimony of our senses. For to do so is to dissociate the terms “reality” and “evidence” from the very application which originally did most to invest these terms with whatever intelligibility they may have for us. He maintains that the notion of reality independent of language is derived from our earliest impressions, and then carried over into science as a matter of course.
The second reason for Quine’s realism is what he calls the despair of being able to define theoretical terms generally in terms of phenomena even by contextual definitions. This is a rejection of the logical positivist problem for which reductionism of theoretical terms was thought to provide an answer. On the positivist philosophy there is no justification for affirming the reality of theoretical entities, unless these terms are firstly established as semantically meaningful. The purported solution is the reduction of theories to observation sentences, which are the source for the semantics and ontology of theories. Quine rejects the positivists’ problem, because it involves a prior ontology or first philosophy consisting in the positivists’ observation language. In Quine’s view positivism is a kind of metaphysics, positivists’ antimetaphysical rhetoric notwithstanding.
Fundamental to Quine’s second reason for rejecting first philosophy is his thesis of ontological relativity. This thesis can be found in Quine’s literary corpus even before he came to call it “ontological relativity” in the later 1960’s. In “Two Dogmas” after rejecting the dogma of reductionism, he says that physical objects are conceptually imported into the linguistic system as convenient intermediaries, as irreducible posits comparable epistemologically to the gods of Homer. What he calls the “myth” of physical objects is epistemologically superior to others including the gods of Homer, in that it has proved to be more efficacious than other myths as a device for working a manageable structure into the flux of experience. Microphysical entities are posited to make the laws of macroscopic objects and ultimately to make the laws of experience more manageable. Science is a continuation of common sense, and it continues the commonsense expedient of swelling ontology to simplify theory.
Shortly later in “Posits and Reality” (1955) Quine says that if we have evidence for the existence of bodies of common sense, we have it only in the way in which we may be said to have evidence for the existence of molecules. All science is empirically underdetermined, and the only difference between positing microphysical and macrophysical entities is that the theories describing the former are more underdetermined. In this context Quine is using the term “underdetermined” in the same sense as he used it in “Two Dogmas” to express his neo-Duhemist wholistic view of language.
The thesis of ontological relativity is also prefigured in Word and Object. Just as Carnap recognized extensional vagueness, Quine recognized referential indeterminacy, which he calls “referential inscrutability.” Inscrutability of reference is due to the semantic indeterminacy of direct ostension. This indeterminacy is encountered when the field linguist attempts to translate a previously unknown language, but it also occurs more generally in all language, and is not distinctive of the translation situation. The context-dependence of semantics of the “web of belief” makes reference and ontology completely system-determined in the linguistic context that determines the semantics of a discourse including notably the context constituted by a scientific theory. In chapter six of Word and Object Quine says that everything to which we concede existence is a posit from the standpoint of the theory-building process, and is simultaneously real from the standpoint of the theory that is built.
His phrase “ontological relativity” itself is set forth in “Ontological Relativity” (1968) reprinted in Ontological Relativity. Quine uses the phrase explicitly on analogy with Einstein’s relativity theory in physics. He maintains that reference is nonsense except in relation to a coordinate system, where the coordinate system is some background language. Asking for ontological reference in any more absolute way than by reference to a background language is like asking for absolute position or absolute velocity, rather than for position or velocity relative to a frame of reference. The ultimate background language to which we take recourse in practice is our mother tongue or “home language”, in which we take words at face value with their primitively adopted and ultimately inscrutable ontology. Any subordinate theory must be interpreted by reference to this home language.
Quine opposes his thesis of ontological relativity to Carnap’s distinction between external ontological questions and internal factual questions set forth in “Empiricism, Semantics and Ontology”. In Quine’s view there can be nothing like Carnapian external questions which are external to the home language. In “Carnap’s Views on Ontology” (1951) reprinted in Ways of Paradox Quine maintains that ontological questions are on a par with questions in natural science. Within science there is a continuum of gradations from the statements that report observations to those that reflect basic features of quantum theory and relativity theory. Similarly statements of ontology and even of mathematics and logic form a continuation of this continuum, though these are more remote from observations than the central principles of quantum theory or relativity theory. Quine says that the differences along this continuum are only differences of degree and not differences in kind.