Knowledge of all true propositions would seem to include knowledge of all truths about the future, at least if there are truths about the future. Thus omniscience would seem to include foreknowledge. There is a long tradition, however, of philosophers who have thought that divine foreknowledge was incompatible with human free action, or, at any rate, they took arguments for the incompatibility seriously enough so as to require either disarming them or limiting what is involved in divine omniscience. (Similar reasoning might be given to argue that God’s foreknowledge is incompatible with some of God’s own free action. See Swinburne (2016 183) for a such a suggestion. We will follow tradition and consider only the application to human action.) Early discussions include ones by St. Augustine (On Free Choice of the Will, Bk. III, ch. 3) and Boethius (The Consolation of Philosophy, Bk. V). They each considered an argument that may be represented (where S is any person and A is any action) as: