The tense logic for master argument in prior's reconstruction

Studia Logica 92 (1):85 - 108 (2009)
Abstract
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.
Keywords Master Argument of Diodorus Cronus  time and modalities  logical structures of time  modal and tense logics
Categories (categorize this paper)
DOI 10.1007/s11225-009-9187-0
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,694
Through your library
References found in this work BETA
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

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
Papers on Time and Tense.A. N. Prior - 1968 - Oxford University Press.
'Now' and 'Then' in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Added to PP index
2009-06-10

Total downloads
43 ( #124,940 of 2,197,230 )

Recent downloads (6 months)
1 ( #298,376 of 2,197,230 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature