Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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 existential
questions like the nature of time, determinism, future contingency or freedom of choice.
Original languageEnglish
Title of host publicationPROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016
EditorsCurtis Dyreson, Michael R. Hansen, Luke Hunsberger
Number of pages10
PublisherIEEE
Publication date2016
Pages167-176
ISBN (Print)978-1-5090-3826-8
ISBN (Electronic)978-1-5090-3825-1
DOIs
Publication statusPublished - 2016
EventTime 2016, 17–19 October 2016, - DTU, Kongens Lyngby, Denmark
Duration: 17 Oct 201619 Oct 2016

Conference

ConferenceTime 2016, 17–19 October 2016,
LocationDTU
CountryDenmark
City Kongens Lyngby
Period17/10/201619/10/2016

Keywords

  • Temporal Logic
  • Tense logic
  • Time
  • Metaphysics
  • Determinism
  • A.N. Prior

Cite this

Jakobsen, D., & Øhrstrøm, P. (2016). Conceptual and Metaphysical Origins and Relevance of Temporal Logic. In C. Dyreson, M. R. Hansen, & L. Hunsberger (Eds.), PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016 (pp. 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. editor / Curtis Dyreson ; Michael R. Hansen ; Luke Hunsberger. IEEE, 2016. pp. 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. in C Dyreson, MR Hansen & L Hunsberger (eds), PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. IEEE, pp. 167-176, Kongens Lyngby, Denmark, 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. ed. / Curtis Dyreson; Michael R. Hansen; Luke Hunsberger. IEEE, 2016. p. 167-176.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. In Dyreson C, Hansen MR, Hunsberger L, editors, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. IEEE. 2016. p. 167-176 https://doi.org/10.1109/TIME.2016.25