How does the lack of logical necessity eliminate free-will as a contributing cause of evil?
It eliminates it as the logical
causative factor. The existence of free will is the
necessary, but
not sufficient cause. Let’s be precise: the existence of free will is the logical causative factor for the
possibility of evil, but not for the **actuality **of it.
Even if we grant you your mathematical premise, the logic connecting “not logically necessary” to " incorrect “free-will” defense" has not been shown. If fact, evidence of day-to-day living demonstrates the opposite.
I am not talking about this particular world, rather about a different, logically possible, hypothetical state of the affairs, where the potential never gets actualized or realized. You use the current state of affairs, which is but one possible scenario, and wish to generalize based upon that. A typical error of popular induction.
A bit more math is in order here. Let’s say that there are “n” morally significant decisons which are made by the entire population from the beginning of times all the way to hypothesized end of it. This “n” can be as large as you wish. In each case there are two possible outcomes: a moral decision is made or an immoral decision is reached.
In this case the number of possible worlds is 2^n, which comes from the binomial theorem. Look it up in
en.wikipedia.org/wiki/Binomial_theorem if you wish. The possible worlds are subdivided based upon the number of moral decisions.
Let’s say that exactly “k” immoral deicions were made and (n - k) moral ones (where k goes from 0 to n). Then the number of such worlds is (n | k) pronounced “n over k”, which is n! / (k! (n - k)!) where the exclamation point designates the factorial (that is n! = 1 * 2 * 3 * 4 * … * n), indeed a huge number.
If k = 0, the number of possible wolrds is (n | 0) which is 1. If k = 1, the number of possible worlds is (n | 1), which is “n”, if k = 2, the number of possible worlds is (n | 2), which is n * (n - 1) / 2 etc… all the way until the end, when every decision is decided to be an immoral one, which is (n | n) also 1. The sum of these numbers (the number of all the possible worlds) is 2^n. There is exactly one of these worlds, (k = 0), where no immoral decisons are made. Q. E. D.
This is a direct proof, not an inductive one, and the math behind it is rather elementary. I know, however, that formulae like this can be difficult to grasp, that is why I chose to go the other route, and use the inductive method.
It should obvious to everyone that in the simplest possible world (where there is one moral agent, who makes one morally siginficant decision, therefore n = 1) there are two possible outcomes, he makes a moral choice, or an immoral one. God can actualize either one. If we take the story of original sin seriously (which you do), he happened to actualize the one where the incorrect decison was made, with all the hypothesized consequences. However, he could have actualized the other one, where the “fall” never took place. From this simple scanario we can extend the number of agents and the number of decisions until we get a fully generalized picture.
I am not interested in the analysis of why’s and wherefore’s, I am simply pointing out that it could have happened the other way. To reiterate: there is one possible world, where everyone, always chooses the “right” way, and it happens without infringing on the free will of the inhabitants. God did not do it, even though he could have. You draw your own conclusions.