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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Church, A., 1958, Introduction to Mathematical Logic, Princeton University Press, Princeton, N.J.
Cocchiarella, N.B., 1977, ‘Sortals, natural kinds and re-identification’, Logique et Analyse 80, 439–474.
Cocchiarella, N.B., 1986, Logical Investigations of Predication Theory and the Problems of Universals, Bibliopolis Press, Naples.
Cocchiarella, N.B., 1995, ‘Knowledge representation in conceptual realism’, Int. J. Human-Computer Sciences 43, 697–721.
Cocchiarella, N.B., 1998, ‘Reference in Conceptual Realism’, Synthese 114, 169–202.
Geach, P., 1980, Reference and Generality, Cornell U. Press, Ithaca.
Strawson, P.F., 1965, Individuals, Metheuen, London.
Wiggins, D., 1980, Sameness and Substance, Harvard University Press, Cambridge, MA.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Freund, M.A. A Complete and Consistent Formal System for Sortals. Studia Logica 65, 367–381 (2000). https://doi.org/10.1023/A:1005239914821
Issue Date:
DOI: https://doi.org/10.1023/A:1005239914821