Accueil des participants

• Sebastien Maronne (Institut de Mathématiques de Toulouse)

Table Ronde "Les manuscrits mathématiques d'Alexandre Grothendieck" (Grothendieck)

• Sebastien Maronne (Institut de Mathématiques de Toulouse)
• Bertrand Toen

Les milliers de pages mathématiques écrites par Alexandre Grothendieck entre son arrivée comme professeur à l’université de Montpellier en 1973 et son départ pour le village de Lasserre en Ariège en 1991 constituent autant de traces des recherches qu’il accomplit durant cette période. Dans cette table ronde, nous suivrons des fragments d’itinéraire de cette exploration mathématique en présentant quelques uns des manuscrits qu'on peut consulter sur le site des Archives Grothendieck de l'université de Montpellier. Ce sera en particulier l'occasion de revenir sur le projet de publication des Réflexions mathématiques ainsi que sur le style d'écriture et de création mathématique de Grothendieck, dans leur rapport avec le passé.

Sur l'algèbre catégorique et homotopique (1) (Algèbre catégorique et homotopique)

• Clemens Berger (Université Côté d'Azur, Laboratoire Jean-Alexandre-Dieudonné)

Time as a root notion of mathematics (Le problème de la représentation et de la compréhension en mathématiques)

• José Ferreiros (Universidad de Sevilla)

In recent years we have become accustomed to see philosophy of mathematics interact with studies of mathematical cognition. This happens especially around the number concept, but also in relation to geometry (work by Giaquinto, Giardino, García-Pérez, Hamami, etc.). A third notion that belongs to the cognitive roots of maths is time, but this is not treated usually in our field, perhaps because the philosophy of time is usually conceived to be linked with physics. We shall employ historical considerations and some cognitive studies to argue that time is indeed a root of mathematical knowledge. In a second part of the talk, we will consider the classical (pre-relativistic) conception of time, and show how considering it as a kind of mathematical object helps reconsider and clarify the notion.

La philosophie des mathématiques de Desanti (1) (Jean-Toussaint Desanti)

• Dominique Pradelle (Sorbonne Université)

Nous tâcherons de présenter la philosophie des mathématiques de Desanti. Une telle tâche se heurte, dans le cas de Desanti, à une difficulté spécifique qui tient à son style et à son parcours intellectuels : celle du caractère problématique de l’unité de ses écrits. Car s’il existe bien un style desantien d’interrogation et de langue philosophiques, y a-t-il pour autant chez lui une doctrine unitaire, un ensemble de thèses que l’on pourrait identifier comme constituant la philosophie desantienne des mathématiques, voire des sciences ou de la connaissance en général ? En d’autres termes, peut-on se réclamer d’un système doctrinal constitué et exposé dans les livres publiés – au premier chef Les Idéalités mathématiques et La philosophie silencieuse –, qui formerait le foyer théorique à partir duquel on pourrait mettre en lumière la reprise des questions philosophiques et l’éventuelle inflexion des thèses auxquelles se livreraient les écrits annexes réédités dans Mathesis, idéalité et historicité ainsi que dans Le philosophe et les pouvoirs ? Y a-t-il une unique question centrale, voire un ensemble de questions centrales qui formeraient l’horizon problématique depuis lequel se laisseraient éclairer ces textes ? Nous tenterons ici de présenter les deux phases de son épistémologie des mathématiques : celle des Idéalités mathématiques, puis celle de La philosophie silencieuse. Nous verrons ainsi comment Desanti pratique d’abord une phénoménologie intentionnelle des objets mathématiques, avant de tendre vers une réflexion sur l’historicité de la mathesis. Bibliographie Jean-Toussaint Desanti, Les Idéalités mathématiques, Paris, Seuil, 1968 —, La philosophie silencieuse, Paris, Seuil, 1975 —, « Réponse à la première lettre » (scil. de Maurice Clavel), Paris, Hachette Littératures, 2008 —, Le philosophe et les pouvoirs, Paris, Hachette Littératures, 2008 —, « Une phénoménologie des mathématiques est-elle possible ? », in D. Pradelle et F. D. Sebbah, Penser avec Desanti, Mauvezin, T.E.R., 2010 —, Mathesis, idéalité et historicité, Lyon, ENS Éditions, 2014

Table ronde "Alain Michel et l'épistémologie historique : un dialogue entre philosophie et histoire des sciences dans l'enseignement et la recherche" (Alain Michel)

• Paola Cantù (CNRS, Centre Gilles Gaston Granger)
• Julien Bernard (Aix-Marseille Université, Centre Gilles Gaston Granger)

La table ronde abordera quelques thèmes clés de l’épistémologie historique française, en retraçant certaines étapes marquantes de l’œuvre d’Alain Michel (1946-2017), ancien élève de l’École normale supérieure de Saint-Cloud, agrégé de l’université, docteur en philosophie et Professeur des Universités au sein du laboratoire de recherche fondé à Aix-en-Provence par Gilles-Gaston Granger. Il s’agira, d’une part, de comprendre dans quelle mesure « il est possible, pour un philosophe, de pratiquer l’histoire des mathématiques » ; et d’autre part, de réfléchir à la manière dont un enseignant peut exercer les élèves au dialogue entre histoire des sciences et philosophie. Paola Cantù, en prenant pour point de départ le principal ouvrage d’Alain Michel, Constitution de la théorie moderne de l’intégration, analysera sa proposition d’un « champ intermédiaire, entre le discours engendré, chez le mathématicien, par les exigences nées de sa pratique, et l’usage des concepts d’origine philosophique susceptibles de servir d’instruments d’analyse propres ». Julien Bernard interviendra sur les rapports avec l’épistémologie française, notamment Desanti et Cavaillès, sans négliger les enseignements dispensés par Alain Michel dans le cadre de ses cours d’épistémologie.

Sur l'algèbre catégorique et homotopique (2) (Algèbre catégorique et homotopique)

• Clemens Berger (Université Côté d'Azur, Laboratoire Jean-Alexandre-Dieudonné)

La philosophie des mathématiques de Desanti (2) (Jean-Toussaint Desanti)

• Dominique Pradelle (Sorbonne Université)

Nous tâcherons de présenter la philosophie des mathématiques de Desanti. Une telle tâche se heurte, dans le cas de Desanti, à une difficulté spécifique qui tient à son style et à son parcours intellectuels : celle du caractère problématique de l’unité de ses écrits. Car s’il existe bien un style desantien d’interrogation et de langue philosophiques, y a-t-il pour autant chez lui une doctrine unitaire, un ensemble de thèses que l’on pourrait identifier comme constituant la philosophie desantienne des mathématiques, voire des sciences ou de la connaissance en général ? En d’autres termes, peut-on se réclamer d’un système doctrinal constitué et exposé dans les livres publiés – au premier chef Les Idéalités mathématiques et La philosophie silencieuse –, qui formerait le foyer théorique à partir duquel on pourrait mettre en lumière la reprise des questions philosophiques et l’éventuelle inflexion des thèses auxquelles se livreraient les écrits annexes réédités dans Mathesis, idéalité et historicité ainsi que dans Le philosophe et les pouvoirs ? Y a-t-il une unique question centrale, voire un ensemble de questions centrales qui formeraient l’horizon problématique depuis lequel se laisseraient éclairer ces textes ? Nous tenterons ici de présenter les deux phases de son épistémologie des mathématiques : celle des Idéalités mathématiques, puis celle de La philosophie silencieuse. Nous verrons ainsi comment Desanti pratique d’abord une phénoménologie intentionnelle des objets mathématiques, avant de tendre vers une réflexion sur l’historicité de la mathesis. Bibliographie Jean-Toussaint Desanti, Les Idéalités mathématiques, Paris, Seuil, 1968 —, La philosophie silencieuse, Paris, Seuil, 1975 —, « Réponse à la première lettre » (scil. de Maurice Clavel), Paris, Hachette Littératures, 2008 —, Le philosophe et les pouvoirs, Paris, Hachette Littératures, 2008 —, « Une phénoménologie des mathématiques est-elle possible ? », in D. Pradelle et F.-D. Sebbah, Penser avec Desanti, Mauvezin, T.E.R., 2010 —, Mathesis, idéalité et historicité, Lyon, ENS Éditions, 2014

Le rôle des représentations dans la pratique des mathématiques (Le problème de la représentation et de la compréhension en mathématiques)

• Valeria Giardino (CNRS, Institut Jean Nicod)

Un nombre croissant d'études en philosophie des mathématiques ont été récemment consacrées à l'analyse de segments de la pratique des mathématiques, en reconsidérant des épisodes de son histoire mais aussi en examinant des études de cas contemporaines. Bien entendu, la pratique des mathématiques est multiforme : dans leur travail quotidien, les mathématiciens utilisent de nombreux outils différents, que ce soit pour faire de la recherche et essayer de résoudre des problèmes, ou pour rédiger des preuves et communiquer avec leurs pairs et avec un public plus large. Les diagrammes et autres types de dispositifs visuels sont couramment utilisés dans de nombreux domaines mathématiques, et leur utilisation évolue et change, l'acceptation du raisonnement diagrammatique gagnant du terrain. L'un des intérêts philosophiques de l'étude de la pratique des mathématiques réside précisément dans l'analyse du fonctionnement de ces outils et dans l'évaluation du cadre mathématique permettant leur utilisation et des conséquences théoriques que cette utilisation peut entraîner. Dans ce premier cours, je passerai en revue certaines des études qui se sont intéressées à ce thème ainsi que les questions qui se posent et les solutions proposées.

La compréhension en mathématiques (Le problème de la représentation et de la compréhension en mathématiques)

• Valeria Giardino (CNRS, Institut Jean Nicod)

La compréhension est un thème débattu en théorie de la connaissance. Elle peut se présenter sous diverses formes, dont beaucoup sont très appréciées. Selon de nombreux philosophes des sciences, par exemple, la compréhension est le bien que vise l’enquête scientifique : ce que les scientifiques veulent, lorsqu'ils entament leurs recherches, n’est pas simplement acquérir une série de croyances vraies sur le monde mais comprendre le monde (ou du moins une partie du monde), là où « comprendre le monde » implique quelque chose de plus que l'acquisition de croyances vraies. Mais de quoi parle-t-on quand on parle de compréhension en mathématiques ? L’objectif de ce deuxième cours sera de présenter des études récentes qui ont abordé ce thème, entre philosophie des mathématiques, pédagogie des mathématiques et philosophie de l’action.

Sur l'informatisation du droit

• Martin Strecker (Institut de Recherche en Informatique de Toulouse)

Cet exposé retrace mon expérience au sein d'un projet en ``Computational Law'': une tentative de formaliser la loi avec des méthodes informatiques. Je décris les ambitions initiales, sur-dimensionnées, qui ont été réduites pour se concentrer sur des contrats. Je discute quels mécanismes logiques sont utilisés pour formaliser des règles et des systèmes de règles (avec des notions de coordination entre règles comme des priorités), et comment on peut raisonner avec des règles (pour explorer un scénario spécifique) et sur des ensembles de règles (pour assurer leur complétude et leur cohérence). J'aborde la formalisation de processus qui se déroulent dans le temps, et comment des aspects déontiques sont traités - ou plutôt esquivés. Dans un domaine comme la loi, l'interaction avec un public non spécialiste est essentiel. Je décris l'interfaçage avec un outil de traitement du langage naturel, et les bouleversements induits par l'arrivée de l'intelligence artificielle générative.

Logique et linguistique de l'informatisation du droit

• Baptiste Mélès (CNRS, Archives Henri-Poincaré)

Le Code des Impôts est aujourd'hui, grâce au projet Catala, reformulé dans un langage de programmation permettant à la fois de produire un code informatique lisible par les juristes et un programme certifié sans bogue. En étudiant ce projet, nous reprendrons le programme philosophique mis en œuvre par Jean Ray dans l'/Essai sur la structure logique du Code civil français/ en 1926 : celui de révéler et de formaliser la logique et la linguistique sous-jacentes aux textes de loi.

Session Exposés libres 1

Session Exposés Libres 2

Session Exposés Libres 3