Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts

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

Resumé

This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior's notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view.
OriginalsprogEngelsk
TitelFormal Concept Analysis : 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings
RedaktørerSébastien Ferré, Sebastian Rudolph
Antal sider15
ForlagSpringer
Publikationsdato2009
Sider66-81
ISBN (Trykt)9783642018145
StatusUdgivet - 2009
BegivenhedInternational Conference, ICFCA 2009 - Darmstadt, Tyskland
Varighed: 21 maj 200924 maj 2009
Konferencens nummer: 7 th

Konference

KonferenceInternational Conference, ICFCA 2009
Nummer7 th
LandTyskland
ByDarmstadt
Periode21/05/200924/05/2009
NavnLecture Notes In Artificial Intelligence
Nummer5548
ISSN0302-9743

Fingerprint

Formal Analysis
Arthur Prior
Logic
McTaggart
Branching Time
Tense

Emneord

  • Temporal Logic

Citer dette

Øhrstrøm, P. (2009). Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. I S. Ferré, & S. Rudolph (red.), Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings (s. 66-81). Springer. Lecture Notes In Artificial Intelligence, Nr. 5548
Øhrstrøm, Peter. / Time and Logic : A.N. Prior's Formal Analysis of Temporal Concepts. Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. red. / Sébastien Ferré ; Sebastian Rudolph. Springer, 2009. s. 66-81 (Lecture Notes In Artificial Intelligence; Nr. 5548).
@inproceedings{fbc8a2f04a9b11dead10000ea68e967b,
title = "Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts",
abstract = "This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior's notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view.",
keywords = "Temporal Logic, Temporal Logic, dynamic and static time, A- and B-concepts, tense logic, A.N. Prior",
author = "Peter {\O}hrstr{\o}m",
year = "2009",
language = "English",
isbn = "9783642018145",
series = "Lecture Notes In Artificial Intelligence",
publisher = "Springer",
number = "5548",
pages = "66--81",
editor = "S{\'e}bastien Ferr{\'e} and Sebastian Rudolph",
booktitle = "Formal Concept Analysis",
address = "Germany",

}

Øhrstrøm, P 2009, Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. i S Ferré & S Rudolph (red), Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. Springer, Lecture Notes In Artificial Intelligence, nr. 5548, s. 66-81, International Conference, ICFCA 2009, Darmstadt, Tyskland, 21/05/2009.

Time and Logic : A.N. Prior's Formal Analysis of Temporal Concepts. / Øhrstrøm, Peter.

Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. red. / Sébastien Ferré; Sebastian Rudolph. Springer, 2009. s. 66-81 (Lecture Notes In Artificial Intelligence; Nr. 5548).

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

TY - GEN

T1 - Time and Logic

T2 - A.N. Prior's Formal Analysis of Temporal Concepts

AU - Øhrstrøm, Peter

PY - 2009

Y1 - 2009

N2 - This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior's notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view.

AB - This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior's notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view.

KW - Temporal Logic

KW - Temporal Logic

KW - dynamic and static time

KW - A- and B-concepts

KW - tense logic

KW - A.N. Prior

M3 - Article in proceeding

SN - 9783642018145

T3 - Lecture Notes In Artificial Intelligence

SP - 66

EP - 81

BT - Formal Concept Analysis

A2 - Ferré, Sébastien

A2 - Rudolph, Sebastian

PB - Springer

ER -

Øhrstrøm P. Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. I Ferré S, Rudolph S, red., Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. Springer. 2009. s. 66-81. (Lecture Notes In Artificial Intelligence; Nr. 5548).