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

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Vis graf over relationer

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
UdgiverSpringer
Udgivelsesdato2009
Sider66-81
ISBN (trykt)9783642018145
StatusUdgivet

Konference

KonferenceInternational Conference, ICFCA 2009
Nummer7 th
LandTyskland
ByDarmstadt
Periode21-05-0924-05-09
NavnLecture Notes in Artificial Intelligence
Nummer5548
ISSN (Trykt)0302-9743

Emneord

  • Temporal Logic

ID: 17589279