Ontologies and Worlds in Category Theory: Implications for Neural Systems

Axiomathes 16 (1-2):165-214 (2006)
  Copy   BIBTEX

Abstract

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an operation on the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Memory Evolutive Systems. [REVIEW]Ronald Brown - 2009 - Axiomathes 19 (3):271-280.
Some Neural Networks Compute, Others Don't.Gualtiero Piccinini - 2008 - Neural Networks 21 (2-3):311-321.
General organizational principles of the brain as key to the study of animal consciousness.Ruud van den Bos - 2000 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 6.
The category of MV-pairs.Antonio Di Nola, Michal Holčapek & Gejza Jenča - 2009 - Logic Journal of the IGPL 17 (4):395-412.
Semantic cognition or data mining?Denny Borsboom & Ingmar Visser - 2008 - Behavioral and Brain Sciences 31 (6):714-715.
Prototypes and portability in artificial neural network models.Thomas R. Shultz - 2000 - Behavioral and Brain Sciences 23 (4):493-494.
A theorem on barr-exact categories, with an infinitary generalization.Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (3):225-268.

Analytics

Added to PP
2009-01-28

Downloads
79 (#192,733)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael J. Healy
Franciscan University of Steubenville