All Topics  
Two Dogmas of Empiricism

 

   Email Print
   Bookmark   Link






 

Two Dogmas of Empiricism



 
 
W. V. O. Quine's paper "Two Dogmas of Empiricism", published in 1951, is one of the most celebrated papers of twentieth century philosophy
Philosophy

Philosophy is the study of general problems concerning matters such as existence, knowledge, truth, beauty, justice, validity, mind, and language....
 in the analytic
Analytic philosophy

Analytic philosophy is a generic term for a style of philosophy that came to dominate English-speaking countries in the 20th century. In the United States, United Kingdom, Canada, Scandinavia, Australia, and New Zealand the overwhelming majority of university philosophy departments identify themselves as "analytic" departments....
 tradition. According to Harvard
Harvard University

Harvard University is a private university in Cambridge, Massachusetts, Massachusetts, United States, and a member of the Ivy League. Founded in 1636 by the colonial Massachusetts legislature, Harvard is the Colonial Colleges institution of higher learning in the United States....
 professor of philosophy Peter Godfrey-Smith
Peter Godfrey-Smith

Peter Godfrey-Smith is a professor of philosophy at Harvard University. Born in Australia in 1965, he received a Ph.D. in philosophy from UCSD in 1991, and joined Harvard in 2006 after previous positions at Stanford University and Australian National University....
, this "paper [is] sometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central parts of the logical positivists'
Logical positivism

Logical positivism is a school of philosophy that combines empiricism, the idea that observational evidence is indispensable for knowledge of the world, with a version of rationalism incorporating mathematical and logico-linguistic constructs and deductions in epistemology.See, e.g., : in Stanford Encyclopedia of Philosophy
 philosophy. One is the distinction between analytic truth
Truth

semantic fields for the word truth extend from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular....
s and synthetic truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts.






Discussion
Ask a question about 'Two Dogmas of Empiricism'
Start a new discussion about 'Two Dogmas of Empiricism'
Answer questions from other users
Full Discussion Forum



Encyclopedia


W. V. O. Quine's paper "Two Dogmas of Empiricism", published in 1951, is one of the most celebrated papers of twentieth century philosophy
Philosophy

Philosophy is the study of general problems concerning matters such as existence, knowledge, truth, beauty, justice, validity, mind, and language....
 in the analytic
Analytic philosophy

Analytic philosophy is a generic term for a style of philosophy that came to dominate English-speaking countries in the 20th century. In the United States, United Kingdom, Canada, Scandinavia, Australia, and New Zealand the overwhelming majority of university philosophy departments identify themselves as "analytic" departments....
 tradition. According to Harvard
Harvard University

Harvard University is a private university in Cambridge, Massachusetts, Massachusetts, United States, and a member of the Ivy League. Founded in 1636 by the colonial Massachusetts legislature, Harvard is the Colonial Colleges institution of higher learning in the United States....
 professor of philosophy Peter Godfrey-Smith
Peter Godfrey-Smith

Peter Godfrey-Smith is a professor of philosophy at Harvard University. Born in Australia in 1965, he received a Ph.D. in philosophy from UCSD in 1991, and joined Harvard in 2006 after previous positions at Stanford University and Australian National University....
, this "paper [is] sometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central parts of the logical positivists'
Logical positivism

Logical positivism is a school of philosophy that combines empiricism, the idea that observational evidence is indispensable for knowledge of the world, with a version of rationalism incorporating mathematical and logico-linguistic constructs and deductions in epistemology.See, e.g., : in Stanford Encyclopedia of Philosophy
 philosophy. One is the distinction between analytic truth
Truth

semantic fields for the word truth extend from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular....
s and synthetic truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts. The other is reductionism
Reductionism

Reductionism can either mean an approach to understanding the nature of complex things by reducing them to the interactions of their parts, or to simpler or more fundamental things or a philosophical position that a complex system is nothing but the sum of its parts, and that an account of it can be reduced to accounts of individual consti...
, the theory that each meaningful statement gets its meaning from some logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
al construction of terms that refers exclusively to immediate experience.

