Several of Thomas Aquinas's proofs for the existence of God rely on the claim that causal series cannot proceed in infinitum. I argue that Aquinas has good reason to hold this claim given his conception of causation. Because he holds that effects are ontologically dependent on their causes, he holds that the relevant causal series are wholly derivative: the later members of such series serve as causes only insofar as they have been caused by and are effects of the earlier (...) members. Because the intermediate causes in such series possess causal powers only by deriving them from all the preceding causes, they need a first and non-derivative cause to serve as the source of their causal powers. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian (...) “infinite book copies” objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

Based on a recently published essay by Jeremy Gwiazda, I argue that the possibility that the present state of the universe is the product of an actually infinite series of causally-ordered prior events is impossible in principle, and thus that a major criticism of the Secunda Via of St. Thomas is baseless after all.

We tell a story where an agent who chooses in such a way as to make the greatest possible profit on each of an infinite series of transactions ends up worse off than an agent who chooses in such a way as to make the least possible profit on each transaction. That is, contrary to what one might suppose, it is not necessarily rational always to choose the option that yields the greatest possible profit on each transaction.

The quantum information introduced by quantum mechanics is equivalent to a certain generalization of classical information: from finite to infinite series or collections. The quantity of information is the quantity of choices measured in the units of elementary choice. The “qubit”, can be interpreted as that generalization of “bit”, which is a choice among a continuum of alternatives. The axiom of choice is necessary for quantum information. The coherent state is transformed into a well-ordered series of results in time (...) after measurement. The quantity of quantum information is the transfinite ordinal number corresponding to the infinity series in question. The transfinite ordinal numbers can be defined as ambiguously corresponding “transfinite natural numbers” generalizing the natural numbers of Peano arithmetic to “Hilbert arithmetic” allowing for the unification of the foundations of mathematics and quantum mechanics. (shrink)

Infinite regress arguments are used by philosophers as methods of refutation. A hypothesis is defective if it generates an infinite series when either such a series does not exist or its supposed existence would not serve the explanatory purpose for which it was postulated.

William Rowe argues that an essentially perfectly good being could not actualize a world unless there is no better world it could actualize instead. According to Rowe’s Argument from Improvability, if there is an infinite series of ever-improving and actualizable worlds then a perfect being could actualize exactly none of them. I argue that there is no reason to believe Rowe’s argument is sound. It therefore presents no important objection to theism.

Infinite in All Directions is a popularized science at its best. In Dyson's view, science and religion are two windows through which we can look out at the world around us. The book is a revised version of a series of the Gifford Lectures under the title "In Praise of Diversity" given at Aberdeen, Scotland. They allowed Dyson the license to express everything in the universe, which he divided into two parts in polished prose: focusing on the diversity of (...) the natural world as the first, and the diversity of human reactions as the second half. Chapter 1 is a brief explanation of Dyson's attitudes toward religion and science. Chapter 2 is a one-hour tour of the universe that emphasizes the diversity of viewpoints from which the universe can be encountered as well as the diversity of objects which it contains. Chapter 3 is concerned with the history of science and describes two contrasting styles in science: one welcoming diversity and the other deploring it. He uses the cities of Manchester and Athens as symbols of these two ways of approaching science. Chapter 4, concerned with the origin of life, describes the ideas of six illustrious scientists who have struggled to understand the nature of life from various points of view. Chapter 5 continues the discussion of the nature and evolution of life. The question of why life characteristically tends toward extremes of diversity remains central in all attempts to understand life's place in the universe. Chapter 6 is an exercise in eschatology, trying to define possible futures for life and for the universe, from here to infinity. In this chapter, Dyson crosses the border between science and science fiction and he frames his speculations in a slightly theological context. (shrink)

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many (...) ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere. (shrink)

Aggregative moral theories face a series of devastating problems when we apply them in a physically realistic setting. According to current physics, our universe is likely _infinitely large_, and will contain infinitely many morally valuable events. But standard aggregative theories are ill-equipped to compare outcomes containing infinite total value so, applied in a realistic setting, they cannot compare any outcomes a real-world agent must ever choose between. This problem has been discussed extensively, and non-standard aggregative theories proposed to overcome (...) it. This paper addresses a further problem of similar severity. Physics tells us that, in our universe, how remotely in time an event occurs is _relative_. But our most promising aggregative theories, designed to compare outcomes containing infinitely many valuable events, are sensitive to how remote in time those events are. As I show, the evaluations of those theories are then relative too. But this is absurd; evaluations of outcomes must be absolute. So we must reject such theories. Is this objection fatal for all aggregative theories, at least in a relativistic universe like ours? I demonstrate here that, by further modifying these theories to fit with the physics, we can overcome it. (shrink)

