If God knows everything, you basically have five types of explanations when it comes to free choice in saving faith:
1. God sees into the future and knows your choice. So his decree to create includes your choice. (Arminian)
2. God has middle knowledge, knows all possible worlds, and selects the one that both guarantees creaturely freedom and occurs just as God wills. (Molinist)
3. God causes everything. He is the pool cue. We are the billiard balls. (Determinist)
4. God ordains genuinely free acts since he, as First Cause, acts in a way that transcends the physical ordering of things. He is first cause to our free choices, not in time nor in physical order, but in a way that only can make sense to God before whom all things are present in his timeless eternal existence. (Early Reformed / Reformed Orthodox)
5. God ordains all things, but he does so in a way that is compatible with human free choice. So God determines all, yet does so such that humans experience genuine freedom (compatibilism).
[Read more…] about If God Knows Everything, do we have free Choice?