Ouvrir la logique au monde

La RÃ©daction — 2009-05-22T14:04:45Z

Travaux du Groupe LIGC
dirigé par Jean-Baptiste Joinet et Samuel Tronçon

– Auteur(s) : Jean-Baptiste Joinet et Samuel Tronà§on (dir.)
– Editeur(s) : Hermann
– Collection : Visions des sciences
– Edition : 1ère édition
– Parution : mai 2009
– Nb de pages : 352 pages
– Format : 15 x 21
– Couverture : Broché
– Poids : 462 g
– Intérieur : Noir et Blanc
– Langue : Français
– ISBN10 : 2-70566-830-6
– ISBN13 : 978-2-70566-830-3
– EAN13 : 9782705668303

Pésentation

Ouvrir la logique au monde

Couverture du livre.

Ce volume rassemble une partie des exposés donnés lors de l'Ecole 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, du 19 au 26 septembre 2006, à l'initiative du groupe « Logique et Interaction : Géométrie de la Cognition » (LIGC).

LIGC est un collectif qui regroupe une quarantaine de philosophes et de scientifiques d'horizons divers (physiciens, biologistes, linguistes, mathématiciens, informaticiens). Il est l'héritier du groupe interdisciplinaire LMP (Logique Mathématique et Philosophie), formé en l'an 2000 et coordonné par Samuel Tronçon.

Au delà de l'interdisciplinarité, la spécificité des investigations de LIGC tient à la place qu'y prennent les réflexions philosophiques sur la valeur transdisciplinaire de notions issues de la théorie des fondements logiques de l'informatique, et en particulier celle d'interaction (calculatoire, informationnelle), gardant en ligne de mire un projet de refondation plaçant ce concept unificateur d'interaction au centre de l'interface dynamique réel-rationnel.

L'introduction aborde cette réflexion en analysant la "révolution copernicienne" qui a secoué la logique à partir de la fin des années soixante-dix, dans le contexte de son dialogue avec l'informatique théorique (J.-B. Joinet).

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 de ce volume, 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.

En vente

Eyrolles
Amazon
Hermann
Alapage
Fnac

Logique, dynamique et cognition

La RÃ©daction — 2009-05-22T14:04:58Z

Logique, Dynamique et Cognition

Extrait du Livre

Jean-Baptiste Joinet (dir.)
Publications de la Sorbonne, Paris, 2007

– Auteur(s) : Jean-Baptiste Joinet (dir.)
– Editeur(s) : Publications de la Sorbonne
– Collection : Logique, langage, sciences, philosophie
– Edition : 1ère édition
– Parution : 13/09/2007
– Nb de pages : 240 pages
– Format : 16 x 24
– Couverture : Broché
– Poids : 394 g
– Intérieur : Noir et Blanc
– Langue : Français
– ISBN10 : 2-85944-584-6
– ISBN13 : 978-2-85944-584-3
– EAN13 : 9782859445843

Présentation par l'éditeur

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.

Biographie de l'auteur

Jean-Baptiste Joinet est maître de conférences en logique et épistémologie à l'UFR de philosophie de l'université Paris 1. Ses recherches sont consacrées à la logique (au sein de l'équipe Preuves-Programmes-Systèmes, CNRS-Univ. Paris 7) et à la philosophie de la logique, du langage et des sciences (au sein de l'équipe Philosophies contemporaines, EXeCO - Univ. Paris 1 et de LIGC, groupe de recherche interdisciplinaire en sciences et philosophie qu'il coordonne).

Au sommaire

La logique à la croisée des chemins
- La logique comme géométrie du cognitif
- Sur le temps logique
- Causalités et symétries dans les sciences de la nature
- le continu et le discret mathématiques
- La mécanique quantique vue comme processus dynamique
Questions sémantiques : réalisme, règles et vérité
- Interaction et signification
- Au-delà du forcing : la notion de vérité essentielle en théorie des ensembles
- La notion de modèle suppose-t-elle une conception réaliste de la vérité mathématiques ?
- Ontologie phénoménale et connecteurs linéaires
- Règles et signification : le point de vue de la logique classique

En vente

Librairie Eyrolles

Librairie des Publications de la Sorbonne

Logique et Interaction : vers une GÃ©omÃ©trie de la Cognition

Ouvrir la logique au monde

Pésentation

En vente

Logique, dynamique et cognition

Présentation par l'éditeur

Biographie de l'auteur

Au sommaire

En vente