The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that (...) in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (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.

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.

Ebbhinghaus, H., J. Flum, and W. Thomas. 1984. Mathematical Logic. New York, NY: Springer-Verlag. Forster, T. Typescript. The significance of Yablo’s paradox without self-reference. Available from http://www.dpmms.cam.ac.uk. Gold, M. 1965. Limiting recursion. Journal of Symbolic Logic 30: 28–47. Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam.

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.

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.

I trace the relationship between the view that knowledge is stakes sensitive and Laurie Paul’s account of the epistemology of transformative experience. The view that knowledge is stakes sensitive comes in different flavours: one can go for subjective or objective conceptions of stakes, where subjective views of stakes take stakes to be a function of an agent’s non-factive mental states, and objective views of stakes do not. I argue that there is a tension between subjective accounts of stakes sensitivity and (...) Paul’s epistemology of transformative experience. (shrink)

In this regular series Michael Clark, editor of the journal Analysis, presents a number of the most intriguing philosophical paradoxes. Here we examine the paradox of the gods.

I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond rationally to any given problem yet it is impossible to respond rationally to every problem in the sequence, even though the choices are independent. In particular, although it might be a requirement of rationality that one must respond in a certain way at each point in the sequence, it seems it cannot be a requirement to respond as such (...) at every point for that would be to require the impossible. (shrink)

Zeno of Elea, despite being among the most important of the Pre-Socratic philosophers, is frequently overlooked by philosophers and scientists alike in modern times. Zeno of Elea’s arguments on have not only been an impetus for the most important scientific and mathematical theories in human history, his arguments still serve as a basis for modern problems and theoretical speculations. This is a study of his arguments on motion, the purpose they have served in the history of science, and modern applications (...) of Zeno of Elea’s arguments on motion. (shrink)