Venus Homotopically

Publication Year:
Usage 167
Downloads 167
Social Media 2
Tweets 2
Repository URL:
Rodin, Andrei
Most Recent Tweet View All Tweets
preprint description
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.