andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

May 19, 2016

Venus Homotopically: SPHERE 26 Mai 2016

Filed under: Uncategorized — Andrei Rodin @ 7:38 am

NEW: full paper

 

Cher(è)s collègues,

Vous êtes cordialement invité(e)s à la prochaine séance du séminaire de recherche L’(id)entité :: L’(id)entification, laquelle se tiendra le jeudi 26 mai de 15h à 17h dans la salle 646A-Mondrian de l’Université Paris Diderot (Bâtiment Condorcet, 4 Rue Elsa Morante, 75013). Pour cette séance, nous aurons le plaisir d’accueillir Andrei Rodin (Institute of Philosophy, Russian Academy of Science – Saint-Petersburg State University), qui fera l’exposé suivant:

Venus Homotopically

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 Classical Mechanics) and discuss its relevance in Quantum Mechanics.

NB: en raison des procédures actuellement en vigueur dans le cadre du plan Vigipirate, nous vous prions de répondre à ce message si vous comptez venir afin de vous inscrire dans la liste correspondante.

Bien cordialement,
Gabriel Catren
Laboratoire SPHERE – Sciences, Philosophie et Histoire (UMR 7219)
CNRS – Université Paris Diderot

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress