Logique et ensemblesNotion · Glossaire
Cavaillès Jean
Jean Cavaillès (1903-1944) est un mathématicien et philosophe français dont l’œuvre étudie les fondements des mathématiques, notamment les rapports entre logique formelle, théorie des ensembles et philosophie transcendantale. Par sa double formation, il éclaire la manière dont les mathématiques se construisent et se transforment. Enseignant et figure active de la Résistance pendant l’Occupation, il est fusillé en février 1944.
Sommaire
Ce que vous allez apprendre
- Situer la double formation philosophique et mathématique de Jean Cavaillès.
- Relier les deux thèses de 1937 aux sources et domaines intellectuels indiqués.
- Distinguer son œuvre philosophique, son engagement résistant et sa reconnaissance posthume.
En clair
En 1923, Jean Cavaillès entre à l’École normale supérieure avec une double culture : la philosophie et les mathématiques. Il ne traite pas ces disciplines comme deux mondes séparés. Il cherche à saisir ce que la logique, les axiomes et la théorie des ensembles font au développement des mathématiques. Autrement dit, il s’intéresse au rapport entre les règles du raisonnement, les principes de départ que sont les axiomes et la construction des théories mathématiques.
Ce travail intellectuel accompagne une vie d’engagement. Enseignant à Strasbourg, Cavaillès devient pendant l’Occupation une figure active de la Résistance. Fusillé en février 1944, il laisse une œuvre qui marque durablement l’épistémologie française des mathématiques.
Définition
Jean Cavaillès (1903-1944) est un mathématicien et philosophe français des mathématiques. Ses études associent philosophie et mathématiques : il entre à l’École normale supérieure en 1923, obtient parallèlement une licence de mathématiques et devient agrégé de philosophie en 1927. Après avoir enseigné en lycée, il prépare une recherche sur les fondements philosophiques des mathématiques.
Pour ce travail, il consulte les archives de Paul du Bois-Reymond et étudie la correspondance de Richard Dedekind et Georg Cantor. Sous la direction de Léon Brunschvicg, il soutient simultanément en 1937 Méthode axiomatique et formalisme et Remarques sur la formation de la théorie abstraite des ensembles. Son œuvre examine les rapports entre logique formelle, théorie des ensembles et philosophie transcendantale ; elle exerce une influence durable sur l’épistémologie des mathématiques en France.
Il enseigne ensuite à l’université de Strasbourg. Pendant l’Occupation, son parcours devient aussi celui d’un résistant particulièrement actif. Arrêté puis fusillé en février 1944, il est fait Compagnon de la Libération à titre posthume. Ses restes sont inhumés dans la chapelle de la Sorbonne.
Un exemple, pas à pas
Pour suivre la construction de son travail philosophique, retenons quatre jalons donnés par son parcours : 1923, 1927, 1937 et février 1944.
Étape 1. En 1923, Cavaillès entre à l’École normale supérieure et poursuit parallèlement une licence de mathématiques. Cette double formation place d’emblée philosophie et mathématiques dans le même itinéraire.
Étape 2. Agrégé de philosophie en 1927, il enseigne en lycée, puis prépare une recherche sur les fondements philosophiques des mathématiques. Il travaille sur des archives et sur la correspondance entre Dedekind et Cantor.
Étape 3. En 1937, le résultat prend la forme de deux thèses soutenues simultanément : l’une porte sur la méthode axiomatique et le formalisme, l’autre sur la formation de la théorie abstraite des ensembles.
Une frise des quatre jalons permet de contrôler leur ordre : la double formation précède l’agrégation, puis les thèses, avant la mort en février 1944.
Contrôle. Les deux titres de 1937 éclairent bien le centre de l’œuvre annoncé : les liens entre logique formelle, théorie des ensembles et philosophie transcendantale. La chronologie ne suffit donc pas ; les objets étudiés donnent son unité intellectuelle au parcours.
En pratique
Pour lire l’histoire de la théorie des ensembles en France, on peut repérer chez Cavaillès le passage des échanges de Dedekind et Cantor à une réflexion philosophique sur la formation de la théorie abstraite. Si l’on cherche les travaux propres de ces deux mathématiciens, leurs notices sont un meilleur point de départ.
Pour comparer les deux thèses de 1937, partez des mots de leurs titres. Méthode axiomatique et formalisme oriente vers la manière d’organiser une théorie à partir d’axiomes et de règles formelles ; Remarques sur la formation de la théorie abstraite des ensembles invite à examiner comment cette théorie s’est constituée. Cette lecture distingue deux angles de recherche, mais les titres seuls ne livrent ni le contenu ni les conclusions des thèses. Pour une définition technique d’un axiome ou d’un ensemble, il faut préférer une entrée consacrée à la notion elle-même.
Pour situer l’homme dans l’histoire, on garde ensemble ses deux engagements attestés : l’enseignement, notamment à Strasbourg, et la Résistance pendant l’Occupation. Selon la question posée, la chronologie intellectuelle ou la chronologie résistante devient le fil principal, sans effacer l’autre.
À ne pas confondre
Jean Cavaillès et Georg Cantor. Cantor est l’un des mathématiciens dont Cavaillès étudie la correspondance avec Dedekind. Le critère décisif est le rôle : Cantor appartient aux sources examinées, tandis que Cavaillès mène la recherche philosophique décrite ici.
Œuvre philosophique et engagement résistant. Ces deux dimensions appartiennent à la même biographie, mais elles ne désignent pas la même activité. Les thèses de 1937 relèvent de la philosophie des mathématiques ; l’action pendant l’Occupation relève de la Résistance.
Limites et pièges
Ne pas réduire une œuvre à deux titres. Les thèses de 1937 identifient deux axes majeurs, mais elles ne résument pas à elles seules toute la pensée de Cavaillès. Le bon réflexe consiste à conserver le cadre plus large donné par la logique formelle, la théorie des ensembles et la philosophie transcendantale.
Ne pas fondre les dates. Le parcours distingue l’entrée à l’École normale supérieure en 1923, l’agrégation de philosophie en 1927 et les deux soutenances en 1937. Une chronologie qui rattache ces trois étapes à une même année rend le cheminement illisible.
Ne pas faire d’un honneur posthume un épisode de sa vie. Cavaillès est fait Compagnon de la Libération après sa mort. Pour respecter l’ordre des faits, il faut séparer son exécution en février 1944 de cette reconnaissance posthume et de l’inhumation à la Sorbonne.
Pour aller plus loin
Cantor Georg — Pour identifier l’un des mathématiciens dont Cavaillès étudie la correspondance et prolonger le versant consacré aux ensembles.
Dedekind Richard — Pour situer l’autre correspondant étudié par Cavaillès dans son travail sur les fondements philosophiques des mathématiques.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres
