The Plantingian Trilemma

The standard problem of divine foreknowledge asks whether God’s knowledge of what creatures will do is compatible with their freedom. This paper poses a prior and neglected question: is God’s infallible knowledge of His own future actions compatible with His freedom? I argue that it is not. Drawing on branching-time semantics and four principles: the factivity of knowledge, the essential infallibility of divine belief, the fixity of the past, and the fixity of divine self-knowledge, I construct a formal proof that if God essentially cannot be mistaken, then any action He will perform is settled in advance in a way that forecloses the power to do otherwise. I then examine the three standard responses to the foreknowledge problem, the non-causal defense, Molinism, and the hard/soft fact distinction, and argue that none succeeds in the self-knowledge case: the non-causal defense misidentifies the incompatibility as causal rather than modal; Molinism relocates the contradiction rather than resolving it; and the soft-fact move cannot escape the factivity constraint. This leaves a trilemma: deny that God has infallible self-knowledge, deny that divine freedom is libertarian, or embrace the paradox as irreducible mystery. Each horn carries significant theological cost, and the paper argues that the problem has been underexplored precisely because the tradition has assumed rather than examined divine freedom.