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

Authors
Jeremy Avigad
Carnegie Mellon University
Rebecca Morris
Independent Scholar
Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,217
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

Character and Object.Rebecca Morris & Jeremy Avigad - 2016 - Review of Symbolic Logic 9 (3):480-510.
Modularity in Mathematics.Jeremy Avigad - 2020 - Review of Symbolic Logic 13 (1):47-79.

View all 7 citations / Add more citations

Similar books and articles

Mathematical Proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).

Analytics

Added to PP index
2016-01-12

Total views
20 ( #482,650 of 2,324,957 )

Recent downloads (6 months)
6 ( #135,836 of 2,324,957 )

How can I increase my downloads?

Downloads

My notes