• Philosophie,
  • Recherche,

Journée d'étude | Logique, langage et computation : autour de la logique linéaire et ses interfaces

Evènement | 10 novembre 2023

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"

INFOS PRATIQUES

Lieu(x)

Hors campus

Espace Marc Bloch
MSH-LSE
14 av. Berthelot
69007 LYON
Contact

Hugo Cadière ; Jean-Baptiste Joinet

hugo.cadiere@univ-lyon3.fr;jean-baptiste.joinet@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Philosophie, Recherche

A
Itinéraire vers ce lieu MSH Lyon St-Étienne Maison des Sciences de l’Homme Lyon St-Étienne
14 avenue Berthelot
Lyon
69007