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.

CALENDRIER DÉFINITIF :

Mardi 19 septembre
Après-midi:
ACCUEIL DES PARTICIPANTS

Soirée:
Présentation du Centre, de l'Ecole thématique et des participants


Mercredi 20 septembre
Logique, mathématique, informatique
Matin:
Ouverture
Jean-Yves GIRARD: Logique : de la syllogistique à l'iconoclasme

Après-midi:
Jean-Baptiste JOINET: Logique et interaction
Vincent GERARD: Phénoménologie et logique


Jeudi 21 septembre
Logique et physique
Matin:
Thierry PAUL: Sur le formalisme (mathématique) de la mécanique quantique
Michel BITBOL: Physique quantique et philosophie transcendantale

Après-midi:
Gabriella CROCCO: Intuitionnisme et constructivisme : le rapport mathématiques / physique selon Weyl et Poincaré
Gilles DOWEK: Sur la forme logique des théories physiques : équation ou algorithmes


Vendredi 22 septembre
Logique, géométrie et cognition
Matin:
Bernard TEISSIER: Géométrie et cognition
Sara FRANCESCHELLI: Géométrie et dynamique dans l'étude du vivant

Après-midi:
REPOS


Samedi 23 septembre
Interaction logique, interaction biologique
Matin:
Nadine PEYRIERAS: Embryogénèse et dynamique du vivant
Ana SOTO: La causalité biologique : émergence et interaction dans la morphogenèse normale et cancereuse

Après-midi:
Vincent SCHÄCHTER: Les rôles des approches logico-calculatoires dans la modélisation des processus cellulaires
Giuseppe LONGO: Structures causales et géométrie du temps biologique
Table Ronde : Machine logique et sciences de la nature, avec Sara FRANCESCHELLI, Giuseppe LONGO, Nadine PEYRIERAS, Vincent SCHÄCHTER, Ana SOTO


Dimanche 24 septembre
Art et interactivité
Matin:
Jean-Louis BOISSIER: L'interactivité comme perspective relationnelle
Stéphane NATKIN: Vrais et faux jeux émergents ; de l'immersion par l'interactivité

Après-midi:
Anne-Marie DUGUET: L'interaction mise en scène : au-delà de la représentation, le comportement, le processus
François NICOLAS: Interactivité dans la musique mixte
Table Ronde : Art numérique et interactivité, avec Alexis AMEN, Jean-Louis BOISSIER, Anne-Marie DUGUET, Stéphane NATKIN, François NICOLAS

Soirée:
NUIT NUMÉRIQUE : Installations interactives et présentation d'œuvres numériques par Alexis AMEN


Lundi 25 septembre
Langage, logique et sémantique
Matin:
Ali BENMAKHLOUF: Sémantique et réalisme
Samuel TRONÇON: Eléments pour une sémiotique cognitive

Après-midi:

Michèle ABRUSCI: Géométrie des logiques aristotélicienne et stoïcienne
Pierre LIVET: Les rapports de l'ontologie et de la logique avec la perception de l'espace et du mouvement


Mardi 26 septembre
Bilan et perspectives
Matin:
Table Ronde et débat : L'interactionisme logique, ouvrir la logique au monde

Après-midi:
DÉPART DES PARTICIPANTS