Singalphile wrote:It's been written many times that if God knows that a person will do X tomorrow, then that person could not have refrained from doing X. That is not obviously true to me.
The reason it is not obviously true to you, may be that you think we are saying that God's foreknowledge that a person will do X causes the person to do X. That is not the case.
The real reason is that the assumption that the future is settled NOW cannot be reconciled with libertarian free will. The two contradict each other.
People sometimes make statements about the future. But they are not "propositions" as in formal logic. Propositions are either true or false. They cannot be both true and false. Nor can they be neither true of false. In formal logic, this is called "the law of the excluded middle." For example the proposition: "The Bible is on the table" is either true or false. The Bible cannot be both on the table and not on the table. Nor it be neither on the table nor not on the table.
Here is a sentence which APPEARS to be a proposition about the future. "Sarah will eat a chocolate at 8 P.M. tomorrow night." In other words, this appears to be a proposition which is either true of false. We think there is no other possibility. Let's see what happens if we assume the sentence is NOW true. How then, when it is 8 P.M. tomorrow night can Sarah refrain from eating a chocolate? For if she chooses to refrain, this contradicts our assumption. However, if we assume the sentence if NOW false, then is it possible for Sarah to eat a chocolate at 8 P.M. tomorrow night? How can she? For if she did so, that too would contradict our assumption. So whether the sentence is now true or whether the sentence is now false, there is something that Sarah CANNOT DO. Thus she does not have the free will either to eat a chocolate at 8 P.M. tomorrow or refrain from eating a chocolate at that time.
But if God (or anyone else) KNOWS NOW (in the absolute sense of the word) that Sarah will eat that chocolate, then Sarah will eat that chocolate. When 8 P.M. rolls around she cannot refrain from eating the chocolate.
My conclusion is that sentences about the future are not propositions, and therefore have no truth value. They are NEITHER true not false NOW. The sentence "Sarah eats a chocolate as 8 P.M. tomorrow night" is not now true, and it is not now false. This sentence will BECOME true or false at 8 P.M. tomorrow night when Sarah makes her choice, either to eat, or not to eat.
The reason such sentences APPEAR to be propositions is that they are often stated in propositional form.
For example, someone might say, "The Montreal Canadians will win the hockey game." That sounds like a proposition which is either true or false. But what the speaker is REALLY saying is, "I predict that the Montreal Canadians will win the hockey game." This, of course, IS a proposition, a proposition that is likely to be true (if the speaker is, indeed making a prediction). It's NOT a guess; it is a PREDICTION based on what he knows about the abilities of the Montreal Canadians, and their successes in the past.
Another example. Someone might say, "I am going to the city tomorrow." This sentence is also in propositional form. But the speaker is actually saying, "I intend to go to the city tomorrow." The latter is a true proposition, if this is the speaker's intention.
Now God knows EVERYTHING there is to know. So His predictions which He expresses through His prophets usually turn out be be reality. On the other hand, when WE make predictions based on our incomplete knowledge, they often fail to actualize. However, because of free will agents which are able to choose freely, sometimes even God's predictions did not become reality.
God predicted that after Israel had done many evil things, she would return to Him, but she didn't return.
And I thought, ‘After she has done all this she will return to me,’ but she did not return... (Jeremiah 3:7 RSV, ESV, NASB)
(The Jewish Study Bible translated by experts in Hebrew renders the sentence the same except that it has "said" instead of "thought".)
God also made statements of intention, which, being omnipotent, He had the power to carry out, but He sometimes changed His mind in response to human decisions:
If at any time I declare concerning a nation or a kingdom, that I will pluck up and break down and destroy it, and if that nation, concerning which I have spoken, turns from its evil, I will repent of the evil that I intended to do to it. And if at any time I declare concerning a nation or a kingdom that I will build and plant it, and if it does evil in my sight, not listening to my voice, then I will repent of the good which I had intended to do to it. (Jeremiah 18:7-10)
Now if God had known in advance in the first instance that the nation would turn from its evil, why would He have declared that He would destroy it? Did He declare this in order to induce it to repent? I don't think so, for this would be a lie if He had known all along that they WOULD REPENT, and that He hadn't planned to destroy it at all.
So when Jesus said to Peter, "You will deny me", He was making a prediction,