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)

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...

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.

Louis Loeb has argued that Hume is pessimistic while Peirce is optimistic about the attainment of fully stable beliefs. In contrast, we argue that Hume was optimistic about such attainment but only if the scope of philosophical investigation is limited to first-order explanatory questions. Further, we argue that Peirce, after reformulating the pragmatic maxim to accommodate the reality of counterfactuals, was pessimistic about such attainment. Finally, we articulate and respond to Peirce's objection that Hume's skeptical arguments in T 1.4.1 and (...) his commitment to common sense indicate that Hume was confused about whether we could have stable beliefs at all. (shrink)

It’s well known that one way to cure a hangover is by a “hair of the dog” — another alcoholic drink. The drawback of this method is that, so it would appear, it cannot be used to completely cure a hangover, since the cure simply induces a further hangover at a later time, which must in turn either be cured or suffered through.

In this article, I take on a classic objection to Kant’s arguments in the Antinomy of Pure Reason: that the arguments are question-begging, as they draw illicit inferences from claims about representation to claims about reality. While extant attempts to vindicate Kant try to show that he does not make such inferences, I attempt to vindicate Kant’s arguments in a different way: I show that, given Kant’s philosophical backdrop, the inferences in question are not illicit. This is because the transcendental (...) realists that Kant was arguing against have certain philosophical commitments about the nature of ground which, if true, warrant the inferences that Kant draws. This historical corrective not only allows us to better understand Kant’s own thinking in the Antinomies but it also has important upshots for our understanding of Kant’s transcendental idealism. (shrink)

I present a simple model of Grünbaum’s staccato run in classical mechanics, the staccato roller coaster. It consists of a bead sliding on a frictionless wire shaped like a roller coaster track with infinitely many hills of diminishing size, each of which is a one-dimensional variant of the so-called Norton dome. The staccato roller coaster proves beyond doubt the dynamical (and hence logical) possibility of supertasks in classical mechanics if the Norton dome is a proper system of classical mechanics with (...) metaphysical import. If not, challenges raised against the metaphysical significance of the Norton dome are shown to be challenges against various arguments for the dynamical possibility of supertasks, and the staccato roller coaster clearly shows the importance of meeting these challenges. And the staccato roller coaster can provide, as well as interesting lessons, illuminating analyses of Burke’s (Mod Schoolman 78:1–8, 2000 ) attempt to refute the dynamical possibility of the staccato run and Pérez Laraudogoitia’s (Synthese 148:433–441, 2006 ) rebuttal of it. (shrink)

In this paper a simple model in particle dynamics of a well-known supertask is constructed (the supertask was introduced by Max Black some years ago). As a consequence, a new and simple result about creation ex nihilo of particles can be proved compatible with classical dynamics. This result cannot be avoided by imposing boundary conditions at spatial infinity, and therefore is really new in the literature. It follows that there is no reason why even a world of rigid spheres should (...) be eternal, as has been erroneously assumed, especially since the time of Newton. (shrink)

We explore the better known paradoxes of Zeno including modern variants based on infinite processes, from the point of view of standard, classical analysis, from which there is still much to learn (especially concerning the paradox of division), and then from the viewpoints of non-standard and non-classical analysis (the logic of the latter being intuitionist).The standard, classical or Cantorian notion of the continuum, modeled on the real number line, is well known, as is the definition of motion as the time (...) derivative of distance (we are not concerned with position and motion in more than one dimension, since Zeno wasn't). The real number line consists of its points, the distance between distinct points being positive and finite. The standard, classical derivative relies on the classical notion of limit, which does not use infinitesimals. (shrink)

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)

We discuss two supertasks invented recently by Laraudogoitia [1996, 1997], Both involve an infinite number of particle collisions within a finite amount of time and both compromise determinism. We point out that the sources of the indeterminism are rather different in the two cases - one involves unbounded particle velocities, the other involves particles with no lower bound to their sizes - and consequently that the implications for determinism are rather different - one form of indeterminism affects Newtonian but not (...) relativistic physics, while the other form is insensitive to the classical vs relativistic distinction. We also note some interesting linkages among supertasks, indeterminism and foundations problems in the general theory of relativity. (shrink)

