, the four links say about the same but worded differently (Banno's might be the most concise), the first line in my comment just gives a brief summary while expressing the non-ampliativity.
Some typical responses ...
"
But God is the creator of any of the possible worlds", which departs from modal logic (and commits
petitio principii anyway).
"
But it's not logical necessity, it's metaphysical necessity", which roughly does the same by introducing a sufficiently vague/vacant phrase to head off to wherever (just about anywhere), whereas the logic is what we use to reason/deduce things.
A possible world is a self-consistent entirety; possible worlds, W, maintain standard logic.
• possibly
p (holds for some consistent world): ◊
p ⇔ ∃
w∈W
p
• necessarily
p (holds for all consistent worlds): □
p ⇔ ∀
w∈W
p
To round up the common subjunctive modalities, contingent and impossible can be set out from those.
intelligible — Hallucinogen
... and possible aren't the same; the latter is fairly concise above.
(As an aside, whatever "
eternal" means, atemporal mind is
incoherent (
2022Nov11,
2024Sep22), atemporal living is nonsense.)
Oddly enough perhaps, "God is necessary" turns out to be a definition of "God", it's not an observation or a deduction, so "God" is now at the mercy of the definition if you will. (Also note, we're no longer talking down-to-Earth modalities like "water is necessary for the rain", "toddlers have to drink regularly", ...)