Why Believe Infinite Sets Exist?

Axiomathes 28 (4):447-460 (2018)

Andrei Mărăşoiu
University of Virginia
The axiom of infinity states that infinite sets exist. I will argue that this axiom lacks justification. I start by showing that the axiom is not self-evident, so it needs separate justification. Following Maddy’s :481–511, 1988) distinction, I argue that the axiom of infinity lacks both intrinsic and extrinsic justification. Crucial to my project is Skolem’s From Frege to Gödel: a source book in mathematical logic, 1879–1931, Cambridge, Harvard University Press, pp. 290–301, 1922) distinction between a theory of real sets, and a theory of objects that theory calls “sets”. While Dedekind’s argument fails, his approach was correct: the axiom of infinity needs a justification it currently lacks. This epistemic situation is at variance with everyday mathematical practice. A dilemma ensues: should we relax epistemic standards or insist, in a skeptical vein, that a foundational problem has been ignored?
Keywords infinite sets  Dedekind
Categories (categorize this paper)
DOI 10.1007/s10516-018-9375-5
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: 39,966
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

Measuring Coherence.Igor Douven & Wouter Meijs - 2007 - Synthese 156 (3):405 - 425.
Blind Reasoning.Paul Boghossian - 2003 - Aristotelian Society Supplementary Volume 77 (1):225–248.
Blind Reasoning.Paul Boghossian & Timothy Williamson - 2003 - Proceedings of the Aristotelian Society, Supplementary Volumes( 77:225-293.
Blind Reasoning.Paul Boghossian - 2003 - Supplement to the Proceedings of the Aristotelian Society 77 (1):225-248.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Powers Of.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
Grasping Infinity by Finite Sets.Ferrante Formato & Giangiacomo Gerla - 1998 - Mathematical Logic Quarterly 44 (3):383-393.
Size and Function.Bruno Whittle - 2018 - Erkenntnis 83 (4):853-873.
Odd-Sized Partitions of Russell-Sets.Horst Herrlich & Eleftherios Tachtsis - 2010 - Mathematical Logic Quarterly 56 (2):185-190.
A Dedekind Finite Borel Set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.
Cantor’s Absolute in Metaphysics and Mathematics.Kai Hauser - 2013 - International Philosophical Quarterly 53 (2):161-188.
Infinite Lotteries, Large and Small Sets.Luc Lauwers - 2017 - Synthese 194 (6):2203-2209.
An Axiomatic Theory of Well-Orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.


Added to PP index

Total views
23 ( #348,067 of 2,236,040 )

Recent downloads (6 months)
9 ( #147,413 of 2,236,040 )

How can I increase my downloads?


My notes

Sign in to use this feature