In this paper I argue, that if it is metaphysically possible for it to have been the case that nothing existed, then it follows that the right modal logic cannot extend D, ruling out popular modal logics S4 and S5. I provisionally defend the claim that it is possible for nothing to have existed. I then consider the various ways of resisting the conclusion that the right modal logic is weaker than D.
Bibliographical notePublisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Nature B.V.
- Possible worlds semantics
- Subtraction argument