It sounds like the Ontological argument (spec. Plantinga's). If I remember correctly, in the framework that Plantinga's argument uses (axiom S5), to say that something is "possibly necessarily true" is equivalent to saying that it is "actually necessarily true".
Doesn't that make his argument question-begging?
Doesn't that make his argument question-begging?
