A Two Dimensional Tense-modal Sortal Logic |
| |
Authors: | Max A. Freund |
| |
Affiliation: | (1) Escuela de Filosofía, Universidad Nacional de Costa Rica, Apdo, 86-3000 Heredia, Costa Rica |
| |
Abstract: | We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system. |
| |
Keywords: | conceptualism count nouns modal logic relative identity sortals sortal quantification tense logic |
本文献已被 SpringerLink 等数据库收录! |
|