"Two Dogmas" is divided into six sections. The first four sections are focused on analyticity, the last two sections on reductionism. There, Quine turns the focus to the logical positivists' theory of meaning. He also presents his own holistic
Holism

Holism is the idea that all the properties of a given system cannot be determined or explained by its component parts alone. Instead, the system as a whole determines in an important way how the parts behave....
 theory of meaning.

Analyticity and circularity


Most of Quine's argument against analyticity in the first four sections is focused on showing that different explanations of analyticity are circular. The main purpose is to show that no satisfactory explanation of analyticity has been given.

Quine begins by making a distinction between two different classes of analytic statements. The first one is called logically true and has the form:

No unmarried man is married

A sentence with that form is true independent of the interpretation of "man" and "married", so long as the logical particles "no", "un-", "is" and "and" have their ordinary English meaning.

The statements in the second class have the form:

No bachelor is married.

A statement with this form can be turned into a statement with form (1) by changing synonyms with synonyms, in this case "bachelor" with "unmarried man". It is the second class of statements that lack characterization according to Quine. The notion of the second form of analyticity leans on the notion of synonymy, which Quine believes is in as much need of clarification as analyticity. Most of Quine's following arguments are focused on showing how explanations of synonymy end up being dependent on the notions of analyticity, necessity, or even synonymy itself.

How do we reduce sentences from the second class to a sentence of class (1)? Some might propose definitions. "No bachelor is married" can be turned into "No unmarried man is married" because "bachelor" is defined as "unmarried man". But, Quine asks: how do we find out that "bachelor" is defined as "unmarried man"? Clearly, a dictionary would not solve the problem, as a dictionary is a report of already known synonyms, and thus is dependent on the notion of synonymy, which Quine holds as unexplained.

A second suggestion Quine considers is an explanation of synonymy in terms of interchangeability. Two linguistic forms are (according to this view) synonymous if they are interchangeable without changing the truth-value. That is, in all contexts without change of truth value. But consider the following example:

"Bachelor" has fewer than ten letters.

Obviously "bachelor" and "unmarried man" are not interchangeable in that sentence. To exclude that example and some other obvious counterexamples, such as poetic quality, Quine introduces the notion of cognitive synonymy. But does interchangeability hold as an explanation of cognitive synonymy? Suppose we have a language without modal adverbs like "necessarily". Such a language would be extensional, in the way that two predicates which are true about the same objects are interchangeable again without altering the truth-value. Thus, there is no assurance that two terms that are interchangeable without the truth-value changing are interchangeable because of meaning, and not because of chance. For example, "creature with a heart" and "creature with kidneys" share extension.

In a language with the modal adverb "necessarily" the problem is solved, as salva veritate
Salva veritate

Salva veritate substitution, from the Latin for "saving the truth", refers to two expressions that can be interchanged without changing the truth-value of the statements in which they occur....
 holds in the following case:

Necessarily all and only bachelors are unmarried men

while it does not hold for

Necessarily all and only creatures with a heart are creatures with kidneys.

We can see that the concepts of 'creature with a heart' and 'creature with kidneys' have the same extension (presumably), but they are not interchangeable salva veritate. It seems that the only way to assert the synonymy is by supposing that the terms 'bachelor' and 'unmarried man' are synonymous and that the sentence "All and only all bachelors are unmarried men" is analytic. So for salva veritate to hold as a definition of synonymy, we need a notion of necessity and thus of analyticity.

So, from the above example, it can be seen that in order for us to distinguish between analytic and synthetic we must appeal to synonymy; at the same time, we should also understand synonymy with interchangeability salva veritate. However, such a condition to understand synonymy is not enough so we not only argue that the terms should be interchangeable, but necessarily so. And to explain this logical necessity we must appeal to analyticity once again.

Reductionism


Analyticity would be acceptable if we allowed for the verification theory
Verification theory

The verification theory is a Philosophy theory proposed by the Logical Positivism of the Vienna Circle. A simplified form of the theory states that a proposition's meaning is determined by the method through which it is Empiricism verified....
 of meaning: an analytic statement would be one synonymous with a logical truth, which would be an extreme case of meaning where empirical verification is not needed. "So, if the verification theory can be accepted as an adequate account of statement synonymy, the notion of analyticity is saved after all."

