I remember David Manley (who I think was a first year grad student at the time) querying Al Plantinga over a meal whether counterfactuals of creaturely freedom (CCFs) could be explained. I think Al didn’t have an answer but thought it was a really good question.
I may finally have an answer to David’s question. I think that the Molinist should answer in the affirmative if and only if non-derivatively free actions have explanations.
Suppose w0 is the actual world. Consider the conditional C→A, where C says that Curley has such-and-such character and is offered a $5000 bribe at t0, and A says that he freely accepts the bribe at t0. Suppose w1 is a sufficiently close-by world where C and A are true. Now let’s put ourselves in w1. So, Curley freely accepts the $5000 bribe. Does this have an explanation? If not, then a fortiori I think we should not have said in w0 that C→A had an explanation. After all, if it has an explanation in w0, it surely doesn’t lose one in w1, just because C holds there. But it would be just too weird that in w1, C→A has an explanation but A does not, especially if, as will at least typically be the case, C has an explanation.
Conversely, suppose that in w1, A has an explanation. What kind of an explanation is that? The most plausible candidate for an explanation of a free action is in terms of non-necessitating reasons and character. Maybe, in w1, what explains A is that Curley is very greedy. But that Curley is very greedy is a part of C. So it seems very reasonable to say at w0 that what explains C→A is that were C to hold, Curley would be very greedy (a necessary truth, since C includes a description of Curley’s character). Now you might say: Yeah, but that he would be greedy in C doesn’t entail or maybe even make likely that he would take the bribe. But the very same point holds in w1: that he is greedy doesn’t entail or maybe even make likely that he takes the bribe–yet, we supposed, it explains it. If we accepted the explanation of the categorical claim in w1, we should accept the corresponding explanation of the conditional claim in w0, if w1 is close enough to w0.