Wikipedia

Quine–Putnam indispensability argument

The Quine–Putnam indispensability argument[a] is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Van Orman Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics.

Photo of Willard Van Orman Quine
W. V. O. Quine
Photo of Hilary Putnam
Hilary Putnam

Although elements of the indispensability argument may have originated with thinkers such as Gottlob Frege and Kurt Gödel, Quine's development of the argument was unique for introducing to it a number of his philosophical positions such as naturalism, confirmational holism, and the criterion of ontological commitment. Putnam gave Quine's argument its first detailed formulation in his 1971 book Philosophy of Logic. He later came to disagree with various aspects of Quine's thinking, however, and formulated his own indispensability argument based on the no miracles argument in the philosophy of science. A standard form of the argument in contemporary philosophy is credited to Mark Colyvan; whilst being influenced by both Quine and Putnam, it differs in important ways from their formulations. It is presented in the Stanford Encyclopedia of Philosophy:[2]

  • We ought to have ontological commitment to all and only the entities that are indispensable to our best scientific theories.
  • Mathematical entities are indispensable to our best scientific theories.
  • Therefore, we ought to have ontological commitment to mathematical entities.

Nominalists, philosophers who reject the existence of abstract objects, have argued against both premises of this argument. An influential argument by Hartry Field claims that mathematical entities are dispensable to science. This argument has been supported by attempts to demonstrate that scientific and mathematical theories can be reformulated to remove all references to mathematical entities. Other philosophers, including Penelope Maddy, Elliott Sober, and Joseph Melia, have argued that we do not need to believe in all of the entities that are indispensable to science. The arguments of these writers inspired a new explanatory version of the argument, which Alan Baker and Mark Colyvan support, that argues mathematics is indispensable to specific scientific explanations as well as whole theories.

Background

edit

In his 1973 paper "Mathematical Truth", Paul Benacerraf raised a problem for the philosophy of mathematics.[b] According to Benacerraf, mathematical sentences such as "two is a prime number" imply the existence of mathematical objects.[5] He supported this claim with the idea that mathematics should not have its own special semantics, or in other words, the meaning of mathematical sentences should follow the same rules as non-mathematical sentences. For example, according to this reasoning, if the sentence "Mars is a planet" implies the existence of the planet Mars, then the sentence "two is a prime number" should also imply the existence of the number two.[6] But according to Benacerraf, if mathematical objects existed, they would be unknowable.[5] This is because mathematical objects, if they exist, are abstract objects: objects that cannot cause things to happen and that have no location in space and time.[7] Benacerraf argued, on the basis of the causal theory of knowledge, that it would be impossible to know about such objects because they cannot come into causal contact with us.[c][9] This is called Benacerraf's epistemological problem because it concerns the epistemology of mathematics, that is, how we come to know what we do about mathematics.[10]

The philosophy of mathematics is split into two main strands: platonism and nominalism. Platonism holds that there exist abstract mathematical objects such as numbers and sets whilst nominalism denies their existence.[11] Each of these views faces issues due to the problem raised by Benacerraf. Because nominalism rejects the existence of mathematical objects, it faces no epistemological problem but it does face problems concerning the idea that mathematics should not have its own special semantics. Platonism does not face problems concerning the semantic half of the dilemma but it has difficulty explaining how we can have any knowledge about mathematical objects.[12]

The indispensability argument aims to overcome the epistemological problem posed against platonism by providing a justification for belief in abstract mathematical objects.[13] It is part of a broad class of indispensability arguments most commonly applied in the philosophy of mathematics, but which also includes arguments in the philosophy of language and ethics.[14] In the most general sense, indispensability arguments aim to support their conclusion based on the claim that the truth of the conclusion is indispensable or necessary for a certain purpose.[15] When applied in the field of ontology—the study of what exists—they exemplify a Quinean strategy for establishing the existence of controversial entities that cannot be directly investigated. According to this strategy, the indispensability of these entities for formulating a theory of other less controversial entities counts as evidence for their existence.[16] In the case of philosophy of mathematics, the indispensability of mathematical entities for formulating scientific theories is taken as evidence for the existence of those mathematical entities.[17]

Overview of the argument

edit

Mark Colyvan presents the argument in the Stanford Encyclopedia of Philosophy in the following form:[2]

  • We ought to have ontological commitment to all and only the entities that are indispensable to our best scientific theories.
  • Mathematical entities are indispensable to our best scientific theories.
  • Therefore, we ought to have ontological commitment to mathematical entities.

Here, an ontological commitment to an entity is a commitment to believing that that entity exists.[18] The first premise is based on two fundamental assumptions: naturalism and confirmational holism. According to naturalism, we should look to our best scientific theories to determine what we have best reason to believe exists.[19] Quine summarized naturalism as "the recognition that it is within science itself, and not in some prior philosophy, that reality is to be identified and described".[20] Confirmational holism is the view that scientific theories cannot be confirmed in isolation and must be confirmed as wholes. Therefore, according to confirmational holism, if we should believe in science, then we should believe in all of science, including any of the mathematics that is assumed by our best scientific theories.[19] The argument is mainly aimed at nominalists that are scientific realists as it attempts to justify belief in mathematical entities in a manner similar to the justification for belief in theoretical entities such as electrons or quarks; Quine held that such nominalists have a "double standard" with regards to ontology.[2]

