PhilSci Archive

Categorical Ontology I - Existence

Dentamaro, Dario and Loregian, Fosco (2020) Categorical Ontology I - Existence. [Preprint]

WarningThere is a more recent version of this item available.
[img]
Preview
Text
I-existence.pdf

Download (900kB) | Preview

Abstract

The present paper is the first piece of a series whose aim is to develop an approach to ontology and metaontology through category theory. We exploit the theory of elementary toposes to claim that a satisfying ``theory of existence'', and more at large ontology itself, can both be obtained through category theory. In this perspective, an ontology is a mathematical object: it is a category, the universe of discourse in which our mathematics (intended at large, as a theory of knowledge) can be deployed. The internal language that all categories possess prescribes the modes of existence for the objects of a fixed ontology/category.

This approach resembles, but is more general than, fuzzy logics, as most choices of $\clE$ and thus of $\Omega_\clE$ yield nonclassical, many-valued logics.

Framed this way, ontology suddenly becomes more mathematical: a solid corpus of techniques can be used to backup philosophical intuition with a useful, modular language, suitable for a practical foundation. As both a test-bench for our theory, and a literary divertissement, we propose a possible category-theoretic solution of Borges' famous paradoxes of Tlön's ``nine copper coins'', and of other seemingly paradoxical construction in his literary work. We then delve into the topic with some vistas on our future works.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Dentamaro, Dariodario.dentamaro@stud.unifi.it
Loregian, Foscofosco.loregian@taltech.ee
Keywords: ontology, category theory, metaontology, topos theory, Tlön, Uqbar, Orbis Tertius
Subjects: Specific Sciences > Mathematics > Epistemology
Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Methodology
Specific Sciences > Mathematics > Ontology
Specific Sciences > Mathematics
Depositing User: Dr. Fosco Loregian
Date Deposited: 19 May 2020 20:49
Last Modified: 03 Aug 2020 00:54
Item ID: 17191
Subjects: Specific Sciences > Mathematics > Epistemology
Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Methodology
Specific Sciences > Mathematics > Ontology
Specific Sciences > Mathematics
Date: May 2020
URI: https://philsci-archive.pitt.edu/id/eprint/17191

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item