I examine the reasons Aristotle presents in Physics VIII 8 for denying a crucial assumption of Zeno’s dichotomy paradox: that every motion is composed of sub-motions. Aristotle claims that a unified motion is divisible into motions only in potentiality (δυνάμει). If it were actually divided at some point, the mobile would need to have arrived at and then have departed from this point, and that would require some interval of rest. Commentators have generally found Aristotle’s reasoning unconvincing. Against David Bostock (...) and Richard Sorabji, inter alia, I argue that Aristotle offers a plausible and internally consistent response to Zeno. I defend Aristotle’s reasoning by using his discussion of what to say about the mobile at boundary instants, transitions between change and rest. There Aristotle articulates what I call the Changes are Open, Rests are Closed Rule: what is true of something at a boundary instant is what is true of it over the time of its rest. By contrast, predications true of something over its period of change are not true of the thing at either of the boundary instants of that change. I argue that this rule issues from Aristotle’s general understanding of change, as laid out in Phys. III. It also fits well with Phys. VI, where Aristotle maintains that there is a first boundary instant included in the time of rest, but not a “first in which the mobile began to change.” I then show how this rule underlies Aristotle’s argument that a continuous motion cannot be composed of actual sub-motions. Aristotle distinguishes potential middles, points passed through en route to a terminus, from actual middles. The Changes are Open, Rests are Closed Rule only applies to actual middles, because only they are boundaries of change that the mobile must arrive at and then depart from. On my reading, Aristotle argues that the instant of arrival, the first instant at which the mobile has come to be at the actual middle, cannot belong to the time of the subsequent motion. If it did, the mobile would already be moving towards the next terminus and thus, per Phys. VI 6, would have already left. But it cannot have moved away from the midpoint at the very same moment it has arrived there. This means that the instant of arrival must be separated from the time of departure by an interval of rest. I show how Aristotle’s reasoning applies generally to rule out any continuous reflexive motion or continuous complex rectilinear motion. On my interpretation, however, the argument does not apply to every change of direction. When, as in the case of projectile motion, multiple movers and their relative powers explain why the mobile changes directions, distinct sub-motions are not involved. Aristotle holds that such motions cannot be continuous, not because they involve intervals of rest, but because they involve multiple causes of motion. My interpretation of the Changes are Open, Rests are Closed Rule allows us to make better sense of Aristotle’s argument than any previous interpretation. (shrink)

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a function that is not Turing computable. Finally, we argue that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy's thesis.

The inclusion of De astrologia in the Lucianic corpus has been disputed for centuries since it appears to defend astrological practices that Lucian elsewhere undercuts. This paper argues for Lucian’s authorship by illustrating its masterful subversion of a captatio benevolentiae and subtle rejection of Stoic astrological practices. The narrator begins the text by blaming phony astrologers and their erroneous predictions for inciting others to “denounce the stars and hate astrology” (ἄστρων τε κατηγοροῦσιν καὶ αὐτὴν ἀστρολογίην μισέουσιν, 2). The narrator assures (...) readers that he, the knowledgeable astrologer, will correct for the “stupidity and laziness” (ἀμαθίῃ καὶ ῥαθυμίῃ, ibid.) that bring about false predictions. The narrator’s credibility quickly decays when he attempts to recast Orpheus, Bellerophon, Icarus, Daedalus, and a host of other mythological figures as Greek astrologers. Lucian’s audience would expect such far-fetched interpretations of myth from the stereotypical Stoic philosopher, a character lampooned elsewhere in the Lucianic corpus. (shrink)

Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (shrink)

In this paper the classical topic of “conventionality” in defining the simultaneity (or synchrony) of distant events is tackled again, and the validity of Reichenbach's view is carefully circumscribed. In particular, the role of “one-way” assumptions in the foundations of special relativity is emphasized. The restriction by the round-trip isotropy condition on the admissible distance functions in inertial frames is studied, and its relevance to several issues (absolute simultaneity, the interpretation of Michelson–Morley type experiments, the self-measured speed of a clock) (...) is shown. Two “clock transport” synchronizations in an inertial frame, using self-measured speed and “proper distance,” are presented in detail, and the agreement of the synchronies so established with standard synchrony is proven to be non- circular. By assuming a reasonable concept of “convention” this result is shown to dissolve several objections by supporters of a strong version of conventionalism. Throughout, a number of common misapprehensions in the literature are pointed out. (shrink)

It is argued that seemingly “merely technical” issues about the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have interesting implications for foundations problems in classical and quantum physics. For example, pursuing these technical issues reveals a sense in which quantum mechanics can cure some of the forms of indeterminism that crop up in classical mechanics; and at the same time it reveals the possibility of a form of indeterminism in quantum mechanics that is quite distinct (...) from the indeterminism of state vector collapse. More generally, the examples considered indicate that the classical–quantum correspondence is more intricate and delicate than is generally appreciated. The aim of the article is to give a series of examples that reveal why the technical issues about self-adjointness are relevant to the philosophy of science and that help to make the issues accessible to philosophers of science. (shrink)

This dissertation is on infinite regress arguments in philosophy. Its main goals are to explain what such arguments from many distinct philosophical debates have in common, and to provide guidelines for using and evaluating them. Two theories are reviewed: the Paradox Theory and the Failure Theory. According to the Paradox Theory, infinite regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that (...) discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, infinite regress arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this dissertation provides the Failure Theory with the same tools. (shrink)

There has been an ongoing conflict regarding whether reality is fundamentally digital or analogue. Recently, Floridi has argued that this dichotomy is misapplied. For any attempt to analyse noumenal reality independently of any level of abstraction at which the analysis is conducted is mistaken. In the pars destruens of this paper, we argue that Floridi does not establish that it is only levels of abstraction that are analogue or digital, rather than noumenal reality. In the pars construens of this paper, (...) we reject a classification of noumenal reality as a deterministic discrete computational system. We show, based on considerations from classical physics, why a deterministic computational view of the universe faces problems (e.g., a reversible computational universe cannot be strictly deterministic). (shrink)

Zeno’s arguments are generally regarded as ingenious but downright unsound paradoxes, worth of attention mainly to disclose why they go wrong or, alternatively, to recognise them as clever, even if crude, anticipations of modern views on the space, the infinite or the quantum view of matter. In either case, the arguments lose any connection with the scientific and philosophical problems of Zeno’s own time and environment. In the present paper, I argue that it is possible to make sense of Zeno’s (...) arguments if we recognise that Zeno was indeed a close follower of Parmenides, who wanted to show that, if the plurality of beings existed, then various absurd consequences would follow. He intended to highlight the compact and inarticulate nature of the being, and the human character of the system of world partitions producing the entities and the objects on which our knowledge is based. (shrink)

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our (...) story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. (shrink)

Infinite regress arguments show up in many philosophical debates. But what actually is a regress argument? This article reviews two theories: the Paradox Theory and the Failure Theory. According to the Paradox Theory, regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, regress (...) arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this article shows that the Failure Theory can be supplied with similar tools. (shrink)

Peircean Truth is the view that truth is in some sense epistemically constrained, constrained that is by what we would, if we inquired long enough and well enough, eventually come to believe. Contemporary Peirceans offer various different formulations of the view, which can make it difficult, particularly for critics, to see exactly how PT differs from popular alternatives such as correspondence theories or deflationism. This article, therefore, considers four possible formulations of PT, and sets out the different objections and challenges (...) they each face and their relationships with one another. I focus upon the question of what, if anything, PT has to say about the property of truth. (shrink)