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.

Other Versions

No versions found

Links

PhilArchive

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 in Mathematics.Alan Baker - 2024 - Journal for the Philosophy of Mathematics 1:5-21.
The Superiority of Hilbert Arithmetic for Prime Number Theory: I Goldbach's conjecture proved in Hilbert arithmetic.Vasil Penchev - 2025 - History and Philosophy of Mathematics Ejournal (Elsevier: Ssrn) 3 (25):1-53.
Scepticism about Inference to the Best Explanation.Ruth Weintraub - 2017 - In Kevin McCain & Ted Poston, Best Explanations: New Essays on Inference to the Best Explanation. New York, NY: Oxford University Press. pp. 188-202.
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove, The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.
Induction.Rafal Urbaniak & Diderik Batens - 2012 - In Sven Ove Hansson & Vincent F. Hendricks, Introduction to Formal Philosophy. Cham: Springer. pp. 105-130.
Evidence and Inductive Inference.Nevin Climenhaga - 2023 - In Maria Lasonen-Aarnio & Clayton Littlejohn, The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge. pp. 435-449.

Analytics

Added to PP
2021-05-28

Downloads
85 (#653,439)

6 months
8 (#1,336,871)

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 - 2024 - International Journal for Philosophy of Religion 95 (3):233-256.
Enumerative Induction in Mathematics.Alan Baker - 2024 - Journal for the Philosophy of Mathematics 1:5-21.
Non-deductive methods in mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.
Non-deductive justification in mathematics.A. C. Paseau - 2023 - Handbook of the History and Philosophy of Mathematical Practice.

View all 7 citations / Add more citations

References found in this work

A System of Logic.John Stuart Mill - 1829/2002 - Longman.
Frege.Michael Dummett - 1991 - Cambridge: Harvard University Press.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
Frege: Philosophy of Mathematics.Michael Dummett - 1991 - Philosophy 68 (265):405-411.
Slightly more realistic personal probability.Ian Hacking - 1967 - Philosophy of Science 34 (4):311-325.

View all 20 references / Add more references