In his philosophy, William of Ockham (1285-1347) offered an important and detailed response to the classical argument from the truth of a statement regarding the future to the necessity (unpreventability) of the statement. In this paper, Ockham’s solution and the possible formalisation of it are discussed in terms of modern tense and modal logic. In particular, the famous branching time formalisation suggested by A.N. Prior (1914-19) is discussed. Weaknesses and problems with this suggestion are pointed out, and an alternative formalisation of Ockham’s solution without the use of branching time is presented.
Original languageEnglish
Publication statusPublished - 2018


  • William of Ockham
  • logic of time
  • A.N. Prior
  • human freedom
  • divine foreknowledge
  • future contingency
  • tense-logic


Dive into the research topics of 'William of Ockham on Future Contingency'. Together they form a unique fingerprint.

Cite this