The Ontological Argument for the Existence of God

[Angrboda]

Note that Plantinga doesn't endorse modal realism, and so he is trying to have his cake and eat it too.

Intense debate has also emerged over the ontological status of possible worlds, provoked especially by David Lewis's defense of modal realism, the doctrine that talk about "possible worlds" is best explained in terms of innumerable, really existing worlds beyond the one we live in. The fundamental question here is: given that modal logic works, and that some possible-worlds semantics for modal logic is correct, what has to be true of the world, and just what are these possible worlds that we range over in our interpretation of modal statements? Lewis argued that what we range over are real, concrete worlds that exist just as unequivocally as our actual world exists, but that are distinguished from the actual world simply by standing in no spatial, temporal, or causal relations with the actual world. (On Lewis's account, the only "special" property that the actual world has is a relational one: that we are in it. This doctrine is called "the indexicality of actuality": "actual" is a merely indexical term, like "now" and "here".) Others, such as Robert Adams and William Lycan, reject Lewis's picture as metaphysically extravagant, and suggest in its place an interpretation of possible worlds as consistent, maximally complete sets of descriptions of or propositions about the world, so that a "possible world" is conceived of as a complete description of a way the world could be – rather than a world that is that way. (Lewis describes their position, and similar positions such as those advocated by Alvin Plantinga and Peter Forrest, as "ersatz modal realism", arguing that such theories try to get the benefits of possible worlds semantics for modal logic "on the cheap", but that they ultimately fail to provide an adequate explanation.) Saul Kripke, in Naming and Necessity, took explicit issue with Lewis's use of possible worlds semantics, and defended a stipulative account of possible worlds as purely formal (logical) entities rather than either really existent worlds or as some set of propositions or descriptions.

Wikipedia | Possible world