“Leibniz's Constructivism and Infinitely Folded Matter” This essay examines Leibniz's account of the structure of matter and its relation to his views of the infinite. Leibniz interprets the actually infinite division of matter into finite parts on the model of infinite convergent series, but that model admits of different ontological interpretations; and the one Leibniz adopts appears to be in conflict with his metaphysical analysis of matter as a discrete rather than continuous quantity. I identify a constructivist (...) strand of thought in Leibniz's philosophy of mathematics, revealing two competing conceptions of the infinite in his philosophy. Leibniz's constructivism, I suggest, obscures from his view the difficulties with his own model of the structure of matter, yet his eventual recognition of some of those difficulties prepares the ground for his later doctrine of incorporeal substance. Thus, Leibniz's constructivism appears to play an instrumental role in the emergence of that doctrine. (shrink)

Vers la fin des années cinquante, un jeune érudit jésuite publia un article intitulé «Are Apeiria and Aoristia Synonyms?» qui allait être le premier d'une longue série de travaux portant sur une problématique à laquelle il s'attaquait en véritable pionnier: la doctrine de l'infinité divine dans l'Antiquité et au Moyen Âge. Certes, les historiens s'étaient déjà intéressés quelque peu à cette question, mais ils l'avaient fait sans une conscience claire de sa complexité. Force était donc de reprendre la problématique à (...) nouveaux frais. C'est ce que fit Leo Sweeney, qui publiera, sur une carrière de plus de trentecinq ans, une quantité impressionnante d'articles étudiant les conditions de l'émergence de l'infinité divine au Moyen Âge, ainsi que la conception de l'infíni chez les grandes fígures de l'Antiquité et du christianisme médiéval. Ce sont ces articles, dont certains ont fait l'objet de profonds remaniements, et auxquels viennent s'ajouter deux travaux inédits, qu'a réunis l'éditeur Peter Lang dans un ouvrage de près de six cents pages, dont il faut bien dire qu'il constitue une manière d'événement dans le monde des études anciennes et médiévales. (shrink)

One of the standard objections against the impossibility of infinite regress is associated with David Hume and Paul Edwards, but originates with William Ockham. They claim that in an infinite regress every member of the series is explained, and nothing is unexplained. Every member is explained by the one before it, and the series as a whole is nothing over and above its members, and so needs no cause of its own. Utilizing the well-known Thomistic distinction between essentially (...) ordered and accidentally ordered causal series, I show that the Hume-Edwards-Ockham objection fails to touch Aquinas’s argument against the impossibility of infinite regress in an essentially ordered series. However, Aquinas also argues that accidentally ordered causal series can only regress infinitely if supported by an everlasting essential cause. The Hume-Edwards-Ockham objection does raise a question about this thesis, but I show how St. Thomas can reply to it convincingly. (shrink)

I consider the natural infinitary variations of the games Wordle and Mastermind, as well as their game‐theoretic variations Absurdle and Madstermind, considering these games with infinitely long words and infinite color sequences and allowing transfinite game play. For each game, a secret codeword is hidden, which the codebreaker attempts to discover by making a series of guesses and receiving feedback as to their accuracy. In Wordle with words of any size from a finite alphabet of n letters, including (...) class='Hi'>infinite words or even uncountable words, the codebreaker can nevertheless always win in n steps. Meanwhile, the mastermind number, defined as the smallest winning set of guesses in infinite Mastermind for sequences of length ω over a countable set of colors without duplication, is uncountable, but the exact value turns out to be independent of, for it is provably equal to the eventually different number, which is the same as the covering number of the meager ideal. I thus place all the various mastermind numbers, defined for the natural variations of the game, into the hierarchy of cardinal characteristics of the continuum. (shrink)

Some philosophers have claimed that it is meaningless or paradoxical to consider the probability of a probability. Others have however argued that second-order probabilities do not pose any particular problem. We side with the latter group. On condition that the relevant distinctions are taken into account, second-order probabilities can be shown to be perfectly consistent. May the same be said of an infinite hierarchy of higher-order probabilities? Is it consistent to speak of a probability of a probability, and of (...) a probability of a probability of a probability, and so on, {\em ad infinitum}? We argue that it is, for it can be shown that there exists an infinite system of probabilities that has a model. In particular, we define a regress of higher-order probabilities that leads to a convergent series which determines an infinite-order probability value. We demonstrate the consistency of the regress by constructing a model based on coin-making machines. (shrink)

