Studia Logica

, Volume 69, Issue 3, pp 351–380

A Temporal Logic for Sortals

  • Max A. Freund

DOI: 10.1023/A:1013840126121

Cite this article as:
Freund, M.A. Studia Logica (2001) 69: 351. doi:10.1023/A:1013840126121


With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.

conceptualismsortalstemporal logic

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Max A. Freund
    • 1
  1. 1.Departamento de FilosofiaHerediaCosta Rica