Abstract
Types are fundamental for conceptual domain modeling and knowledge representation in computer science. Frequently, monadic types used in domain models have as their instances objects (endurants, continuants), i.e., entities persisting in time that experience qualitative changes while keeping their numerical identity. In this paper, I revisit a philosophically and cognitively well-founded theory of object types and propose a system of modal logics with restricted quantification designed to formally characterize the distinctions and constraints proposed by this theory. The formal system proposed also addresses the limitations of classical (unrestricted extensional) modal logics in differentiating between types that represent mere properties (or attributions) ascribed to individual objects from types that carry a principle of identity for those individuals (the so-called sortal types). Finally, I also show here how this proposal can complement the theory of conceptual spaces by offering an account for kind-supplied principles of cross-world identity. The account addresses an important criticism posed to conceptual spaces in the literature and is in line with a number of empirical results in the literature of cognitive psychology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
What are termed classes in UML are akin to what I name types here, not to the well-known set-theoretical notion of classes. In other words, classes in UML are intensional not extensional entities.
References
Bonatti, L., Frot, E., Zangl, R., & Mehler, J. (2002). The human first hypothesis: Identification of conspecifics and individuation of objects in the young infant. Cognitive Psychology, 44,388–426.
Booth, A. E., & Waxman, S. R. (2003). Mapping words to the world in infancy: Infants’ expectations for count nouns and adjectives. Journal of Cognition and Development, 4(3),357–381.
Fitting, M., & Mendelsohn, R. L. (1998). First-order modal logic, synthese library (Vol. 277). Dordrecht: Kluwer Academic Publisher.
Frege, G. (1980). The foundations of Arithmetic: A logic-mathematical enquiry into the concept of number. Translated from the 1884 original by J. L. Austin, Northwestern University Press; 2nd Revised edition.
Gärdenfors, P. (2000). Conceptual spaces: The geometry of thought. Cambridge, USA: MIT Press.
Gauker, C. A. (2007, September). Critique of the similarity space theory of concepts. Mind & Language, 22(4), 317–345.
Guarino, N., & Welty, C. (2009). An overview of OntoClean. In S. Staab & R. Studer (Eds.), Handbook on ontologies (2nd ed., pp. 201–220). Berlin: Springer.
Guizzardi, G. (2005). Ontological foundations for structural conceptual models (Telematics Instituut Fundamental Research Series, No. 015). ISSN 1388-1795, The Netherlands.
Guizzardi, G., Wagner, G., Guarino, N., & van Sinderen, M. (2004). An ontologically well-founded profile for UML conceptual models. In A. Persson & J. Stirna (Eds.), Lecture notes in computer science (pp. 112–116). Berlin: Springer. ISBN 3-540-22151-4.
Gupta, A. (1980). The logic of common nouns: An investigation in quantified modal logic. New Haven: Yale University Press.
Heller, B., Herre, H., Burek, P., Loebe, F., & Michalek, H. (2004). General ontological language (Technical Report no. 7/2004). Institute for Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig, Germany.
Hirsch, E. (1982). The concept of identity. New York/Oxford: Oxford University Press.
Kripke, S. (1980). Naming and necessity. Princeton: Wiley-Blackwell.
Lewis, D. K. (1986). On the plurality of worlds. Oxford: Blackwell.
Lowe, E. J. (1989). Kinds of being: A study of individuation, identity and the logic of sortal terms. Oxford: Blackwell.
Macnamara, J. (1986). A border dispute, the place of logic in psychology. Cambridge: MIT Press.
MacNamara, J. (1994). Logic and cognition. In J. MacNamara & G. Reyes (Eds.), The logical foundations of cognition, Vancouver studies in cognitive science (Vol. 4, pp. 11–34). New York: Oxford University Press.
Perry, J. (1970). The same F. Philosophical Review, 79(2), 181–200.
Putnam, H. (1994). Logic and psychology. In J. MacNamara & G. Reyes (Eds.), The logical foundations of cognition, Vancouver studies in cognitive science (Vol. 4, pp. 35–42). New York: Oxford University Press.
Strawson, P. F. (1959). Individuals. An essay in descriptive metaphysics. London/New York: Routledge.
van Leeuwen, J. (1991). Individuals and sortal concepts: An essay in logical descriptive metaphysics, PhD thesis, University of Amsterdam, Amsterdam.
Waxman, S. R., & Markow, D. R. (1995). Words as invitations to form categories: Evidence from 12- to 13-month-old infants. Cognitive Psychology, 29, 257–302.
Wiggins, D. (2001). Sameness and substance renewed. Cambridge, UK: Cambridge University Press.
Xu, F. (2004). Categories, kinds, and object individuation in infancy. In L. Gershkoff-Stowe & D. Rakison (Eds.), Building object categories in developmental time (pp. 63–89). Papers from the 32nd Carnegie Symposium on Cognition, New Jersey, Lawrence.
Zamborlini, V., & Guizzardi, G., (2010). On the representation of temporally changing information in OWL. IEEE 5th Joint International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE) – Metamodels, Ontologies and Semantic Technologies (MOST), together with 15th International Enterprise Computing Conference (EDOC 2010)(pp. 283–292). Vitória, Brazil.
Zenker, F., & Gärdenfors, P. (2015). Communication, rationality, and conceptual changes in scientific theories. In this volume.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Guizzardi, G. (2015). Logical, Ontological and Cognitive Aspects of Object Types and Cross-World Identity with Applications to the Theory of Conceptual Spaces. In: Zenker, F., Gärdenfors, P. (eds) Applications of Conceptual Spaces. Synthese Library, vol 359. Springer, Cham. https://doi.org/10.1007/978-3-319-15021-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-15021-5_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15020-8
Online ISBN: 978-3-319-15021-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)