Umm.. we were talking about the nature of God and His knowledge. The logical proof is there. X is
anything that may happen. There is no 'Y'. Look again:
OK, then given the principles of modal logic:
Necessarily, if God foreknows X, then X will occur. (definition of foreknowledge)
Thus, if God necessarily knows X, then X will necessarily occur. (distributive principle)
God's foreknowledge is necessary.
Therefore, X is necessary.
None of the facts or definitions are incorrect. The logical proof stands as it is. There is no 'Y'. There is no contingent. If you want to argue this proof, then do so on the merits of the proof itself. Don't go inserting other elements into it that aren't there.
You can't just claim that X is contingent without giving a basis for doing so. The proof stands as it is.
My little proof above exposes the problems in the author's arguments.
Except that your Almanac made a trip to the past, which means it is attempting to record what will happen.
This is logically contradictory. Free will (choice) states that agent A in circumstance C must be able to choose 'X' and must be able to choose '~X', but not both.
What you're saying is that agent A may not choose ~X because the last time agent A was in circumstance C, he chose X.
You've just violated the definition of free will.
As I've shown above, if free will (choice) is truly involved, it may not.
I don't have a problem with this, per se, except that you must arrive at the point where God's "redirection" eliminates free will in every possible decision, because there is only one thing an individual may do in a given situation, and that's what God has "redirected" them to do.
Because the actions of the individuals in the movie occurred as the director was shooting the footage. The footage itself has no free will.
OK, you've lost me. I don't know who is what in this analogy, anymore.
You're confusing unlimited ability with the ability to choose. The fact that I can't flap my arms and fly to the moon doesn't infringe the fact that I may choose any one of those 31 flavors, and that choice isn't knowable until I make it.
And we come across the chicken and egg problem. As you pointed out "FORE" means BEFORE. However, my loss of choice due to having made the choice comes AFTER I choose. The past is now
necessary, because there are no contingents about the past.
However, BEFORE I choose, this is not an issue. The future is contingent because I may choose X or ~X.
LOL... You keep contradicting yourself. You are "predisposed" to
always choose vanilla. That is an external force that prevents you from being able to choose to not have vanilla (~X.) Remember that our definition says that you must be able to choose X and must be able to choose ~X, but not both. But what you've just told me is that your predisposition means you are not able to choose ~X. Thus, you don't have free will.
And there you finally use it: Determinitive. You finally admit that you believe that factors other than your will determine your choice. Thus, you are not able to choose ~X, and you've lost free will.
You keep contradicting yourself with your own language, Lon. Until you grasp the idea that the will and the will
alone chooses, without the "determinitive" factors, you'll never be able to engage this debate.
Muz