The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

Many versions of the ontological argument have two shortcomings: First, despite the arguments put forward, for example, by Hugh Chandler and Nathan Salmon, they assume that S5 is the correct modal logic for metaphysical modality. Second, despite the classical arguments put forward, for example, by David Hume and Immanuel Kant or the more recent arguments put forward, for example, by John Findlay and Richard Swinburne, they assume that necessary existence is possible. The aim of the paper is to develop an (...) alternative version of the ontological argument that, by an appeal to the logic of ‘actually’, avoids these two shortcomings. The version helps to leave aside unnecessary debates about the modal logic S5 or about the possibility of necessary existence and to focus on the actual challenge for the debate about the ontological argument: the challenge to evaluate the claim that it is possible that God exists. (shrink)