In what follows, we will reply to the critical comments one by one in the order that seemed most natural to us, given the topics covered. Apart from the references section towards the end, our replies are conceived as pieces each of which can be read independently from any of the others (but not, of course, independently from the comments it responds to). We hope to have done justice to the critical points made by our commentators and to have come (...) up with viable answers to the various challenges they raise. (shrink)

Recently, some have attempted to reformulate debates in first-order metaphysics, particularly in the metaphysics of time and modality, for reasons due to Williamson. In this paper, we focus on the ways in which the likes of Cameron, Correia and Rosenkranz, Deasy, Ingram, Tallant, Viebahn, inter alia, have initiated and responded to attempts to capture the core of presentism using a formal, logical machinery. We argue that such attempts are doomed to fail because there is no theoretical core to presentism. There (...) is no single view or family of views that is presentism. (shrink)

Fabrice Correia and Sven Rosenkranz’s book Nothing to Come: a Defence of the Growing Block Theory of Time offers an incredibly rich and skillful defense of the growing block theory (GBT), a view of time that arguably has much intuitive appeal, and which has been under attack from many sides. Nonetheless, I have to report that the book’s tense-logical course of treatment has not worked for me; I still struggle with making sense of the GBT. This article begins by drawing (...) out some implications of the book’s set up. First, the notion of existence in play here is not interpretable on the basis of ordinary usage. Second, it would be a mistake to take the tense-logical framework to have any metaphysical significance. I then articulate two main worries about their version of the GBT. The first worry takes a familiar shape: it is just hard to see how their view is dynamic in the relevant sense. The second worry is that the topic seems to have been changed. C&R’s logical system helps itself to key notions whose intended interpretation includes a solution to every metaphysical puzzle about the GBT, so that these puzzles are not so much addressed as enshrined in a formal system. That is, their view seems to answer the question of how language should behave, if the GBT were (somehow) true. (shrink)

I defend my paper “Aquinas, Geach, and Existence”[1]against objections from Luca Gili, who argued that, according to Aquinas, future contingents do not enjoy genuine existence but exist in God’s mind only.[1] Damiano Costa, “Aquinas, Geach, and existence”, European Journal for Philosophy of Religion 11, no. 3.

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with Geach on (...) both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations (...) are full-blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete. (shrink)