Abstract
Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional symbols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context-dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logical validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Blackburn, P.: Tense, Temporal Reference and Tense Logic. Journal of Semantics 11, 83–101 (1994)
Blackburn, P., Cate, B.T.: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84, 277–322 (2006)
Blackburn, P., Jørgensen, K.F.: Indexical Hybrid Tense Logic. In: Bolander, T., Bräuner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 144–160 (2012)
Blackburn, P., Marx, M.: Remarks on Gregory’s actuality operator. Journal of Philosophical Logic 31(3), 281–288 (2002)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Burgess, J.: Basic tense logic. In: Gabbay, Guenthner (eds.) Handbook of Philosophical Logic, vol. 2, pp. 89–133, Reidel (1984)
Cate, B.: Model theory for extended modal languages. Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)
Kamp, H.: Formal Properties of ‘Now’. Theoria 37, 237–273 (1971)
Kaplan, D.: Demonstratives: An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 481–564. Oxford University Press, Oxford (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blackburn, P., Jørgensen, K.F. (2013). Contextual Validity in Hybrid Logic. In: Brézillon, P., Blackburn, P., Dapoigny, R. (eds) Modeling and Using Context. CONTEXT 2013. Lecture Notes in Computer Science(), vol 8175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40972-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-40972-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40971-4
Online ISBN: 978-3-642-40972-1
eBook Packages: Computer ScienceComputer Science (R0)