A Temporal Logic for Sortals
- 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.