Thought experiments are common where infinitely many entities acting in concert give rise to strange results. Some of these cases, however, can be generalized to yield almost omnipotent systems from limited materials. This paper discusses one of these cases, bringing out one aspect of what seems so troubling about "New Zeno" cases. -/- This paper is in memory of Josh Parsons.

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

This paper responds to commentaries by Kaiserman and Magidor, and Hawthorne. The case of the infinite clowns can teach us several things.

EXPANDED EDITION (eBook): -/- Infinity Is Not What It Seems...Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes (...) in a divine Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, FOREVER FINITE offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. -/- This electronic edition of FOREVER FINITE is offered free online for all and is expanded with content that does not appear in the published edition due to print production page limitations. From the Introduction to the Conclusion, Chapters 1–27 are identical to the published print edition, including the page numbering for the chapters. This electronic edition adds an appendix and associated content—specifically, updates to the book’s back matter (68 new endnotes, 17 new bibliographic references, 3 new figure credits, 14 new glossary terms) and front matter (an updated table of contents and this preface note). (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Wes Morriston contends that William Lane Craig's argument for the impossibility of a beginningless past results in an equally good argument for the impossibility of an endless future. Craig disagrees. I show that Craig's reply reveals a commitment to an unmotivated position concerning the relationship between actuality and the actual infinite. I then assess alternative routes to the impossibility of a beginningless past that have been offered in the literature, and show that, contrary to initial appearances, these routes similarly seem (...) to support the impossibility of an endless future. (shrink)

Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...) theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'. (shrink)

Benardete presents a version of Zeno's dichotomy in which an infinite sequence of gods each intends to raise a barrier iff a traveller reaches the position where they intend to raise their barrier. In this paper, I demonstrate the abstract form of the Benardete Dichotomy. I show that the diagnosis based on that form can do philosophical work not done by earlier papers rejecting Priest's version of the Benardete Dichotomy, and that the diagnosis extends to a paradox not normally classified (...) as a dichotomy. I show how the form is exploited to generate paradox. Introduction The form of the Benardete dichotomy 2.1 The unsatisfiable pair diagnosis Applying the unsatisfiable pair diagnosis 3.1 Perez Laraudogoitia 3.2 Hawthorne 3.3 Angel 3.4 Yablo and Sorensen Exploiting the form. (shrink)

In 1964 José Benardete invented the “New Zeno Paradox” about an infinity of gods trying to prevent a traveller from reaching his destination. In this paper it is argued, contra Priest and Yablo, that the paradox must be resolved by rejecting the possibility of actual infinity. Further, it is shown that this paradox has the same logical form as Yablo’s Paradox. It is suggested that constructivism can serve as the basis of a common solution to New Zeno and the paradoxes (...) of truth, and a constructivist interpretation of Kripke’s theory of truth is given. (shrink)

Various arguments have been put forward to show that Zeno-like paradoxes are still with us. A particularly interesting one involves a cube composed of colored slabs that geometrically decrease in thickness. We first point out that this argument has already been nullified by Paul Benacerraf. Then we show that nevertheless a further problem remains, one that withstands Benacerraf’s critique. We explain that the new problem is isomorphic to two other Zeno-like predicaments: a problem described by Alper and Bridger in 1998 (...) and a modified version of the problem that Benardete introduced in 1964. Finally, we present a solution to the three isomorphic problems. (shrink)

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

The majority of disucssions of Benardete’s Paradox conclude that the traveller approaching the infinite series of gods will be mysteriously halted despite none of the gods erecting any barriers. Using a revision-theoretic analysis of Benardete’s puzzle, four distinct possible outcomes that might occur given Benardete’s set-up are distinguished. This analysis provides additional insight into the puzzle at hand, via identifying heretofore unnoticed possible outcomes, but it also serves as an example of how the revision theoretic framework can be used to (...) construct exhaustive taxonomies of potential outcomes in apparently contradictory situations. (shrink)

This paper introduces a new infinite paradox. The main novelty is that it poses problems of causality in a very different form from to the one in use until now. By means of a probabilistic generalization, the paradox shows that the disposition to act according to a specific plan is not always necessary to derive causal effects in Benardete-type contexts involving infinity. It also suggests that, in such cases, the explanation for those causal effects requires a propensity interpretation of probability.

