Plantiga's ontological argument.

[Angrboda]

Well, this assumes modal logic S5 from what I understand. I don't understand modal logic, so someone else will have to comment on that. I suspect, though, that although the necessary being in his argument is typically referred to as 'God', one can substitute 'the universe' as that necessary being without loss of generality. Anybody here know modal logic well enough to comment?