Arithmetic, enumerative induction and size bias

Synthese 199 (3-4):9161-9184 (2021)
  Copy   BIBTEX

Abstract

Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states that every even number greater than 2 is the sum of two primes. Enumerative inductive evidence for such conjectures usually consists of small cases. In the absence of supporting reasons, mathematicians mistrust such evidence for arithmetical generalisations, more so than most other forms of non-deductive evidence. Some philosophers have also expressed scepticism about the value of enumerative inductive evidence in arithmetic. But why? Perhaps the best argument is that known instances of an arithmetical conjecture are almost always small: they appear at the start of the natural number sequence. Evidence of this kind consequently suffers from size bias. My essay shows that this sort of scepticism comes in many different flavours, raises some challenges for them all, and explores their respective responses.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Enumerative Induction and Lawlikeness.Wolfgang Spohn - 2005 - Philosophy of Science 72 (1):164-187.
Evidence and Inductive Inference.Nevin Climenhaga - 2024 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge. pp. 435-449.
When is arithmetic possible?Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 50 (1):29-51.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
O indukcji niezupełnej w matematyce.Lech Gruszecki - 2005 - Roczniki Filozoficzne 53 (2):47-72.
Arithmetic, Mathematical Intuition, and Evidence.Richard Tieszen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):28-56.
Finite Arithmetic with Infinite Descent.Yvon Gauthier - 1989 - Dialectica 43 (4):329-337.
THE ANALOGUE-DIGITAL DISTINCTION AND THE COGENCY OF KANT'S TRANSCENDENTAL ARGUMENTS.John-Michael Kuczynski - 2006 - Existentia: An International Journal of Philosophy (3-4):279-320.
An Argument By Stove Against Inductive Scepticism.Andrew Pickin - 2006 - Dissertation, University of Cambridge

Analytics

Added to PP
2021-05-28

Downloads
31 (#488,695)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
University of Oxford

Citations of this work

The negative theology of absolute infinity: Cantor, mathematics, and humility.Rico Gutschmidt & Merlin Carl - forthcoming - International Journal for Philosophy of Religion:1-24.
Non-deductive justification in mathematics.A. C. Paseau - 2023 - Handbook of the History and Philosophy of Mathematical Practice.
The Price of Mathematical Scepticism.Paul Blain Levy - 2022 - Philosophia Mathematica 30 (3):283-305.

Add more citations

References found in this work

Frege.Michael Dummett - 1973 - Cambridge, Mass.: Harvard University Press.
Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
Frege: Philosophy of Mathematics.Michael DUMMETT - 1991 - Philosophy 68 (265):405-411.

View all 18 references / Add more references