The indispensability argument differs from other arguments for platonism because it only argues for belief in the parts of mathematics that are indispensable to science. It does not necessarily justify belief in the most abstract parts of set theory, which Quine called "mathematical recreation … without ontological rights".[21] Some philosophers infer from the argument that mathematical knowledge is a posteriori because it implies mathematical truths can only be established via the empirical confirmation of scientific theories to which they are indispensable. This also indicates mathematical truths are contingent since empirically known truths are generally contingent. Such a position is controversial because it contradicts the traditional view of mathematical knowledge as a priori knowledge of necessary truths.[22]

Whilst Quine's original argument is an argument for platonism, indispensability arguments can also be constructed to argue for the weaker claim of sentence realism—the claim that mathematical theory is objectively true. This is a weaker claim because it does not necessarily imply there are abstract mathematical objects.[23][d]

Major concepts

edit

Indispensability

edit

The second premise of the indispensability argument states mathematical objects are indispensable to our best scientific theories. In this context, indispensability is not the same as ineliminability because any entity can be eliminated from a theoretical system given appropriate adjustments to the other parts of the system.[25] Indispensability instead means that an entity cannot be eliminated without reducing the attractiveness of the theory. The attractiveness of the theory can be evaluated in terms of theoretical virtues such as explanatory power, empirical adequacy and simplicity.[26] Furthermore, if an entity is dispensable to a theory, an equivalent theory can be formulated without it.[27] This is the case, for example, if each sentence in one theory is a paraphrase of a sentence in another or if the two theories predict the same empirical observations.[28]

According to the Stanford Encyclopedia of Philosophy, one of the most influential arguments against the indispensability argument comes from Hartry Field.[29] It rejects the claim that mathematical objects are indispensable to science; Field has supported this argument by reformulating or "nominalizing" scientific theories so they do not refer to mathematical objects.[30] As part of this project, Field has offered a reformulation of Newtonian physics in terms of the relationships between space-time points. Instead of referring to numerical distances, Field's reformulation uses relationships such as "between" and "congruent" to recover the theory without implying the existence of numbers.[31] John Burgess and Mark Balaguer have taken steps to extend this nominalizing project to areas of modern physics, including quantum mechanics.[32] Philosophers such as David Malament and Otávio Bueno dispute whether such reformulations are successful or even possible, particularly in the case of quantum mechanics.[33]

Field's alternative to platonism is mathematical fictionalism, according to which mathematical theories are false because they refer to abstract objects which do not exist.[34] As part of his argument against the indispensability argument, Field has tried to explain how it is possible for false mathematical statements to be used by science without making scientific predictions false.[35] His argument is based on the idea that mathematics is conservative. A mathematical theory is conservative if, when combined with a scientific theory, it does not imply anything about the physical world that the scientific theory alone would not have already.[36] This explains how it is possible for mathematics to be used by scientific theories without making the predictions of science false. In addition, Field has attempted to specify how exactly mathematics is useful in application.[29] Field thinks mathematics is useful for science because mathematical language provides a useful shorthand for talking about complex physical systems.[32]

Another approach to denying that mathematical entities are indispensable to science is to reformulate mathematical theories themselves so they do not imply the existence of mathematical objects. Charles Chihara, Geoffrey Hellman, and Putnam have offered modal reformulations of mathematics that replace all references to mathematical objects with claims about possibilities.[32]

Naturalism

edit

The naturalism underlying the indispensability argument is a form of methodological naturalism that asserts the primacy of the scientific method for determining the truth.[37] In other words, according to Quine's naturalism, our best scientific theories are the best guide to what exists.[19] This form of naturalism rejects the idea that philosophy precedes and ultimately justifies belief in science, instead holding that science and philosophy are continuous with one another as part of a single, unified investigation into the world.[38] As such, this form of naturalism precludes the idea of a prior philosophy that can overturn the ontological commitments of science.[39] This is in contrast to metaphysical forms of naturalism, which rule out the existence of abstract objects because they are not physical.[40] An example of such a naturalism is supported by David Armstrong. It holds a principle called the Eleatic principle, which states that only causal entities exist and there are no non-causal entities.[41] Quine's naturalism claims such a principle cannot be used to overturn our best scientific theories' ontological commitment to mathematical entities because philosophical principles cannot overrule science.[42]

I'm moved to laughter at the thought of how presumptuous it would be to reject mathematics for philosophical reasons. How would you like the job of telling the mathematicians that they must change their ways, and abjure countless errors, now that philosophy has discovered that there are no classes? Can you tell them, with a straight face, to follow philosophical argument wherever it may lead? If they challenge your credentials, will you boast of philosophy's other great discoveries: that motion is impossible, that a Being than which no greater can be conceived cannot be conceived not to exist, ... and so on, and on, ad nauseam? Not me!

David Lewis, Parts of Classes[43]

Quine held his naturalism as a fundamental assumption but later philosophers have provided arguments to support it. The most common arguments in support of Quinean naturalism are track-record arguments. These are arguments that appeal to science's successful track record compared to philosophy and other disciplines.[44] David Lewis famously made such an argument in a passage from his 1991 book Parts of Classes, deriding the track record of philosophy compared to mathematics and arguing that the idea of philosophy overriding science is absurd.[45] Critics of the track record argument have argued that it goes too far, discrediting philosophical arguments and methods entirely, and contest the idea that philosophy can be uniformly judged to have had a bad track record.[46]

Quine's naturalism has also been criticized by Penelope Maddy for contradicting mathematical practice.[e][47] According to the indispensability argument, mathematics is subordinated to the natural sciences in the sense that its legitimacy depends on them.[48] But Maddy argues mathematicians do not seem to believe their practice is restricted in any way by the activity of the natural sciences. For example, mathematicians' arguments over the axioms of Zermelo–Fraenkel set theory do not appeal to their applications to the natural sciences. Similarly, Charles Parsons has argued that mathematical truths seem immediately obvious in a way that suggests they do not depend on the results of our best theories.[49]

Confirmational holism

edit

Confirmational holism is the view that scientific theories and hypotheses cannot be confirmed in isolation and must be confirmed together as part of a larger cluster of theories.[50] An example of this idea provided by Michael Resnik is of the hypothesis that an observer will see oil and water separate out if they are added together because they do not mix. This hypothesis cannot be confirmed in isolation because it relies on assumptions such as the absence of any chemical that will interfere with their separation and that the eyes of the observer are functioning well enough to observe the separation.[51] Because mathematical theories are likewise assumed by scientific theories, confirmational holism implies the empirical confirmations of scientific theories also support these mathematical theories.[52]

According to a counterargument by Maddy,[e] the theses of naturalism and confirmational holism that make up the first premise of the indispensability argument are in tension with one another. Maddy said naturalism tells us that we should respect the methods used by scientists as the best method for uncovering the truth, but scientists do not act as if we should believe in all of the entities that are indispensable to science.[53] To illustrate this point, Maddy uses the example of atomic theory; she states that despite the atom being indispensable to scientists' best theories by 1860, their reality was not universally accepted until 1913 when they were put to a direct experimental test.[54] Maddy, and others such as Mary Leng, also appeal to the fact that scientists use mathematical idealizations—such as assuming bodies of water to be infinitely deep—without regard for whether they are true.[55] According to Maddy, this indicates that scientists do not view the indispensable use of mathematics for science as justification for the belief in mathematics or mathematical entities. Overall, Maddy said we should side with naturalism and reject confirmational holism, meaning we do not need to believe in all of the entities that are indispensable to science.[29]

Another counterargument due to Elliott Sober claims that mathematical theories are not tested in the same way as scientific theories. Sober states that scientific theories compete with alternatives to find which theory has the most empirical support. But there are no alternatives for mathematical theory to compete with because all scientific theories share the same mathematical core. As a result, according to Sober, mathematical theories do not share the empirical support of our best scientific theories so we should reject confirmational holism.[56]

Since these counterarguments have been raised, a number of philosophers—including Resnik, Alan Baker, Patrick Dieveney, David Liggins, Jacob Busch, and Andrea Sereni—have argued that confirmational holism can be eliminated from the argument.[57] For example, Resnik has offered a pragmatic indispensability argument focused less on the notion of evidence and more on the practical importance of mathematics in conducting scientific enquiry.[58]

Ontological commitment

edit

Another key part of the argument is the concept of ontological commitment. An ontological commitment to an entity is a commitment to believing that that entity exists. It can be split into two components: the commitments held by individual people, and the commitments of the theories they believe. Quine believed that we should be committed to the same entities that our best scientific theories are committed.[59] He formulated a "criterion of ontological commitment", which aims to uncover the commitments of our best theories by translating or "regimenting" them from ordinary language into first-order logic.[60] In ordinary language, Quine believed the term "there is" must carry ontological commitment; to say "there is" something means that that thing exists.[f][62] And for Quine, the existential quantifier in first-order logic was the natural equivalent of "there is". Therefore, in translating scientific theories into first-order logic, Quine's criterion takes the ontological commitments of the theory to be all of the objects over which the regimented theory quantifies.[60]

Quine thought it is important to translate our best scientific theories into first-order logic because ordinary language is ambiguous, whereas logic can make the commitments of a theory more precise. Translating theories to first-order logic also has advantages over translating them to higher-order logics such as second-order logic. Whilst second-order logic has the same expressive power as first-order logic, it lacks some of the technical strengths of first-order logic such as completeness and compactness. Second-order logic also allows quantification over properties like "redness", but whether we have ontological commitment to properties is controversial.[18] According to Quine, such quantification is simply ungrammatical.[63]

Jody Azzouni has objected to Quine's criterion of ontological commitment, saying that the existential quantifier in first-order logic does not always carry ontological commitment.[64] According to Azzouni, the ordinary language equivalent of existential quantification "there is" is often used in sentences without implying ontological commitment. In particular, Azzouni points to the use of "there is" when referring to fictional objects in sentences such as "there are fictional detectives who are admired by some real detectives".[65] According to Azzouni, for us to have ontological commitment to an entity, we must have the right level of epistemic access to it. This means, for example, that it must overcome some epistemic burdens for us to be able to postulate it. But according to Azzouni, mathematical entities are "mere posits" that can be postulated by anyone at any time by "simply writing down a set of axioms", so we do not need to treat them as real.[66]

More modern presentations of the argument do not necessarily accept Quine's criterion of ontological commitment and may allow for ontological commitments to be directly determined from ordinary language.[67][g]

Mathematical explanation

edit

