This argument is formulated in a way that makes its logical form as perspicuous as possible, and there is a consensus that this argument or something close to it is valid. That is, if the premises are all true, the conclusion follows. The compatibilist about infallible foreknowledge and free will must therefore find a false premise. There are four premises that are not straightforward substitutions in definitions: (1), (2), (5), and (9). All four of these premises have come under attack in the history of discussion of theological fatalism. Aristotle’s concern about future contingent truth has ...