Review of Symbolic Logic 8 (3):572-606 (2015)

Authors
Sean Ebels-Duggan
Northwestern University
Sean Walsh
University of California, Los Angeles
Abstract
Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In this paper, we show that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. To better understand the precise demands of relative categoricity in the context of abstraction principles, we compare and contrast these constraints to stability-like acceptability criteria on abstraction principles, the Tarski-Sher logicality requirements on abstraction principles studied by Antonelli and Fine, and supervaluational ideas coming out of Hodes' work.
Keywords relative categoricity  internal categoricity  abstraction principles  logicism  determinacy of truth-value  stability criteria for abstraction principles  invariance criteria for logicality  Hodes and supervaluationalism  Frege  Dedekind's categoricity theorem
Categories (categorize this paper)
DOI 10.1017/s1755020315000052
Options
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: 64,261
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Logicism and the Ontological Commitments of Arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
How We Learn Mathematical Language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.
Frege's Conception of Numbers as Objects. [REVIEW]John P. Burgess - 1984 - Philosophical Review 93 (4):638-640.

View all 38 references / Add more references

Citations of this work BETA

Abstraction and Four Kinds of Invariance.Roy T. Cook - 2017 - Philosophia Mathematica 25 (1):3–25.
The Nuisance Principle in Infinite Settings.Sean C. Ebels-Duggan - 2015 - Thought: A Journal of Philosophy 4 (4):263-268.
Is Hume’s Principle Analytic?Eamon Darnell & Aaron Thomas-Bolduc - forthcoming - Synthese 198 (1):169-185.

View all 7 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2015-02-28

Total views
112 ( #97,312 of 2,455,888 )

Recent downloads (6 months)
5 ( #143,415 of 2,455,888 )

How can I increase my downloads?

Downloads

My notes