Transworld Depravity (TWD) is the thesis that possibly every feasible world with significantly free agents contains moral evil. I will offer an argument, assuming Molinism, that TWD is necessarily false. I don't think the argument is all that strong, but I hope it will push Molinists to think about a certain interesting (to me) issue.
In order to get Adams to accept some counterfactuals of creaturely freedom (CCFs, denoted with →), Plantinga offered this example. Actually Curley takes a bribe of a certain amount. Surely, then, it is true that were Curley to have been offered a larger bribe, he would have taken that, too. Adams agrees.
One might not unreasonably take Plantinga's example to support the following thesis:
(*) Necessarily: If x actually freely chooses A in circumstances C, then had x instead been in circumstances C* instead of C such that D(C*,C,x,A), then x would still have freely chosen A.
Here, D(C*,C,A) says that circumstances C* are a variation on C (this minimally implies that they occur in the same spatiotemporal location, but more may need to be added), and they dominate circumstances C for x in respect of A in the following sense: (a) the agent is non-perverse and hence without the least inclination to act unreasonably for the sake of acting unreasonably, (b) any consideration operative for x in C in favor of A is also operative for x in C* in favor of A in at least as strong a form, and (c) any consideration operative for x in C* against A is operative in C against A in at least as strong a form.
One might then generalize (*) to:
(**) If C and C* are sufficiently determinate circumstances for a free choice, then (C → x freely does A) & D(C*,C,x,A) entails C* → x freely does A.
Suppose (**) is true. Imagine circumstances C where there is only one free agent, Eve, who makes only one free choice: whether to eat a yummy apple or to dance a merry jig (no other options are available, and it is not possible to do both), and this choice is significantly free because God forbade Eve to eat the apple. Eve has no inclination to disobey God or act unreasonably as such. Eve, however, has a desire to eat the apple on account of its yumminess or to dance the jig on account of its merriness. Call these circumstances C. Now, let C* be circumstances just like these, except that God instead forbade Eve to dance the jig.
Now, suppose TWD holds. Then, C→(Eve freely eats apple) and C*→(Eve freely dances jig). But this contradicts (**), since C* dominates C in respect of apple-eating for Eve. Why does domination hold? Well, any operative consideration in favor of apple-eating in C (namely the yumminess of the apple) is present in C*, and any operative consideration against apple-eating (namely the merriness of the jig) in C* is present in C. The only difference is that the fact that God forbids the apple-eating in C but it is the jig-dancing that is forbidden in C*; but given that Eve has no inclination to act unreasonably or disobediently as such, this does nothing to contradict C's being dominated by C* in respect of apple-eating (that God forbids apple-eating in C either counts for nothing or counts against apple-eating in C, etc.)
