@Emil,
Emil;117915 wrote:It is easier to find logically possible examples, I can simply make them up. I can't do that with actual examples. And since they work equally well for counter-examples to logical implication, indeed actual examples work because they imply possible examples [(∀P)(P⇒◊P)], then it is easier to use logically possible examples.
Yes, but all possible examples do not imply actual examples, do they?
You're right, though, actual examples imply possible examples. I suppose I meant to say: Why start an argument off by saying, "Consider a possible world...", if it were something we could consider in the actual world? In other words, don't people use possible world examples when they can't use actual world examples in their argument? The person, for instance, would be trying to prove that something is logically possible, even if it violates something in this actual world.