The problem that naturally follows is how statements are to be verified. An empiricist would say that it can only be done using empirical evidence. So some form of reductionism - "the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience" - must be assumed in order for an empiricist to 'save' the notion of analyticity. Such reductionism, says Quine, presents just as intractable a problem as did analyticity.

In order to prove that all meaningful statements can be translated into a sense-datum language, a reductionist would surely have to confront "the task of specifying a sense-datum language and showing how to translate the rest of significant discourse, statement by statement, into it." To illustrate the difficulty of doing so, Quine describes Rudolf Carnap
Rudolf Carnap

Rudolf Carnap was an influential Germany-born philosophy who was active in Europe before 1935 and in the United States thereafter. He was a leading member of the Vienna Circle and a prominent advocate of logical positivism....
's attempt in his book Der logische Aufbau der Welt.

Quine first observes that Carnap's starting point was not the strictest possible, as his "sense-datum language" included not only sense-events but also "the notations of logic, up through higher set theory... Empiricists there are who would boggle at such prodigality." Nonetheless, says Quine, Carnap showed great ingenuity in defining sensory concepts "which, but for his constructions, one would not have dreamed were definable on so slender a basis." However, even such admirable efforts left Carnap, by his own admission, far short of completing the whole project.

Finally, Quine objects in principle to Carnap's proposed translation of statements like "quality q is at point-instant x;y;z;t" into his sense-datum language, because he does not define the connective "is at". Without statements of this kind, it is difficult to see, even in principle, how Carnap's project could have been completed.

The difficulty that Carnap encountered shows that reductionism is, at best, unproven and very difficult to prove. Until a reductionist can produce an acceptable proof, Quine maintains that reductionism is another "metaphysical article of faith".

Quine's holism


Instead of reductionism, Quine proposes that it is the whole field of science and not single statements that are verified. All scientific statements are interconnected. Logical laws give the relation between different statements, while they also are statements of the system. This makes talk about the empirical content of a single statement misleading. It also becomes impossible to draw a line between synthetic statements, which depend on experience, and analytic statements, that hold come what may. Any statement can be held as necessarily true according to Quine, if the right changes are made somewhere else in the system. In the same way, no statements are immune to revision.

Even logical laws can be revised according to Quine. Quantum logic
Quantum logic

In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account....
, introduced by Garrett Birkhoff
Garrett Birkhoff

Garrett Birkhoff was an United States mathematician.The mathematician George Birkhoff was his father....
 and John von Neumann
John von Neumann

John von Neumann was a Hungarian American mathematician who made major contributions to a vast range of fields, including set theory, functional analysis, quantum mechanics, ergodic theory, continuous geometry, economics and game theory, computer science, numerical analysis, hydrodynamics , and statistics, as well as many other mathematical...
, abandons the law of distributivity from classical logic in order to reconcile some of the apparent inconsistencies of classical Boolean logic
Boolean logic

Boolean algebra is a logical calculus of logical values, developed by George Boole in the late 1830s. It resembles the algebra of real numbers as taught in high school, but with the numeric operations of multiplication xy, addition x + y, and negation −x replaced by the respective logical operations of conjun...
 with the facts related to measurement and observation in quantum mechanics. Quine makes the case that the empirical study of physics has furnished apparently credible grounds for replacing classical logic by quantum logic, rather as Newtonian physics
Classical mechanics

Classical mechanics is used for describing the motion of macroscopic objects, from projectiles to parts of machinery, as well as astronomical objects, such as spacecraft, planets, stars, and galaxies....
 gave way to Einsteinian physics
General relativity

General relativity or the general theory of relativity is the Geometry Theoretical physics of gravitation published by Albert Einstein in 1916....
. The idea that logical laws are not immune to revision in the light of empirical evidence has provoked an intense debate (see Is logic empirical?
Is logic empirical?

"Is logic empirical?" is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum mechanics may provide grounds for revising classical logic as a consistent logical rendering of reality....
).

