Consequence argument

In philosophy, the consequence argument is an argument against compatibilism popularised by American philosopher Peter van Inwagen. The argument claims that if agents have no control over the facts of the past, then the agent has no control of the consequences of those facts.

The Stanford Encyclopedia of Philosophy gives the following version of the argument, in the form of a syllogism:

Or in van Inwagen's own words, in An Essay on Free Will: