A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like (‘it was the case that...’) and (‘it will be the case that...’). In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I will argue that three common indispensability arguments for tense operators are unsound.

One argument for the moving spotlight theory is that it better explains our temporal phenomenology than does any static theory. In this paper it is argued that insofar as moving spotlight theorists take this to be a sound argument they ought embrace a new version of the moving spotlight theory according to which the moving spotlight is a cresting wave of causal efficacy. Hence a range of fundamental properties are temporary because presentness synchronically changesthe fundamental properties that are instantiated in the present moment, and our experiences of presentness co-varies with presentness, allowing us to phenomenologically detect presentness.