Anselm av Canterbury er kjent for å ha formulert det første 'modale' ontologiske argumentet for Guds eksistens. Til tross for argumentets unike originalitet, har filosofer stort sett unngått å utforske hvilke modale begreper som ligger til grunn for argumentet, samt hvorvidt Anselms metafysikk gir ham rett til å bruke dem. I denne boken presenterer Brian Leftow Anselms modale metafysikk. Han argumenterer for at Anselm benytter et 'absolutt', 'bredt logisk' eller 'metafysisk' modalt begrep, og at hans metafysikk gir akseptable sannhetsbærere for påstander innenfor denne modaliteten. Leftow viser også at Anselms modale argument i realiteten er forpliktet til Brouwers system for modal logikk, og han forsvarer påstanden om at Brouwer er en del av logikken til 'absolutt' eller 'metafysisk' modalitet. Videre forsvarer han Anselms premiss om at Gud ville eksistere med absolutt nødvendighet mot alle eksisterende innvendinger, og han presenterer nye argumenter til støtte for dette, samtidig som han i hovedsak forsvarer alle bortsett fra ett av premissene i Anselms mest overbevisende argument for Guds eksistens.
