Abstract
With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.
Similar content being viewed by others
References
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., 1995, ‘Knowledge representation in conceptual realism’, Int. J. Human-Computer Sciences 43, 697-721.
Cocchiarella, N. B., 1998, ‘Reference in conceptual tealism’, Synthese 114, 169-202.
Church, A., 1958, Introduction to Mathematical Logic, Princeton University Press, Princeton, N.J.
Freund, M., 2000, ‘A complete and consistent formal system for sortals’, Studia Logica 65(3), 367-381.
Geach, P., 1980, Reference and Generality, Cornell U. Press, Ithaca.
Gupta, A., 1980, Logic of Common Nouns, Yale U. Press, New Haven and London.
Vlach, F., 1983, ‘Review of The Logic of Common Nouns’, Journal of Symbolic Logic 48(2), 500-501.
Wiggins, D., 1980, Sameness and Substance, Harvard U. Press, Cambridge, MA.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Freund, M.A. A Temporal Logic for Sortals. Studia Logica 69, 351–380 (2001). https://doi.org/10.1023/A:1013840126121
Issue Date:
DOI: https://doi.org/10.1023/A:1013840126121