Resumé

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.
OriginalsprogEngelsk
TidsskriftKronoScope
ISSN1567-715X
StatusUdgivet - 2018

Fingerprint

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

Emneord

    Citer dette

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

    I: KronoScope, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 -