Logique, dynamique et cognition
Logique, langage, sciences, philosophieÉditeur : Éditions de la Sorbonne
Lieu d’édition : Paris
Publication sur OpenEdition Books : 28 mars 2017
Collection : Logique, langage, sciences, philosophie
Année d’édition : 2007
Nombre de pages : 239
Présentation
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.
Sommaire
Première partie. La logique à la croisée des chemins
Jean-Yves Girard
La logique comme géométrie du cognitif (manifeste)Jean-Baptiste Joinet
Sur le temps logiqueFrancis Bailly et Giuseppe Longo
Causalités et symétries dans les sciences de la nature. Le continu et le discret mathématiquesThierry Paul
La mécanique quantique vue comme processus dynamiqueSeconde partie. Questions sémantiques : réalisme, règles et vérité
Samuel Tronçon
Interaction et significationPierre Livet
Ontologie phénoménale et connecteurs linéairesLe texte seul est utilisable sous licence Licence OpenEdition Books. Les autres éléments (illustrations, fichiers annexes importés) sont « Tous droits réservés », sauf mention contraire.
