The Tense Logic for Master Argument in Prior’s Reconstruction

Studia Logica 92 (1):85 - 108 (2009)
  Copy   BIBTEX


In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction.



    Upload a copy of this work     Papers currently archived: 92,873

External links

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

Through your library

Similar books and articles

The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Papers on time and tense.Arthur Norman Prior - 2003 - New York: Oxford University Press. Edited by Per F. V. Hasle.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.


Added to PP

79 (#215,228)

6 months
16 (#172,611)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Andrzej Pietruszczak
Nicolaus Copernicus University
Tomasz Jarmużek
Nicolaus Copernicus University

Citations of this work

No citations found.

Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.
Diodoran modalities.A. N. Prior - 1955 - Philosophical Quarterly 5 (20):205-213.
The master argument and branching time.Lars Gundersen - 1997 - Logic and Logical Philosophy 5:49-60.

Add more references