One issue with the argument, raised by Joseph Melia, is that it doesn't account for the role of mathematics in science. According to Melia, we only need to believe in mathematics if it is indispensable to science in the right kind of way. In particular, it needs to be indispensable to scientific explanations.[69] But according to Melia, mathematics plays a purely representational role in science, it merely "[makes] more things sayable about concrete objects".[70] He argues that it is legitimate to withdraw commitment to mathematics for this reason, citing a linguistic phenomenon he calls "weaseling". This is when a person makes a statement and then later withdraws something implied by that statement. An example of weaseling used to express information in an everyday context is "Everyone who came to the seminar had a handout. But the person who came in late didn't get one."[71] Here, seemingly contradictory information is conveyed, but read charitably it simply states that everyone apart from the person who came in late got a handout.[71] Similarly, according to Melia, although mathematics is indispensable to science "almost all scientists ... deny that there are such things as mathematical objects", implying that commitment to mathematical objects is being weaseled away.[72] For Melia, such weaseling is acceptable because mathematics does not play a genuinely explanatory role in science.[73]

Inspired both by the arguments against confirmational holism[74] and Melia's argument that we can suspend belief in mathematics if it does not play a genuinely explanatory role in science,[75] Colyvan and Baker have defended an explanatory version of the indispensability argument.[76][h] This version of the argument attempts to remove the reliance on confirmational holism by replacing it with an inference to the best explanation. It states we are justified in believing in mathematical objects because they appear in our best scientific explanations, not because they inherit the empirical support of our best theories.[79] It is presented by the Internet Encyclopedia of Philosophy in the following form:[76]

  • There are genuinely mathematical explanations of empirical phenomena.
  • We ought to be committed to the theoretical posits in such explanations.
  • Therefore, we ought to be committed to the entities postulated by the mathematics in question.
 
Number line visualizing why prime-numbered life cycles are advantageous compared to non-prime life cycles. If predators have life cycles of 3 or 4 years, they quickly synchronize with a non-prime life cycle such as a life cycle of 12 years. But they will not synchronize with a 13-year periodical cicada's life cycle until 39 and 52 years have passed, respectively.

An example of mathematics' explanatory indispensability presented by Baker is the periodic cicada, a type of insect that usually has life cycles of 13 or 17 years. It is hypothesized that this is an evolutionary advantage because 13 and 17 are prime numbers. Because prime numbers have no non-trivial factors, this means it is less likely predators can synchronize with the cicadas' life cycles. Baker said that this is an explanation in which mathematics, specifically number theory, plays a key role in explaining an empirical phenomenon.[80]

Other important examples are explanations of the hexagonal structure of bee honeycombs and the impossibility of crossing all seven bridges of Königsberg only once in a walk across the city.[81] The main response to this form of the argument, which philosophers such as Melia, Chris Daly, Simon Langford, and Juha Saatsi have adopted, is to deny there are genuinely mathematical explanations of empirical phenomena, instead framing the role of mathematics as representational or indexical.[82]

Historical development

edit

Precursors and influences on Quine

edit
 
Aspects of the indispensability argument can be traced back to Gottlob Frege.

The argument is historically associated with Willard Van Orman Quine and Hilary Putnam but it can be traced to earlier thinkers such as Gottlob Frege and Kurt Gödel. In his arguments against mathematical formalism—a view that likens mathematics to a game like chess with rules about how mathematical symbols such as "2" can be manipulated—Frege said in 1893 that "it is applicability alone which elevates arithmetic from a game to the rank of a science".[83] Gödel, in a 1947 paper on the axioms of set theory, said that if a new axiom were to have enough verifiable consequences, it "would have to be accepted at least in the same sense as any well‐established physical theory".[84] Frege's and Gödel's arguments differ from the later Quinean indispensability argument because they lack features such as naturalism and subordination of practice, leading some philosophers, including Pieranna Garavaso, to say that they are not genuine examples of the indispensability argument.[85]

Whilst developing his philosophical view of confirmational holism, Quine was influenced by Pierre Duhem.[86] At the beginning of the twentieth century, Duhem defended the law of inertia from critics who said that it is devoid of empirical content and unfalsifiable.[51] These critics based this claim on the fact that the law does not make any observable predictions without positing some observational frame of reference and that falsifying instances can always be avoided by changing the choice of reference frame. Duhem responded by saying that the law produces predictions when paired with auxiliary hypotheses fixing the frame of reference and is therefore no different from any other physical theory.[87] Duhem said that although individual hypotheses may make no observable predictions alone, they can be confirmed as parts of systems of hypotheses. Quine extended this idea to mathematical hypotheses, claiming that although mathematical hypotheses hold no empirical content on their own, they can share in the empirical confirmations of the systems of hypotheses in which they are contained.[88] This thesis later came to be known as the Duhem–Quine thesis.[89]

Quine described his naturalism as the "abandonment of the goal of a first philosophy. It sees natural science as an inquiry into reality, fallible and corrigible but not answerable to any supra-scientific tribunal, and not in need of any justification beyond observation and the hypothetico-deductive method."[90] The term "first philosophy" is used in reference to Descartes' Meditations on First Philosophy, in which Descartes used his method of doubt in an attempt to secure the foundations of science. Quine said that Descartes' attempts to provide the foundations for science had failed and that the project of finding a foundational justification for science should be rejected because he believed philosophy could never provide a method of justification more convincing than the scientific method.[91]

