Abstract

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
JournalKronoScope
ISSN1567-715X
Publication statusPublished - 2018

Fingerprint

contingency
formalization
suggestion
logic
Formalization
William of Ockham
Contingency
time
Branching Time

Keywords

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

Cite this

@article{eaa0dfe1c29a470e882363a1e69d4595,
title = "William of Ockham on Future Contingency",
abstract = "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.",
keywords = "William of Ockham, logic of time, A.N. Prior, human freedom, divine foreknowledge, future contingency, tense-logic",
author = "Peter {\O}hrstr{\o}m and David Jakobsen",
year = "2018",
language = "English",
journal = "KronoScope",
issn = "1567-715X",
publisher = "Brill",

}

William of Ockham on Future Contingency. / Øhrstrøm, Peter; Jakobsen, David.

In: KronoScope, 2018.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - William of Ockham on Future Contingency

AU - Øhrstrøm, Peter

AU - Jakobsen, David

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - William of Ockham

KW - logic of time

KW - A.N. Prior

KW - human freedom

KW - divine foreknowledge

KW - future contingency

KW - tense-logic

M3 - Journal article

JO - KronoScope

JF - KronoScope

SN - 1567-715X

ER -