Earlier, when I explained William of Auxerre’s case against divine command ethics, I mentioned that there might be a problem in the transition from Premise 4 (“God is the cause of A’s being evil”) to Premise 5 (“God is the cause of some evil.”). That is, the argument may be invalid: even if all the premises are true, the conclusion does not necessarily follow.
A is designated as “some action.” But this is ambiguous. Do we mean an action-type or an action-token? That is, do we mean a class of actions under which individual actions may fall (“killing innocent people,” “buying a car”), or do we mean actual particular action in the world (“John Wilkes Booth’s killing of Abraham Lincoln,” “my buying a blue 2012 Versa”)? Presumably we’re talking about action-types: “Thou shalt not steal” means stealing in general is wrong, not just that my stealing that pen from work is wrong. So when we talk about “God’s prohibiting some action,” we seem to be referring to action-types.
So when we say “God is the cause of A’s being evil” (Premise 4), we mean that God is the cause of some action-type being evil. What does it mean for an action-type to be evil? It means that any token of that type is evil; that is, some action-type E is evil iff, for any action-token e1, if e1 is a token of E, e1 is evil. That is, when we say, “Stealing is wrong,” what we mean is, “Each individual action, if it is an act of stealing, is wrong.”
Back to premise 4. Based on the analysis we just did, when we say “God is the cause of A’s being evil,” what we mean is that God is the cause of it being the case that, if there is a token of the action-type A, that token is evil. This is because in premise 4, A refers to an action-type.
What about premise 5 (“God is the cause of some evil”)? In order for the argument to be valid, premise 5 has to follow from premise 4. We can test this by making a dummy premise linking the two:
4a. If God is the cause of A’s being evil, God is the cause of some evil.
Is this true? Well, again, does A refer to an action-type or an action token? If it refers to an action-type, it seems that 4a is not true. The problem is that you can have a type without any token instance of it. For example, the action-type “sprouting wings and flying to the Moon” has no actually existing tokens. That’s why we had to express the wrongness of action-types in a conditional: “if it is an act of stealing…” And so, even if an action-type is wrong, if no instance of that type exists, then no actual wrong (malum or “evil” in medieval terms) exists in the world. So, God’s being the cause of an action-type being evil does not entail that He is the cause of some actual evil in the world.
OK, you say, but there are actual cases of stealing (and murder, and gossip, etc.) in the world. But that doesn’t matter. Those particular instances of evil actions have causes other than God: human free will, for example. And so, even though God is the cause of the action-type being evil, the cause of each particular evil in the world is something other than God. So if A refers to an action-type, 4a is false, which means that 4 does not follow from 5 and the argument is invalid.
And if it refers to an action-token- we don’t need to consider that possibility, since that would introduce an ambiguity in the argument that would also make it unsound.
The end of the matter: God’s declaring that some class of actions is evil does not entail that He actually causes any evil actions, and so does not entail that He is the cause of any evil in the world.
I have a suspicion that this refutation of the argument doesn’t work as well as it seems, which I might write about in the future.