He is an apparent innovator in speculation about God's foreknowledge, particularly concerning future contingents, around 1317.

This is known as the problem of future contingents.

Most important also is the immediately following Chapter 9 dealing with the problem of future contingents.

He was most notable for logic innovations, including his master argument formulated in response to Aristotle's discussion of future contingents.

Aristotle, in his work On Interpretation, had wrestled with the problem of future contingents.

This is referred to as the problem of future contingents.

It also discusses the Problem of future contingents.

He explained this while discussing the problem of future contingents:

He is now remembered for his approach to the problem of future contingents.

Craig considers that this also provides the answer to the question of how God foreknows future contingents.