(December 17, 2015 at 10:09 pm)IATIA Wrote: Still no good! Just because something is possible does not make it so. Pink unicorns are possible. Seen any lately?Pink unicorns are possible, but they aren't possibly necessarily. That is, it's not possible that all possible worlds require a pink unicorn to exist.
However, it seems it's possible all possible worlds require a necessary being to exist. Therefore, by model logic, (what's possibly necessarily, is necessarily), then such a necessary being exists.
That is because what is in fact possibly necessarily so has been proven in model logic to be redundant to say possible, but rather is necessarily, so possibly necessarily is necessarily.