It is often said that time must have a beginning because otherwise the series of past events would have the paradoxical features of an actual infinite. In the present paper, we show that, even given a dynamic theory of time, the cardinality of an endless series of events, each of which will occur, is the same as that of a beginningless series of events, each of which has occurred. Both are denumerably infinite. So if an endless series of (...) events is possible, then the possibility of a beginningless series of past events should not be rejected merely on the ground that it would be an actual infinite. What would be required to rebut our argument is a symmetry breaker – something that motivates treating the past relevantly differently to the future. We consider several attempts to provide a symmetry breaker and show that none of them is successful. (shrink)

In his book, The Principles of Mathematics , the young Bertrand Russell abandoned the common-sense notion that the whole must be greater than its part, and argued that wholes and their parts can be similar, e.g. where both are infinite series, the one being a sub-series of the other. He also rejected the popular view that the idea of an infinite number is self-contradictory, and that an infinite set or collection is an impossibility. In this paper, I (...) intend to re-examine Russell's wisdom in doing both these things, and see if it might not have made more sense, and caused his enterprise fewer problems, if he had simply stuck to our commonplace ideas. To this end, I shall also be considering his treatment of certain paradoxes that he claims can only be resolved by the abandonment of the above notions, as well as certain others which his theories appear to have generated. (shrink)

The goal of this paper is to provide a detailed reading of John Venn's Logic of Chance as a work of logic or, more specifically, as a specific portion of the general system of so-called ‘material’ logic developed in his Principles of Empirical or Inductive Logic and to discuss it against the background of his Boolean-inspired views on the connection between logic and mathematics. It is by means of this situating of Venn 1866 [The Logic of Chance. An Essay on (...) the Foundations and Province of the Theory of Probability. With Especial Reference to Its Application to Moral and Social Science, London: Macmillan] within the entirety of his oeuvre that it becomes both possible to revisit and necessary to re-articulate its place in the history of the frequency interpretation of probability. For it is clear that if Venn's approach to logic not only allowed him to establish its foundations on the basis of a process of idealization and define it as consisting of so-called hypothetical infinite series, bu.. (shrink)

Understanding the Infinite is a loosely connected series of essays on the nature of the infinite in mathematics. The chapters contain much detail, most of which is interesting, but the reader is not given many clues concerning what concepts and ideas are relevant for later developments in the book. There are, however, many technical cross-references, so the reader can expect to spend much time flipping backward and forward.

The two envelope paradox can be dissolved by looking closely at the connection between conditional and unconditional expectation and by being careful when summing an infinite series of positive and negative terms. The two envelope paradox is not another St. Petersburg paradox and that one does not need to ban talk of infinite expectation values in order to dissolve it. The article ends by posing a new puzzle to do with infinite expectations.

A Cantor series expansion for a real number x with respect to a basic sequence $Q=(q_1,q_2,\dots )$, where $q_i \geq 2$, is a generalization of the base b expansion to an infinite sequence of bases. Ki and Linton in 1994 showed that for ordinary base b expansions the set of normal numbers is a $\boldsymbol {\Pi }^0_3$ -complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: normality, (...) ratio normality, and distribution normality. These notions are equivalent for base b expansions, but not for more general Cantor series expansions. We show that for any basic sequence the set of distribution normal numbers is $\boldsymbol {\Pi }^0_3$ -complete, and if Q is $1$ -divergent then the sets of normal and ratio normal numbers are $\boldsymbol {\Pi }^0_3$ -complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbol {\Pi }^0_3)$ -complete if $\lim _i q_i=\infty $ and Q is $1$ -divergent. This shows that except for the trivial containment that every normal number is ratio normal, these three notions are as independent as possible. (shrink)

In a series of much discussed articles and books, William Lane Craig defends the view that the past could not consist in a beginningless series of events. In the present paper, I cast a critical eye on just one part of Craig's case for the finitude of the past – viz. his philosophical argument against the possibility of actually infinite sets of objects in the ‘real world’. I shall try to show that this argument is unsuccessful. I shall also (...) take a close look at several considerations that are often thought to favour the possibility of an actual infinite, arguing in each case that Craig's response is inadequate. (shrink)

