A Modal Sortal Logic |
| |
Authors: | Freund Max A. |
| |
Affiliation: | (1) Departamento de Filosofía, Universidad Nacional Apdo, 86-3000, Heredia, Costa Rica |
| |
Abstract: | An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. |
| |
Keywords: | conceptualism count nouns modal logic non-standard semantics for predicates sortals |
本文献已被 SpringerLink 等数据库收录! |
|