Abstract
I argue that spinoza's ontological argument is successful when it is understood to have two premises: (i) it is possible for god to exist, (ii) it is necessary that, if god exists, he necessarily does. the argument is valid in s5. spinoza is in a position to establish the second premise of the argument on the basis of his definitions and axioms. the first premise was assumed to be true, but, as leibniz noted, it must be established for the conclusion of the argument to be forthcoming. this is one of the main problems with the argument, and it requires a solution to the problem of the attributes. certain alternate interpretations of spinoza are then argued to be deficient on textual and logical grounds