A Temporal Logic for Sortals

  • Max A. Freund
Part of the Synthese Library book series (SYLI, volume 408)


A formal language for sortals with temporal operators and its formal semantics is characterized in this chapter. A formal system for this language is also stated and proved to be absolutely consistent. Soundness and completeness theorems for the system in relation to the semantics are proved as well. There is also a justification for considering time as a factor for the logic of sortals.


Time Temporal logic Logic of sortals Conceptualism 


  1. van Benthem, J. (1983). The logic of time. Dordrecht/Boston/London: Kluwer Academic Publishers.CrossRefGoogle Scholar
  2. Goldblatt, R. (1987). Logics of time and computation (CSLI lecture notes, Vol. 7). Stanford: CSLI Publications.Google Scholar
  3. Kamp, J. (1968). Tense logic and the theory of linear order. Ph.D. Thesis, University of California at Los Angeles.Google Scholar
  4. Kamp, J. (1971). Formal properties of now. Theoria, 37, 227–273.CrossRefGoogle Scholar
  5. Thomason, R. (1984). Combinations of tense and modality. In Gabbay and Guenthner (2002) (pp. 205–234).Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Max A. Freund
    • 1
  1. 1.Professor of Logic and Philosophy, Graduate Program in PhilosophyUniversity of Costa RicaSan JoséCosta Rica

Personalised recommendations