Anselm of Canterbury gave the first "ontological" argument for God's existence as necessary. Yet philosophers have mostly neglected to examine what modal concepts he uses, and what their metaphysical basis is. Brian Leftow sets out Anselm's modal metaphysics, and defends all but one premise of Anselm's best argument for God's existence.



Anselm of Canterbury gave the first modal "ontological" argument for God's existence. Yet, despite its distinct originality, philosophers have mostly avoided the question of what modal concepts the argument uses, and whether Anselm's metaphysics entitles him to use them. Here, Brian Leftow sets out Anselm's modal metaphysics. He argues that Anselm has an "absolute", "broadly logical", or "metaphysical" modal concept, and that his metaphysics provides acceptable truth makers for claims in this modality. He shows that his modal argument is committed (in effect) to the Brouwer system of modal logic, and defends the claim that Brouwer is part of the logic of "absolute" or "metaphysical" modality. He also defends Anselm's premise that God would exist with absolute necessity against all extant objections, providing new arguments in support of it and ultimately defending all but one premise of Anselm's best argument for God's existence.