My apologies as well for the delay. Life has gotten in the way.
...Math is ultimately a language. If symbolic representation cannot deal with the meaning of words, then the symbolism is insufficient and can only represent the language of words to the extent it can symbolize...
It's not that symbolic representation doesn't deal with the meaning of words. It's that not all words are relevant to a statement's
structure. Δύναται ἐλθείν does not impact the
structure of the verse,
nor does it need to in order for the logic to be sufficient to demonstrate the conclusion I've offered. This is evident from the fact that there is no contradiction implied by the idea that all who are able to come might actually end up doing so. This is where I think you're missing things. It's not enough to simply argue for the existence of contingency, because contingency alone does not preclude the possibility that "all able to come" could equate to "those who actually do so."
In other words, even if we grant your point on contingency for the sake of argument and say that those who are drawn may or may not come, all that does is assert a possibility. Possibility in and of itself does not entail the actual realization of two different classes of people, viz. those who choose to come and those who choose not to. The possibility can logically exist, and yet the reality can still be that all those able to come actually do so. That is why the mere mention of an ability does not
infer anything with respect to the logic of the verse. What we would need is a positive identification of both classes of people: (1) Some who are able to come, and do so, and (2) some who are able to come, and don't.
"Some S are P," and "Some S are not P," where S is "those able to come" and P is "those who choose to come."
All that is asserted by the mere mention of ability is "Some S are P" (we know that at least some do come). But "Some S are P" is not a contradiction of "All S are P." What "Some S are P" says is that at least one member of the class of S is also a member of the class of P. That does not
deny that
all members of the class of S may be members of the class of P. What needs to be shown is that "Some S are
not P" is verifiably
true, not just possible. Only then is "All S are P" contradicted, and only with that contradiction would δύναται offer any challenge to the argument that "those able to come" = "those who do come."
A final note on this point. I think it's important to remember that what's really being referred to in this verse is an
impossibility - i.e. man's
inability to come. It was from my own
negation of the conditional in undergoing logical analysis that the affirmative language of "being able" arose. This may be worth keeping in mind because inability tells us more than ability. For instance, the statement "he doesn't come" is not as strong as "he is not able to come." The former could simply be an observation that says nothing of necessity, whereas the latter speaks of what isn't possible. But when it comes to ability, the opposite is true. "He comes" is stronger than "he is able to come." The former makes a definite assertion, while the latter only asserts a possibility. So could it be that the affirmative way of restating the verse doesn't necessarily capture the same force of the original idea? Possibility is a broader logical concept than impossibility. So it's worth pondering if δύναται would have appeared in the verse at all if the conditional had been positively stated to begin with, or if the statement would have simply mirrored verse 37, "all that the Father draws will come to me."
I've seen some of the instructional material showing the hundreds of variations on logical constructs and I'm left wondering.
Out of curiosity, what material? What variations? I've been dealing with syllogistic and propositional logic, which is pretty straightforward and universal in terms of its concepts, rules, and symbols.
This also brings me back to my broken record of wondering why dunatai is the factor we're looking at instead of erchomai that completes dunatai.
I really think you've answered this yourself. It's because ἔρχομαι
completes δύναται, it does not replace it. The chiasm and context doesn't touch on the point here. The point is a grammatical one. We're discussing class relationship within the conditional statement.
The indicative is the mood of assertion. The basis of the assertion made in the statement δύναται ἐλθείν is δύναται. Yes the complementary infinitive completes the idea, but it functions like a noun adding content to the assertion. It is not the operative term in establishing that assertion. Δύναται is the only thing distinguishing between the two very different statements, "those who have the ability to come," and "those who come." That's why it's the factor that must be looked at when considering the logic of the conditional.
To put it another way, the critical element to the conditional statement is
what the antecedent counters. The drawing of the Father is presented as an activity countering man's
inability to come, not merely the
fact of his not coming. What does the chiasm have to do with the logic of the
conditional statement?
- Are all men God draws, trulydrawn?
- Since we're dealing with a global "no man" turning into a specific "him", I'm left questioning.
Why do you view "him" as more specific than "no one"? Grammatically, they're both singular masculine. And logically, if anything, it would actually be the other way around.
To illustrate this, the conditional can be represented with the universal proposition, "All persons who are able to come are persons who have been drawn." All S are P. In a universal affirmative proposition, to use the language of syllogistic logic, S is distributed, P is not. That is, the statement asserts something about all members of the class of those able to come ("one"), but it does not assert something about all members of the class of those drawn ("him"). P is broader than S, not the other way around, because every S is a P, but not necessarily every P is an S.
It is logically possible, for instance (given no further considerations), that there exists some drawn ones who remain unable to come. This would make the class of those drawn a
less specific category than the class of those able to come, not a more specific category. So our options are either that "one" and "him" refer one-to-one to the same individuals (my position), or that the class to which "him" refers is broader than the class to which "one" refers.
As to your question, what do you mean by "truly" drawn? Do you mean to ask if all men God
attempts to draw are truly drawn? Or perhaps if all men God draws are
able to come?
Let's work through this. For starters, there's no question that the drawing is a
necessary condition for being able to come. The conditional
at least says that much. The only question is this: Is the drawing of the Father
sufficient for enablement? Or is it possible that some who are drawn might in spite of that drawing still be unable to come? (Or, alternatively, can the Father's attempt to draw fail?)
Answering this question requires asking a further question: What
is drawing? How do we define it? Is the drawing activity something that occurs
prior to and
apart from the enabling action, or
is it the enabling action? And if it isn't the enabling action, then what is it? How do we define it?
If the drawing of the Father
is an enabling act, then that seems to answer the question of sufficiency in terms of ability. It is not possible for one to be drawn
and yet remain unable to come, if the drawing is itself what enables. In that case,
both "All S are P"
and "All P are S" are true, and we have a definitive proof that the class of those able to come and the class of those drawn are equivalent.
If on the other hand the drawing of the Father is
not an enabling act, but is something that occurs in addition to whatever it is that makes one able to come, then what is it? What does the drawing do?
e.g. Jesus was drawing (with miracles) but some could/did not get passed the free food and physical & psychological healing. But all of His miracles were meant to draw people to Him.
Are you sure this idea is an adequate comparison to the drawing described in John 6:44? There, the Father is the subject doing the drawing, not Jesus, and it is framed as an inability-countering activity that affects a change of position (i.e. from a position of inability to ability). This doesn't fit the figurative use of ἔλκω ("attract"), even given the idea of a contingency with respect to what one
does with his newly granted ability. The drawing simply succeeds. It succeeds in granting the object an
ability to come (at the very least), but it is nevertheless successful in that it
affects that change of position, from the state of inability to ability.
- Do all drawn men come?
- We've been discussing this.
- The question arises from the dunatai construct.
The question arises for sure, but it is not left unanswered, because the verse doesn't end with the conditional.
The drawing of the Father is a necessary condition for one to be able to come to Jesus. If one is not drawn, he cannot come. And unless you can provide a definition of drawing that is not itself descriptive of this enabling act, then as I've shown the drawing also must be understood as a sufficient condition for at least obtaining the
ability to come to Jesus.
This means that the members of the class of those who are able to come ("one") are one-to-one the same members of the class of those who are drawn ("him"), and vice versa. They are equivalent in terms of class membership.
How, then, do you explain the identical use of the pronoun in the last clause, without the addition of a new grammatical subject? You've said you don't have a problem seeing this point (if I understand you correctly), but that really leaves me puzzled. If we can agree that the two "hims" make reference to the same individual, then it ought to be quite evident that the class of those drawn and the class of those raised are equivalent (in terms of class membership). That is, there is not a person who will be raised who has not been drawn, and there is not a person who has been drawn who will not be raised.
But does that not effectively conclude our discussion, when considering the further fact that those who
aren't drawn are not able to come? There really seems to be no room here for a third category between those undrawn/unable, and those drawn/raised. All men are one or the other -- either (1)
unable to come, or (2)
actually coming, on account of the ability granted. And that fits the doctrines of total depravity and effectual calling, which respectively assert that no man is naturally capable (on account of
his own heart's love for sin) to turn to Christ of his own accord (category 1), and the flip side to that being that if the Father so chooses to restrain that natural tendency and replace it with an equally powerful desire for righteousness, it will naturally result in one willfully and gladly throwing himself upon Christ (category 2).
I had a concern with your example that you ended up progressing out of. Water does not have free will.
But that's not relevant to the point that was being made with the analogy, which was simply to show that the language of "ability" doesn't necessarily indicate contingency, but that what actually seems to entail it, on your view, is a particular understanding of freedom; namely, one that presupposes (not argues) that the doctrine of effectual calling is false.
It presupposes this because, as I discussed earlier, the mere reality of a contingency is not an argument against effectual calling. An argument against effectual calling would have to involve the proof that some who are able
will not come, not just the assertion of the
logical possibility.
If we add the final clause, then it does look like irresistibility is being stated... If we're simply looking at structure, I have no argument with the logic...
Then what exactly are we disagreeing on? Logic, like language itself, is not freeform. It is governed by rules. (I'll take opportunity here to throw in my one-lined response to
@Aaron112 : Logic is the grammar of argumentation; Scripture utilizes logic because all language utilizes logic in order to have meaning and communicate truth.) If a proposition contradicts some other truth, then it cannot also be true. So if you have no argument with the logic presented, then there is no basis for our disagreement. If you still have reservations about the conclusion because of δύναται and the chiasm and whatever else, yet at the same time you say you agree with me on the logic presented, then that suggests a willingness to simply live with the possibility of a contradiction in Scripture (or at least your theology). I hope I'm not understanding you correctly.
What the logic demonstrates is equivalence in class membership between all those drawn, enabled, and raised. From that conclusion, it takes but one simple step of further implication (i.e. our knowledge that those who will be raised = those who come) to arrive at the conclusion that all those enabled to come actually end up coming.
1. All those who will be raised are those who come. (All M are P)
2. All those whom the Father draws are those who will be raised. (All S are M)
C. Therefore, all those whom the Father draws are those who come. (All S are P)
This argument is valid. The only question is whether the premises are sound. But if you're agreeing with me on the logic presented, then that ship has sailed, because what the logic shows is that premise 2 is true. So again, if language is to have any meaning at all, I don't know what basis we have for disagreement at this point if you have no argument with the logic presented. But maybe I've misunderstood you.
Do you think 6:44 proves irresistibility?
I do, but I will say that when it comes to providing a comprehensive apologetic for effectual calling, there are many passages I would go to (and even in this text I wouldn't hang my hat on one verse). That's not because I don't think the logic and grammar of this verse is enough to make the case, but because I do believe it's all over Scripture, and because it only strengthens one's argument to treat Scripture as a whole.