### Resumé

Originalsprog | Engelsk |
---|---|

Titel | Formal Concept Analysis : 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings |

Redaktører | Sébastien Ferré, Sebastian Rudolph |

Antal sider | 15 |

Forlag | Springer |

Publikationsdato | 2009 |

Sider | 66-81 |

ISBN (Trykt) | 9783642018145 |

Status | Udgivet - 2009 |

Begivenhed | International Conference, ICFCA 2009 - Darmstadt, Tyskland Varighed: 21 maj 2009 → 24 maj 2009 Konferencens nummer: 7 th |

### Konference

Konference | International Conference, ICFCA 2009 |
---|---|

Nummer | 7 th |

Land | Tyskland |

By | Darmstadt |

Periode | 21/05/2009 → 24/05/2009 |

Navn | Lecture Notes In Artificial Intelligence |
---|---|

Nummer | 5548 |

ISSN | 0302-9743 |

### Fingerprint

### Emneord

- Temporal Logic

### Citer dette

*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

}

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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 -