Studia Logica

, Volume 69, Issue 3, pp 351–380

A Temporal Logic for Sortals

Authors

  • Max A. Freund
    • Departamento de Filosofia
Article

DOI: 10.1023/A:1013840126121

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

Abstract

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
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 2001