This paper develops a view on which: (a) all fundamental facts are absolute, (b) some facts do not supervene on the fundamental facts, and (c) only relative facts fail to supervene on the fundamental facts.

The special theory of relativity (STR) is widely supposed to be in tension with A-theories of time, those giving special significance to the present moment. A-theories are diverse in the features they regard as distinctive of the present, but all agree that there is an absolute fact of the matter about which events have the feature of presentness. Famously, the standard notion of simultaneity operationalised within the theory of relativity is not absolute. If A-theorists accept relativistic physics, they must either (...) refine their A-theory and sever joint presentness from simultaneity (‘conciliatory’ responses to the problem), or supplement standard relativity by adding further spacetime structure that grounds a relation of absolute simultaneity (‘supplementing’ responses). This chapter considers the prospects for such approaches, concluding that while there is no knock-down argument from relativity against the A-theory, attempts to marry the A-theory with STR are more trouble than they are worth. (shrink)

There is a widespread assumption that B-theorists (according to whom there is nothing metaphysically special about the present moment in virtue of which it is present) should interpret the standard tense operators (‘it was the case that’, ‘it will be the case that’) as implicit quantifier-restrictors – so that, for example, an utterance at instant t of the sentence ‘It was the case that there are dinosaurs’ is true just in case there are dinosaurs located at some instant t* earlier (...) than t. However, it is easy to show that this interpretation of the tense operators creates serious problems for B-theorists when combined with certain other relatively uncontroversial B-theoretic assumptions. In this paper, I argue that the best way for B-theorists to respond to these problems is to treat the standard tense operators as redundant when the sentences in their scope are qualitative (i.e. not about any particular individuals). (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

According to Perdurantism, persons are identical to maximal aggregates of appropriately interrelated temporal parts. Within the Perdurantist framework, an epistemic concern arises, targeting the perduring persons’ belief that they are persons, suggesting that, ultimately, they are not in a position to know that they are persons as opposed to temporal parts. Despite the consideration it has received over the years, this concern has not yet been converted into a full-fledged objection. This paper aims to address this gap by exploring the (...) possibility of formulating a coherent Epistemic Objection against Perdurantism. We shall examine several epistemological principles around which such an objection might be built, arguing that none of them, in the end, allows a plausible formulation of the objection. As a result, we shall conclude that the burden of proving that in a Perdurantist setting persons are not in a position to know that they are persons rests with the objectors. (shrink)

Say that the Moving Spotlight Theory (MST) combines the following three theses: A-THEORY : There is an absolute distinction between present and non-present time.