Publication 2009 : un des ouvrages
OUVRIR LA LOGIQUE AU MONDE
PHILOSOPHIE ET MATHÉMATIQUE DE L'INTERACTION
Jean-Baptiste JOINET, Samuel TRONÇON (dir.)
Cet ouvrage rassemble une partie des exposés donnés lors de l'École thématique du CNRS "Logique, Sciences et Philosophie", organisée par Jean-Baptiste Joinet, qui s'est tenue au Centre culturel international de Cerisy-la-Salle, en 2006, à l'initiative du groupe "Logique et Interaction : Géométrie de la Cognition" (LIGC).
La première partie, intitulée "Physique et intuition", réunit des contributions concernant l'intelligibilité de la nature. C'est d'abord la logique qui est convoquée, par l'interrogation sur la dualité entre subjectif et intersubjectif (J.-Y. Girard) à travers les apports récents de la ludique. Sont analysés ensuite les liens fondamentaux entre le formalisme mathématique et l'intuition en physique (T. Paul, M. Bitbol). Pour finir, la mathématique formelle est entrevue depuis la phénoménologie (V. Gérard), notamment dans le dialogue entre théorie des ensembles et ontologie.
La deuxième partie, "Nature et calcul: de la logique au sujet", introduit de manière critique la conception de la nature-calcul, en abordant d'un côté les limitations de la thèse de séparabilité entre systèmes calculables et systèmes chaotiques (G. Dowek), et de l'autre la différence entre déterminisme et prédictibilité en tant qu'elle questionne la thèse de Church physique (G. Longo, T. Paul).
La troisième partie, consacrée aux "Processus et primitives de cognition", aborde les questions de signification et d'ontologie. Les deux premiers chapitres s'articulent autour de l'hypothèse localiste, en s'attachant à l'ancrage cognitif des concepts mathématiques (B. Teissier), puis à la signification spatiale de la négation et de l'implication logiques (P. Livet). Les deux derniers chapitres abordent sur un plan philosophique les jalons théoriques qui permettent d'envisager une sémiotique cognitive (S. Tronçon), et les apports de l'intuitionnisme philosophique à une sémantique des constructions et des catégories (A. Benmakhlouf).
En clôture, F. Nicolas revisite la logique musicale à l'aune du "tournant géométrique" survenu dans le champ de la logique mathématique et dont l'ensemble de ces travaux tente de définir les contours.
Ouvrage issu d'un colloque de Cerisy (2006) [en savoir plus]
Disponible à Cerisy aux Amis de Pontigny-Cerisy [n°409]
Éditeur : Hermann Éditeurs
Collection : Visions des sciences
ISBN : 978-2-7056-6830-3
Nombre de pages : 350 p.
Prix public : 34 €
Année d'édition : 2009
Calcul, Church-Turing (Alonzo), Cognition, Géométrie, Kant (Emmanuel), Logique musicale, Mathématique, Mécanique quantique, Nature, Phénoménologie, Physique, Sémantique, Sémiologie, Syllogistique
Préambule, par Jean-Baptiste JOINET & Samuel TRONÇON
Introduction, par Jean-Baptiste JOINET
I. PHYSIQUE ET INTUITION
De la syllogistique à l'iconoclasme, par Jean-Yves GIRARD
Formalisme mathématique et mécanique quantique, par Thierry PAUL
Kant et la mécanique quantique, par Michel BITBOL
Phénoménologie et logique, par Vincent GÉRARD
II. NATURE ET CALCUL : DE LA LOGIQUE AU SUJET
Le monde et le calcul : réflexions sur la calculabilité, les mathématiques et la physique, par Giuseppe LONGO & Thierry PAUL
La forme physique de la thèse de Church et la sensibilité aux conditions initiales, par Gilles DOWEK
III. PROCESSUS ET PRIMITIVES DE COGNITION
Géométrie et cognition : l'exemple du continu, par Bernard TEISSIER
Espace, négation, ontologie et logique linéaire, par Pierre LIVET
Éléments pour une sémiotique cognitive, par Samuel TRONÇON
Sémantique à partir des catégories : examen de la quantité et de la qualité, par Ali BENMAKHLOUF
ÉPILOGUE
D'un "tournant géométrique" dans la logique musicale, par François NICOLAS
Les contributeurs