Rodin, Andrei (2016) Venus Homotopically. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png) |
PDF
vh.pdf - Submitted Version Download (244kB) |
Abstract
The identity concept developed in the Homotopy Type theory (HoTT) supports an analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities. In the context of this analysis we consider the traditional distinction between the extension and the intension of concepts as it appears in HoTT, discuss an ontological significance of this distinction and, finally, provide a homotopical reconstruction of a basic kinematic scheme, which is used in the Classical Mechanics, and discuss its relevance in the Quantum Mechanics.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | identity, Homotopy Type theory, extension, intension, kinematics | ||||||
| Subjects: | Specific Sciences > Mathematics General Issues > Models and Idealization General Issues > Realism/Anti-realism |
||||||
| Depositing User: | Dr. Andrei Rodin | ||||||
| Date Deposited: | 29 May 2016 21:41 | ||||||
| Last Modified: | 29 May 2016 21:41 | ||||||
| Item ID: | 12116 | ||||||
| Subjects: | Specific Sciences > Mathematics General Issues > Models and Idealization General Issues > Realism/Anti-realism |
||||||
| Date: | 2016 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/12116 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}