LOGIQUE ET INTERACTION : VERS UNE GÉOMÉTRIE DE LA COGNITION
( Ecole Thématique du CNRS )
DIRECTION : Jean-Baptiste JOINET
ARGUMENT :
Les transformations récentes et profondes de la Logique mathématique dans le contexte de son dialogue avec l'informatique fondamentale ont nourri depuis quelques années une réflexion originale – scientifique et philosophique – autour de la notion d'interaction (communicationnelle et calculatoire) et de sa valeur unificatrice au plan épistémologique (ponts dressés de ces théories logiques de l'interaction vers la physique, vers la biologie, vers les théories de la rationalité et de la cognition).
En équilibrant exposés « techniques » (introduction sans pré-requis aux approches logico-informatiques de la dynamique calculatoire, aux avancées récentes en biologie génétique et bio-calcul, aux théories physique de l'interaction et du calcul quantique), exposés « philosophiques » didactiques (présentations sans pré-requis des principaux courants philosophiques impliqués) et instances de débat (tables-rondes etc), la rencontre vise à ouvrir à cette problématique et ses enjeux, un public large (scientifiques comme philosophes) de chercheurs et de doctorants.
COMMUNICATIONS :
* Michele ABRUSCI : Géométrie des logiques aristotélicienne et stoïcienne
* Ali BENMAKHLOUF : Sémantique et réalisme
* Jocelyn BENOIST : Phénoménologie et logique
* Michel BITBOL : Kant et la mécanique quantique
* Jean-Louis BOISSIER : L'interactivité comme perspective relationnelle
* Gabriella CROCCO : Intuitionnisme et constructivisme : le rapport mathématiques / physique selon Weyl et Poincaré
* Antoine DANCHIN : La valeur de la métaphore logicielle du code génétique
* Gilles DOWEK : Sur la forme logique des théories physiques: équation ou algorithmes
* Jean-Yves GIRARD : Logique : de la syllogistique à l'iconoclasme
* Jean-Baptiste JOINET : Le tournant interactionnel en logique
* Pierre LIVET : Les rapports de l'ontologie et de la logique avec la perception de l'espace et du mouvement
* Giuseppe LONGO : Structures causales et géométrie du temps biologique
* Stéphane NATKIN : Vrais et faux jeux émergents: de l'immersion par l'interactivité
* François NICOLAS : De l'interaction dans l'oeuvre musicale mixte
* Thierry PAUL : Sur le formalisme (mathématique) de la mécanique quantique
* Jean PETITOT : Perception et jugement: géométrie et logique
* Nadine PEYRIÉRAS : Embryogénèse et dynamique du vivant
* Vincent SCHÄCHTER : Les rôles des approches logico-calculatoires dans la modélisation des processus cellulaires
* Bernard TEISSIER : Géométrie et cognition
TABLES RONDES :
* Machine logique et sciences de la nature, avec Antoine DANCHIN, Giuseppe LONGO, Nadine PEYRIÉRAS, Vincent SCHÄCHTER
* Art numérique et interactivité, avec Alexis AMEN, Jean-Louis BOISSIER, Stéphane NATKIN, François NICOLAS, Thierry PAUL
* Langage, interaction, sémantique, avec Michele ABRUSCI, Ali BENMAKHLOUF, Jocelyn BENOIST, Jean-Baptiste JOINET, Pierre LIVET
* L'interactionisme logique : ouvrir la logique au monde
NUIT NUMÉRIQUE : Installations interactives et présentation d'oeuvres numérique par Alexis AMEN
Pré-enregistrement à l'Ecole Thématique du CNRS : www-philo.univ-paris1.fr/Joinet/CerisyLIGC.html