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 makes assumptions. First, that equivalent propositions are both about a given time, or neither are. Second, that if a proposition is about a given time, so is its negation. Third, that if two propositions are about a given time, so is their conjunction. These, though plausible, are incompatible.