An Extensional Logic for Sortals
An extensional formal language for sortals, its formal semantics as well as a formal system for the language are characterized. The system is shown to be sound and complete relative to the semantics. The restriction-relation among sortal concepts is introduced and discussed in connection with other related important concepts, such as those of a phase sortal, a substance sortal and an ultimate sortal. A formal representation of the relation is provided. The view that every individual must fall under a sortal is considered and formalized as well. The formalizations in question are extensions of the conceptual framework provided by the extensional logic of sortals.
KeywordsExtensional logic for sortals Formal semantics for sortals Ultimate sortal Phase sortal
- Church, A. (1958). Introduction to mathematical logic. Princeton, MA: Princeton University Press.Google Scholar
- Cocchiarella, N. (1977). Sortals, natural kinds and re-identification. Logique et Analyse, 80, 439–474.Google Scholar
- Cocchiarella, N. (1986). Logical investigations of predication theory and the problem of universals. Naples: Bibliopolis Press.Google Scholar
- Geach, P. (1980). Reference and generality. Ithaca: Cornell University Press.Google Scholar