The following text is the transcription of Alain Badiou's remarks on Simon Critchley's book, Infinitely Demanding.2 The occasion was the invitation from the Slought Foundation in Philadelphia for a debate between Badiou and Critchley that took place on November 15th, 2007. Badiou organized his remarks around six passages from Critchley's text and then raised a series of critical questions. The event began with Critchley explaining the ethical and political argument of Infinitely Demanding. A DVD version of the entire event was (...) released as "Democracy and Disappointment: On the Politics of Resistance".3 Thanks are due to Jean-Michel Rabaté and especially Aaron Levy, Senior Curator at the Slought Foundation. (shrink)

This paper deals mainly with generalizations of results in finitary combinatorics to infinite ordinals. It is well-known that for finite ordinals ∑bT<αβ is the number of 2-element subsets of an α-element set. It is shown here that for any well-ordered set of arbitrary infinite order type α, ∑bT<αβ is the ordinal of the set M of 2-element subsets, where M is ordered in some natural way. The result is then extended to evaluating the ordinal of the set of (...) all n-element subsets for each natural number n ≥ 2. Moreover, series ∑β<αf are investigated and evaluated, where α is a limit ordinal and the function f belongs to a certain class of functions containing polynomials with natural number coefficients. The tools developed for this result can be extended to cover all infinite α, but the case of finite α appears to be quite problematic. (shrink)

Philosophers have long discussed whether time really passes. Simultaneously, they have also discussed whether time could have begun from an infinite past. This paper clarifies the relationship between the reality of time’s passage and an infinite past. I assert that time cannot have an infinite past if time really passes. This argument is based on a proposition that an infinite series of events cannot be completed if time really passes. A seemingly strong objection to this proposition (...) is that no movement is possible if an infinite series cannot be completed. However, movement is clearly possible; thus, an infinite series can be completed. I argue that although it is sure that an infinite series can be completed in the static view, an infinite series cannot be completed (and thus, time could not have begun from an infinite past) in the dynamic view. (shrink)

This article gives insight into the world of 3rd century BCE Alexandrian Judaism by analysing one aspect of the Greek translation of Exodus and provides a detailed evaluation of the way the translator managed to express the essence of the Hebrew text of Exodus while reflecting to some degree the form of the Hebrew text. No previous study only analyses this translator’s treatment of Hebrew paronymous infinitive absolute constructions in Greek Exodus. This research contributes to the preparation of a commentary (...) on Greek Exodus in the Society of Biblical Literature Septuagint Commentary Series. Using the Göttingen text of Greek Exodus prepared by John William Wevers, it evaluates how this translator rendered each occurrence of a paronymous infinitive absolute construction in Hebrew Exodus, defining the primary modes employed and also seeking to explain variations from these norms. The primary method incorporates a close exegetical reading of both the Hebrew and Greek texts and comparing their texts, in order to discern how the translator treated this Hebrew idiom and illustrating his translation approach.Contribution: The results contribute to our understanding of how the translator of Greek Exodus approached his task. He was more concerned to express the sense of the Hebrew text, than producing a literal translation. He generally follows the Hebrew text’s word order, but is creative in his choice of Greek equivalents, often showing sensitivity to context and Greek idiom. This translation approach differentiates this translator’s approach somewhat from those responsible for other portions of the Pentateuch. (shrink)

Gigerenzer, Todd, and the ABC Research Group argue that optimisation under constraints leads to an infinite regress due to decisions about how much information to consider when deciding. In certain cases, however, their fast and frugal heuristics lead instead to an endless series of decisions about how best to decide.

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize (...) Yablo's results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

We classify the measures on the lattice ℒ of all closed subspaces of infinite-dimensional orthomodular spaces (E, Ψ) over fields of generalized power series with coefficients in ℝ. We prove that every σ-additive measure on ℒ can be obtained by lifting measures from the residual spaces of (E, Ψ). The measures being lifted are known, for the residual spaces are Euclidean. From the classification we deduce, among other things, that the set of all measures on ℒ is not separating.

