Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Resumé

Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a great help for anyone who wants to clarify the discussion of important existential
questions like the nature of time, determinism, future contingency or freedom of choice.
OriginalsprogEngelsk
TitelPROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016
RedaktørerCurtis Dyreson, Michael R. Hansen, Luke Hunsberger
Antal sider10
ForlagIEEE
Publikationsdato2016
Sider167-176
ISBN (Trykt)978-1-5090-3826-8
ISBN (Elektronisk)978-1-5090-3825-1
DOI
StatusUdgivet - 2016
BegivenhedTime 2016, 17–19 October 2016, - DTU, Kongens Lyngby, Danmark
Varighed: 17 okt. 201619 okt. 2016

Konference

KonferenceTime 2016, 17–19 October 2016,
LokationDTU
LandDanmark
By Kongens Lyngby
Periode17/10/201619/10/2016

Emneord

    Citer dette

    Jakobsen, D., & Øhrstrøm, P. (2016). Conceptual and Metaphysical Origins and Relevance of Temporal Logic. I C. Dyreson, M. R. Hansen, & L. Hunsberger (red.), PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016 (s. 167-176). IEEE. https://doi.org/10.1109/TIME.2016.25
    Jakobsen, David ; Øhrstrøm, Peter. / Conceptual and Metaphysical Origins and Relevance of Temporal Logic. PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. red. / Curtis Dyreson ; Michael R. Hansen ; Luke Hunsberger. IEEE, 2016. s. 167-176
    @inproceedings{251968ddadaf4814b1e4785e7a0d58b1,
    title = "Conceptual and Metaphysical Origins and Relevance of Temporal Logic",
    abstract = "Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a great help for anyone who wants to clarify the discussion of important existentialquestions like the nature of time, determinism, future contingency or freedom of choice.",
    keywords = "Temporal Logic, Tense logic, Time, Metaphysics, Determinism, A.N. Prior",
    author = "David Jakobsen and Peter {\O}hrstr{\o}m",
    year = "2016",
    doi = "10.1109/TIME.2016.25",
    language = "English",
    isbn = "978-1-5090-3826-8",
    pages = "167--176",
    editor = "Curtis Dyreson and Hansen, {Michael R.} and Luke Hunsberger",
    booktitle = "PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016",
    publisher = "IEEE",
    address = "United States",

    }

    Jakobsen, D & Øhrstrøm, P 2016, Conceptual and Metaphysical Origins and Relevance of Temporal Logic. i C Dyreson, MR Hansen & L Hunsberger (red), PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. IEEE, s. 167-176, Time 2016, 17–19 October 2016, Kongens Lyngby, Danmark, 17/10/2016. https://doi.org/10.1109/TIME.2016.25

    Conceptual and Metaphysical Origins and Relevance of Temporal Logic. / Jakobsen, David; Øhrstrøm, Peter.

    PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. red. / Curtis Dyreson; Michael R. Hansen; Luke Hunsberger. IEEE, 2016. s. 167-176.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    TY - GEN

    T1 - Conceptual and Metaphysical Origins and Relevance of Temporal Logic

    AU - Jakobsen, David

    AU - Øhrstrøm, Peter

    PY - 2016

    Y1 - 2016

    N2 - Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a great help for anyone who wants to clarify the discussion of important existentialquestions like the nature of time, determinism, future contingency or freedom of choice.

    AB - Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a great help for anyone who wants to clarify the discussion of important existentialquestions like the nature of time, determinism, future contingency or freedom of choice.

    KW - Temporal Logic

    KW - Tense logic

    KW - Time

    KW - Metaphysics

    KW - Determinism

    KW - A.N. Prior

    U2 - 10.1109/TIME.2016.25

    DO - 10.1109/TIME.2016.25

    M3 - Article in proceeding

    SN - 978-1-5090-3826-8

    SP - 167

    EP - 176

    BT - PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016

    A2 - Dyreson, Curtis

    A2 - Hansen, Michael R.

    A2 - Hunsberger, Luke

    PB - IEEE

    ER -

    Jakobsen D, Øhrstrøm P. Conceptual and Metaphysical Origins and Relevance of Temporal Logic. I Dyreson C, Hansen MR, Hunsberger L, red., PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. IEEE. 2016. s. 167-176 https://doi.org/10.1109/TIME.2016.25