Contextual Validity in Hybrid Logic (original) (raw)

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.

Preview

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Blackburn, P.: Tense, Temporal Reference and Tense Logic. Journal of Semantics 11, 83–101 (1994)
    Article Google Scholar
  2. Blackburn, P., Cate, B.T.: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84, 277–322 (2006)
    Article MathSciNet MATH Google Scholar
  3. 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)
    Google Scholar
  4. Blackburn, P., Marx, M.: Remarks on Gregory’s actuality operator. Journal of Philosophical Logic 31(3), 281–288 (2002)
    Article MathSciNet MATH Google Scholar
  5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
    MATH Google Scholar
  6. Burgess, J.: Basic tense logic. In: Gabbay, Guenthner (eds.) Handbook of Philosophical Logic, vol. 2, pp. 89–133, Reidel (1984)
    Google Scholar
  7. Cate, B.: Model theory for extended modal languages. Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)
    Google Scholar
  8. Kamp, H.: Formal Properties of ‘Now’. Theoria 37, 237–273 (1971)
    MathSciNet Google Scholar
  9. 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)
    Google Scholar

Download references

Author information

Authors and Affiliations

  1. Department for Philosophy and Science Studies, Roskilde University, Denmark
    Patrick Blackburn & Klaus Frovin Jørgensen

Authors

  1. Patrick Blackburn
  2. Klaus Frovin Jørgensen

Editor information

Editors and Affiliations

  1. University Pierre and Marie Curie (UPMC), Place Jussieu 4, 75005, Paris, France
    Patrick Brézillon
  2. University of Roskilde, 4000, Roskilde, Denmark
    Patrick Blackburn
  3. LISTIC - Polytech’Savoie, University of Savoie, P.O. Box 80439, 74944, Annecy-le-Vieux Cedex, France
    Richard Dapoigny

Rights and permissions

© 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

Publish with us