Abstract
Cantor's abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor's proposal based upon the set theoretic framework of Bourbaki-called BK-which is a First-order set theory extended with Hilbert's epsilon-operator. Moreover, it is argued that the BK system and the epsilon-operator provide a faithful reconstruction of Cantor's insights on cardinal numbers. I will introduce first the axiomatic setting of BK and the definition of cardinal numbers by means of the epsilon-operator. Then, after presenting Cantor's abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor's work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo-von Neumann and Frege-Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege's objections to Cantor's proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the epsilon-operator in the BK definition of cardinal numbers.
Dokumententyp: | Zeitschriftenartikel |
---|---|
Fakultät: | Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) |
URN: | urn:nbn:de:bvb:19-epub-106751-5 |
ISSN: | 0039-7857 |
Sprache: | Englisch |
Dokumenten ID: | 106751 |
Datum der Veröffentlichung auf Open Access LMU: | 11. Sep. 2023, 13:43 |
Letzte Änderungen: | 29. Sep. 2023, 10:07 |
DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 491502892 |