PhilSci Archive

Venus Homotopically

Rodin, Andrei (2016) Venus Homotopically. [Preprint]

[img] 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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Rodin, Andrei andrei@philomatica.org
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 View Item