Mathématiques et Philosophie Contemporaines XII

23 juin 2025, 18:00 → 27 juin 2025, 13:30 Europe/Paris

Relais des quatre vents, Lac de Saint-Ferréol (31)

Paola Cantù (CNRS, Centre Gilles Gaston Granger), Brice Halimi (Paris Cité, SPHere), Sebastien Maronne (Institut de Mathématiques de Toulouse), Baptiste Mélès, Frédéric Patras (CNRS)

 

Cette année, l’école thématique CNRS « Mathématiques et Philosophie Contemporaines »XII est articulée autour de quatre sessions thématiques composées de cours (1h30 et 30mn de questions), d'exposés de recherche (1h et 30mn de questions) et de table rondes (1h30). S'y ajoute des sessions d’exposés libres en particuliers destinées aux jeunes chercheurs.

Les thèmes traités en 2025 sont  : 

• l'algèbre catégorique et homotopique ;

• les manuscrits mathématiques d'Alexandre Grothendieck ;

• l'épistémologie historique de Jean-Toussaint Desanti ;

• l'épistémologie historique d'Alain Michel ;

• le problème de la représentation et de la compréhension en mathématiques ;

• l'informatisation du droit.

 

L'école thématique "Mathématiques et Philosophie Contemporaines XII" est soutenue par le CNRS (INSMI et INSHS), le Réseau Thématique "Philosophie des Mathématiques", l'Institut de Mathématiques de Toulouse et le LABEX CIMI de Toulouse.

 

Porteur de l'école thématique : Sébastien Maronne (UT, IMT)

Comité d'organisation scientifique : Paola Cantù (CNRS, CGGG), Brice Halimi (Paris Cité, SPHere), Baptiste Mélès (CNRS, AHP), Frédéric Patras (CNRS, LJAD).

Site web du relais des quatre vents

Moyens de transport Horaire Bus Toulouse-Revel ligne 357 Horaires Bus Toulouse-Revel ligne 356

lundi 23 juin ¶

18:00 → 18:30 Accueil des participants¶

Orateur: Sebastien Maronne (Institut de Mathématiques de Toulouse)

18:30 → 20:00 Table Ronde "Les manuscrits mathématiques d'Alexandre Grothendieck"¶

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é.

Orateurs: Bertrand Toen, Sebastien Maronne (Institut de Mathématiques de Toulouse)

20:00 → 21:00 Dîner

mardi 24 juin ¶

09:00 → 11:00 Sur l'algèbre catégorique et homotopique (1)¶

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

11:00 → 11:30 Pause café

11:30 → 13:00 Time as a root notion of mathematics¶

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.

Orateur: José Ferreiros (Universidad de Sevilla)

13:00 → 14:00 Déjeuner

16:00 → 18:00 La philosophie des mathématiques de Desanti (1)¶

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

Orateur: Dominique Pradelle (Sorbonne Université)

18:00 → 18:30 Pause café

18:30 → 20:00 Table ronde "Alain Michel et l'épistémologie historique : un dialogue entre philosophie et histoire des sciences dans l'enseignement et la recherche"¶

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.

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

20:00 → 21:00 Dîner

mercredi 25 juin ¶

09:00 → 10:30 Sur l'algèbre catégorique et homotopique (2)¶

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

10:30 → 11:00 Pause café

11:00 → 13:00 La philosophie des mathématiques de Desanti (2)¶

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

Orateur: Dominique Pradelle (Sorbonne Université)

13:00 → 14:00 Déjeuner

16:00 → 17:30 Promenade autour du Lac

17:30 → 18:00 Pause café

18:00 → 20:00 Le rôle des représentations dans la pratique des mathématiques¶

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.

Orateur: Valeria Giardino (CNRS, Institut Jean Nicod)

20:00 → 21:00 Dîner

jeudi 26 juin ¶

09:00 → 11:00 La compréhension en mathématiques¶

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.

Orateur: Valeria Giardino (CNRS, Institut Jean Nicod)

11:00 → 11:30 Pause café

11:30 → 13:00 Sur l'informatisation du droit¶

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.

Orateur: Martin Strecker (Institut de Recherche en Informatique de Toulouse)

13:00 → 14:00 Déjeuner

16:00 → 17:30 Logique et linguistique de l'informatisation du droit¶

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.

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

17:30 → 18:00 Pause café

18:00 → 20:00 Session Exposés libres 1¶

20:00 → 21:00 Dîner

vendredi 27 juin ¶

09:00 → 10:30 Session Exposés Libres 2¶

10:30 → 11:00 Pause café

11:00 → 12:30 Session Exposés Libres 3¶

12:30 → 13:30 Déjeuner