Logique, dynamique et cognition

Le présent volume regroupe les textes de conférences données lors de la
rencontre « Logique mathémathique, Informatique et Philosophie », organisé en
avril 2003 à l’université Paris 1 Panthéon-Sorbonne sous la direction de Jean-
Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif
interdisciplinaire « Logique et Interaction : vers une Géométrie de la
Cognition » (LIGC) et divers universitaires d’autres horizons. La première
partie, intitulée La logique à la croisée des chemins, rassemble des
réflexions sur les évolutions récentes de la logique et les aspects
fondamentaux de la mathématisation des champs scientifiques spécifiques
(physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G.
Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la
logique et les mathématiques, et à tirer les leçons philosophiques de ces
évolutions quant à la rationalité scientifique et l’intelligibilité de la
nature. Dans la seconde partie, intitulée Questions sémantiques : réalisme,
règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P.
Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles
sous l’angle des évolutions récentes de la logique dans son dialogue avec
l’informatique fondamentale.