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

Peter Øhrstrøm

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

Department of Communication and Psychology

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 language	English
Title of host publication	Formal Concept Analysis : 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings
Editors	Sébastien Ferré, Sebastian Rudolph
Number of pages	15
Publisher	Springer
Publication date	2009
Pages	66-81
ISBN (Print)	9783642018145
Publication status	Published - 2009
Event	International Conference, ICFCA 2009 - Darmstadt, Germany Duration: 21 May 2009 → 24 May 2009 Conference number: 7 th

Conference

Conference	International Conference, ICFCA 2009
Number	7 th
Country/Territory	Germany
City	Darmstadt
Period	21/05/2009 → 24/05/2009

Series	Lecture Notes In Artificial Intelligence
Number	5548
ISSN	0302-9743

Keywords

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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",

note = "International Conference, ICFCA 2009 ; Conference date: 21-05-2009 Through 24-05-2009",

}

Ø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 proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Time and Logic

T2 - International Conference, ICFCA 2009

AU - Øhrstrøm, Peter

N1 - Conference code: 7 th

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 - 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

Y2 - 21 May 2009 through 24 May 2009

ER -

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

Abstract

Conference

Keywords

AUB Link

Fingerprint

Cite this