A Complete and Consistent Formal System for Sortals |
| |
Authors: | Freund Max A. |
| |
Affiliation: | (1) Departamento de Filosofia, APDO 86, 3000 Heredia, Costa Rica |
| |
Abstract: | A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism. |
| |
Keywords: | sortal logic conceptualism semantics for sortals |
本文献已被 SpringerLink 等数据库收录! |
|