Journée d'étude | Logique, langage et computation : autour de la logique linéaire et ses interfaces
| Quand ? |
Le 06/11/2023, de 15:10 à 15:10 |
|---|---|
| Où ? | Espace Marc Bloch / MSH-LSE |
| S'adresser à | Jean-Baptiste Joinet |
| Ajouter un événement au calendrier |
vCal
iCal
|
Journée interdisciplinaire organisée vendredi 10 novembre par l’Institut de Recherches Philosophiques de Lyon (IRPhiL, Lyon 3), le programme "Computation, Complexité et Types : la Logique Linéaire et ses interfaces" (IXXI & MSH-LSE) et le Laboratoire Junior TheoDem (Théorie de la démonstration, ENS de Lyon).
Programme de la journée
- 09:45-10:45 : Hugo CADIÈRE (IRPHIL, Université Jean Moulin Lyon 3)
"Inférentialisme et logique linéaire" - 10:45-11:45 : Juan-Luis GASTALDI (Institut Turing, Zürich) et John TERILLA (CUNY, New York)
"Des statistiques à l'algèbre et au-delà : la logique des normes émergentes en langage naturel" - Pause
- 12:00-13:00 : Davide BARBAROSSA (Università di Bologna)
"Réflexions sur les fondements des mathématiques, à la lumière de l’informatique" - Pause déjeuner
- 14:30-15:30 : Luiz Carlos PEREIRA (UERJ, Departement de Philosophie, Rio de Janeiro)
"La logique linéaire intuitionniste multi-conclusions (Full ILL) revisitée" - 15:30-16:30 : Mitsuhiro OKADA (Université Keiô, Tokyo, Département de philosophie)
"Comprendre les investigations husserliennes sur les concepts logiques de base, à la lumière de la logique linéaire / Understanding Husserlian investigations on basic logical concepts, with the help of the linear logical view"