Abstract
The foreknowledge problem involves two assumptions. First, that “God once believed that an event would occur now” is about the past. Second that it is equivalent to “God once existed and the event is occurring now.” These, Plantinga argues, are incompatible. But he (implicitly) makes assumptions. First, that equivalent propositions are both about a given time, or neither are. Second, that if a proposition is (is not) about a given time, so is (neither is) its negation. Third, that if two propositions are (are not) about a given time, so is (neither is) their conjunction. These, though plausible, are incompatible.