Rodin, Andrei (2024) Does Identity Have Sense? [Preprint]
Text (a journal article)
dtt.pdf - Submitted Version Available under License Creative Commons Attribution Non-commercial. Download (691kB) |
Abstract
In this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT). We consider an established 2013 version of HoTT as well as its more recent generalised version called Directed HoTT or Directed Type theory (DTT), which at the time of writing remains a work in progress. In HoTT, and in particular in DTT, identity is not just a relation but a mathematical structure which admits for an interpretation in terms of Homotopy theory (directed Homotopy theory in the case of DTT), which in its turn is supported by common intuitions concerning identity of material objects through time, change and locomotion. The DDT-based conception of identity presented in the paper is non-symmetric: here identity is ``directed'' or has a ``sense''. We compare the HoTT-based conceptions of identity with standard theories of identity based on the Classical Predicate calculus, and show how the HoTT-based identity helps to treat traditional logical and philosophical problems related to identity and time. In the concluding part of the paper we explore some ontological implications of the HoTT-based identity and show how HoTT and DTT can serve for designing formal process ontologies. The paper is self-contained and comprises expositions and informal explanations of all relevant philosophical, logical and mathematical contents.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | Identity through Time; Directed Type theory; Leibniz Law | ||||||
Subjects: | Specific Sciences > Mathematics > Logic General Issues > Scientific Metaphysics Specific Sciences > Mathematics |
||||||
Depositing User: | Dr. Andrei Rodin | ||||||
Date Deposited: | 04 Sep 2024 15:07 | ||||||
Last Modified: | 04 Sep 2024 15:07 | ||||||
Item ID: | 23860 | ||||||
Subjects: | Specific Sciences > Mathematics > Logic General Issues > Scientific Metaphysics Specific Sciences > Mathematics |
||||||
Date: | July 2024 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/23860 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |