In Defense of Mathematical Inferentialism

By Park, Seungbae | Analysis and Metaphysics, January 1, 2017 | Go to article overview

In Defense of Mathematical Inferentialism


Park, Seungbae, Analysis and Metaphysics


1.Introduction

Mathematical realism asserts that mathematical objects, such as numbers, triangles, and functions, exist in the abstract world, and that a mathematical sentence is true if and only if the abstract world is as it says it is. This view is defended by such philosophers as Willard V. O. Quine (1948; 1980), Hilary Putnam (1971), Michael Resnik (1997), Mark Colyvan (2001), and Alan Baker (2005; 2009; 2012). In contrast, mathematical fictionalism asserts that mathematical sentences purport to be about the abstract world, but the abstract world does not exist, so they are all false. This view is defended by such philosophers as Mark Balaguer (1996; 1998; 2001; 2009), Gideon Rosen (2001), and Mary Leng (2005a; 2005b; 2010).

This paper defends a new position that I call mathematical inferentialism. The discussion proceeds as follows. In Section 2, I explicate mathematical inferentialism and display its virtues. I then reply to possible objections to this position. Next, I list the disadvantages of mathematical realism in Section 3 and the disadvantages of mathematical fictionalism in Section 4. It will become clear that mathematical inferentialism secures the objectivity of mathematics and explains the successful use of mathematics in empirical science without postulating the existence of the abstract world. (From now on, I drop the qualifier 'mathematical' in front of the name of a philosophical view.)

2.Inferentialism

2.1.Content

Instrumentalism in philosophy of science is the view that a scientific theory is not a description of unobservables but an instrument for organizing our thoughts about observables. The instrument is neither true nor false. It is only useful or useless, depending on whether or not it makes predictions that turn out to be true. Andreas Osiander (1498-1552) was an instrumentalist about the Copernican theory (Kuhn, 1957: 187). George Berkeley (1685-1753) was an instrumentalist about Newtonian mechanics (Downing, 2013). The insight of these instrumentalists is that a scientific theory can help us to make inferences about observables, i.e., it exhibits the inferential relationship between observational sentences.

As Pierre Duhem (1905) observes, an observational sentence cannot be derived from a scientific theory alone, and a scientific theory needs to be supplied with auxiliary assumptions to entail an observational consequence. What if all of its observational consequences are true? According to Bas C. van Fraassen (1980), such a theory is empirically adequate. On his account, a scientific theory is a description of both observables and unobservables. So it is true or false, depending on whether it correctly represents them. But the principle of economy dictates that we believe only that it is empirically adequate (van Fraassen, 1985: 294).

In my view, instrumentalism in philosophy of science is potentially applicable to the philosophy of mathematics. A mathematical sentence can perform the function of helping us to make deductive inferences from some concrete sentences to other concrete sentences, sentences that are rendered true or false by the concrete world. Consider the following three concrete sentences:

(i) John gave me an apple.

(ii) Jane gave me an apple.

(iii) Therefore, I had two apples.

Assume that I had no apples to begin with, and that John and Jane were my only sources for apples. The mathematical sentence, '1 + 1=2,' tells us that (iii) necessarily follows from (i) and (ii), thereby facilitating the deductive inference from (i) and (ii) to (iii). To generalize, a mathematical sentence can perform the function of helping us deductively organize our thoughts about the concrete world. This functional thesis about a mathematical sentence is the key constituent of what I call inferentialism.

Inferentialism proposes that a mathematical sentence is concretely adequate if and only if all of its concrete consequences are true, and that it is concretely inadequate if and only if a limited number of concrete consequences are true. …

The rest of this article is only available to active members of Questia

Already a member? Log in now.

Notes for this article

Add a new note
If you are trying to select text to create highlights or citations, remember that you must now click or tap on the first word, and then click or tap on the last word.
One moment ...
Default project is now your active project.
Project items
Notes
Cite this article

Cited article

Style
Citations are available only to our active members.
Buy instant access to cite pages or passages in MLA 8, MLA 7, APA and Chicago citation styles.

(Einhorn, 1992, p. 25)

(Einhorn 25)

(Einhorn 25)

1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

Note: primary sources have slightly different requirements for citation. Please see these guidelines for more information.

Cited article

In Defense of Mathematical Inferentialism
Settings

Settings

Typeface
Text size Smaller Larger Reset View mode
Search within

Search within this article

Look up

Look up a word

  • Dictionary
  • Thesaurus
Please submit a word or phrase above.
Print this page

Print this page

Why can't I print more than one page at a time?

Help
Full screen
Items saved from this article
  • Highlights & Notes
  • Citations
Some of your highlights are legacy items.

Highlights saved before July 30, 2012 will not be displayed on their respective source pages.

You can easily re-create the highlights by opening the book page or article, selecting the text, and clicking “Highlight.”

matching results for page

    Questia reader help

    How to highlight and cite specific passages

    1. Click or tap the first word you want to select.
    2. Click or tap the last word you want to select, and you’ll see everything in between get selected.
    3. You’ll then get a menu of options like creating a highlight or a citation from that passage of text.

    OK, got it!

    Cited passage

    Style
    Citations are available only to our active members.
    Buy instant access to cite pages or passages in MLA 8, MLA 7, APA and Chicago citation styles.

    "Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn, 1992, p. 25).

    "Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn 25)

    "Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences." (Einhorn 25)

    "Portraying himself as an honest, ordinary person helped Lincoln identify with his audiences."1

    1. Lois J. Einhorn, Abraham Lincoln, the Orator: Penetrating the Lincoln Legend (Westport, CT: Greenwood Press, 1992), 25, http://www.questia.com/read/27419298.

    Cited passage

    Thanks for trying Questia!

    Please continue trying out our research tools, but please note, full functionality is available only to our active members.

    Your work will be lost once you leave this Web page.

    Buy instant access to save your work.

    Already a member? Log in now.

    Search by... Author
    Show... All Results Primary Sources Peer-reviewed

    Oops!

    An unknown error has occurred. Please click the button below to reload the page. If the problem persists, please try again in a little while.