I think what is possible isn't necessarily possible.
This is because we can say "This may or may not be possible" and from a sense of the word it would be a possibility, even though from another sense, this possibility maybe impossible.
As for ontological possibilities, it's actually the same thing. For all we know perspective, an ontologically possibility maybe possible or may not be possible.
Also, it maybe things like magic or souls, are ontologically impossible without God, and it maybe ontologically from all we know perspective, that things outside of space and physical world, cannot exist.
Therefore ontological possibilities are not necessarily possible.
Therefore, the first premise that leads to the counter intuitive premise from modal logic that "What's possibly necessarily, is necessarily" to me seems false.
Thus the conclusion which is counter intuitive is not proven to me.
This is because we can say "This may or may not be possible" and from a sense of the word it would be a possibility, even though from another sense, this possibility maybe impossible.
As for ontological possibilities, it's actually the same thing. For all we know perspective, an ontologically possibility maybe possible or may not be possible.
Also, it maybe things like magic or souls, are ontologically impossible without God, and it maybe ontologically from all we know perspective, that things outside of space and physical world, cannot exist.
Therefore ontological possibilities are not necessarily possible.
Therefore, the first premise that leads to the counter intuitive premise from modal logic that "What's possibly necessarily, is necessarily" to me seems false.
Thus the conclusion which is counter intuitive is not proven to me.
