HOME

TheInfoList



OR:

"Two Dogmas of Empiricism" is a paper by
analytic Generally speaking, analytic (from el, ἀναλυτικός, ''analytikos'') refers to the "having the ability to analyze" or "division into elements or principles". Analytic or analytical can also have the following meanings: Chemistry * ...
philosopher
Willard Van Orman Quine Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...
published in 1951. According to
University of Sydney The University of Sydney (USYD), also known as Sydney University, or informally Sydney Uni, is a public research university located in Sydney, Australia. Founded in 1850, it is the oldest university in Australia and is one of the country's si ...
professor of philosophy
Peter Godfrey-Smith Peter Godfrey-Smith (born 1965) is an Australian philosopher of science and writer, who is currently Professor of History and Philosophy of Science at the University of Sydney. He works primarily in philosophy of biology and philosophy of mind, ...
, this "paper ssometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central aspects of the logical positivists' philosophy: the first being the
analytic–synthetic distinction The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propos ...
between
analytic Generally speaking, analytic (from el, ἀναλυτικός, ''analytikos'') refers to the "having the ability to analyze" or "division into elements or principles". Analytic or analytical can also have the following meanings: Chemistry * ...
truth Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as belief ...
s and
synthetic Synthetic things are composed of multiple parts, often with the implication that they are artificial. In particular, 'synthetic' may refer to: Science * Synthetic chemical or compound, produced by the process of chemical synthesis * Synthetic ...
truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts; the other being
reductionism Reductionism is any of several related philosophical ideas regarding the associations between phenomena which can be described in terms of other simpler or more fundamental phenomena. It is also described as an intellectual and philosophical po ...
, the theory that each meaningful statement gets its meaning from some
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
al construction of terms that refer exclusively to immediate experience. "Two Dogmas" has six sections. The first four focus on analyticity, the last two on reductionism. There, Quine turns the focus to the logical positivists' theory of meaning. He also presents his own
holistic Holism () is the idea that various systems (e.g. physical, biological, social) should be viewed as wholes, not merely as a collection of parts. The term "holism" was coined by Jan Smuts in his 1926 book '' Holism and Evolution''."holism, n." OED On ...
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: :(1) 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-" and "is" have their ordinary English meaning. The statements in the second class have the form: :(2) No bachelor is married. A statement with this form can be turned into a statement with form (1) by exchanging
synonym A synonym is a word, morpheme, or phrase that means exactly or nearly the same as another word, morpheme, or phrase in a given language. For example, in the English language, the words ''begin'', ''start'', ''commence'', and ''initiate'' are al ...
s 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 the first class? 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 in all contexts without changing the
truth-value In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values (''true'' or '' false''). Computing In some progra ...
. But consider the following example: :(3) "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 Cognitive synonymy is a type of synonymy in which synonyms are so similar in meaning that they cannot be differentiated either denotatively or connotatively, that is, not even by mental associations, connotations, emotive responses, and poetic ...
. 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 The literal translation of the Latin "''salva veritate''" is "with (or by) unharmed truth", using ablative of manner: "''salva''" meaning "rescue," "salvation," or "welfare," and "''veritate''" meaning "reality" or "truth". Thus, ''Salva veritate ...
'' holds in the following case: :(4) Necessarily all and only bachelors are unmarried men while it does not hold for :(5) Necessarily all and only creatures with a heart are creatures with kidneys. Presuming that 'creature with a heart' and 'creature with kidneys' have the same extension, they will be interchangeable ''
salva veritate The literal translation of the Latin "''salva veritate''" is "with (or by) unharmed truth", using ablative of manner: "''salva''" meaning "rescue," "salvation," or "welfare," and "''veritate''" meaning "reality" or "truth". Thus, ''Salva veritate ...
''. But this interchangeability rests upon both empirical features of the language itself and the degree to which extension is empirically found to be identical for the two concepts, and not upon the sought for principle of cognitive synonymy. 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. But for ''salva veritate'' to hold as a definition of something more than extensional agreement, i.e., cognitive 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. Thus, the argument is circular, and fails.


Reductionism

