Review of Symbolic Logic 8 (2):370-410 (2015)

Authors
Paolo Mancosu
University of California, Berkeley
Abstract
In a recent article, I have explored the historical, mathematical, and philosophical issues related to the new theory of numerosities. The theory of numerosities provides a context in which to assign numerosities to infinite sets of natural numbers in such a way as to preserve the part-whole principle, namely if a set A is properly included in B then the numerosity of A is strictly less than the numerosity of B. Numerosities assignments differ from the standard assignment of size provided by Cantor’s cardinality assignments. In this talk, I generalize some specific worries emerging from the theory of numerosities to a line of thought resulting in what I call a ‘good company’ objection to Hume’s Principle (HP). The talk has four main parts. The first takes a historical look at 19th-century attributions of equality of numbers in terms of one-one correlations and argues that there was no agreement as to how to extend such determinations to infinite sets of objects. This leads to the second part where I show that there are countably infinite many abstraction principles that are ‘good’, in the sense that they share the same virtues of HP and from which we can derive the axioms of second order arithmetic. The third part connects this material to a debate on Finite Hume Principle between Heck and MacBride and states the ‘good company’ objection. Finally, the last part gives a tentative taxonomy of possible neo-logicist responses to the ‘good company’ objection and makes a foray into the relevance of this material for the issue of cross-sortal identifications for abstractions.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020314000471
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,268
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

Frege: Philosophy of Mathematics. [REVIEW]Charles Parsons - 1996 - Philosophical Review 105 (4):540.
Frege’s Theorem.Richard Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
Speaking with Shadows: A Study of Neo-Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.

View all 34 references / Add more references

Citations of this work BETA

Structuralist Neologicism†.Francesca Boccuni & Jack Woods - forthcoming - Philosophia Mathematica.
Infini, Logique, Geométrie.Marco Panza - 2016 - History and Philosophy of Logic 37 (4):396-399.

Add more citations

Similar books and articles

Is Hume's Principle Analytic?Crispin Wright - 2001 - In Bob Hale & Crispin Wright (eds.), Notre Dame Journal of Formal Logic. Oxford University Press. pp. 307-333.
On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.
On the Origin and Status of Our Conception of Number.William Demopoulos - 2000 - Notre Dame Journal of Formal Logic 41 (3):210-226.
The Logic in Logicism.Alexander Bird - 1997 - Dialogue 36 (2):341--60.
On Multiverses and Infinite Numbers.Jeremy Gwiazda - 2014 - In Klaas Kraay (ed.), God and the Multiverse. Routledge. pp. 162-173.
Partition Principles and Infinite Sums of Cardinal Numbers.Masasi Higasikawa - 1995 - Notre Dame Journal of Formal Logic 36 (3):425-434.
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Skolem Redux.W. D. Hart - 2000 - Notre Dame Journal of Formal Logic 41 (4):399--414.
Hume = Small Hume.Jeffrey Ketland - 2002 - Analysis 62 (1):92–93.

Analytics

Added to PP index
2015-07-07

Total views
76 ( #120,628 of 2,325,508 )

Recent downloads (6 months)
6 ( #134,183 of 2,325,508 )

How can I increase my downloads?

Downloads

My notes