According to Quine, there are two different results of his reasoning. The first is a blurring of the line between metaphysics
Metaphysics

Metaphysics investigates principles of reality transcending those of any particular science. cosmology and ontology are traditional branches of metaphysics....
 and natural science. The common-sense theory about physical objects is epistemologically
Epistemology

Epistemology or theory of knowledge is the branch of philosophy concerned with the nature and scope of knowledge. It addresses the questions:...
 comparable to the gods of Homer
Homer

Homer is traditionally held to be the author of the ancient Greek language epic poems the Iliad and the Odyssey, as well as of the Homeric Hymns....
. Quine believes in physical objects and considers it a scientific error not to, not because of some epistemic difference in kind, but only because the theory of physical objects has turned out to be a more efficient theory.

The second result is a move towards pragmatism
Pragmatism

Pragmatism is the philosophy of considering practical consequences or real effects to be vital components of meaning and truth. Pragmatism is generally considered to have originated in the late nineteenth century with Charles Peirce, who first stated the pragmatic maxim....
. Since, Quine says, the function of science is to predict future experiences in the light of past ones, the only ground for choosing which explanations to believe is "the degree to which they expedite our dealings with sense experiences." While pragmatic concerns are important for Carnap and other logical positivists when choosing linguistic framework, their pragmatism "leaves off at the imagined boundary between the analytic and the synthetic". For Quine, every change in the system of science is, when rational
Rationality

Rationality as a term is related to the idea of reason, a word which following Webster's may be derived as much from older terms referring to thinking itself as from giving an account or an explanation....
, pragmatic.

Critique and influence


Paul Grice
Paul Grice

Herbert Paul Grice , usually publishing under the name Paul Grice, was a British-educated philosopher of language, who spent the final two decades of his career in the United States....
 and P. F. Strawson
P. F. Strawson

Sir Peter Frederick Strawson British Academy was an England Philosophy. He was the Waynflete Professor of Metaphysical Philosophy at the University of Oxford from 1968 to 1987....
 criticized "Two Dogmas" in their article "In Defense of a Dogma". Among other things, they argue that Quine's skepticism
Skepticism

In ordinary usage, skepticism or scepticism refers to:* an attitude of doubt or a disposition to incredulity either in general or toward a particular object;...
 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
Indeterminacy of translation

The indeterminacy of translation is a thesis propounded by 20th century analytic philosophy Willard Van Orman Quine. The classic statement of this thesis can be found in his 1960 book Word and Object, which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory....
.

In "'Two Dogmas' revisited", Hilary Putnam
Hilary Putnam

Hilary Whitehall Putnam is an American philosopher who has been a central figure in analytic philosophy since the 1960s, especially in philosophy of mind, philosophy of language, and philosophy of science....
 argues that Quine is attacking two different notions. Analytic truth defined as a true statement derivable from a tautology
Tautology (logic)

In propositional logic, a tautology is a propositional formula that is true under any possible Valuation of its propositional variables. For example, the propositional formula is a tautology, because the statement is true for any valuation of A....
 by putting synonyms for synonyms are near Kant's
Immanuel Kant

Immanuel Kant was an 18th-century German Philosophy from the Kingdom of Prussia city of K?nigsberg . He is regarded as one of the most influential thinkers of modern Europe and of the late Age of Enlightenment....
 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 prioricity
A priori and a posteriori (philosophy)

The terms "a priori" and "a posteriori" are used in philosophy to distinguish two types of knowledge, justifications or arguments....
. 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 apriority and sketch a methodology without it.

In his book Philosophical Analysis in the Twentieth Century, Volume 1 : The Dawn of Analysis Scott Soames
Scott Soames

Scott Soames is a professor of philosophy at the University of Southern California. He specializes in the philosophy of language and the history of analytic philosophy....
 (pp 360-361) has pointed out that Quine's circularity argument needs two of the logical positivists' central theses to be effective:

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.

See also

Duhem–Quine thesis
Duhem–Quine thesis

The Duhem?Quine thesis is that it is impossible to test a scientific hypothesis in isolation, because an empirical method test of the hypothesis requires one or more background assumptions ....


External links