Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness (...) towards nonexistents can be solved using the author's logic. (shrink)

Modal Dimensionalism is a metaphysical theory about possible worlds that is naturally suggested by the often-noted parallelism between modal logic and tense logic. It says that the universe spreads out not only in spatiotemporal dimensions but also in a modal dimension. It regards worlds as nothing more or less than indices in the modal dimension in the way analogous to the way in which Temporal Dimensionalism regards temporal points and intervals as indices in the temporal dimension. Despite its naturalness and (...) intuitive appeal. Modal Dimensionalism has been largely ignored while the debates between David Lewis and his critics have dominated the discourse on the nature of possible worlds. It is high time that we took Modal Dimensionalism seriously as a viable alternative. (shrink)

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.

A‐theorists of time postulate a deep distinction between the present, past and future. Settling on an appropriate logic for such a view is no easy matter. This Philosophy Compass article describes one of the most vexing formal problems facing A‐theorists. It is commonly thought that A‐theories can only be formally expressed in a tense logic: a logic with operators like P and F . And it seems natural to think that we live in a world where objects come to exist (...) and cease to exist as time passes. Indeed, this is typically a key component of the most prominent kind of A‐theory, presentism. But the temporary existence assumption cannot be upheld in any tense logic with a standard quantification theory. I will explain the problem and outline the philosophical and logical considerations that generate it. I will then consider two possible solutions to the problem – one that targets our logic of quantification and one that targets our assumptions about change. I survey the costs of each solution. (shrink)

Presentists claim that only presently existing objects exist. One version of presentism is ersatzer presentism, according to which times are a kind of abstract object. Such a view is appealing because it affords the presentist an answer to the grounding objection—a potentially lethal objection to presentism. Despite this advantage, available versions of ersatzer presentism suffer from a heretofore unappreciated shortcoming: they cannot account for the truth of certain counterfactual claims about the past. We argue for this claim by considering two (...) views representative of ersatzer presentism—those of Thomas Crisp and Craig Bourne. After presenting our arguments against their views, we defend two crucial assumptions in those arguments. Finally, we offer a novel version of ersatzer presentism that appropriates the metaphysics of constitution in order to avoid the difficulty that current ersatzer presentist views face. (shrink)

A lot of good philosophy is done in the armchair, but is nevertheless a posteriori. This paper clarifies and then defends that claim. Among the a posteriori activities done in the armchair are assembling and evaluating commonplaces; formulating theoretical alternatives; and integrating well-known past a posteriori discoveries. The activity that receives the most discussion, however, is the application of theoretical virtues to choose philosophical theories: the paper argues that much of this is properly seen as a posteriori.

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

In his 2004 paper ‘Tensed Quantifiers’, David Lewis presented an apparently powerful case for eternalism by arguing that we cannot account for the truth-conditions of sentences like ‘There have been forty-four presidents of the United States’ and ‘There will be five more presidents of the United states’ and maintain a non-revisionary attitude towards their truth-values, without committing to the existence of ‘past’ and ‘future’ things. Related arguments can be found in works by Ted Sider, and by Zoltan Gendler Szabó. We (...) can call the fully developed form of this argument the Argument from Semantics. In this paper, I counter the AfS by showing that these truth-conditions can be captured without commitment to the existence of things—such as Socrates and Abraham Lincoln—which we take to have existed but not to exist, or things—like the par.. (shrink)

Temporal ersatzism is the view that past entities exist, but are not concrete. The view is analogous to modal ersatzism, according to which merely possible worlds exist, but are not concrete. The goal of this paper is to give the reader a sense of the scope of available temporal ersatzist views, the ways in which the analogy with modal ersatzism may be helpful in characterizing and defending those views, and the sorts of considerations that are relevant when evaluating particular versions (...) of temporal ersatzism. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)