Willard Van Orman Quine
Willard van Orman Quine (//; known to intimates 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." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.
Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the "Quine–Putnam indispensability thesis," an argument for the reality of mathematical entities. However, he was the main proponent of the view that philosophy is not conceptual analysis, but continuous with science; the abstract branch of the empirical sciences. This led to his famous quip that "philosophy of science is philosophy enough." He led a "systematic attempt to understand science from within the resources of science itself" and developed an influential naturalized epistemology that tried to provide "an improved scientific explanation of how we have developed elaborate scientific theories on the basis of meager sensory input." He also advocated ontological relativity in science, known as the Duhem–Quine thesis.
His major writings include the papers "On What There Is", which elucidated Bertrand Russell's theory of descriptions and contains Quine's famous dictum of ontological commitment, "To be is to be the value of a variable", and "Two Dogmas of Empiricism" (1951) which attacked the traditional analytic-synthetic distinction and reductionism, undermining the then-popular logical positivism, advocating instead a form of semantic holism. They also include the books The Web of Belief, which advocates a kind of coherentism, and Word and Object (1960), which further developed these positions and introduced Quine's famous indeterminacy of translation thesis, advocating a behaviorist theory of meaning.
A 2009 poll conducted among analytic philosophers named Quine as the fifth most important philosopher of the past two centuries. He won the first Schock Prize in Logic and Philosophy in 1993 for "his systematical and penetrating discussions of how learning of language and communication are based on socially available evidence and of the consequences of this for theories on knowledge and linguistic meaning." In 1996 he was awarded the Kyoto Prize in Arts and Philosophy for his "outstanding contributions to the progress of philosophy in the 20th century by proposing numerous theories based on keen insights in logic, epistemology, philosophy of science and philosophy of language."
Quine grew up in Akron, Ohio, where he lived with his parents and older brother Robert Cloyd. His father, Cloyd Robert, was a manufacturing entrepreneur (founder of the Akron Equipment Company, which produced tire molds) and his mother, Harriett E., was a schoolteacher and later a housewife. Quine was an atheist when he was a teenager.
He received his B.A. in mathematics from Oberlin College in 1930, and his Ph.D. in philosophy from Harvard University in 1932. His thesis supervisor was Alfred North Whitehead. He was then appointed a Harvard Junior Fellow, which excused him from having to teach for four years. During the academic year 1932–33, he travelled in Europe thanks to a Sheldon fellowship, meeting Polish logicians (including Stanislaw Lesniewski and Alfred Tarski) and members of the Vienna Circle (including Rudolf Carnap), as well as the logical positivist A. J. Ayer.
World War IIEdit
Quine arranged for Tarski to be invited to the September 1939 Unity of Science Congress in Cambridge, for which the Jewish Tarski sailed on the last ship to leave Danzig before the Third Reich invaded Poland and triggered World War II. Tarski survived the war and worked another 44 years in the US. During the war, Quine lectured on logic in Brazil, in Portuguese, and served in the United States Navy in a military intelligence role, deciphering messages from German submarines, and reaching the rank of lieutenant commander. Quine could lecture in French, Spanish, Portuguese and German, as well as his native English.
Quine was politically conservative, but the bulk of his writing was in technical areas of philosophy removed from direct political issues. He did, however, write in defense of several conservative positions: for example, he wrote in defense of moral censorship; while, in his autobiography, he made some criticisms of American postwar academics.
At Harvard, Quine helped supervise the Harvard graduate theses of, among others, David Lewis, Gilbert Harman, Dagfinn Føllesdal, Hao Wang, Hugues LeBlanc, Henry Hiz and George Myro. For the academic year 1964–1965, Quine was a fellow on the faculty in the Center for Advanced Studies at Wesleyan University. In 1980 Quine received an honorary doctorate from the Faculty of Humanities at Uppsala University, Sweden.
Quine's student Dagfinn Føllesdal noted that Quine began to lose his memory toward the end of his life. The deterioration of his short-term memory was so severe that he struggled to continue following arguments. Quine also had considerable difficulty in his project to make the desired revisions to Word and Object. Before passing away, Quine noted to Morton White, "I do not remember what my illness is called, Althusser or Alzheimer, but since I cannot remember it, it must be Alzheimer." He died from the illness on Christmas Day in 2000.
Quine's Ph.D. thesis and early publications were on formal logic and set theory. Only after World War II did he, by virtue of seminal papers on ontology, epistemology and language, emerge as a major philosopher. By the 1960s, he had worked out his "naturalized epistemology" whose aim was to answer all substantive questions of knowledge and meaning using the methods and tools of the natural sciences. Quine roundly rejected the notion that there should be a "first philosophy", a theoretical standpoint somehow prior to natural science and capable of justifying it. These views are intrinsic to his naturalism.
Over the course of his career, Quine published numerous technical and expository papers on formal logic, some of which are reprinted in his Selected Logic Papers and in The Ways of Paradox. His most well-known collection of papers is From A Logical Point of View. Quine confined logic to classical bivalent first-order logic, hence to truth and falsity under any (nonempty) universe of discourse. Hence the following were not logic for Quine:
- Higher-order logic and set theory. He referred to higher-order logic as "set theory in disguise";
- Much of what Principia Mathematica included in logic was not logic for Quine.
- Formal systems involving intensional notions, especially modality. Quine was especially hostile to modal logic with quantification, a battle he largely lost when Saul Kripke's relational semantics became canonical for modal logics.
Quine wrote three undergraduate texts on formal logic:
- Elementary Logic. While teaching an introductory course in 1940, Quine discovered that extant texts for philosophy students did not do justice to quantification theory or first-order predicate logic. Quine wrote this book in 6 weeks as an ad hoc solution to his teaching needs.
- Methods of Logic. The four editions of this book resulted from a more advanced undergraduate course in logic Quine taught from the end of World War II until his 1978 retirement.
- Philosophy of Logic. A concise and witty undergraduate treatment of a number of Quinian themes, such as the prevalence of use-mention confusions, the dubiousness of quantified modal logic, and the non-logical character of higher-order logic.
Mathematical Logic is based on Quine's graduate teaching during the 1930s and '40s. It shows that much of what Principia Mathematica took more than 1000 pages to say can be said in 250 pages. The proofs are concise, even cryptic. The last chapter, on Gödel's incompleteness theorem and Tarski's indefinability theorem, along with the article Quine (1946), became a launching point for Raymond Smullyan's later lucid exposition of these and related results.
Quine's work in logic gradually became dated in some respects. Techniques he did not teach and discuss include analytic tableaux, recursive functions, and model theory. His treatment of metalogic left something to be desired. For example, Mathematical Logic does not include any proofs of soundness and completeness. Early in his career, the notation of his writings on logic was often idiosyncratic. His later writings nearly always employed the now-dated notation of Principia Mathematica. Set against all this are the simplicity of his preferred method (as exposited in his Methods of Logic) for determining the satisfiability of quantified formulas, the richness of his philosophical and linguistic insights, and the fine prose in which he expressed them.
Most of Quine's original work in formal logic from 1960 onwards was on variants of his predicate functor logic, one of several ways that have been proposed for doing logic without quantifiers. For a comprehensive treatment of predicate functor logic and its history, see Quine (1976). For an introduction, see chpt. 45 of his Methods of Logic.
Quine was very warm to the possibility that formal logic would eventually be applied outside of philosophy and mathematics. He wrote several papers on the sort of Boolean algebra employed in electrical engineering, and with Edward J. McCluskey, devised the Quine–McCluskey algorithm of reducing Boolean equations to a minimum covering sum of prime implicants.
While his contributions to logic include elegant expositions and a number of technical results, it is in set theory that Quine was most innovative. He always maintained that mathematics required set theory and that set theory was quite distinct from logic. He flirted with Nelson Goodman's nominalism for a while, but backed away when he failed to find a nominalist grounding of mathematics.
Over the course of his career, Quine proposed three variants of axiomatic set theory, each including the axiom of extensionality:
- New Foundations, NF, creates and manipulates sets using a single axiom schema for set admissibility, namely an axiom schema of stratified comprehension, whereby all individuals satisfying a stratified formula compose a set. A stratified formula is one that type theory would allow, were the ontology to include types. However, Quine's set theory does not feature types. The metamathematics of NF are curious. NF allows many "large" sets the now-canonical ZFC set theory does not allow, even sets for which the axiom of choice does not hold. Since the axiom of choice holds for all finite sets, the failure of this axiom in NF proves that NF includes infinite sets. The consistency of NF relative to other formal systems adequate for mathematics is an open question, albeit that a number of candidate proofs are current in the NF community suggesting that NF is equiconsistent with Zermelo set theory without Choice. A modification of NF, NFU, due to R. B. Jensen and admitting urelements (entities that can be members of sets but that lack elements), turns out to be consistent relative to Peano arithmetic, thus vindicating the intuition behind NF. NF and NFU are the only Quinean set theories with a following. For a derivation of foundational mathematics in NF, see Rosser (1952);
- The set theory of Mathematical Logic is NF augmented by the proper classes of von Neumann–Bernays–Gödel set theory, except axiomatized in a much simpler way;
- The set theory of Set Theory and Its Logic does away with stratification and is almost entirely derived from a single axiom schema. Quine derived the foundations of mathematics once again. This book includes the definitive exposition of Quine's theory of virtual sets and relations, and surveyed axiomatic set theory as it stood circa 1960.
Quine's set theory and its background logic were driven by a desire to minimize posits; each innovation is pushed as far as it can be pushed before further innovations are introduced. For Quine, there is but one connective, the Sheffer stroke, and one quantifier, the universal quantifier. All polyadic predicates can be reduced to one dyadic predicate, interpretable as set membership. His rules of proof were limited to modus ponens and substitution. He preferred conjunction to either disjunction or the conditional, because conjunction has the least semantic ambiguity. He was delighted to discover early in his career that all of first order logic and set theory could be grounded in a mere two primitive notions: abstraction and inclusion. For an elegant introduction to the parsimony of Quine's approach to logic, see his "New Foundations for Mathematical Logic," ch. 5 in his From a Logical Point of View.
Rejection of the analytic–synthetic distinctionEdit
In the 1930s and 40s, discussions with Rudolf Carnap, Nelson Goodman and Alfred Tarski, among others, led Quine to doubt the tenability of the distinction between "analytic" statements—those true simply by the meanings of their words, such as "All bachelors are unmarried"—and "synthetic" statements, those true or false by virtue of facts about the world, such as "There is a cat on the mat." This distinction was central to logical positivism. Although Quine is not normally associated with verificationism, some philosophers believe the tenet is not incompatible with his general philosophy of language, citing his Harvard colleague B. F. Skinner and his analysis of language in Verbal Behavior.
Like other analytic philosophers before him, Quine accepted the definition of "analytic" as "true in virtue of meaning alone". Unlike them, however, he concluded that ultimately the definition was circular. In other words, Quine accepted that analytic statements are those that are true by definition, then argued that the notion of truth by definition was unsatisfactory.
Quine's chief objection to analyticity is with the notion of synonymy (sameness of meaning), a sentence being analytic, just in case it substitutes a synonym for one "black" in a proposition like "All black things are black" (or any other logical truth). The objection to synonymy hinges upon the problem of collateral information. We intuitively feel that there is a distinction between "All unmarried men are bachelors" and "There have been black dogs", but a competent English speaker will assent to both sentences under all conditions since such speakers also have access to collateral information bearing on the historical existence of black dogs. Quine maintains that there is no distinction between universally known collateral information and conceptual or analytic truths.
Another approach to Quine's objection to analyticity and synonymy emerges from the modal notion of logical possibility. A traditional Wittgensteinian view of meaning held that each meaningful sentence was associated with a region in the "logical space" . Quine finds the notion of such a space problematic, arguing that there is no distinction between those truths which are universally and confidently believed and those which are necessarily true.
Confirmation holism and ontological relativityEdit
Colleague Hilary Putnam called Quine's indeterminacy of translation thesis "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories". The central theses underlying it are ontological relativity and the related doctrine of confirmation holism. The premise of confirmation holism is that all theories (and the propositions derived from them) are under-determined by empirical data (data, sensory-data, evidence); although some theories are not justifiable, failing to fit with the data or being unworkably complex, there are many equally justifiable alternatives. While the Greeks' assumption that (unobservable) Homeric gods exist is false, and our supposition of (unobservable) electromagnetic waves is true, both are to be justified solely by their ability to explain our observations.
The gavagai thought experiment tells about a linguist, who tries to find out, what the expression gavagai means, when uttered by a speaker of a yet unknown, native language upon seeing a rabbit. At first glance, it seems that gavagai simply translates with rabbit. Now, Quine points out that the background language and its referring devices might fool the linguist here, because he is misled in a sense that he always makes direct comparisons between the foreign language and his own. However, when shouting gavagai, and pointing at a rabbit, the natives could as well refer to something like undetached rabbit-parts, or rabbit-tropes and it would not make any observable difference. The behavioural data the linguist could collect from the native speaker would be the same in every case, or to reword it, several translation hypotheses could be built on the same sensoric stimuli.
Quine concluded his "Two Dogmas of Empiricism" as follows:
As an empiricist I continue to think of the conceptual scheme of science as a tool, ultimately, for predicting future experience in the light of past experience. Physical objects are conceptually imported into the situation as convenient intermediaries not by definition in terms of experience, but simply as irreducible posits comparable, epistemologically, to the gods of Homer …. For my part I do, qua lay physicist, believe in physical objects and not in Homer's gods; and I consider it a scientific error to believe otherwise. But in point of epistemological footing, the physical objects and the gods differ only in degree and not in kind. Both sorts of entities enter our conceptions only as cultural posits.
Quine's ontological relativism (evident in the passage above) led him to agree with Pierre Duhem that for any collection of empirical evidence, there would always be many theories able to account for it, known as the Duhem–Quine thesis. However, Duhem's holism is much more restricted and limited than Quine's. For Duhem, underdetermination applies only to physics or possibly to natural science, while for Quine it applies to all of human knowledge. Thus, while it is possible to verify or falsify whole theories, it is not possible to verify or falsify individual statements. Almost any particular statement can be saved, given sufficiently radical modifications of the containing theory. For Quine, scientific thought forms a coherent web in which any part could be altered in the light of empirical evidence, and in which no empirical evidence could force the revision of a given part.
Existence and its contraryEdit
The problem of non-referring names is an old puzzle in philosophy, which Quine captured when he wrote,
A curious thing about the ontological problem is its simplicity. It can be put into three Anglo-Saxon monosyllables: 'What is there?' It can be answered, moreover, in a word—'Everything'—and everyone will accept this answer as true.
More directly, the controversy goes,
How can we talk about Pegasus? To what does the word 'Pegasus' refer? If our answer is, 'Something,' then we seem to believe in mystical entities; if our answer is, 'nothing', then we seem to talk about nothing and what sense can be made of this? Certainly when we said that Pegasus was a mythological winged horse we make sense, and moreover we speak the truth! If we speak the truth, this must be truth about something. So we cannot be speaking of nothing.
Quine resists the temptation to say that non-referring terms are meaningless for reasons made clear above. Instead he tells us that we must first determine whether our terms refer or not before we know the proper way to understand them. However, Czesław Lejewski criticizes this belief for reducing the matter to empirical discovery when it seems we should have a formal distinction between referring and non-referring terms or elements of our domain. Lejewski writes further,
This state of affairs does not seem to be very satisfactory. The idea that some of our rules of inference should depend on empirical information, which may not be forthcoming, is so foreign to the character of logical inquiry that a thorough re-examination of the two inferences [existential generalization and universal instantiation] may prove worth our while.
Lejewski then goes on to offer a description of free logic, which he claims accommodates an answer to the problem.
Lejewski also points out that free logic additionally can handle the problem of the empty set for statements like . Quine had considered the problem of the empty set unrealistic, which left Lejewski unsatisfied.
Indispensability argument for mathematical realismEdit
The form of the argument is as follows.
- One must have ontological commitments to all entities that are indispensable to the best scientific theories, and to those entities only (commonly referred to as "all and only").
- Mathematical entities are indispensable to the best scientific theories. Therefore,
- One must have ontological commitments to mathematical entities.
The justification for the first premise is the most controversial. Both Putnam and Quine invoke naturalism to justify the exclusion of all non-scientific entities, and hence to defend the "only" part of "all and only". The assertion that "all" entities postulated in scientific theories, including numbers, should be accepted as real is justified by confirmation holism. Since theories are not confirmed in a piecemeal fashion, but as a whole, there is no justification for excluding any of the entities referred to in well-confirmed theories. This puts the nominalist who wishes to exclude the existence of sets and non-Euclidean geometry, but to include the existence of quarks and other undetectable entities of physics, for example, in a difficult position.
Just as he challenged the dominant analytic–synthetic distinction, Quine also took aim at traditional normative epistemology. According to Quine, traditional epistemology tried to justify the sciences, but this effort (as exemplified by Rudolf Carnap) failed, and so we should replace traditional epistemology with an empirical study of what sensory inputs produce what theoretical outputs: "Epistemology, or something like it, simply falls into place as a chapter of psychology and hence of natural science. It studies a natural phenomenon, viz., a physical human subject. This human subject is accorded a certain experimentally controlled input—certain patterns of irradiation in assorted frequencies, for instance—and in the fullness of time the subject delivers as output a description of the three-dimensional external world and its history. The relation between the meager input and the torrential output is a relation that we are prompted to study for somewhat the same reasons that always prompted epistemology: namely, in order to see how evidence relates to theory, and in what ways one's theory of nature transcends any available evidence...But a conspicuous difference between old epistemology and the epistemological enterprise in this new psychological setting is that we can now make free use of empirical psychology." (Quine, 1969: 82–83)
In popular cultureEdit
- A computer program whose output is its own source code is called a "quine" after Quine. This usage was introduced by Douglas Hofstadter in his 1979 book, Gödel, Escher, Bach: An Eternal Golden Braid.
- Quine is a recurring character in the webcomic "Existential Comics".
- Quine was selected for inclusion in the Committee for Skeptical Inquiry's "Pantheon of Skeptics," which celebrates contributors to the cause of scientific skepticism.
- 1934 A System of Logistic. Harvard Univ. Press.
- 1951 (1940). Mathematical Logic. Harvard Univ. Press. ISBN 0-674-55451-5.
- 1980 (1941). Elementary Logic. Harvard Univ. Press. ISBN 0-674-24451-6.
- 1982 (1950). Methods of Logic. Harvard Univ. Press. 1980 (1953). From a Logical Point of View. Harvard Univ. Press. ISBN 0-674-32351-3. Contains "Two dogmas of Empiricism."
- 1960 Word and Object. MIT Press; ISBN 0-262-67001-1. The closest thing Quine wrote to a philosophical treatise. Chpt. 2 sets out the indeterminacy of translation thesis.
- 1969 (1963). Set Theory and Its Logic. Harvard Univ. Press.
- 1966. Selected Logic Papers. New York: Random House.
- 1976 (1966). The Ways of Paradox. Harvard Univ. Press.
- 1969 Ontological Relativity and Other Essays. Columbia Univ. Press. ISBN 0-231-08357-2. Contains chapters on ontological relativity, naturalized epistemology, and natural kinds.
- 1970 (2nd ed., 1978). With J. S. Ullian. The Web of Belief. New York: Random House.
- 1986 (1970). The Philosophy of Logic. Harvard Univ. Press.
- 1974 (1971). The Roots of Reference. Open Court Publishing Company ISBN 0-8126-9101-6 (developed from Quine's Carus Lectures).
- 1981. Theories and Things. Harvard Univ. Press.
- 1985. The Time of My Life: An Autobiography. Cambridge, The MIT Press. ISBN 0-262-17003-5.
- 1987. Quiddities: An Intermittently Philosophical Dictionary. Harvard Univ. Press. ISBN 0-14-012522-1. A work of essays, many subtly humorous, for lay readers, very revealing of the breadth of his interests.
- 1992 (1990). Pursuit of Truth. Harvard Univ. Press. A short, lively synthesis of his thought for advanced students and general readers not fooled by its simplicity. ISBN 0-674-73951-5.
- 1995. From Stimulus to Science. Harvard Univ. Press. ISBN 0-674-32635-0.
- 1946, "Concatenation as a basis for arithmetic." Reprinted in his Selected Logic Papers. Harvard Univ. Press.
- 1948, "On What There Is", Review of Metaphysics 2(5) (JSTOR). Reprinted in his 1953 From a Logical Point of View. Harvard University Press.
- 1951, "Two Dogmas of Empiricism", The Philosophical Review 60: 20–43. Reprinted in his 1953 From a Logical Point of View. Harvard University Press.
- 1956, "Quantifiers and Propositional Attitudes," Journal of Philosophy 53. Reprinted in his 1976 Ways of Paradox. Harvard Univ. Press: 185–96.
- 1969, "Epistemology Naturalized" in Ontological Relativity and Other Essays. New York: Columbia University Press: 69–90.
- "Truth by Convention," first published in 1936. Reprinted in the book, Readings in Philosophical Analysis, edited by Herbert Feigl and Wilfrid Sellars, pp. 250–273, Appleton-Century-Crofts, 1949.
- Bueno, Otávio, 2013, "Nominalism in the Philosophy of Mathematics" at the Stanford Encyclopedia of Philosophy.
- Scientific Realism and Antirealism – Internet Encyclopedia of Philosophy
- Pragmatism – Internet Encyclopedia of Philosophy
- Ted Poston, "Foundationalism" (Internet Encyclopedia of Philosophy)
- Zalta, Edward N. (ed.). "Behaviorism". Stanford Encyclopedia of Philosophy.
- Hunter, Bruce, 2016, "Clarence Irving Lewis" at the Stanford Encyclopedia of Philosophy.
- Willard Van Orman Quine (1983). "Chapter 22: Ontology and ideology revisited". Confessions of a Confirmed Extensionalist: And Other Essays. Harvard University Press. pp. 315 ff. ISBN 0674030842.
- Quine, W.V. (1966). "The Ways of Paradox". The Ways of Paradox, and Other Essays. New York: Random House.
- O'Connor, John J.; Robertson, Edmund F. (October 2003), "Willard Van Orman Quine", MacTutor History of Mathematics archive, University of St Andrews.
- "W. V. Quine, Philosopher Who Analyzed Language and Reality, Dies at 92"
- Colyvan, Mark, "Indispensability Arguments in the Philosophy of Mathematics", The Stanford Encyclopedia of Philosophy (Fall 2004 Edition), Edward N. Zalta (ed.)
- "Mr Strawson on Logical Theory". WV Quine. Mind Vol. 62 No. 248. Oct. 1953.
- "Quine's Philosophy of Science". Internet Encyclopedia of Philosophy. Iep.utm.edu. July 27, 2009. Accessed March 8, 2010.
- "So who *is* the most important philosopher of the past 200 years?" Leiter Reports. Leiterreports.typepad.com. March 11, 2009. Accessed March 8, 2010.
- Poll Results: Who is the most important philosopher of the past 200 years? Brian Leiter. March 11, 2009. Accessed October 24, 2014.
- "Prize winner page". The Royal Swedish Academy of Sciences. Kva.se. Retrieved August 29, 2010.
- "Willard Van Orman Quine". Inamori Foundation. Archived from the original on July 20, 2013. Retrieved December 15, 2012.
- The Cambridge Companion to Quine, ed. Roger F. Gibson, Jr, Cambridge University Press, 2004, p. 1
- Quine, Willard Van Orman; Hahn, Lewis Edwin (1986). The Philosophy of W.V. Quine. Open Court. p. 6. ISBN 978-0812690101.
In my third year of high school I walked often with my new Jamaican friends, Fred and Harold Cassidy, trying to convert them from their Episcopalian faith to atheism.
- The Wall Street Journal, obituary for W. V. Quine – January 4, 2001
- Quiddities: An Intermittently Philosophical Dictionary, entry for Tolerance (pp. 206–08)
- "Paradoxes of Plenty" in Theories and Things, p. 197
- The Time of My Life: An Autobiography, pp. 352–53.
- "Guide to the Center for Advanced Studies Records, 1958–1969" Archived March 14, 2017, at the Wayback Machine. Weselyan University. Wesleyan.edu. Accessed March 8, 2010.
- "Honorary doctorates – Uppsala University, Sweden".
- W. V. Quine. Word and Object 2013. MIT Press.
- Nelson Goodman and W. V. O. Quine, "Steps Toward a Constructive Nominalism", Journal of Symbolic Logic, 12 (1947): 105–122.
- Armstrong, D. M. (2010). Sketch for a systematic metaphysics. Oxford: Oxford University Press. p. 2. ISBN 9780199655915.
- Frost-Arnold, Greg (2013). Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science. Chicago: Open Court. p. 89. ISBN 9780812698374.
- Prawitz, Dag. 'Quine and Verificationism.' In Inquiry, Stockholm, 1994, pp. 487–94
- Tractatus Logico-Philosophicus 1.13
- W. V. O. Quine, "On What There Is", The Review of Metaphysics 2(5), 1948.
- Czeslaw Lejewski, "Logic and Existence". British Journal for the Philosophy of Science Vol. 5 (1954–55), pp. 104–19.
- Colyvan, Mark, "Indispensability Arguments in the Philosophy of Mathematics", The Stanford Encyclopedia of Philosophy (Fall 2004 Edition), Edward N. Zalta (ed.)
- Putnam, H. Mathematics, Matter and Method. Philosophical Papers, vol. 1. Cambridge: Cambridge University Press, 1975. 2nd. ed., 1985.
- "Naturalism in Epistemology". Naturalized Epistemology. stanford.edu. Metaphysics Research Lab, Stanford University. 2017.
- "Naturalized Epistemology". Stanford Encyclopedia of Philosophy. Plato.stanford.edu. July 5, 2001. Accessed March 8, 2010.
- . Existential Comics. Accessed November 24, 2014
- "The Pantheon of Skeptics". CSI. Committee for Skeptical Inquiry. Archived from the original on January 31, 2017. Retrieved April 30, 2017.
- Church, Alonzo (1935). "Review: A System of Logistic by Willard Van Orman Quine" (PDF). Bull. Amer. Math. Soc. 41 (9): 598–603. doi:10.1090/s0002-9904-1935-06146-4.
- In this paper, Quine explicitly connected each of the three main medieval ontological positions, namely realism/conceptualism/nominalism, with one of three dominant schools in modern philosophy of mathematics: logicism/intuitionism/formalism respectively.
- Gibson, Roger F., ed. (2004). The Cambridge companion to Quine. Cambridge University Press. ISBN 0521639492.
- Gibson, Roger F. (1988). The Philosophy of W. V. Quine: An Expository Essay. Tampa: University of South Florida.
- Gibson, Roger F. (1988). Enlightened Empiricism: An Examination of W. V. Quine's Theory of Knowledge. Tampa: University of South Florida.
- Gibson, Roger F. (2004). Quintessence: Basic Readings from the Philosophy of W. V. Quine. Harvard University Press.
- Gibson, Roger F.; Barrett, R., eds. (1990). Perspectives on Quine. Oxford: Blackwell Publishing.
- Gochet, Paul, 1978. Quine en perspective, Paris, Flammarion.
- Godfrey-Smith, Peter, 2003. Theory and Reality: An Introduction to the Philosophy of Science.
- Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.
- Grice, Paul and Peter Strawson. "In Defense of a Dogma". The Philosophical Review 65 (1965).
- Hahn, L. E., and Schilpp, P. A., eds., 1986. The Philosophy of W. V. O. Quine (The Library of Living Philosophers). Open Court.
- Köhler, Dieter, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie. Ph.D. thesis, Univ. of Heidelberg.
- MacFarlane, Alistair (March–April 2013). "W.V.O. Quine (1908-2000)". Philosophy Now. 95: 35–36.
- Murray Murphey, The Development of Quine's Philosophy (Heidelberg, Springer, 2012) (Boston Studies in the Philosophy of Science, 291).
- Orenstein, Alex (2002). W.V. Quine. Princeton University Press.
- Putnam, Hilary. "The Greatest Logical Positivist." Reprinted in Realism with a Human Face, ed. James Conant. Cambridge, MA: Harvard University Press, 1990.
- Rosser, John Barkley, "The axiom of infinity in Quine's new foundations," Journal of Symbolic Logic 17 (4):238–242, 1952.
- Valore, Paolo, 2001. Questioni di ontologia quineana, Milano: Cusi.
- Willard Van Orman Quine at the Stanford Encyclopedia of Philosophy
- "Quine's Rejection of the Analytic/Synthetic Distinction". Internet Encyclopedia of Philosophy.
- "Quine's Philosophy of Science" at the Internet Encyclopedia of Philosophy
- Quine's New Foundations at the Stanford Encyclopedia of Philosophy
- Willard Van Orman Quine at the Mathematics Genealogy Project
- Obituary from The Guardian
- Summary and Explanation of "On What There Is"
- "Two Dogmas of Empiricism"
- "On Simple Theories Of A Complex World"
- What is Quine's Ontology?