 A form of fatalism that is even older than theological fatalism is logical fatalism, the thesis that the past truth of a proposition about the future entails fatalism. Aristotle discusses this form of fatalism in his famous Sea Battle Argument, mentioned in section  2.1  above. A clearer and more sophisticated form of the argument was proposed by Diodorus Cronus, whose argument is remarkably similar in form to our basic argument for theological fatalism. The logical fatalist argument parallels our basic argument as follows: