This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (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)

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

The Argument from Vagueness for Universalism contends that any non-arbitrary restriction on composition must be vague, but that vague composition leads to unacceptable count indeterminacy. One common response to the argument is that borderline cases of composition don’t necessarily lead to count indeterminacy because a determinately existing thing may be a borderline case of a presently existing concrete composite object. We can collectively refer to such views as versions of the Status Response. This paper argues that the Status Response cannot (...) handle count indeterminacy about various categories of things, such as events, states of affairs, tropes, holes, shadows, and created abstracta, when these are understood in the right way. This makes the Status Response objectionablfy ad hoc, which should lead us to look for alternative ways of resisting the Argument from Vagueness. (shrink)

A presentation of the Lewis-Sider argument from vagueness for unrestricted composition and possible responses.

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

We develop a theory about the metaphysics of time and modality that combines the conceptual resources devised in recent sympathetic work on ontological pluralism (the thesis that there are fundamentally distinct kinds of being) with the thought that what is past, future, and merely possible is less real than what is present and actual (albeit real enough to serve as truthmakers for statements about the past, future, and merely possible). However, we also show that despite being a coherent, distinctive, and (...) prima facie appealing position, the theory succumbs to what we call the “problem of mixed ontological status”. We conclude that the proponents of the theory can only evade these problems by developing ontological pluralism in a radically different way than it has been by its recent sympathizers. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

There are certain metaphysically interesting arguments ‘from vagueness’, for unrestricted mereological composition and for four-dimensionalism, which involve a claim to the effect that idioms for unrestricted quantification are precise. An elaboration of Lewis’ argument for this claim, which assumes the view of vagueness as semantic indecision, is presented. It is argued that the argument also works according to other views on the nature of vagueness, which also require for an expression to be vague that there are different admissible alternatives of (...) the relevant sort, such as epistemicism, as defended by Williamson. Recent attempts to resist the argument are discussed and rejected. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

The A-theory of time is plagued by certain standard armchair problems: the presentism–eternalism dilemma, the problem of truth-makers, the alleged impossibility of cross-temporal relations, and the problem of temporary intrinsics. These challenges supposedly force A-theories to make incredible claims. I argue that these challenges are not deep antinomies in common sense, but rest on avoidable mistakes. Then I present a new A-theory that shows what’s possible once we move past the old problems. On this proposal, time’s passing is a metaphysically (...) fundamental aspect of reality. I take this to mean that there are fundamental facts like: four hours passed from 8am today until noon. This A-theory also posits fundamental facts about the state of the universe at a time, and about cross-temporal relationships. The proposed metaphysical package attractively articulates our common sense, pre-relativistic conception of time. (shrink)

This paper describes a plausible view of the nature of physical objects, their mereological connections to each other, and their relation to spacetime. As well as being parsimonious, the view provides a plausible context for denying all of the following: (1) A theory that objects endure through time (and do not have temporal parts, as normally conceived) cannot claim that material objects are identical to space-time regions they occupy. (2) At least one of the family of mereological connections (part-whole, overlap (...) etc.) is to be taken as primitive. (3) Claims entirely in the language of quantifiers and identity and mereology are not semantically vague. It is thus an example showing that the there are more options for the metaphysics of objects, spacetime and mereology than many metaphysicians ordinarily assume. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

An introduction to the theories of endurantism and perdurantism, and persistence more broadly.