• 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, afternoon
Session 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