(April 27, 2017 at 11:52 am)Grandizer Wrote:The hangup you have is that a possible world does not mean a complete possible alternate reality. It is a term used in modal logic to test propositions- and could be paraphrase as "logically speaking, the world could have been this way".(April 27, 2017 at 9:24 am)SteveII Wrote: 1. No, they are not--and you explained why they are not. If you are going to critique and discuss logically arguments, you have to understand the terms.
There is no meaningful distinction between "logically possible" and "actually possible", no matter how many times you try to argue against this.
Quote:2. That is what I have been saying. I don't disagree with this statement. However, that does not mean what you think it means.
Ok, Mr. Psychic, you tell me what I think it means then.
Quote:"Possible world" just means broadly logically possible.
Not just broadly, no. A possible world is a world that's logically possible but not necessarily actualized. Therefore, there is at least a possible world where all humans freely choose to do good all the time, unless there is a necessary factor that prevents such a world from being a possible world. The question is, what the hell is that factor? You haven't bothered to address this in all your red herrings.
Quote:But the proposition is only contingently true (see link below for def). The PoE argument needs the proposition to be necessarily true (also see link for def) to succeed.
http://www.manyworldsoflogic.com/modallogic.html
Steve, you must be confused.
The proposition "all humans freely choose good all the time" is, as you say, only contingently true. But what this means therefore is there is at least one possible world in which this is indeed the case (that all humans freely choose good all the time). We don't need all possible worlds to correspond with the proposition. Only one possible world is needed for the objection containing this proposition to work.
One last try from a different angle: Possible world =/= feasible world. Feasible worlds are a subset of possible worlds. So while the proposition that everyone always chooses good is true in some possible world, it very well might not be feasible for God to create such a world because when God creates the actual world (notice I don't say "that world" because there is no such thing as that world) it very well might out that the 8th person freely chooses to do evil and the chain reaction of that evil has trillions of consequences. And, if in his foreknowledge, God can arrange the 8th person not to be tempted by x, it might be that that action causes the 7th or the 435th person to make a different choice...and so on.