InMetaphysicsΘ.6, 1048b14-17, Aristotle treats the problem of what it is for the infinite to exist potentially, i.e. to be potentially actual. According to my interpretation, Aristotle argues that to exist potentially is for the infinite to have a potentiality which cannot be actualized in reality but only in thought, because it is a potentiality the process of whose actualization cannot be brought to an end.

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...) the cardinality of a given finite set X. Although is more descriptive than, it also produces a considerable amount of insensitivity for certain sets. Since the quantifier most has a solid cardinal behaviour under the interpretation majority and has a slightly more statistical behaviour under the interpretation proportional of, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using natural density for sentences in which interpretations of their nouns are infinite subsets of \, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of most but define it as applying to finite approximations of infinite sets computed to the limit. (shrink)

Recent work on Kant’s conception of space has largely put to rest the view that Kant is hostile to actual infinity. Far from limiting our cognition to quantities that are finite or merely potentially infinite, Kant characterizes the ground of all spatial representation as an actually infinite magnitude. I advance this reevaluation a step further by arguing that Kant judges some actual infinities to be greater than others: he claims, for instance, that an infinity of miles is strictly smaller than (...) an infinity of earth-diameters. This inequality follows from Kant’s mereological conception of magnitudes (quanta): the part is (analytically) less than the whole, and an infinity of miles is equal to only a part of an infinity of earth-diameters. This inequality does not, however, imply that Kant’s infinities have transfinite and unequal sizes (quantitates). Because Kant’s conception of size (quantitas) is based on the Eudoxian theory of proportions, infinite magnitudes (quanta) cannot be assigned exact sizes. Infinite magnitudes are immeasurable, but some are greater than others. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

The article investigates the mathematical and philosophical backdrop of the digital ocean as contemporary model, moving from the digitalized ocean of Georg Cantor’s set theory to that of Alan Turing’s computation theory. It examines in Cantor what is arguably the most rigorous historical attempt to think the structural essence of the continuum, in order to clarify what disappears from the computational paradigm once Turing begins to advocate for the structural irrelevance of this ancient ground.

I offer a new interpretation of Aristotle's philosophy of geometry, which he presents in greatest detail in Metaphysics M 3. On my interpretation, Aristotle holds that the points, lines, planes, and solids of geometry belong to the sensible realm, but not in a straightforward way. Rather, by considering Aristotle's second attempt to solve Zeno's Runner Paradox in Book VIII of the Physics , I explain how such objects exist in the sensibles in a special way. I conclude by considering the (...) passages that lead Jonathan Lear to his fictionalist reading of Met . M3,1 and I argue that Aristotle is here describing useful heuristics for the teaching of geometry; he is not pronouncing on the meaning of mathematical talk. (shrink)

It is widely known that Aristotle rules out the existence of actual infinities but allows for potential infinities. However, precisely why Aristotle should deny the existence of actual infinities remains somewhat obscure and has received relatively little attention in the secondary literature. In this paper I investigate the motivations of Aristotle’s finitism and offer a careful examination of some of the arguments considered by Aristotle both in favour of and against the existence of actual infinities. I argue that Aristotle has (...) good reason to resist the traditional arguments offered in favour of the existence of the infinite and that, while there is a lacuna in his own ‘logical’ arguments against actual infinities, his arguments against the existence of infinite magnitude and number are valid and more well grounded than commonly supposed. (shrink)

In the literature, predicativism is connected not only with the Vicious Circle Principle but also with the idea that certain totalities are inherently potential. To explain the connection between these two aspects of predicativism, we explore some approaches to predicativity within the modal framework for potentiality developed in Linnebo (2013) and Linnebo and Shapiro (2019). This puts predicativism into a more general framework and helps to sharpen some of its key theses.

In previous work, Hellman and Shapiro present a regions-based account of a one-dimensional continuum. This paper produces a more Aristotelian theory, eschewing the existence of points and the use of infinite sets or pluralities. We first show how to modify the original theory. There are a number of theorems that have to be added as axioms. Building on some work by Linnebo, we then show how to take the ‘potential’ nature of the usual operations seriously, by using a modal language, (...) and we show that the two approaches are equivalent. (shrink)

