Un prêtre face au sida

Témoigner, s'engager, limiter, soutenir, accompagner, plaider... Comment exprimer avec assez de force l'itinéraire de Bernard Joinet dans son vécu en Afrique. Joignant tradition africaine et psychologie clinicienne, observant le charisme du président Nyerere, luttant contre les ravages du sida, ce Père blanc nous conte son parcours résolu, non sans éviter les questions, les doutes et les stupéfactions. C'est autour de ses réflexions que le Père Joinet nous entraîne et ne saurait nous laisser indifférents. Dans ce livre, on chemine à côté d'un ami pour qui amour, dignité, compréhension sont des mots clés et dont le combat incessant pour la vie, l'Afrique et ses convictions nous aide à ne pas baisser les bras aux heures d'un possible découragement.

Résumé : 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.

La presse l'a parfois baptisé Louis le Juste ou l'Epris de justice, mais aussi l'Obstiné et l'Ubiquiste. D'autres ont vu en lui un "homme de l'ombre" ou l'un de ces "juges rouges" qui hantèrent les cauchemars des criminels en col blanc. Peu connu du grand public, Louis Joinet a en tout cas joué, depuis la fin des années 1960, un rôle clé au coeur de la République, révélé dans ce livre aussi attachant qu'informé. Il a été l'un des fondateurs du Syndicat de la magistrature en 1968. puis le premier directeur de la Commission nationale de l'informatique et des libertés, avant de conseiller cinq Premiers ministres socialistes dans les années 1980. Et, pendant trente-trois ans, il a été expert indépendant de l'ONU, en infatigable globe-trotter de la protection des droits de l'homme. Il avait pourtant commencé par essuyer les plâtres d'un tout autre métier, celui d'éducateur de rue auprès des jeunes délinquants. Et il n'a jamais renié sa passion pour le monde du cirque et les arts de la rue. Louis Joinet s'est décidé à dire lui-même ses paradoxes et inquiétudes de magistrat: ce qu'il appelle ses "bonnes raisons d'Etat", dont il dévoile maints aspects inédits lors de ses années à Matignon et à l'Elysée. En conteur-né, il rapporte son expérience, universelle et éclatée, avec une simplicité qui marque toute sa vie, d'une profusion et d'une générosité peu ordinaires.

Cet ouvrage 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, 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). Les contributions : "De la syllogistique à l'iconoclasme" par Jean-Yves Girard ; "Formalisme mathématique et mécanique quantique" par Thierry Paul ; "Kant et la mécaniquequantique" par Michel Bitbol ; "Phénoménologie et logique" par Vincent Gérard ; "Le monde et le calcul : réflexions sur la calculabilité, les mathématiques et la physique" par Giuseppe Longo et Thierry Paul ; "La forme physique de la thèse de Church et la sensibilité aux conditions initiales" par Gilles Dowek ; "Géométrie et cognition : l'exemple du continu" par Bernard Teissier ; "Espace, négation, ontologie et logique linéaire" par Pierre Livet ; "Elé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 ; "D'un "tournant géométrique" dans la logique musicale" par François Nicolas.