On Malcolm Schofield’s highly influential reading of the Similarity Regress in Part I of the Parmenides, the problem that the Regress poses is explanatory. Socrates posited the Similarity Form in order to explain why similar things are similar: similar things are similar because they participate in the Form Similarity as copies of the same original. Yet, the Similarity Regress generates an infinite series of Similarity Forms such that explanation is deferred ad infinitum. Schofield provides a philosophical incentive for adopting (...) his reading. He argues that the treatment of similarity in Part II of the dialogue yields a complete explanation of similarity. If we adopt this account, we can avoid the Similarity Regress altogether since a Form of Similarity is not needed in order to explain why similar things are similar. Thus, his interpretation has a hugely important philosophical pay-off. However, there is a different way to read the argument. Socrates claims that each Form is only one. Yet, the Similarity Regress is an argument that generates an infinite series of Similarity Forms. This results in a violation of the principle of non-contradiction: there is both only one Similarity Form and infinitely many Similarity Forms. Yet, anything that is incompatible with the principle of non-contradiction is surely absurd. Nobody, as far as I am aware, has explored whether this reading also has philosophical pay-off if we look at it together with similarity in Part II. However, should this interpretation pay off, it would be a viable alternative to Schofield’s. In this paper, I explore both views in the context of the treatment of similarity in Part II of the Parmenides. I argue for an account of similarity that differs from Schofield’s. Although my account is not wholly dismissive of Schofield’s, it renders the pay-off of Schofield’s account less appealing than he suggests. Furthermore, I show that the account of similarity in Part II also yields important lessons for the proponent of the alternative reading of the Similarity Regress: similarity as treated in Part II simply leads to further infinite regresses, thereby pushing us to consider rejecting the account of similarity in Part II too and to look for some other account intead. (shrink)

Herein I offer a model for understanding the traditional distinction between essentially and accidentally ordered causal series and their function in traditional proofs for the existence of God. I argue that, like the traditional proofs, my model of the causal series in question permits an infinite regress of the accidentally ordered series but not of the essentially ordered series. Furthermore, I argue that on the basis of this model one can avoid Edwards’s criticism that no matter how we conceive (...) of the causal series (as accidental or essential) we still have to deal with the suggestion that arriving at a first cause does not mean that we have an uncaused first cause. Finally, I end with a short speculation on what a successful proof for an uncaused first cause might lead to. (shrink)

One of the principal lines of argument deployed by the friends of the kalām cosmological argument against the possibility of a beginningless series of events is a quite general argument against the possibility of an actual infinite. The principal thesis of the present paper is that if this argument worked as advertised, parallel considerations would force us to conclude, not merely that a series of discrete, successive events must have a first member, but also that such a series must (...) have a final member. Anyone who thinks that an endless series of events is possible must therefore reject this popular line of argument against the possibility of an actual infinite. (shrink)

One argument that Leibniz employed to rule out the possibility of a world soul appears to turn on the assumption that the very notion of an infinite number or of an infinite whole is inconsistent. This argument was considered in a series of three papers published in The Leibniz Review: in the first, by Laurence Carlin, the argument was delineated and analyzed; in the second, by myself, the argument was criticized and rejected; in the third, by Richard Arthur, (...) an attempt was made to defend Leibniz’s argument against my criticisms. In the present paper, I take up the matter again in an attempt to clarify the issues involved and to defend my original criticisms of the argument against the objections raised by Arthur. (shrink)

One of the principal lines of argument deployed by the friends of the kalām cosmological argument against the possibility of a beginningless series of events is a quite general argument against the possibility of an actual infinite. The principal thesis of the present paper is that if this argument worked as advertised, parallel considerations would force us to conclude, not merely that a series of discrete, successive events must have a first member, but also that such a series must (...) have a final member. Anyone who thinks that an endless series of events is possible must therefore reject this popular line of argument against the possibility of an actual infinite. (shrink)

One argument that Leibniz employed to rule out the possibility of a world soul appears to turn on the assumption that the very notion of an infinite number or of an infinite whole is inconsistent. This argument was considered in a series of three papers published in The Leibniz Review: in the first, by Laurence Carlin, the argument was delineated and analyzed; in the second, by myself, the argument was criticized and rejected; in the third, by Richard Arthur, (...) an attempt was made to defend Leibniz’s argument against my criticisms. In the present paper, I take up the matter again in an attempt to clarify the issues involved and to defend my original criticisms of the argument against the objections raised by Arthur. (shrink)

Many discussions of per se and per accidens series focus on efficient causality and how a consideration of the metaphysics of the matter can deliver us a primary efficient cause of all that is (God). Drawing on my own previous work on causal series, I offer in this article a model for the understanding of per se causal series wherein the causality involved is that of finality. I then consider whether or not such per se final causal series are (...) class='Hi'>infinite. Finally, I consider the implications this has for our conception of God as creator. (shrink)