, Volume 69, Issue 3, pp 351-380

A Temporal Logic for Sortals

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.