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

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"