Oh I see. This is rather simple. So error is this.
In your premise (2), the assumed truth is that “you will freely choose to have a beer tomorrow”
But the truth you refer to contradicting is not the same truth. This new truth is of the form “God knows that if he told you he knows you will have a beer tomorrow, then you will FREELY have a beer tomorrow”.
It is still true that I wil have a beer tomorrow,so your objction isn’t really relevant.
Let’s try it.
1 God has complete foreknowledge of the future
2 Assumption: God knows (with 100% certainty) that if he tells you he knows you will have a beer tomorrow, then you will FREELY have a beer tomorrow .
3 That means that it is true now that I will freely choose to have a beer tomorrow.
4 God is omnipotent, so He can communicate all truths.
5 “I’ll freely choose to have a beer tomorrow” is a truth. (from 3)
6 God tells me today that I will freely choose to have a beer tomorrow.
7 I want to prove God wrong so I refuse to have a beer tomorrow.
now 7 contradicts 3.
Conclusion : libertarian Free Will is incompatible with complete foreknowledge.
Nothing really chnages.
(2) God knows (with 100% certainty) that if God told you he knows you will have a beer tomorrow, then you will FREELY have a beer tomorrow
That would be true under Molinism, which I thought we agreed we wouldn’t be discussing for the time being.I have already expressed my problems with Molinism.
We are discussing pure forekniowledge here, that is, knowledge about future factuals, not about counterfactuals.
Now from this you see that your proposition (7) is meaningless. You are postulating something that contradicts your own assumption which renders your whole argument useless.
You should read my argument better.
Do you see the error now? You made an assumption that did not deal with the situation you dealt with in (6) to (7). That is not a proper form of a deductive argument.
Well, I did not have the time for a perfect deductive argument, but the conclusion still stands.
It is more than possible that if God knows that you won’t choose to drink a beer if he told you so, depending on the outcome he wants you to freely choose, he will take the **necessary action that will bring about a certain truth **and not the other. So there is no contradiction.
God bringing about a necessary action that will bring about a certain truth entails compatibilism, and it also entails Molinism, which is not what we are discussing here.
If he wants you to drink a beer, he will not tell you about it. If he wants you to drink a beer, he will tell you about it. In both cases, you would have been free but God would have actualized two different truths.
Again: Molinism.
But in any case, quiet ironically, your example highlights how God brings about free actions while having foreknowledge not only of what will happen but of what might happen.
That’s the claim of Molinism, Passer, which is not what we are discussing here and which opnes the door for the objections I formulated against Molinism.
God ‘bringing about actions’ entails determinism, which would make my decisions free in a compatibilist sense, not in a libertarian sense.