哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Book Series > Edited Book > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 1997

Pages: 443-457

Series: Boston Studies in the Philosophy of Science

ISBN (Hardback): 9789048147748

Full citation:

Peter Øhrstrøm, "A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic", in: Perspectives on time, Berlin, Springer, 1997

A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic

Peter Øhrstrøm

pp. 443-457

in: Jan Faye, UWE Scheffler, Max Urchs (eds), Perspectives on time, Berlin, Springer, 1997

Abstract

Temporal reasoning is captured in one manner by tense logic i.e. the logic of primitive tense-operators, and in another manner by the logic of instants (or dates) i.e. the earlier-later calculus. In terms of McTaggart's time-series we can say that tense logic is A-logical, whereas the logic of instants is B-logical. Thus we can speak about two kinds of temporal logic (A and B). This paper is based on a study of the relation between these kinds of temporal logic from a formal point of view.

Cited authors

Publication details

Publisher: Springer

Place: Berlin

Year: 1997

Pages: 443-457

Series: Boston Studies in the Philosophy of Science

ISBN (Hardback): 9789048147748

Full citation:

Peter Øhrstrøm, "A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic", in: Perspectives on time, Berlin, Springer, 1997