- Philosophie,
- Recherche,
Workshop | Logic and Intelligibility of Computational Processes
Publié le 25 octobre 2024 – Mis à jour le 25 octobre 2024
Interdisciplinary Workshop supported by Institut de Recherches Philosophiques de Lyon (IRPhiL, Université Jean Moulin Lyon 3) and the CAPES-COFECUB programme "Logic and Intelligibility of Computational Processes".
Interdisciplinary Workshop
Philosophy of Logic, Language and Computation theory
Programme
Wednesday 06/11, afternoonSession 1: Logic and Generative Artificial Intelligence
- 14:30-15:30 : Paolo PISTONE (Université Lyon 1 & LIP-Plume ENS de Lyon)
"Proofs and programs in the era of “algorithmic culture”" - 15:30-16:30 : Jean-Baptiste JOINET (IRPHIL, Université Jean Moulin Lyon 3)
"Training transforms a computational identity into a more complex function: a bridge between the proofs-as-programs perpective and the machine learning one?" - 16:45-17:45 : Hermann HAUESLER (PUC-Rio)
"Solomonoff-Based Framework for Explainability in Machine Learning"
Thursday 07/11, morning
Session 2: Logical translations
- 10:00-11:00 : Luiz Carlos PEREIRA (Universidade Estadual do Rio de Janeiro)
"Glivenko from an ecumenical viewpoint" - 11:00-12:00 : Gilda FEREIRA (Universidade de Lisboa)
"The problem of identity preservation of proofs in the Russell-Prawitz translation"
Thursday 07/11, afternoon
Session 3: Modalities
- 14:00-15:00 : Elaine PIMENTEL (University College London)
"Playing with modalities" - 15:00-16:00 : Hugo CADIERE (IRPHIL, Université Jean Moulin Lyon)
"Monads as Modalities and Modalities as Monads: thinking modalities dialectically through categories, topos theory and (modal) homotopy type theory"
Session 4: Philosophy of language
- 16:15-17:15 : Camilla JOURDAN (Universidade Estadual do Rio de Janeiro)
"Wittgenstein and deep disagreements (part 1)" (Title to be confirmed) - 17:15-18:15 : Vinicius PERENHA (Universidade Estadual do Rio de Janeiro)
"Wittgenstein and deep disagreements (part 2)" (Title to be confirmed)
Contact :
Hugo Cadière ; Jean-Baptiste Joinet :
hugo.cadiere@univ-lyon3.fr;jean-baptiste.joinet@univ-lyon3.fr
Partenaires :
- IRPhiL (Université Jean Moulin Lyon 3)
- CAPES-COFECUB programme "Logic and Intelligibility of Computational Processes"
Thématiques :
Philosophie; Recherche
Informations
Le 06 novembre 2024 De 14:30 à 17:45
Le 07 novembre 2024 De 14:00 à 18:15
Campus des Quais
Université Jean Moulin Lyon 3
15 Quai Claude Bernard - 69007 Lyon
Room: CAILLEMER
Document(s) à télécharger
- Workshop programme PDF, 304 Ko
Organisation
Mise à jour : 25 octobre 2024