backwoodsman wrote:..which brings us back to what I said before: Logic is useless if one starts with incorrect assumptions. Your logic, and your point, depend on the assumption that God is subject to and bound by time in the same way we are
.
You seem to be using the word "logic" in a different sense than I. Apparently you are using it in the sense of "reasoning." Otherwise you wouldn't refer to "your logic." I don't have some specialized logic that I own. I was talking about formal logic such as is taught in university philosophy classes, and is independent of any particular person's reasoning. Here are some examples:
Modus Ponens:
If p then q
p
∴ q
Example of application:
Premises
If Mary sees a St. Bernard dog, she pets the dog.
Mary sees a St. Bernard dog.
Conclusion:
Therefore Mary pets the dog.
The above is known as "a logical argument."
In formal logic, if p represents a statement then p and -p (not p) represents the contrary, both statements cannot be true.
Now to apply formal logic to the problem Let A and B represent two persons. Let is be assumed that both A and B have free will, that is, the ability to choose.
Let X represent an act that it is possible for B to accomplish at a given time T.
Therefore B can choose X or B can choose -X.
Now suppose that A knows prior to time T that B will choose X at time T.
When time T comes about, B, having free will can choose either X or -X
So suppose B chooses -X.
This contradicts our supposition that A knew prior to time T that B would choose X.
Therefore A didn't know prior to time T that B would choose X.
For A to actually KNOW prior to T that B would choose X, then it is not possible for B to choose -X at time T. And that would imply that B doesn't have free will.
Conclusion: It is not possible to know in advance what a free-will agent will choose.