Quine was also influenced by the logical positivists, such as his teacher Rudolf Carnap; his naturalism was formulated in response to many of their ideas.[92] For the logical positivists, all justified beliefs were reducible to sense data, including our knowledge of ordinary objects such as trees.[93] Quine criticized sense data as self-defeating, saying that we must believe in ordinary objects to organize our experiences of the world. He also said that because science is our best theory of how sense-experience gives us beliefs about ordinary objects, we should believe in it as well.[94] Whilst the logical positivists said that individual claims must be supported by sense data, Quine's confirmational holism means scientific theory is inherently tied up with mathematical theory and so evidence for scientific theories can justify belief in mathematical objects despite their not being directly perceived.[93]

Quine and Putnam

edit

Whilst he eventually became a platonist due to his formulation of the indispensability argument,[95] Quine was sympathetic to nominalism from the early stages of his career.[96] In a 1946 lecture, he said: "I will put my cards on the table now and avow my prejudices: I should like to be able to accept nominalism".[97] He and Nelson Goodman subsequently released a joint 1947 paper titled "Steps toward a Constructive Nominalism"[98] as part of an ongoing project of Quine's to "set up a nominalistic language in which all of natural science can be expressed".[99] In a letter to Joseph Henry Woodger the following year, however, Quine said that he was becoming more convinced "the assumption of abstract entities and the assumptions of the external world are assumptions of the same sort".[100] He later released the 1948 paper "On What There Is", in which he said that "[t]he analogy between the myth of mathematics and the myth of physics is ... strikingly close", marking a shift towards his eventual acceptance of a "reluctant platonism".[101]

Throughout the 1950s, Quine regularly mentioned platonism, nominalism, and constructivism as plausible views, and he had not yet reached a definitive conclusion about which was correct.[102] It is unclear exactly when Quine accepted platonism; in 1953, he distanced himself from the claims of nominalism in his 1947 paper with Goodman, but by 1956, Goodman was still describing Quine's "defection" from nominalism as "still somewhat tentative".[103] According to Lieven Decock, Quine had accepted the need for abstract mathematical entities by the publication of his 1960 book Word and Object, in which he wrote "a thoroughgoing nominalist doctrine is too much to live up to".[104] However, whilst he released suggestions of the indispensability argument in a number of papers, he never gave it a detailed formulation.[105]

Putnam gave the argument its first explicit presentation in his 1971 book Philosophy of Logic in which he attributed it to Quine.[106] He stated the argument as "quantification over mathematical entities is indispensable for science, both formal and physical; therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question".[107] He also wrote Quine had "for years stressed both the indispensability of quantification over mathematical entities and the intellectual dishonesty of denying the existence of what one daily presupposes".[107] Putnam's endorsement of Quine's version of the argument is disputed. The Internet Encyclopedia of Philosophy states: "In his early work, Hilary Putnam accepted Quine's version of the indispensability argument."[108] Liggins and Bueno, however, argue that Putnam never endorsed the argument and only presented it as an argument from Quine.[109] In a 1990 lecture, Putnam said that he had shared Quine's views on the indispensability argument since 1948 when he was a student at Harvard, but that he had since come to disagree with them.[110] He later said that he differed with Quine in his attitude to the argument from at least 1975.[111] Features of the argument that Putnam came to disagree with include its reliance on a single, regimented, best theory.[108]

In 1975, Putnam formulated his own indispensability argument based on the no miracles argument in the philosophy of science, which argues the success of science can only be explained by scientific realism without being rendered miraculous. He wrote that year: "I believe that the positive argument for realism [in science] has an analogue in the case of mathematical realism. Here too, I believe, realism is the only philosophy that doesn't make the success of the science a miracle."[112] The Internet Encyclopedia of Philosophy terms this version of the argument "Putnam's success argument" and presents it in the following form:[108]

  • Mathematics succeeds as the language of science.
  • There must be a reason for the success of mathematics as the language of science.
  • No positions other than realism in mathematics provide a reason.
  • Therefore, realism in mathematics must be correct.[i]

According to the Internet Encyclopedia of Philosophy, the first and second premises of the argument have been seen as uncontroversial, so discussion of this argument has been focused on the third premise. Other positions that have attempted to provide a reason for the success of mathematics include Field's reformulations of science, which explain the usefulness of mathematics as a conservative shorthand.[108] Putnam has criticized Field's reformulations for only applying to classical physics and for being unlikely to be able to be extended to future fundamental physics.[115]

Continued development of the argument

edit

According to Ian Hacking, there was no "concerted challenge" to the indispensability argument for a number of decades after Quine first raised it.[116] Chihara, in his 1973 book Ontology and the Vicious Circle Principle, was one of the earliest philosophers to attempt to reformulate mathematics in response to Quine's arguments.[117] Field followed with Science Without Numbers in 1980 and dominated discussion about the indispensability argument throughout the 1980s and 1990s.[118] With the introduction of arguments against the first premise of the argument, initially by Maddy in the 1990s and continued by Melia and others in the 2000s, Field's approach has come to be known as "Hard Road Nominalism" due to the difficulty of creating technical reconstructions of science that it requires. Approaches attacking the first premise, in contrast, have come to be known as "Easy Road Nominalism".[119]

