• Manifestations scientifiques,
  • Recherche,
  • Philosophie,

Séminaire 2023-24 | Logique, Mathématiques, Informatique, Raisonnement

Publié le 25 septembre 2023 Mis à jour le 25 mars 2024

Séminaire de philosophie des sciences organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).
Rendez-vous mardi 12 mars pour écouter les interventions de David RABOUIN & Filippo COSTANTINI sur le thème : "Identité et identification de Leibniz à la théorie homotopique des types".

Logique, Mathématiques, Informatique, Raisonnement

Coordination scientifique : Hugo Cadière (IRPhiL Lyon 3) et Jean-Baptiste Joinet (IRPhiL Lyon 3 & IXXI)

Séminaire organisé avec le soutien de l’Institut des Systèmes Complexes Rhônalpin (IXXI) et la Maison des Sciences de l’Homme Lyon Saint-Étienne (MSH-LSE).

Au second semestre, le séminaire est plus spécifiquement consacré au thème "Indiscernabilité, Isomorphie, Identité".

Séminaire mensuel – Programme 2023-2024
 

MARS 2024
JANVIER 2024

Mardi 30/01/2024, 18h-19h30, Salle 206, 18 rue Chevreul, Lyon

Andrei RODIN (Archives Henri Poincaré - Philosophie et Recherches sur les Sciences et les Technologies, UMR. 7117 CNRS-Université de Lorraine)
"L’Identité a-t-elle un sens ? / Does Identity Have a Sense?"
(Exposé donné en français, Diapositives en anglais)
Écouter/voir l'intervention d'Andrei Rodin

Abstract:
Identity, i.e., "being the same as itself" is a key logical concept that has been a subject of hot philosophical debates during many centuries. Today this continuing philosophical discussion usually relies on the formal representation of the identity concept by standard means of symbolic logic where identity is construed as an equivalence relation (that is, a binary relation which is reflexive, symmetric and transitive) which satisfy the Indiscernibility of Identicals principle according to which identical things have the same (i.e. identical) properties.

This large formal framework admits many competing philosophical views on identity. Using this framework as a common ground logician and philosophers discuss whether or not the converse principle of Identity of Indiscernibles also holds, how to explain away the intuitively plausible preservation of identity through time and change (which at the surface contradicts InId since it allows the same thing to have different properties at different times), how to resolve classical paradoxes of identity such as the Ship of Theseus, and many other akin issues.

In my talk I shall explore some alternative formal approaches to representing identity that use Category theory and a modern version of Type theory called Homotopy Type theory (or HoTT for short) because of its intended interpretation in a branch of modern Algebraic Topology called Homotopy theory. As we shall see, in this alternative formal framework the identity concept is construed very differently, which sheds a new light on some long-lasted logical and philosophical puzzles. I shall make a special focus on a version of HoTT known as Directed Type theory (DTT for short) where identity comes in a directed non-symmetric form. This identity concept allows one to formalise the claim that today I am still the same person as I was 50 years ago when I was a boy without assuming that today that boy is the same person as myself.

Attending and understanding the talk does not require any previous knowledge of mathematical logic, of Type theory and Homotopy theory: all needed logical and mathematical concepts will be informally introduced and explained during the talk.

NOVEMBRE 2023

Le colloque du collectif interdisciplinaire NORMES (Logique/Informatique/Droit) et le colloque “Logique Linéaire et Philosophie” (organisés par JB Joinet & H. Cadière) étant prévus du mercredi 08/11 (à partir de 14h) au vendredi 10/11/2023, aucune séance du séminaire LMIR n’est prévue en novembre.

OCTOBRE 2023

Mardi 24/10/2023, 18h30-20h. ENS de Lyon, 15, Parvis René Descartes, Salle D2.004

Hugo CADIÈRE (IRPhiL Lyon 3 & Laboratoire junior TheoDem, ENS de Lyon)
“La notion d’égalité dans la théorie homotopique des types”

SEPTEMBRE 2023

Mardi 26/09/2023, 18h-19h30. Lyon 3, bât. du 18 rue Chevreul, 69007 Lyon, Salle 306

Jean-Baptiste JOINET (IRPhiL Lyon 3 & IXXI)
“Pour une ontologie computationnelle : sémantique actionnelle et individu algorithmique”


 
Contact :
Jean-Baptiste Joinet : jean-baptiste.joinet@univ-lyon3.fr
Thématiques :
Manifestations scientifiques; Recherche; Philosophie