Aller au contenu

Institut de Recherches Philosophiques de Lyon


Accueil > Productions scientifiques

Séminaire "Logique, Mathématiques, Informatique et Raisonnement" (LMIR)


Coordination : Jean-Baptiste Joinet, Simone Martini, Wendy Hammache, Yannis Hausberg

2018-2019


Séance 1
Séance du mercredi 19 septembre 2018
Jean-Baptiste JOINET, Université Jean Moulin Lyon 3 (IRPhiL)
"Une généralisation de l’approche frégéenne des définitions par abstraction"

Séance 2
Séance du jeudi 11 octobre 2018
Guiseppe LONGO, Centre Cavaillès, USR 3608 CNRS, ENS Paris, Collège de France
"Logique et calculabilité : la différence entre généralisation et transfert conceptuel"

2017-2018


Séance 1
Séance du mercredi 11 octobre 2017
Pierre CRÉPEL, Académie des sciences, Belles-lettres et Arts de Lyon
"Cartésiens et newtoniens à Lyon au XVIIIe siècle"

Séance 2
Séance du mercredi 8 novembre 2017
Jacques JAYEZ, Professeur à l’ENS de Lyon (ENS Lyon & ISC Marc Jeannerod, UMR 5304 CNRS)
"De la logique à la mécanique (élémentaire) en sémantique. Le cas des verbes factifs"

Séance 3
Mercredi 29 novembre 2017
Arnaud VALENCE, Docteur en philosophie des sciences (IRPhiL)
"Éléments pour une logique de la découverte"

Séance 4
Mardi 13 février 2018
Juan Luis GASTALDI (SPHERE - CNRS - Paris Diderot - Paris 1 Panthéon-Sorbonne)
"Sémiologie des mathématiques et analyse automatique de corpus"

Séance 5
Mercredi 14 mars 2018
Maël PEGNY (Postdoctorant, CNRS – IHPST - Paris 1)
"Les Intelligences Artificielles sont-elles des programmes ?"

2016-2017


Séance 1
Mercredi 8 février 2017
Luiz Carlos PEREIRA (Département de philosophie, PUC-Rio, Brésil)
"Le point de vue œcuménique : Logique classique et Logique intuitionniste co-existant pacifiquement"

Séance 2
Mercredi 15 mars 2017
Alastair ABBOTT (Institut Néel, CNRS, Grenoble)
"L’aléatoire et l’imprévisibilité au cœur de la mécanique quantique"


Université de Lyon