Abstract

This paper is a criticism of Plantinga’s analysis of a version of the ontological argument. He thinks it is obvious that his version is valid and that the only question of interest is whether a key premise is true. The paper lays out two relevant semantical accounts of modal logic. It contends that Plantinga needs to show that one is preferable to the other.