Abstract
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 (J Symb Log 53(2):481–511, 1988) distinction, I argue that the axiom of infinity lacks both intrinsic and extrinsic justification. Crucial to my project is Skolem’s (in: van Heijnoort (ed) 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 (in: Essays on the theory of numbers, pp. 14–58, 1888. http://www.gutenberg.org/ebooks/21016) 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?
Similar content being viewed by others
Notes
“a system S is said to be infinite when it is similar to a proper part of itself (par. 32), in the contrary S is said to be a finite system”.
Looking into how intuitions get formed may help. Pantsar (2014) argues that our most basic conceptual metaphor regarding infinity is that of an unending process. You start counting, and could go on counting into eternity. A process which could go on indefinitely is reified into a set which is actually infinite. One moves from a possible process to an actual set. (Bear in mind that this transition is supposed to underlie the everyman's conception of infinity, acquired and entrenched ever deeper as our cognition develops.) As Pantsar explains, the transition is metaphorical. And, I add, metaphors are unfit for justificatory purposes. This quibble aside, counting indefinitely is patently not counting an infinity. If the slippage from indefiniteness to infinity underlies the everyman's thinking about infinity, elucidating it makes for a nice debunking of any epistemological role untutored intuitions of infinity were thought to play. No wonder untutored intuitions need tutelage.
To the charge that “objects cannot be conjured into existence by stipulation” (made in a different connection by Potter and Smiley (2002), p. 337), a straightforward reply is that consistent sets of set-theoretical axioms have non-empty models; objects aren't made up.
As Lavers (2016) reconstrues it, central to Carnap's approach to infinity (from as early as 1934 to as late as 1950) is the use of coordinate languages. Within syntactic frameworks which mention real numbers as coordinates, the existence of infinitely many coordinates is supposedly ensured as a matter of logic. It is unclear what all this amounts to. Saying there are infinitely many real numbers is less than saying there is a set of real numbers, and that set is infinite. Moreover, if the theory couched in terms of a particular syntactic framework (a coordinate language) is consistent, then it has models. As Lavers (2016) recounts, Carnap insisted that the infinitely many positions which correspond to real numbers are not best thought of as objects. Why not—what should incline one to think positions aren't themselves some peculiar objects? Resnik (1981, p. 530) is clear: “I view patterns and their positions as abstract entities. “Carnap scholarship aside, it is clear we don't get an ontological free lunch of positions (and an infinite one, at that) from the mere use of coordinate languages.
It seems ontological seriousness compels us to distinguish between Platonists about abstract objects called “sets” (like Quine), and Platonists about sets (like Frege). This is no threat to semantic ascent. Tailoring an example from Quine (1948), the city of Naples is properly called “Naples” even if no meanings roam the city, but a brewery could also be called “Naples” without thereby becoming the beloved city.
Attempted extrinsic justifications abound. Maddy (1988) invokes Cantorian finitism, for which “infinite sets are like finite ones”. That is, if infinite sets exist, their analogy to finite ones should be maximized. This says nothing about whether infinite sets do exist or not. Another example is Zermelo (1908), who approaches set theory in the “anything short of contradiction” view of sets; but why should the universe of sets be maximal as opposed to minimal?
Zermelo (1908, p. 200) writes: “Set theory is that branch of mathematics whose task is to investigate mathematically the fundamental notions “number”, “order”, and “function”, taking them in their pristine, simple form, and to develop thereby the logical foundations of all of arithmetic and analysis”.
Russell notes (1919, pp. 132–133) that, in the absence of the axiom of infinity, set theory “cannot deal with infinite integers or with irrationals. Thus the theory of the transfinite and the theory of real numbers fails us”. Presumably, asking if real numbers can be represented as sets, Russell isn't asking whether they can be represented as themselves. So he must think we have reason to treat numbers and sets as distinct, unless we are convinced otherwise.
True, we might devise theories about objects called “sets”. One constraint on such theories might be that real arithmetic and functional analysis should be representable in them. But looking into the axiom of infinity is ontologically serious business. We need to talk about real sets (if any there be).
Given that we have (more than) one concept of infinite set, how could there be no infinite set? The question presupposes an instance of Frege's Basic Law V (1888, Part I): (∀F)(∀G)(∀x)((Fx ↔ Gx) ↔ (εx.Fx = εx.Gx)). Taking F as G, this implies any concept has an extension. Law V leads to Russell's paradox.
Cohen (1966, pp. 22–23) shows how a finite first-order arithmetic can be developed without the assumption, or the result, that there is a simply infinite set. Cohen (1966, p. 23) develops a system of finite set-theoretical arithmetic having axioms for extensionality, the existence of an empty set, pairing, and union. In terms of these axioms, Cohen (p. 24) takes the successor of an integer x to be x∪{x} such that any two integers are comparable (either one is a member of another, or they are identical), and integers are transitive (members of members of an integer x are members of x). The point of finite arithmetic (p. 22) is that “all of traditional elementary number theory can be formulated in it [even though] in this system the elements are to be thought of as finite sets”.
Indeed, Dedekind uses a variety of terms in roughly equivalent ways: system, collection, class. Some others might be added: plurality, set, aggregate, etc. Belonging to the pre-Russell era of set theory, Dedekind could not suspect these terms would subsequently be used differently. But in the post-Russell usage, it is not clear why my possible objects of thought form a set.
For instance, Skolem (1922, p. 300) objects “sets are not generated univocally by applications of” “the principle of choice”. Many choice sets exist as long as not all sets chosen from are singletons. No concept or property is needed to uniquely define the choice set, which runs against the “demand that every set be definable”. Along with Skolem, Fregeans should be worried about this. Another worry, more widely shared, is that the Banach–Tarski paradox follows from the axiom of choice (e.g., Maddy 2011, p. 33).
References
Baker A (2005) Are there genuine mathematical explanations of physical phenomena? Mind 114(454):223–238
Boghossian P (2003) Blind reasoning. Proc Aristot Soc 77(1):225–248
Boolos G (1971) The iterative conception of set. J Philos 68(8):215–231
Brouwer LEJ (1913/1983) Intuitionism and formalism. In: Putnam H, Benacerraf P (eds) Philosophy of mathematics, 2nd edn. Cambridge University Press, Cambridge, pp 77–89
Carnap R (1939/1983) The logicist foundations of mathematics. In: Putnam H, Benacerraf P (eds) Philosophy of mathematics, 2nd edn. Cambridge University Press, Cambridge, pp 41–51
Cohen P (1966) Examples of formal systems. Primitive recursive functions. In: Set theory and the continuum hypothesis. W.A. Benjamin, New York, pp 20–32
Dedekind R (1888/2007) The nature and meaning of numbers. In: Essays on the theory of numbers, 1st English ed. (1901) Chicago: Open Court; 2nd ed. ebook digitized by Project Gutenberg, pp 14–58. http://www.gutenberg.org/ebooks/21016
Douven I, Meijs W (2007) Measuring coherence. Synthese 156(3):405–425
Hauser K, Woodin WH (2014) Strong axioms of infinity and the debate about realism. J Philos 111(8):397–419
Heil J (2003) Introduction. In: From an ontological point of view. OUP, Oxford, pp 1–14
James W (1907/1981) Pragmatism. Hackett, London
Kelly Th (2010) Peer disagreement and higher-order evidence. In: Feldman R, Warfield T (eds) Disagreement. OUP, Oxford, pp 111–174
Lavers G (2016) Carnap’s surprising views on the axiom of infinity. Metascience 25:37–41
Maddy P (1988) Believing the axioms—I. J Symbol Log 53(2):481–511
Maddy P (1992) Indispensability and practice. J Philos 89(6):275–289
Maddy P (2011) The problem. In: In defense of the axioms. OUP, Oxford
Pantsar M (2014) An empirically feasible approach to the epistemology of arithmetic. Synthese 191(17):4201–4229
Potter M (2004) Set theory and its philosophy. Oxford University Press, Clarendon
Potter M, Smiley T (2002) Recarving content. Proc Aristot Soc 102:351–354
Quine WVO (1948) On what there is. In: From a logical point of view. Harvard University Press, Cambridge, pp 1–19
Quine WVO (1951/1999) Two dogmas of empiricism. In: From a logical point of view. Harvard University Press, Cambridge, pp 20–46
Quine WVO (1960) Ontic decision. In: Word and object. MIT, Cambridge, pp 233–276
Resnik MD (1981) Mathematics as a science of patterns: ontology and reference. Noûs 15(4):529–550
Robinson A (1969) From a formalist’s point of view. Dialectica 23:45–49
Russell B (1908) Mathematical logic as based on the theory of types. Am J Math 30(3):222–262
Russell B (1919/2010) The axiom of infinity and logical types. In: Introduction to mathematical philosophy. George Allen & Unwin, London, pp 106–115
Skolem Th (1922/1967) Some remarks on axiomatized set theory. In: van Heijnoort J (ed) From Frege to Gödel: a source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge, pp 290–301
Sober E (1993) Mathematics and indispensability. Philos Rev 102(1):35–57
Vineberg S (1996) Confirmation and the indispensability of mathematics to science. Philos Sci 63(3):263
von Neumann J (1925/1967) An axiomatization of set theory. In: van Heijnoort J (ed) From Frege to Gödel: a source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge, pp 393–413
Zermelo E (1908/1967) Investigations in the foundations of set theory—I. In: van Heijnoort J (ed) From Frege to Gödel: a source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge, pp 199–215
Zermelo E (1921/2010) Theses concerning the infinite in mathematics. In: Ebbinghaus HD, Fraser CG, Kanamori A (eds) Collected Works, vol. I. Springer, Berlin, p 307
Acknowledgements
The paper is based on a talk given at the CLMPS in Helsinki (August 2015). I greatly benefited from conversations with Jim Cargile (UVa), Nora Grigore (UT Austin), Markus Pantsar (Helsinki), Gabriel Săndoiu (Sfântul Sava College), and Susan Vineberg (Wayne State).
Funding
This work was supported by the Jefferson Scholars Foundation through a John S. Lillard fellowship.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mărăşoiu, A. Why Believe Infinite Sets Exist?. Axiomathes 28, 447–460 (2018). https://doi.org/10.1007/s10516-018-9375-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-018-9375-5