Studia Logica 92 (1):85 - 108 (2009)
Authors |
|
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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
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.
The Master Argument and Branching Time.Lars Gundersen - 1997 - Logic and Logical Philosophy 5:49-60.
Citations of this work BETA
No citations found.
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.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Analytics
Added to PP index
2009-06-10
Total views
58 ( #196,103 of 2,506,009 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,009 )
2009-06-10
Total views
58 ( #196,103 of 2,506,009 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,009 )
How can I increase my downloads?
Downloads