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.
Similar content being viewed by others
References
Church, A. (1958) Introduction to Mathematical Logic, Princeton University Press, Princeton, NJ.
Cocchiarella, N. B. (1977) Sortals, natural kinds and re-identification, Logique et Analyse 80, 439-474.
Cocchiarella, N. B. (1984) Philosophical perspectives on quantification in tense and modal logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, D. Reidel Publishing Co., Dordrecht, pp. 309-355.
Cocchiarella, N. B. (1986) Logical Investigations of Predication Theory and the Problems of Universals, Bibliopolis Press, Naples.
Cocchiarella, N. B. (1998) Reference in conceptual realism, Synthese 114, 169-202.
Deutsch, H. (2002) Relative identity, Stanford Enclyclopedia of Philosophy.
Freund, M. (2000) A complete and consistent formal system for sortals, Studia Logica 65(3), 367-381.
Freund, M. (2001) A temporal logic for sortals, Studia Logica 69(3), 351-380.
Gallois, A. (1998) Occasions of Identity: A Study in the Metaphysics of Persistence, Change and Sameness, Clarendon Press, Oxford.
Geach, P. (1980) Reference and Generality, Cornell Univ. Press, Ithaca.
Gupta, A. (1980) Logic of Common Nouns, Yale Univ. Press, New Haven and London.
Lovibond, S. and Williams, S. G. (1996) Identity, Truth and Value: Essays fro David Wiggins, Aristotelian Society Series, Vol. 16, Blackwell, Oxford.
McGinn, C. (2000) Logical Properties, Blackwell, Oxford.
Noonan, H. (1999) Relative identity, in B. Hale and C. Wright (eds.), A Companion to the Philosophy of Language, Blackwell, Oxford.
Stevenson, L. (1972) Relative identity and leibniz' law, Philos. Quaterly 22, 155-158.
Vlach, F. (1983) Review of the logic of common nouns, J. Symbolic Logic 58(2), 500-501.
Wiggins, D. (2001) Sameness and Substance Renewed, Harvard Univ. Press, Cambridge, MA.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Freund, M.A. A Modal Sortal Logic. Journal of Philosophical Logic 33, 237–260 (2004). https://doi.org/10.1023/B:LOGI.0000031381.56344.a9
Issue Date:
DOI: https://doi.org/10.1023/B:LOGI.0000031381.56344.a9