WLC free will and omniscience

[Angrboda]

Two things: free will and free agency

You have no free will. You are a machine that acts as it has to act. This isn't anything to do with religion.

You are a free agent to act as your will dictates.

This is semantic nonsense. The relevant standard is the counterfactual, that you "could have done otherwise" (that P or not-P). You've defined us as not having free will, that we could not have done otherwise (not (not-P or P), it is not the case that we could do P or not-P). Then, you simply change the label of the thing (could have done otherwise) to agency, and "magically" assert that it is free. It isn't; you've just changed the name. Changing the name doesn't change the properties of the thing.


Omniscience and Free Will

1. At time T, I could do P or not-P (free will / free agency)
2. God knows at T-1, P or not-P
3. It is necessary at T-1 that P or not-P
3a. Assume at T-1, God knows not-P
i) At T-1, it is necessarily the case that not-P
ii) if it is necessarily the case at T-1, it is necessarily the case at T {that not-P}
iii) if it is necessarily the case at T that not-P, then Premise 1 is false; contradiction.
3b. Assume at T-1, God knows P
i-iii) similarly to 3a, results in a contradiction with #1.
4. this entails not (#1 and #2) (both can't be simultaneously true)
5. Assume #2
5a. not (#1 and #2) -> not (#1 and true) -> not (false [#1] and true)
Conclusion: If God is omniscient, I am not free {could do (P or not-P)}