God · Objection
If God already knows everything I will do, then I cannot do otherwise, so free will is an illusion.
Why people find it persuasive
It feels like knowledge and freedom cannot coexist: if my choice tomorrow is already known today, it seems locked in, and calling it 'free' seems like a comforting label on something already fixed.
Important distinctions
- • Foreknowledge (knowing what will happen) vs. foreordination (causing what will happen).
- • Logical necessity of the conditional vs. necessity of the individual act itself.
- • Knowing a true future-tense proposition vs. that proposition's truth being forced by the knowing.
Christian response
- • Draw the classical distinction, going back to Boethius and refined by later philosophers, between God's knowledge causing an event and God's knowledge merely tracking an event that is freely caused by the agent. Knowledge, as such, is not causally efficacious; a knower does not make things happen by knowing them, any more than a person who accurately predicts your free choice caused it by predicting it.
- • Use the standard modal distinction: it is necessarily true that 'if God knows I will choose X, I will choose X' (a trivial logical entailment), but it does not follow that my choosing X is itself necessary in the sense that removes freedom. Confusing the necessity of the conditional with the necessity of the consequent is a well-documented logical error in this argument, sometimes called the modal fallacy.
- • Point to the Boethian solution that God, existing outside of time (on the classical model), does not 'foresee' in a temporal sense at all but knows all moments in a single eternal present, in which case describing divine knowledge as coming 'before' the choice, and thereby fixing it, misdescribes the relationship entirely.
- • Note that even ordinary human situations show that knowledge of a future free choice does not by itself eliminate freedom: if a friend who knows you extremely well correctly predicts what you will freely order at a restaurant, the accuracy of the prediction does not make your choice unfree; certainty of knowledge and freedom of the thing known are not obviously incompatible.
Strongest version of the objection
If God already knows everything I will do, then I cannot do otherwise, so free will is an illusion.
Christian counterresponse
Classical theists respond that future-tense propositions about free choices can be true in a 'soft facts' sense grounded in the agent's actual (even if not yet occurred) free choice, especially on an eternalist or Boethian view of time, so omniscience does not require that the future be causally fixed in advance, only that it be true, and truth does not entail determinism.
Remaining questions
The debate between classical theism, Molinism, and open theism over foreknowledge and freedom remains a live and technical dispute among Christian philosophers themselves, not a settled matter, and reasonable orthodox thinkers land in different places.
Related arguments
For further study
Primary and secondary sources on both sides of this question. Reading the strongest opposing case is part of the work, not a concession.
The Blackwell Companion to Natural Theology — William Lane Craig and J. P. Moreland (eds.)
The reference volume: long, technical chapters defending each major theistic argument, with the best statements of the cosmological, fine-tuning, moral, and ontological arguments.
Five Proofs of the Existence of God — Edward Feser
Classical (Aristotelian, Neo-Platonic, Thomistic) arguments defended in analytic form, with sustained attention to what the conclusions do and do not establish.
The Miracle of Theism — J. L. Mackie
The best twentieth-century atheist engagement with the theistic arguments; read it to see which objections actually bite.
Arguing About Gods — Graham Oppy
A rigorous skeptical assessment arguing that no theistic argument succeeds as a proof; the standard opposing benchmark.
The Existence of God — Richard Swinburne
Builds a cumulative probabilistic case rather than a single deductive proof — useful for seeing how arguments combine.