Abstract

Some, notably Peter van Inwagen, in order to avoid problems with free will and omniscience, replace the condition that an omniscient being knows all true propositions with a version of the apparently weaker condition that an omniscient being knows all knowable true propositions. I shall show that the apparently weaker condition, when conjoined with uncontroversial claims and the logical closure of an omniscient being's knowledge, still yields the claim that an omniscient being knows all true propositions.