Review of Symbolic Logic 14 (3):592-623 (2021)

Authors
Sean Ebels-Duggan
Northwestern University
Abstract
The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof.
Keywords neo-logicism  abstraction principles  Cantor's theorem  cardinality  second-order logic
Categories (categorize this paper)
DOI 10.1017/s1755020318000230
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

On Some Difficulties in the Theory of Transfinite Numbers and Order Types.Bertrand Russell - 1906 - Proceedings of the London Mathematical Society 4 (14):29-53.
Neo-Fregeanism: An Embarrassment of Riches.Alan Weir - 2003 - Notre Dame Journal of Formal Logic 44 (1):13-48.
Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.
New V, ZF and Abstraction.Stewart Shapiro & Alan Weir - 1999 - Philosophia Mathematica 7 (3):293-321.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Nuisance Principle in Infinite Settings.Sean C. Ebels-Duggan - 2015 - Thought: A Journal of Philosophy 4 (4):263-268.
Cardinality and Identity.Massimiliano Carrara & Elisabetta Sacchi - 2007 - Journal of Philosophical Logic 36 (5):539-556.
Which Abstraction Principles Are Acceptable? Some Limitative Results.Øystein Linnebo & Gabriel Uzquiano - 2009 - British Journal for the Philosophy of Science 60 (2):239-252.
Canonization Theorems and Applications.Saharon Shelah - 1981 - Journal of Symbolic Logic 46 (2):345-353.
Liability for the Bad Behaviour of Others.Bright Susan - 2001 - Oxford Journal of Legal Studies 21 (2):311-330.

Analytics

Added to PP index
2021-04-21

Total views
8 ( #983,865 of 2,455,893 )

Recent downloads (6 months)
2 ( #303,332 of 2,455,893 )

How can I increase my downloads?

Downloads

My notes