It's logically possible X is a necessary being. It's logically possible Y is a necessary being.
X can be a Wrathful/Punishing Creator that punishes all bad people. Y can be Forbearing/Merciful Creator that forbears all bad people. They would per "possibly necessarily" both have to exist if they were both rationally possible.
I think there is a problem with "possibly necessarily, implying necessarily".
X can be a Wrathful/Punishing Creator that punishes all bad people. Y can be Forbearing/Merciful Creator that forbears all bad people. They would per "possibly necessarily" both have to exist if they were both rationally possible.
I think there is a problem with "possibly necessarily, implying necessarily".