Conceptual and Metaphysical Origins and Relevance of Temporal Logic

David Jakobsen; Peter Øhrstrøm

doi:10.1109/TIME.2016.25

Conceptual and Metaphysical Origins and Relevance of Temporal Logic

Institut for Kommunikation og Psykologi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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.

Originalsprog	Engelsk
Titel	PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016
Redaktører	Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
Antal sider	10
Forlag	IEEE (Institute of Electrical and Electronics Engineers)
Publikationsdato	2016
Sider	167-176
ISBN (Trykt)	978-1-5090-3826-8
ISBN (Elektronisk)	978-1-5090-3825-1
DOI	https://doi.org/10.1109/TIME.2016.25
Status	Udgivet - 2016
Begivenhed	Time 2016, 17–19 October 2016, - DTU, Kongens Lyngby, Danmark Varighed: 17 okt. 2016 → 19 okt. 2016

Konference

Konference	Time 2016, 17–19 October 2016,
Lokation	DTU
Land/Område	Danmark
By	Kongens Lyngby
Periode	17/10/2016 → 19/10/2016

Adgang til dokumentet

10.1109/TIME.2016.25

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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{\textquoteright}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 (Institute of Electrical and Electronics Engineers)",

address = "United States",

note = "Time 2016, 17–19 October 2016, ; Conference date: 17-10-2016 Through 19-10-2016",

}

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 (Institute of Electrical and Electronics Engineers), 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 (Institute of Electrical and Electronics Engineers), 2016. s. 167-176.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 (Institute of Electrical and Electronics Engineers)

T2 - Time 2016, 17–19 October 2016,

Y2 - 17 October 2016 through 19 October 2016

ER -