Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Journal | Volume | Article

236865

Moment/history duality in Prior's logics of branching-time

Alberto Zanardo

pp. 483-507

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.

Publication details

Published in:

Braüner Torben, Hasle Per F. V., Øhrstrøm Peter (2006) The logic of time and modality. Synthese 150 (3).

Pages: 483-507

DOI: 10.1007/s11229-005-5519-4

Full citation:

Zanardo Alberto (2006) „Moment/history duality in Prior's logics of branching-time“. Synthese 150 (3), 483–507.