Analyticity would be acceptable if we allowed for the
verification theory Verificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which maintains that only statements that are empirically verifiable (i.e. verifiable through the senses) are cogniti ...
of meaning: an analytic statement would be one synonymous with a
logical truth Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement whic ...
, which would be an extreme case of meaning where empirical verification is not needed, because it is "confirmed no matter what". "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 Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences ...
. 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 (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an 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 Hold come what may is a phrase popularized by logician Willard Van Orman Quine. Beliefs that are "held come what may" are beliefs one is unwilling to give up, regardless of any evidence with which one might be presented. Quine held that any belief ...
. 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 In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observ ...
, introduced by
Garrett Birkhoff Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician. He is best known for his work in lattice theory. The mathematician George Birkhoff (1884–1944) was his father. Life The son of the mathematician Ge ...
and
John von Neumann John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest c ...
, abandons the
law of distributivity The principle of distributivity states that the algebraic distributive law is valid, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions ''A'', ''B'' and ''C'' the equivalences :A \l ...
from classical logic in order to reconcile some of the apparent inconsistencies of classical
Boolean logic In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas ...
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 is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical mec ...
gave way to Einsteinian physics. The idea that logical laws are not immune to revision in the light of
empirical evidence Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences ...
has provoked an intense debate (see "
Is Logic Empirical? "Is Logic Empirical?" is the title of two articles (one by Hilary Putnam and another by Michael Dummett) that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the questi ...
"). According to Quine, there are two different results of his reasoning. The first is a blurring of the line between
metaphysics Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of conscio ...
and natural science. The common-sense theory about physical objects is epistemologically comparable to the gods of
Homer Homer (; grc, Ὅμηρος , ''Hómēros'') (born ) was a Greek poet who is credited as the author of the ''Iliad'' and the ''Odyssey'', two epic poems that are foundational works of ancient Greek literature. Homer is considered one of the ...
. Quine is a physicalist, in the sense that he considers it a scientific error not to adopt a theory which makes reference to physical objects. However, like Gods of Homer, physical objects are posits, and there is no great epistemic difference in kind; the difference is rather that the theory of physical objects has turned out to be a more efficient theory. As Quine states in "Two Dogmas", "The myth of physical objects is epistemologically superior to most in that it has proved more efficacious than other myths as a device for working a manageable structure into the flux of experience". The second result is a move towards
pragmatism Pragmatism is a philosophical tradition that considers words and thought as tools and instruments for prediction, problem solving, and action, and rejects the idea that the function of thought is to describe, represent, or mirror reality. ...
. 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 a 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 is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abi ...
, pragmatic.


Critique and influence

Rudolf Carnap Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. ...
prepared a reply entitled "Quine on Analyticity", but this was not published until 1990. Addressing Quine's concern over the status of the sentence "Everything green is extended", Carnap wrote "the difficulty here lies in the unclarity of the word 'green', namely in an indecision over whether one should use the word for something unextended, i.e., for a single space-time point. In daily life it is never so used, and one scarcely ever speaks of space-time points." Carnap then puts forward that an exact artificial language ought to clarify the problem by defining 'green' (or its synonym) as something that is either necessarily or contingently not applied to space-time points. He wrote that once that decision is made, the difficulty is resolved. Carnap also answers Quine's argument on the use of sets of formal sentences to explain analyticity by arguing that this method is an explication of a poorly understood notion.
Paul Grice Herbert Paul Grice (13 March 1913 – 28 August 1988), usually publishing under the name H. P. Grice, H. Paul Grice, or Paul Grice, was a British philosopher of language. He is best known for his theory of implicature and the cooperative pri ...
and P. F. Strawson criticized "Two Dogmas" in their (1956) article "In Defense of a Dogma". Among other things, they argue that Quine's
skepticism Skepticism, also spelled scepticism, is a questioning attitude or doubt toward knowledge claims that are seen as mere belief or dogma. For example, if a person is skeptical about claims made by their government about an ongoing war then the p ...
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 ''Word and Object'' is a 1960 work by the philosopher Willard Van Orman Quine, in which the author expands upon the line of thought of his earlier writings in ''From a Logical Point of View'' (1953), and reformulates some of his earlier arguments ...
'' was released. In the book Quine presented his theory of indeterminacy of translation. In "'Two Dogmas' revisited",
Hilary Putnam Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions ...
argues that Quine is attacking two different notions. Analytic truth defined as a true statement derivable from a 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 ("from the earlier") and ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. knowledge is independent from current ex ...
''. While the first four sections of Quine's paper concern analyticity, the last two concern apriority. 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. Jerrold Katz countered the arguments of "Two Dogmas" directly by trying to define analyticity non-circularly on the syntactical features of sentences.Katz, J: ''Where Things Stand Now with the Analytical/Synthetic Distinction''
/ref> In his book ''Philosophical Analysis in the Twentieth Century, Volume 1 : The Dawn of Analysis''
Scott Soames Scott Soames (; born 1945) is an American philosopher. He is a professor of philosophy at the University of Southern California (since 2004), and before that at Princeton University. He specializes in the philosophy of language and the history of ...
(pp 360–361) has pointed out that Quine's circularity argument needs two of the logical positivists' central theses to be effective: :All necessary truths (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.


Editions

* Reprinted in his 1953 ''From a Logical Point of View''. Harvard University Press.


See also

*
Duhem–Quine thesis The Duhem–Quine thesis, also called the Duhem–Quine problem, after Pierre Duhem and Willard Van Orman Quine, is that in science it is impossible to experimentally test a scientific hypothesis in isolation, because an empirical test of the ...
*
Kantian empiricism Wilfrid Stalker Sellars (May 20, 1912 – July 2, 1989) was an American philosopher and prominent developer of critical realism, who "revolutionized both the content and the method of philosophy in the United States". Life and career His father ...
*
Paradox of analysis The paradox of analysis (or Langford–Moore paradox) is a paradox that concerns how an analysis can be both correct and informative. The problem was formulated by philosopher G. E. Moore in his book ''Principia Ethica'', and first named by C. H ...


Notes


External links


"Two Dogmas of Empiricism"
{{DEFAULTSORT:Two Dogmas Of Empiricism 1951 essays Academic journal articles Analytic philosophy literature Empiricism Epistemology literature Holism Logical truth Philosophy essays Philosophy of language literature Philosophy of science literature Willard Van Orman Quine Works originally published in American magazines Works originally published in philosophy magazines