Colyvan is often seen as presenting the standard or "canonical" formulation of the argument within more recent philosophical work, and his version of the argument has been influential within contemporary philosophy of mathematics.[120] It differs in key ways from the arguments presented by Quine and Putnam. Quine's version of the argument relies on translating scientific theories from ordinary language into first-order logic to determine its ontological commitments, which is not explicitly required by Colyvan's formulation. Putnam's arguments were for the objectivity of mathematics but not necessarily for mathematical objects.[121] Putnam has explicitly distanced himself from this version of the argument, saying, "from my point of view, Colyvan's description of my argument(s) is far from right", and has contrasted his indispensability argument with "the fictitious 'Quine–Putnam indispensability argument'".[122] Colyvan has said "the attribution to Quine and Putnam [is] an acknowledgement of intellectual debts rather than an indication that the argument, as presented, would be endorsed in every detail by either Quine or Putnam".[123]

Influence

edit

The indispensability argument is widely, though not universally, considered to be the best argument for platonism in the philosophy of mathematics.[124] According to the Stanford Encyclopedia of Philosophy, some within the field see it as the only good argument for platonism.[125] It is one of just a few arguments that have come to dominate the debate between mathematical realism and mathematical anti-realism.[126] In contemporary philosophy, many types of nominalism define themselves in opposition to the indispensability argument,[127] and it is generally seen as the most important argument to overcome for nominalist views such as fictionalism.[128]

Quine's and Putnam's arguments have also been influential outside philosophy of mathematics, inspiring indispensability arguments in other areas of philosophy. For example, David Lewis, who was a student of Quine, used an indispensability argument to argue for modal realism in his 1986 book On the Plurality of Worlds. According to his argument, quantification over possible worlds is indispensable to our best philosophical theories, so we should believe in their concrete existence.[129] Other indispensability arguments in metaphysics are defended by philosophers such as David Armstrong, Graeme Forbes, and Alvin Plantinga, who have argued for the existence of states of affairs due to the indispensable theoretical role they play in our best philosophical theories of truthmakers, modality, and possible worlds.[130] In the field of ethics, David Enoch has expanded the criterion of ontological commitment used in the Quine–Putnam indispensability argument to argue for moral realism. According to Enoch's "deliberative indispensability argument", indispensability to deliberation is just as ontologically committing as indispensability to science, and moral facts are indispensable to deliberation. Therefore, according to Enoch, we should believe in moral facts.[131]

Notes

edit
  1. ^ Also referred to as the Putnam–Quine indispensability argument, holism–naturalism indispensability argument[1] or simply the indispensability argument
  2. ^ The concerns Benacerraf raised date back at least to Plato and Socrates, and were given detailed attention in the late nineteenth century prior to Quine and Putnam's arguments, which were raised in the 1960s and 1970s.[3] In contemporary philosophy, however, Benacerraf's presentation of these problems is considered to be the classic one.[4]
  3. ^ Subsequent philosophers have generalized this problem beyond the causal theory of knowledge; for Hartry Field, the general problem is to provide a mechanism explaining how mathematical beliefs can accurately reflect the properties of abstract mathematical objects.[8]
  4. ^ For example, Aristotelian realists claim that the indispensability argument favours realism but not platonism. They argue that mathematics refers not to abstract objects but to mathematical properties of physical objects such as symmetry.[24]
  5. ^ a b See Maddy 1992
  6. ^ For example, to say that "there is a Loch Ness Monster" means the same thing as "the Loch Ness Monster exists".[61]
  7. ^ Non-Quinean forms of the argument can also be constructed using alternative criteria of ontological commitment. For example, Sam Baron (2013) defends a version of the argument that depends on a criterion of ontological commitment based on truthmaker theory.[68]
  8. ^ Baker identifies Field (1989) as originating this form of the argument, while other philosophers argue he was the first to raise the connection between indispensability and explanation but did not fully formulate an explanatory version of the indispensability argument.[77] Other thinkers who anticipated certain details of the explanatory form of the argument include Mark Steiner (1978a, 1978b) and J. J. C. Smart (1990).[78]
  9. ^ According to the Internet Encyclopedia of Philosophy, this version of the argument can be used to argue for platonism or sentence realism.[108] However, Putnam himself used it to argue for sentence realism.[113] Putnam's view is a reformulation of mathematics in terms of modal logic that maintains mathematical objectivity without being committed to mathematical objects.[114]

References

edit

Citations

