Univalence and Constructive Identity
History and Overview
2012-06-11 v1
Abstract
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for the constructive aspect of such judgements.
Cite
@article{arxiv.1206.1769,
title = {Univalence and Constructive Identity},
author = {Andrei Rodin},
journal= {arXiv preprint arXiv:1206.1769},
year = {2012}
}
Comments
5 pages, no figures; presented at the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012" (May 22- 25, 2012, Euler International Institute, Saint-Petersburg)