Réunion du groupe LIGC: Logique et interaction : vers une géométrie de la cognition

La question des fondements à l'ère post-fondationnelle

Amphi Darboux, Institut Henri Poincaré (IHP), Paris,
au 11 rue P. et M. Curie (près de la rue d'Ulm), Paris V
Novembre 18 - 20, 2010

Sous l'égide du CIRPHLES-GHPS de l'Ecole normale supérieure et le soutien de l'IHP et du Dépt. d'Informatique de l'Ens.

Programme

Jeudi 18 novembre 2010

• 9h 30 : Ouverture du colloque :
  Claude Debru (Directeur, dépt. Philosophie, ENS), Giuseppe Longo (Informatique, CNRS-ENS) :
  "La philosophie dans les sciences et le CIRPHLES-GHPS; le groupe LIGC et le colloque"
• 10h 00 : Jean-Yves GIRARD, Maths, CNRS :
  "Le charme discret de la normativité"
11h 00 : Micropause
• 11h 20 : Yves COUDER, Physique, Ens :
  "Une particule avec une onde comme support de sa mémoire"


12h 30 : Déjeuner


• 14h 30 : Jocelyn BENOIST, Philo, Ens - Paris I :
  "Elucider plutôt que fonder"
• 15h 30 : Didier DEBAISE, Philo, U. Libre, Bruxelles :
  "L'émergence des ordres de la nature dans la philosophie de Whitehead".
16h 30 : Pause
• 17h 00 : Marie FARGE, Géosciences, CNRS - Ens :
  "L'état épistémologique de la recherche en turbulence"
• 18h 00 : Patrick DEHORNOY, Maths, U. Caen :
  "Théorie des ensembles : malentendus sur le rôle fondationnel, évolutions actuelles (une introduction et une discussion ouverte)".
• 19h 00 : Débat et conclusions de la journée, introduits par Pierre LIVET, Philo, U. Aix.

Vendredi 19 novembre

• 9h 30 : Albert BURRONI, Maths, Paris VII :
  "Fondements et solipsisme mathématique".
• 10h 30 : Dominique LESTEL, Ethologie, ENS :
  "Le fantasme du réel en éthologie"
11h 30 : Micropause
• 11h 45 : Marco FORTI, Maths, U. Pisa :
  "The numerosity of 'Punktmengen': how to reconcile Cantor with Euclid?"


12h 45 : Déjeuner


• 14h 30 : Sandro GRAFFI, Maths-Physique, U. Bologna :
  "Les difficultés fondationnelles de la théorie des champs quantifiés"
• 15h 30 : Jean-Baptiste JOINET, Philo, Paris I :
  "Sur les fondements protologiques de la logique"
16h 30 : Pause
• 17h 00 : Olivier BOURNEZ, Info, Polytechnique :
  "Calcul en temps continu. Fondations et résultats"
• 18h 00 : Débat et conclusions de la journée, introduits par Jean-Louis Giavitto

Samedi 20 novembre

• 9h 45 : Simone MARTINI, Info, U. Bologna :
  "Complexité computationelle dans un univers interactif"
• 10h 45 : Samuel TRONCON, Philo, LOCI (ANR) et IML, U. Marseille :
  "L'infondé du langage : ludique, pragmatique et inférentialisme"
11h 45 : Micropause
• 12h 00 : Roberto FINELLI, Philo, Roma III :
  "Le mythe de l'Autre. Pour une critique de la critique des fondements"


12h 45 : Déjeuner


• 15h 00 : Thierry PAUL, Maths-Physique, CNRS-X :
  "Le charme discret-indiscret des équations différentielles"
• 16h 00 : Michele ABRUSCI, Philo, Roma III :
  "Réflexions historiques et philosophiques sur les recherches fondationnelles en logique et en mathématiques (XIX siècle et XX siècle)"
17h 00 : Micropause
• 17h 15 : Fin et ouverture : conclusions du colloque et débat sur les perspectives, introduits par Giuseppe Longo.

------------

Colloque ouvert au public,

Contacts : frezza (at) di.ens.fr, longo (at) di.ens.fr,