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

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

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.
Original languageEnglish
Title of host publicationFormal Concept Analysis : 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings
EditorsSébastien Ferré, Sebastian Rudolph
Number of pages15
PublisherSpringer
Publication date2009
Pages66-81
ISBN (Print)9783642018145
Publication statusPublished - 2009
EventInternational Conference, ICFCA 2009 - Darmstadt, Germany
Duration: 21 May 200924 May 2009
Conference number: 7 th

Conference

ConferenceInternational Conference, ICFCA 2009
Number7 th
CountryGermany
CityDarmstadt
Period21/05/200924/05/2009
SeriesLecture Notes In Artificial Intelligence
Number5548
ISSN0302-9743

Fingerprint

Formal Analysis
Arthur Prior
Logic
McTaggart
Branching Time
Tense

Keywords

  • Temporal Logic
  • dynamic and static time
  • A- and B-concepts
  • tense logic
  • A.N. Prior

Cite this

Øhrstrøm, P. (2009). Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. In S. Ferré, & S. Rudolph (Eds.), Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings (pp. 66-81). Springer. Lecture Notes In Artificial Intelligence, No. 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. editor / Sébastien Ferré ; Sebastian Rudolph. Springer, 2009. pp. 66-81 (Lecture Notes In Artificial Intelligence; No. 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. in S Ferré & S Rudolph (eds), Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. Springer, Lecture Notes In Artificial Intelligence, no. 5548, pp. 66-81, International Conference, ICFCA 2009, Darmstadt, Germany, 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. ed. / Sébastien Ferré; Sebastian Rudolph. Springer, 2009. p. 66-81 (Lecture Notes In Artificial Intelligence; No. 5548).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. In Ferré S, Rudolph S, editors, Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. Springer. 2009. p. 66-81. (Lecture Notes In Artificial Intelligence; No. 5548).