The notion of potential infinity dominated in mathematical thinking about infinity from Aristotle until Cantor. The coherence and philosophical importance of the notion are defended. Particular attention is paid to the question of whether potential infinity is compatible with classical logic or requires a weaker logic, perhaps intuitionistic.

There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite coherent (...) and rigorous with modern tools that can stand as a rival to the widely-accepted view of the infinite as characterized in a mathematical theory of sets. In this paper, I argue that the theoretical roles that Aristotle intends his account of the potential infinite to fulfill lead to a deep and irresoluble tension that can help explain the persistence of debates on both of these questions. I do so by turning to the places where Aristotle attempts to argue for or against the existence of particular infinite processes to show that he slides between different underlying notions of when changes are possible. Making these underlying notions clear can help us better understand the role of Aristotle’s account in the history of philosophy, the possible pitfalls for a contemporary theory of the potential infinite, and what each of these debates might learn from each other. (shrink)

Infinite regress arguments are a powerful tool in Aristotle, but this style of argument has received relatively little attention. Improving our understanding of infinite regress arguments has become pressing since recent scholars have pointed out that it is not clear whether Aristotle’s infinite regress arguments are, in general, effective or indeed what the logical structure of these arguments is. One obvious approach would be to hold that Aristotle takes infinite regress arguments to be per impossibile arguments, which derive an infinite (...) sequence. Due to his finitism, Aristotle then rejects such a sequence as impossible. This paper argues that this obvious approach does not work, even for its most amenable cases. The paper argues instead that infinite regress arguments involve domain-specific infinities, and so there is not a general finitism which underpins infinite regress arguments in Aristotle, but rather domain-specific reasons that there cannot be an infinite number of entities in each domain in which Aristotle invokes an infinite regress argument. (shrink)

The expression tode ti, commonly translated as ‘a this’, plays a key role in Aristotle’s metaphysics. Drawing lightly on theories of demonstratives in contemporary linguistics, I discuss the expres...

Ways and words about infinity have frequently hidden a continuing paradox inspired by Zeno. The basic puzzle is the tortoise's – Mr T's – Extension Challenge, the challenge being how any extension, be it in time or space or both, moving or still, can yet be of an endless number of extensions. We identify a similarity with Mr T's Deduction Challenge, reported by Lewis Carroll, to the claim that a conclusion can be validly reached in finite steps. Rejecting common solutions (...) to both challenges, we use a Wittgensteinian approach for dissolution, noting also that other paradoxes, such as the Surprise Examination and Yablo's, trap us inconsistently into similar endlessnesses. In so doing, we encounter a hopping flea, generate a proportionality paradox and consider the knight's move in chess. (shrink)

In this paper we attempt to clear out the ground concerning the Aristotelian notion of density. Aristotle himself appears to confuse mathematical density with that of mathematical continuity. In order to enlighten the situation we discuss the Aristotelian notions of infinity and continuity. At the beginning, we deal with Aristotle’s views on the infinite with respect to addition as well as to division. In the sequel, we focus our attention to points and discuss their status with respect to the actuality–potentiality (...) distinction. Then we focus our attention to the nature of continuity, which Aristotle tends to consider as leading to infinite divisibility and potential density of the extended. (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, Aristotle says (...) that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

This work analyzes two perspectives, Atomism and Infinite Divisibility, in the light of modern mathematical knowledge and recent developments in computer graphics. A developmental perspective is taken which relates ideas leading to atomism and infinite divisibility. A detailed analysis of and a new resolution for Zeno's paradoxes are presented. Aristotle's arguments are analyzed. The arguments of some other philosophers are also presented and discussed. All arguments purporting to prove one position over the other are shown to be faulty, mostly by (...) question begging. Included is a sketch of the consistency of infinite divisibility and a development of the atomic perspective modeled on computer graphics screen displays. The Pythagorean theorem is shown to depend upon the assumption of infinite divisibility. The work concludes that Atomism and infinite divisibility are independantly consistent, though mutually incompatible, not unlike the wave/particle distinction in physics. (shrink)