Logique, dynamique et cognition

Product description
le prsent volume regroupe les textes de confrences donnes lors de la rencontre " Logique mathmatique, Informatique et Philosophie ", organise en avril 2003 l'universit Paris I Panthon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque runissait les principaux acteurs du collectif interdisciplinaire " Logique et Interaction : vers une Gomtrie de la Cognition " (LIGC) et divers universitaires d'autres horizons. La premire partie, intitule la logique la croise des chemins, rassemble des rflexions sur les volutions rcentes de la logique et les aspects fondamentaux de la mathmatisation de champs scientifiques spcifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet, F. Bailly et G. Longo, T. Paul) visent dgager un nouveau statut pistmologique pour la logique et les mathmatiques, et tirer les leons philosophiques de ces volutions quant la rationalit scientifique et l'intelligibilit de la nature. Dans la seconde partie, intitule Questions smantiques : ralisme, rgles et vrit, les contributeurs (S. Tronon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions smantiques traditionnelles sous l'angle des volutions rcentes de la logique dans son dialogue avec l'informatique fondamentale.
From the Back Cover
Le présent volume regroupe les textes de conférences données lors de la rencontre "Logique mathématique, Informatique et Philosophie", organisée en avril 2003 à l'université Paris I 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 de champs scientifiques spécifiques (physique, biologie).
Ces contributions (J.-Y. Girard, J.-B. Joinet, F. Bailly 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.