edit
  1. ^ Decock 2002, p. 236.
  2. ^ a b c Colyvan 2019, §1.
  3. ^ Molinini, Pataut & Sereni 2016, p. 318.
  4. ^ Balaguer 2018, §1.5.
  5. ^ a b Marcus n.d., Introduction; Benacerraf 1973.
  6. ^ Colyvan 2012, pp. 9–10; Benacerraf 1973.
  7. ^ Paseau & Baker 2023, p. 2; Colyvan 2012, p. 1.
  8. ^ Colyvan 2012, pp. 10–12.
  9. ^ Colyvan 2012, pp. 10–12; Benacerraf 1973.
  10. ^ Horsten 2019, §3.4; Colyvan 2019, §6.
  11. ^ Colyvan 2012, pp. 8–9.
  12. ^ Shapiro 2000, pp. 31–32; Colyvan 2012, pp. 9–10.
  13. ^ Marcus n.d., Introduction.
  14. ^ Panza & Sereni 2016, pp. 470–471; Sinclair & Leibowitz 2016, pp. 10–18.
  15. ^ Colyvan 2019, Introduction.
  16. ^ Panza & Sereni 2016, p. 470.
  17. ^ Colyvan 2019.
  18. ^ a b Marcus n.d., §2.
  19. ^ a b c Colyvan 2019, §3.
  20. ^ Maddy 2005, p. 437; Quine 1981, p. 21.
  21. ^ Colyvan 2019, §2; Marcus n.d., §7; Bostock 2009, pp. 276–277; Quine 1998, p. 400.
  22. ^ Marcus n.d., §7; Colyvan 2001, Ch. 6.
  23. ^ Panza & Sereni 2013, p. 201.
  24. ^ Franklin 2009; Newstead & Franklin 2011.
  25. ^ Colyvan 2019, §2. See also note 3.
  26. ^ Colyvan 2019, §2.
  27. ^ Busch & Sereni 2012, p. 347.
  28. ^ Panza & Sereni 2013, pp. 205–207.
  29. ^ a b c Colyvan 2019, §4.
  30. ^ Colyvan 2019, §4; Colyvan 2001, p. 69; Linnebo 2017, pp. 105–106.
  31. ^ Colyvan 2001, p. 72.
  32. ^ a b c Marcus n.d., §7.
  33. ^ Balaguer 2018, §2.1; Bueno 2020, §3.3.2; Paseau & Baker 2023, pp. 17–18.
  34. ^ Balaguer 2018, Introduction.
  35. ^ Colyvan 2019, §4; Colyvan 2001, pp. 70–71; Linnebo 2017, pp. 105–106.
  36. ^ Colyvan 2001, p. 71; Paseau & Baker 2023, p. 14.
  37. ^ Paseau & Baker 2023, p. 4.
  38. ^ Colyvan 2001, pp. 23–24.
  39. ^ Colyvan 2001, p. 25.
  40. ^ Leng 2018, p. 409.
  41. ^ Colyvan 2001, pp. 32–33.
  42. ^ Colyvan 2001, pp. 32–33; Bangu 2012, pp. 16–17.
  43. ^ Lewis 1991.
  44. ^ Paseau & Baker 2023, p. 6.
  45. ^ Paseau & Baker 2023, p. 6; Weatherson 2021, §7.1.
  46. ^ Paseau & Baker 2023, p. 7.
  47. ^ Colyvan 2001, p. 93.
  48. ^ Marcus n.d., §6; Colyvan 2001, p. 93.
  49. ^ Horsten 2019, §3.2; Colyvan 2019, §4; Bostock 2009, p. 278.
  50. ^ Resnik 2005, p. 414; Paseau & Baker 2023, p. 9.
  51. ^ a b Resnik 2005, p. 414.
  52. ^ Horsten 2019, §3.2.
  53. ^ Colyvan 2019, §4; Paseau & Baker 2023, p. 23; Ney 2023, pp. 77–78.
  54. ^ Colyvan 2001, p. 92; Paseau & Baker 2023, pp. 22–23; Ney 2023, pp. 77–78.
  55. ^ Colyvan 2019, §4; Paseau & Baker 2023, pp. 24–25.
  56. ^ Colyvan 2019, §4; Bostock 2009, p. 278; Resnik 2005, p. 419; Sober 1993.
  57. ^ Marcus 2014.
  58. ^ Colyvan 2001, p. 14–15; Panza & Sereni 2015, p. 244–245; Resnik 1995, p. 171.
  59. ^ Leng 2010, pp. 39–40.
  60. ^ a b Marcus n.d., §2; Bangu 2012, pp. 26–28.
  61. ^ Bangu 2012, pp. 27–28.
  62. ^ Bangu 2012, pp. 27–28; Stokes 2007, p. 441.
  63. ^ Burgess 2013, p. 287.
  64. ^ Bangu 2012, p. 28; Bueno 2020, §5.
  65. ^ Antunes 2018, p. 16; Azzouni 2004, Ch. 3.
  66. ^ Bueno 2020, §5; Colyvan 2012, p. 64; Shapiro 2000, p. 251; Azzouni 2004, p. 127.
  67. ^ Liggins 2008, §5.
  68. ^ Asay 2020, p. 226.
  69. ^ Bangu 2012, pp. 147–148.
  70. ^ Lange 2022, p. 12; Melia 1998, pp. 70–71.
  71. ^ a b Liggins 2012, pp. 998–999; Knowles & Liggins 2015, pp. 3398–3399.
  72. ^ Liggins 2012, pp. 998–999; Knowles & Liggins 2015, pp. 3398–3399; Melia 2000, p. 489.
  73. ^ Liggins 2012, pp. 998–999; Knowles & Liggins 2015, pp. 3398–3399; Daly & Langford 2009, pp. 641–644.
  74. ^ Colyvan 2019, §5.
  75. ^ Mancosu 2018, §3.2; Bangu 2013, pp. 256–258.
  76. ^ a b Marcus n.d., §5.
  77. ^ Molinini, Pataut & Sereni 2016, p. 320; Bangu 2013, pp. 255–256; Marcus 2015, Ch. 7, §3.
  78. ^ Colyvan 2019, Bibliography.
  79. ^ Marcus 2014, pp. 3583–3584; Leng 2005, p. 179; Paseau & Baker 2023, p. 37.
  80. ^ Colyvan 2019, §5; Paseau & Baker 2023, pp. 35–36; Baker 2005.
  81. ^ Molinini, Pataut & Sereni 2016, p. 321; Ginammi 2016, p. 64.
  82. ^ Molinini 2016, p. 405.
  83. ^ Colyvan 2001, pp. 8–9; Frege 1893, §91.
  84. ^ Colyvan 2001, pp. 8–9; Gödel 1947, §3.
  85. ^ Marcus n.d., §6; Sereni 2015; Garavaso 2005.
  86. ^ Maddy 2007, p. 91.
  87. ^ Resnik 2005, p. 415.
  88. ^ Resnik 2005, pp. 414–415.
  89. ^ Paseau & Baker 2023, p. 10.
  90. ^ Marcus n.d., §2a; Shapiro 2000, p. 212; Quine 1981, p. 67.
  91. ^ Maddy 2005, p. 438.
  92. ^ Shapiro 2000, p. 212; Marcus n.d., §2a.
  93. ^ a b Marcus n.d., §2a.
  94. ^ Maddy 2007, p. 442; Marcus n.d., §2a.
  95. ^ Putnam 2012, p. 223; Paseau & Baker 2023, p. 2.
  96. ^ Mancosu 2010; Decock 2002, p. 235.
  97. ^ Mancosu 2010, p. 398; Quine 2008, p. 6.
  98. ^ Mancosu 2010, p. 398; Paseau & Baker 2023, pp. 2–3; Goodman & Quine 1947.
  99. ^ Verhaegh 2018, p. 112; Quine 1939, p. 708.
  100. ^ Mancosu 2010, p. 402.
  101. ^ Verhaegh 2018, p. 113; Mancosu 2010, p. 403; Quine 1948, p. 37.
  102. ^ Decock 2002, p. 235.
  103. ^ Burgess 2013, p. 290; Goodman 1956.
  104. ^ Decock 2002, p. 235; Quine 1960, p. 269.
  105. ^ Marcus n.d., §2; Paseau & Baker 2023, p. 1.
  106. ^ Bueno 2018, pp. 202–203; Shapiro 2000, p. 216; Sereni 2015, footnote 2.
  107. ^ a b Bueno 2018, p. 205; Liggins 2008, §4; Decock 2002, p. 231; Putnam 1971, p. 347.
  108. ^ a b c d e Marcus n.d., §3.
  109. ^ Liggins 2008, §§4–5; Bueno 2018, pp. 202–203.
  110. ^ Hacking 2014, p. 247; Putnam 1994, pp. 245–246.
  111. ^ Putnam 2012, p. 183.
  112. ^ Marcus n.d., §3; Putnam 1979, p. 73.
  113. ^ Colyvan 2001, pp. 2–3.
  114. ^ Bueno 2013, p. 227; Bueno 2018, pp. 201–202; Colyvan 2001, pp. 2–3; Putnam 2012, pp. 182–183.
  115. ^ Putnam 2012, pp. 190–192.
  116. ^ Hacking 2014, p. 248.
  117. ^ Burgess & Rosen 1997, p. 196; Chihara 1973.
  118. ^ Knowles & Liggins 2015, p. 3398; Field 1980.
  119. ^ Paseau & Baker 2023, pp. 30–31.
  120. ^ Molinini, Pataut & Sereni 2016, p. 320; Bueno 2018, p. 203; Sereni 2015, §2.1; Colyvan 1998; Colyvan 2001.
  121. ^ Colyvan 2019, Introduction; Liggins 2008, §5.
  122. ^ Putnam 2012, pp. 182, 186.
  123. ^ Colyvan 2019, note 1.
  124. ^
    • Franklin 2009, p. 134: "the indispensability argument, widely agreed to be the best argument for Platonism in mathematics";
    • Colyvan 2019, §1: "The Quine-Putnam indispensability argument has attracted a great deal of attention, in part because many see it as the best argument for mathematical realism (or platonism).";
    • Paseau & Baker 2023, p. 1: "The Indispensability Argument is regularly said to be the strongest argument for believing in the truth of mathematics.";
    • Castro 2013, p. 42: "Generally, Platonists consider the Quine-Putnam argument the best argument in favour of the existence of mathematical entities. However, there are some exceptions.";
    • Trobok 2011, p. 413: "the Quine–Putnam indispensability argument—the argument for the objective existence of mathematical items that many, friends and foes, have labelled the best argument for Platonism";
    • Tallant 2017, pp. 44–45: "This last kind of argument, that treats mathematical truths as indispensable to science, is known in the literature as the indispensability argument. It is, typically, taken to be the strongest argument that the Platonist has for the conclusion that there are numbers";
    • Ervas & Tripodi 2012, p. 319: "Quine’s Indispensability Argument for mathematics is considered by many to be the strongest argument for mathematical realism".
  125. ^ Colyvan 2019, §6.
  126. ^ Colyvan 2019, §6; Knowles & Liggins 2015, p. 3397.
  127. ^ Bueno 2020, §1; Burgess & Rosen 1997, p. 64.
  128. ^ Balaguer 2018, §2.1.
  129. ^ Weatherson 2021, §6.1; Nolan 2005, pp. 204–205; Lewis 1986.
  130. ^ Melia 2017, p. 96.
  131. ^ Sinclair & Leibowitz 2016, pp. 15–16; McPherson & Plunkett 2015, pp. 104–105; Enoch 2011.

Sources

edit

Further reading

edit
Retrieved from "https://en.wikipedia.org/w/index.php?title=Quine–Putnam_indispensability_argument&oldid=1259493940"