David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 92 (1):85 - 108 (2009)
In this paper we examine Prior’s reconstruction of Master Argument  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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Melvin Fitting, R. Mendelsohn & Roderic A. Girle (2002). First-Order Modal Logic. Bulletin of Symbolic Logic 8 (3):429-430.
A. N. Prior (1955). Diodoran Modalities. Philosophical Quarterly 5 (20):205-213.
Lars Gundersen (2003). The Master Argument and Branching Time. Logic and Logical Philosophy 5:49-60.
Citations of this work BETA
No citations found.
Similar books and articles
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Peter Simons (2006). The Logic of Location. Synthese 150 (3):443 - 458.
Patrick Blackburn (2006). Arthur Prior and Hybrid Logic. Synthese 150 (3):329 - 372.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
A. N. Prior (2003). Papers on Time and Tense. Oxford University Press.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Added to index2009-06-10
Total downloads42 ( #113,124 of 1,941,076 )
Recent downloads (6 months)1 ( #458,098 of 1,941,076 )
How can I increase my downloads?