Various arguments have been put forward to show that Zeno-like paradoxes are still with us. A particularly interesting one involves a cube composed of colored slabs that geometrically decrease in thickness. We first point out that this argument has already been nullified by Paul Benacerraf. Then we show that nevertheless a further problem remains, one that withstands Benacerraf s critique. We explain that the new problem is isomorphic to two other Zeno-like predicaments: a problem described by Alper and Bridger in (...) 1998 and a modified version of the problem that Benardete introduced in 1964. Finally, we present a solution to the three isomorphic problems. (shrink)

We argue that not all cases of before-effect involve causation and ask how to demarcate cases of before-effect in which the events that follow exert causal influence over the before-effect from cases in which they do not.

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

The paper analyses Benardete's paradox of the gods from a more general perspective (the convergence approach) than several of the most important proposals made to date, but in close relation (and sharp contrast) with them. The new theory, based on the notion of limit, is systematically applicable in different possible scenarios involving a denumerable infinity of objects. In particular, it reveals in what way ω-consistency can be compromised in an otherwise consistent description of such "infinitary" situations.

Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. The book addresses these paradoxes using a new theory of infinity, which entails that an infinite series is uncompletable when it requires something to possess an infinite intensive magnitude. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity. It (...) discussing the purposes of studying infinity and the troubles with traditional approaches to the problem, and concludes by offering a solution to some existing paradoxes. (shrink)

A common argument in support of a beginning of the universe used by advocates of the kalām cosmological argument (KCA) is the argument against the possibility of an actual infinite, or the “Infinity Argument”. However, it turns out that the Infinity Argument loses some of its force when compared with the achievements of set theory and it brings into question the view that God predetermined an endless future. We therefore defend a new formal argument, based on the nature of time (...) (just as geometrical reasoning is based on the nature of space), which addresses more directly the question of beginningless time. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...) theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'. (shrink)

The Nothing from Infinity paradox arises when the combination of two infinitudes of point particles meet in a supertask and disappear. Corral-Villate claims that my arguments for disappearance fail and concedes that this failure also produces an extreme kind of indeterminism, which I have called plenitudinous. So my supertask at least poses a dilemma of extreme indeterminism within Newtonian point particle mechanics. Plenitudinous indeterminism might be trivial, although easy attempts to prove it so seem to fail in the face of (...) plausible continuity principles. However, the question of its triviality is here moot, since I show that, except in one case, Corral-Villate’s disproofs fail, and with a correction, the original arguments are unrefuted. Consequently, of the two contenders for the outcome of my supertask, the Nothing from Infinity paradox has won out. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. I (...) then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

Many historical and philosophical studies treat infinity as an exclusively quantitative notion, whose proper domain of application is mathematics and physics. The main aim of this paper is to disentangle, by critically examining, three notions of infinity in the early modern period, and to argue that one—but only one—of them is quantitative. One of these non-quantitative notions concerns being or reality, while the other concerns a particular iterative property of an aggregate. These three notions will emerge through examination of three (...) central figures in the period: Locke, Descartes, and Leibniz. (shrink)

It is usually supposed that, with his dichotomy paradox, Zeno gave birth to the modern so-called supertask debate – the debate of whether carrying out an infinite sequence of actions or operations...

Many philosophers accept a ‘layered’ world‐view according to which the facts about the higher ontological levels supervene on the facts about the lower levels. Advocates of such views often have in mind a version of atomism, according to which there is a fundamental level of indivisible objects known as simples or atoms upon whose spatiotemporal locations and intrinsic properties everything at the higher levels supervenes.1 Some, however, accept the possibility of ‘gunk’ worlds in which there are parts ‘all the way (...) down’ such that there are no simples and insofar as composite objects exist these are composed of smaller objects which in turn are composed of smaller objects, and so on. It may nonetheless still be claimed that the facts about each ontological level supervene on the facts about the lower levels. (shrink)

A novel way of making a non-stick frying pan using a topologically open surface is described. While the article has a slight humorous element to it, it is also intended to contain some serious philosophical points concerning the nature of infinitely divisible matter and the kind of contact that must occur between objects in order for them to interact.

In "Action without interaction" I showed that one might act on a physical system, without interacting with it, by the procedure of making it disappear. This paper presents further extensions and a critique of that result. These extensions show why physical actions without interaction are possible, while underscoring the philosophical fertility of a characteristic approach to the actual infinite inaugurated by Benardete.

The article presents Leibniz's preoccupation (in 1675?6) with the difference between the notion of infinite number, which he regards as impossible, and that of the infinite being, which he regards as possible. I call this issue ?Leibniz's Problem? and examine Spinoza's solution to a similar problem that arises in the context of his philosophy. ?Spinoza's solution? is expounded in his letter on the infinite (Ep.12), which Leibniz read and annotated in April 1676. The gist of Spinoza's solution is to distinguish (...) between three kinds of infinity and, in particular, between one that applies to substance, and one that applies to numbers, seen as auxiliaries of the imagination. The rest of the paper examines the extent to which Spinoza's solution solves Leibniz's problem. The main thesis I advance is that, when Spinoza and Leibniz say that the divine substance is infinite, in most contexts it is to be understood in non-numerical and non-quantitative terms. Instead, for Spinoza and Leibniz, a substance is said to be infinite in a qualitative sense stressing that it is complete, perfect and indivisible. I argue that this approach solves one strand of Leibniz's problem and leaves another unsolved. (shrink)

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

The structure of Yablo’s paradox is analysed and generalised in order to show that beginningless step-by-step determination processes can be used to provoke antinomies, more concretely, to make our logical and our on-tological intuitions clash. The flow of time and the flow of causality are usually conceived of as intimately intertwined, so that temporal causation is the very paradigm of a step-by-step determination process. As a conse-quence, the paradoxical nature of beginningless step-by-step determina-tion processes concerns time and causality as usually (...) conceived. (shrink)

Continuing the conversation between Achilles and the tortoise begun by Carroll, this paper proves that, in a supertask context, there are free actions (in general, contingent states of affairs) that can be predicted by means of purely logical reasons.

This paper proves that certain supertasks constitute counterexamples to countable additivity even in the frame of an objective (not subjective, à la de Finetti) conception of probability. The argument requires taking conditional probability as a primitive notion.

In this article I propose what I call the inverse spaceship paradox. The article's interest lies in the fact that, contrary to what appears to be an implicit agreement in the literature on indeterminism, it shows that coming from infinity can be a perfectly predictable and therefore deterministic process in a classical universe.

A detailed consideration of the Trojan fly supertask reveals certain unsuspected characteristics relating to determinism and causation. I propose here a solution to the new difficulty in terms of bare dispositions.

In this paper a model in particle dynamics of a well-known supertask is constructed. As a consequence, a new and simple result about the failure of determinism of classical particle dynamics can be proved which is related to the non-existence of boundary conditions at spatial infinity. This result is much more accessible to the non-technical reader than similar ones in the scientific literature.

The paper presents a new paradox in the sphere of the classical mechanics of infinite systems. The paradox, which implies the existence of an interaction at a distance as well as gravitation, would seem to require an extension of the concept of mechanical explanation. However, it is not clear how such an extension might be carried out.

In this short note I argue that, using the type of configurations put forward in a recent paper by Laraudogoitia in this same journal, new paradoxes of infinity of a completely different nature can be formulated.

The paper presents a new paradox in the sphere of the classical mechanics of infinite systems. The paradox, which implies the existence of an interaction at a distance as well as gravitation, would seem to require an extension of the concept of mechanical explanation. However, it is not clear how such an extension might be carried out.

This paper develops transfinite extensions of transitivity and acyclicity in the context of population ethics. They are used to argue that it is better to add good lives, worse to add bad lives, and equally good to add neutral lives, where a life's value is understood as personal value. These conclusions rule out a number of theories of population ethics, feed into an argument for the repugnant conclusion, and allow us to reduce different-number comparisons to same-number ones. Challenges to these (...) arguments are addressed, including the issue of comparing existence and non-existence in terms of personal value, the possibility of minimal quanta of time and life, and the meaningfulness of measuring closeness between outcomes with different population sizes. An asymmetry is uncovered between transfinite cycles of worseness and betterness, supporting a version of the weak procreative asymmetry. Transfinite transitivity principles are also favourably compared to the better-known principles of continuity. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)