A Temporal Logic for Sortals |
| |
Authors: | Max A. Freund |
| |
Affiliation: | (1) Departamento de Filosofia, Apdo. 86-3000, Heredia, Costa Rica |
| |
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. |
| |
Keywords: | conceptualism sortals temporal logic |
本文献已被 SpringerLink 等数据库收录! |
|