Review of Symbolic Logic 9 (3):480-510 (2016)

Jeremy Avigad
Carnegie Mellon University
Rebecca Morris
Independent Scholar
In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof are explicitly higher-order, in that they involve quantifying over and summing over Dirichlet characters, which are certain types of functions. The notion of a character is only implicit in Dirichlet’s original proof, and the subsequent history shows a very gradual transition to the modern mode of presentation. In this essay, we describe an approach to the philosophy of mathematics in which it is an important task to understand the roles of our ontological posits and assess the extent to which they enable us to achieve our mathematical goals. We use the history of Dirichlet’s theorem to understand some of the reasons that functions are treated as ordinary objects in contemporary mathematics, as well as some of the reasons one might want to resist such treatment. We also use these considerations to illuminate the formal treatment of functions and objects in Frege’s logical foundation, and we argue that his philosophical and logical decisions were influenced by many of the same factors
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2016
DOI 10.1017/s1755020315000398
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,410
Through your library

References found in this work BETA

On What There Is.Willard Van Orman Quine - 1948 - Review of Metaphysics 2 (5):21-38.
Character and Object.Rebecca Morris & Jeremy Avigad - 2016 - Review of Symbolic Logic 9 (3):480-510.
The Nineteenth-Century Revolution in Mathematical Ontology.Jeremy Gray - 1992 - In Donald Gillies (ed.), Revolutions in Mathematics. Oxford University Press. pp. 226--248.

View all 7 references / Add more references

Citations of this work BETA

Reliability of Mathematical Inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
Modularity in Mathematics.Jeremy Avigad - 2020 - Review of Symbolic Logic 13 (1):47-79.

View all 9 citations / Add more citations

Similar books and articles

Mathematical Proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
Dirichlet Problem with Lp-Boundary Data in Contractible Domains of Carnot Groups.Andrea Bonfiglioli & Ermanno Lanconelli - 2006 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 5 (4):579-610.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).


Added to PP index

Total views
30 ( #383,555 of 2,519,855 )

Recent downloads (6 months)
2 ( #270,671 of 2,519,855 )

How can I increase my downloads?


My notes