The objective of this article is to provide a discussion that counters the infinite particle disappearance conclusion argued by Shackel, 417–433, 2018). In order to do this, clear criteria to disprove the results of the applications of his continuity principles are provided, in addition to the consideration of the fundamental Classical Mechanical principle of mass conservation as an independent and clear basis for this disproof.

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

Is it logically possible to perform a "superfeat"? That is, is it logically possible to complete, in a finite time, an infinite sequence of distinct acts? In opposition to the received view, I argue that all physical superfeats have kinematic features that make them logically impossible.

Mixed strategies have been used to show that Pascal’s Wager fails to offer sufficient pragmatic reasons for believing in God. Their proponents have argued that, in addition to outright belief in God, rational agents can follow alternatives strategies whose expected utility is infinite as well. One objection that has been raised against this way of blocking Pascal’s Wager is that applying a mixed strategy in Pascal’s case is tantamount to applying an iterated mixed strategy which, properly understood, collapses into the (...) pure strategy of becoming a theist. I argue that since the assumptions used to develop the iterated mixed strategies response are even more questionable than those the initial objection relies on, this type of response to the mixed strategy objection fails. (shrink)

In this paper, I present a discrete solution for the paradox of Achilles and the tortoise. I argue that Achilles overtakes the tortoise after a finite number of steps of Zeno’s argument if time is represented as discrete. I then answer two objections that could be made against this solution. First, I argue that the discrete solution is not an ad hoc solution. It is embedded in a discrete formulation of classical mechanics. Second, I show that the discrete solution cannot (...) be falsified experimentally. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

A supertask is a task that consists in infinitely many component steps, but which in some sense is completed in a finite amount of time. Supertasks were studied by the pre-Socratics and continue to be objects of interest to modern philosophers, logicians and physicists. The term “super-task” itself was coined by J.F. Thomson (1954). Here we begin with an overview of the analysis of supertasks and their mechanics. We then discuss the possibility of supertasks from the perspective of general relativity.

Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y existen (...) como objetos abstractos. (shrink)

This catalogue is divided into two parts. Part 1 presents basic bibliographical information on books and journal issues that consist exclusively or in large part in papers devoted to the Presocratics and the Sophists. Part 2 lists the papers on Presocratic and Sophistic topics found in the volumes, providing name of author, title, and page numbers, and in the case of reprinted papers, the year of original publication. In some cases Part 2 lists the complete contents of volumes, not only (...) the Presocratic and Sophistic-related papers. Annual updates are submitted as additional files below. (shrink)

In this paper the claim that Zeno's paradoxes have been solved is contested. Although "no one has ever touched Zeno without refuting him" (Whitehead), it will be our aim to show that, whatever it was that was refuted, it was certainly not Zeno. The paper is organised in two parts. In the first part we will demonstrate that upon direct analysis of the Greek sources, an underlying structure common to both the Paradoxes of Plurality and the Paradoxes of Motion can (...) be exposed. This structure bears on a correct - Zenonian - interpretation of the concept of “division through and through”. The key feature, generally overlooked but essential to a correct understanding of all his arguments, is that they do not presuppose time. Division takes place simultaneously. This holds true for both PP and PM. In the second part a mathematical representation will be set up that catches this common structure, hence the essence of all Zeno's arguments, however without refuting them. Its central tenet is an aequivalence proof for Zeno's procedure and Cantor's Continuum Hypothesis. Some number theoretic and geometric implications will be shortly discussed. Furthermore, it will be shown how the “Received View” on the motion-arguments can easely be derived by the introduction of time as a (non-Zenonian) premiss, thus causing their collapse into arguments which can be approached and refuted by Aristotle's limit-like concept of the “potentially infinite”, which remained — though in different disguises - at the core of the refutational strategies that have been in use up to the present. Finally, an interesting link to Newtonian mechanics via Cremona geometry can be established. (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)