  But how does God know whether or not a token proposition of this type is true? In general, disputants in this period held that there are only two possible answers to this question. God knows that a token proposition of this type is true either because he wills that that proposition be true, or he knows that proposition to be true because something independent of his will makes it true, and God, in virtue of his omniscience, therefore knows it to be true. Following recent scholarship, we will call the first view the “postvolitional view” (since the truth of the proposition is determined only after God wills it) and the latter view the “prevolitional” view (since the truth of the proposition is independent of what God wills). In his early writings on the topic, Leibniz seemed inclined to postvolitionalism. So take the token proposition: