Originally posted by damage79
I endorse 1-5 and F1, I disagree with F2
1) Nothing that contradicts God's knowledge could actualize.
2) God's knowledge does not change.
3) For each person in hell, there was never an instant when God did not know that person's destiny was hell.
4) For each person in hell, even at the instant that person was born, God knew that that person would go to hell.
5) For each person in hell, at no instant in that person's life did God not know that that person would go to hell.
For each person in hell:
F1) God knew at every instant in that person's life that that person would go to hell.
This remains in dispute:
F2) At each instant that God knows that person will go to hell, it is impossible for that person to successfully choose to go to heaven, for that would actualize a contradiction to God's knowledge.
You agree that (1), which means you agree that whatever God knows cannot be contradicted. At any instant in the universe, such as when God gave the Ten Commandments, if God knows that P is the case, it is impossible for a person to make choices that would lead to P not being the case. In particular, if it some instant God knows that a person is going to hell, at that instant it is impossible for that person to make a choice that would lead to him not going to hell.
Do you agree? To deny this is to assert that there existed some instant in the person's life such that it was the case that both
A) God knew that person was going to hell, AND
B) It was possible for that person to make a choice that would lead to him not going to hell.
Are you asserting the conjunction of (A) and (B)? If not, you must agree with (F2), for (F2) is nothing more than the denial of the conjunction of (A) and (B).
Please, to stay on track, either limit your response to saying that you assert the conjunction of (A) and (B), you deny it and accept (F2), or you deny that the dichotomy between them is as I have stated. (If you deny the dichotomy, I am happy to redefine (F2) to be simply the denial of the conjunction of (A) and (B), making the dichotomy clear.)