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.Author's Profile
DOI
10.1007/s11225-009-9187-0
My notes
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
2009-06-10
Downloads
59 (#202,556)
6 months
1 (#447,993)
2009-06-10
Downloads
59 (#202,556)
6 months
1 (#447,993)
Historical graph of downloads
Author's Profile
References found in this work
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.