### Abstract

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

City | Darmstadt |

Period | 21/05/2009 → 24/05/2009 |

Series | Lecture Notes In Artificial Intelligence |
---|---|

Number | 5548 |

ISSN | 0302-9743 |

### Fingerprint

### Keywords

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

### Cite this

*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

}

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 -