FORK ONE · THE ROOT
A man's free act is certain before he performs it. Where does the certainty come from?
Reformed
Sense three. The agent acts freely when he acts according to his own will and desires, without external compulsion, even though that will is itself determined by God's decree and by the agent's nature. That is the sense in which a free act can still be certain. The certainty comes from the decree.
Provisionist
Sense one. Under the same conditions and the same grace, the man could have gone the other way. Not sourcehood, since the enabling is God's and the man originates nothing on his own. The certainty comes from God's knowledge of what the man will freely do. Knowing is not causing, and certainty is not necessity.
This fork is the root. Whether regeneration precedes faith, what the effectual call does, and how election relates to faith all read differently depending on which sense of "free" is operating. A Reformed pastor pointed that out and he was right.
A historical note. Richard Muller argues that the contemporary categories of compatibilism and libertarianism fail to capture the early modern Reformed approaches, and documents a robust doctrine of creaturely contingency in that period. Reformed readers differ on how much weight that bears on the confessional trajectory, and I am not the man to settle it.
Richard A. Muller, Divine Will and Human Choice: Freedom, Contingency, and Necessity in Early Modern Reformed Thought (Grand Rapids: Baker Academic, 2017).
