Journal
REVIEW OF SYMBOLIC LOGIC
Volume 2, Issue 4, Pages 612-646Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1755020309990128
Keywords
-
Categories
Funding
- Institute for Advanced Study (Princeton)
- Guggenheim Foundation
Ask authors/readers for more resources
Cantor's theory of cardinal numbers offers a way to generalize arithmetic from finite sets to infinite sets using the notion of one-to-one association between two sets. As is well known, all countable infinite sets have the same 'size' in this account, namely that of the cardinality of the natural numbers. However, throughout the history of reflections on infinity another powerful intuition has played a major role: if a collection A is properly included in a collection B then the 'size' of A should be less than the 'size' of B (part-whole principle). This second intuition was not developed mathematically in a satisfactory way until quite recently. In this article I begin by reviewing the contributions of some thinkers who argued in favor of the assignment of different sizes to infinite collections of natural numbers (Thabit ibn Qurra, Grosseteste. Maignan, Bolzano). Then, I review some recent mathematical developments that generalize the part-whole principle to infinite sets in a coherent fashion (Katz, Benci, Di Nasso, Forti). Finally, I show how these new developments arc important for a proper evaluation of a number of positions in philosophy of mathematics which argue either for the inevitability of the Cantorian notion of infinite number (Godel) or for the rational nature of the Cantorian generalization as opposed to that, based on the part-whole principle, envisaged by Bolzano (Kitcher).
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available