Journal of Philosophical Logic

, Volume 33, Issue 3, pp 237–260

A Modal Sortal Logic

Authors

  • Max A. Freund
    • Departamento de FilosofíaUniversidad Nacional Apdo
Article

DOI: 10.1023/B:LOGI.0000031381.56344.a9

Cite this article as:
Freund, M.A. Journal of Philosophical Logic (2004) 33: 237. doi:10.1023/B:LOGI.0000031381.56344.a9

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.

conceptualismcount nounsmodal logicnon-standard semantics for predicatessortals

Copyright information

© Kluwer Academic Publishers 2004