If theism is true, then there exists a being to which we appropriately refer with the term ‘God’. This point is analytic. Any object to which we appropriately refer with the term ‘God’ bears certain properties – e.g. omniscience, omnipotence and moral perfection. While the analyticity of this point may be a matter of debate, I find no problem granting its necessary truth, at least for the purposes of this paper. There are properties essential to the appropriate wearing of the title ‘God’. Does it follow from these claims that the object to which we appropriately apply the term ‘God’ bears the properties in question – omniscience, omnipotence, etc. – essentially? Is God essentially God? Or is it possible that the being to whom we refer with ‘God’ exist but not be God? Many would assume that the answers to these questions are obvious – that God is God essentially, or not at all. However, I wish to argue that there may be properties essential to Godhood, but not essential to the being that is God.

If the contemporary rebirth of the ontological argument had its conception in Norman Malcolm's discovery of a second Anselmian argument ([2]) it had its full-term delivery as a healthy philosophical progeny with Alvin Plantinga's sophisticated modal version presented in the tenth chapter of The Nature of Necessity ([8]). This latter argument has been the centre of a huge body of literature over the last fifteen years, and deservedly so. One is impressed that this version of Anselm's jewel is valid and sound if any is.