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.
Unable to display preview. Download preview PDF.
- Church, A., 1958, Introduction to Mathematical Logic, Princeton University Press, Princeton, N.J.Google Scholar
- Cocchiarella, N.B., 1977, ‘Sortals, natural kinds and re-identification’, Logique et Analyse 80, 439–474.Google Scholar
- Cocchiarella, N.B., 1986, Logical Investigations of Predication Theory and the Problems of Universals, Bibliopolis Press, Naples.Google Scholar
- Cocchiarella, N.B., 1995, ‘Knowledge representation in conceptual realism’, Int. J. Human-Computer Sciences 43, 697–721.Google Scholar
- Cocchiarella, N.B., 1998, ‘Reference in Conceptual Realism’, Synthese 114, 169–202.Google Scholar
- Geach, P., 1980, Reference and Generality, Cornell U. Press, Ithaca.Google Scholar
- Strawson, P.F., 1965, Individuals, Metheuen, London.Google Scholar
- Wiggins, D., 1980, Sameness and Substance, Harvard University Press, Cambridge, MA.Google Scholar