Graduate studies at Western
Studia Logica 92 (1):85 - 108 (2009)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
A. N. Prior (2003). Papers on Time and Tense. Oxford University Press.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Patrick Blackburn (2006). Arthur Prior and Hybrid Logic. Synthese 150 (3):329 - 372.
Peter Simons (2006). The Logic of Location. Synthese 150 (3):443 - 458.
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 downloads28 ( #49,855 of 739,318 )
Recent downloads (6 months)1 ( #61,243 of 739,318 )
How can I increase my downloads?