Logic, Free Will and the Bread of Life: A Philosophical Look at John 6
Suppose you find yourself reading the sixth chapter of John’s Gospel. It is a magnificent text, but it is also the site of a long-standing theological skirmish between monergists (who believe God alone decisively brings about salvation) and synergists (who believe human free will plays a cooperating role).
Now, theologians can argue until they are blue in the face about what certain Greek words feel like they should mean. But it seems to me that we might make better progress if we take a step back, roll up our sleeves, and look at the actual logical structure of Jesus’s claims. If we map out the necessary and sufficient conditions Jesus gives us, we might just find that the text is logically tighter than we thought.
(For those who want to see the formal logical proofs, I’ve linked my full formal essay at the bottom of this post)
The Setup: Necessary vs. Sufficient
In John 6, Jesus uses a network of specific verbs to describe how a person is saved: being given by the Father, being drawn, being taught, and being granted. The central question is simply this: do all these terms refer to the exact same group of people?
Let’s look at the promises:
Sufficiency: Jesus says, “Everyone whom the Father gives to me will come to me” (John 6:37, LEB). Logically, this means being “given” is a sufficient condition for coming. If you are given, you will inevitably come. The same goes for being “taught” by God (John 6:45).
Necessity: Conversely, Jesus says, “No one is able to come to me unless the Father who sent me draws him” (John 6:44, LEB). This establishes a necessary condition. You absolutely cannot come unless you are drawn. He says the same thing about it being “granted” by the Father (John 6:65).
So, giving and teaching are sufficient; drawing and granting are necessary. But here is where the synergist usually raises a hand.
The Poodle Fallacy (and the Inferential Gap)
A popular, though entirely invalid, logical move is to look at John 6:37 (”All the Father gives will come”) and infer the inverse: “Anyone not given by the Father will not come”.
But that simply doesn’t follow. To see why, consider the statement: “If it is a poodle, then it is a dog”. This is eminently true. But the invalid inverse would be to conclude, “Therefore, if it is not a poodle, it is not a dog”. This is obviously false; our non-poodle friend could very well be a golden retriever.
Applying this to John 6, the synergist might say: “Sure, all who are ‘given’ will come. But perhaps others - our theological golden retrievers, if you will - might also come by an act of their own unaided free will!”. John 6:37, by itself, doesn’t logically rule this out. To close this gap and prove the monergist case, we have to prove that being “given” is also a necessary condition for coming. We need what philosophers call “bridge premises”.
Building the Bridges: An Unbreakable Chain
Fortunately, the text itself supplies these bridges, and it does so quite forcefully through structural parallelism.
Bridge 1: The “Granted” are the “Given” Look at the exact syntactic equivalence between verses 44 and 65.
Verse 44: “No one can come to me unless the Father... draws him.”
Verse 65: “No one can come to me unless it has been granted to him by the Father.”
These two restrictive clauses mirror each other identically. They occupy the exact same functional slot as the divine precondition for coming. Because both “giving” and “granting” serve as the ultimate, effectual preconditions for the exact same individuals who inevitably come, we can validly link them.
Bridge 2: The “Drawn” are the “Taught” Verses 44 and 45 form a classic problem-solution structure. Verse 44 presents the problem: universal inability (no one can come unless drawn). Verse 45 immediately supplies the mechanism: everyone who is taught by the Father comes. The drawing isn’t some vague, passive wooing; it is the effectual divine instruction that infallibly results in coming.
Furthermore, look at the end goal. The text repeatedly hammers home an unbreakable chain with a single destination. Those given, those who come, and those drawn all share the exact same eschatological outcome: the Son will lose none of them, and will raise them up on the last day.
When we apply these textual bridges, the logic snaps shut. The “given” are the “drawn” are the “taught” are the “granted”. Divine action is both necessary and sufficient.
The John 12 Objection: What about “All People”?
Now, a sharp critic will inevitably point to a few chapters later, where Jesus says, “And I, when I am lifted up from the earth, will draw all people to myself” (John 12:32).
The objection goes like this: If drawing is an effectual, irresistible force that guarantees salvation, and Jesus draws every individual human, then every individual human is saved. That’s Universalism. Since we know Universalism is false, the synergist argues we must redefine “draw” (helkuō) into a weak, resistible invitation.
But redefining a Greek verb that literally means to forcefully drag (like a heavy net of fish or men before a magistrate) is a desperate, ad hoc maneuver. We don’t need to weaken the verb; we just need to look at the context to see who “all” refers to.
What happens just twelve verses prior to trigger Jesus saying this? A group of Greeks (Gentiles) show up to see Him (John 12:20). This is a monumental shift. Jesus immediately declares that the hour of His glorification has come (v. 23). In Greek syntax, “all” can mean “all without exception” or “all without distinction”. In context, Jesus isn’t declaring universal salvation for every human who will ever live; He is declaring the end of Jewish exclusivity. The net of the Father’s effectual drawing is going global—to Jews and Gentiles alike.
Conclusion
Logic alone cannot interpret a text for us; it can only tell us what logically follows from our interpretations. If one chooses to reject the structural bridges in John 6, a non-effectual reading remains logically coherent - though I’d argue it severely strains the tight rhetorical mesh of the chapter.
However, if we take the structural parallelism of John 6 seriously, the formal deduction isolates a profound truth: a monergistic framework isn’t just an arbitrary theological preference; it is logically inescapable. Coming to the Son is the reliable effect of the Father’s initiative, and the Son’s keeping and raising perfects that initiative.
For the full symbolic logic proofs and a deeper dive into the Greek, you can read my complete formal essay here. The core ideas and insights are my own. I utilized Gemini Pro to help formulate the logical analysis, then synthesize and draft the final manuscript under my strict direction.
