FLAP Journal 2017 Journal Article
Venus Homotopically.
- Andrei Rodin
The identity concept developed in the Homotopy Type theory (HoTT) sup- ports an analysis of Frege’s famous Venus example, which explains how empiri- cal 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 dis- tinction 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.