Moment/History Duality in Prior’s Logics of Branching-Time

Synthese 150 (3):483 - 507 (2006)
  Copy   BIBTEX

Abstract

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
54 (#288,764)

6 months
8 (#505,344)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.

View all 9 references / Add more references