In their 2020 paper ‘Unfreezing the spotlight’, Correia and Rosenkranz argue that the spotlight theory – the mix of the view that, always, everything always exists and the view that there is a metaphysically robust property of presentness for times – is sufficient for temporal passage, and that the fact ‘that this robust property of presentness attaches to different times as time goes by … is unnecessary’. In this paper, I shall reveal that Correia and Rosenkranz’s spotlight theory is a (...) moving spotlight theory in disguise. (shrink)

LeMans’s gontological argument aims to prove the non-existence of God on the basis that it is possible to conceive of a being that is greater than any actual thing. If God were actual, then it would be possible to conceive of something greater than God. As this is not possible, God does not exist.

Higher‐order metaphysicians take facts to be higher‐order beings, i.e., entities in the range of irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception of facts on the debate about the reality of tense. I identify two major repercussions. The first concerns the logical space of tense realism: on a higher‐order conception of facts, a prominent version of tense realism, dynamic absolutism, turns out to conflict with the laws of (higher‐order tense) logic. The second concerns our understanding (...) of the positions occupying this logical space: on a higher‐order conception of facts, an attractive interpretation of the central tense realist notion of ‘facts constituting reality’ becomes unavailable. I discuss these results in the context of the more general project of higher‐order metaphysics and the (meta)metaphysics of time, drawing out their implications for the nature of the disputes both between realists and anti‐realists about tense and between different tense realist factions. (shrink)