Introduction à la philosophie des mathématiques. Le Problème de Platon

Cet ouvrage n'a aucun équivalent dans la littérature philosophique française et étrangère, hormis le classique de Léon Brunschvicg, Les étapes de la philosophie mathématique, paru chez Alcan en 1912. Il se concentre sur le devenir d'un argument majeur en philosophie des mathématique, voire son argument ontologique fondamental : le platonisme ou réalisme mathématique, soit la thèse selon laquelle les assertions des mathématiques, notamment les théorèmes des mathématiques, font référence à un domaine d'objet abstrait, une réalité séparée aussi bien du monde physique que des vécus psychiques, c'est-à-dire des deux dimensions, externes et internes, de notre expérience. Cette thèse, dont on va suivre toutes les vicissitudes depuis sa formulation initiale, n'est pas considérée du point de vue métaphysique traditionnel, mais bien d'un point de vue épistémologique : dans son opérativité propre, sa valeur explicative relativement au domaine même des mathématiques. La première partie suit l'histoire du platonisme mathématique, des origines à Gödel (1930). La seconde partie se consacre de façon neuve à un chapitre de l'histoire contemporaine de la philosophie des mathématiques : chapitre aujourd'hui fort connu dans le monde anglophone, mais qui n'avait jamais trouvé sa place dans l'historiographie philosophique en langue française. La dernière partie aborde l'une des controverses majeures qui traverse actuellement le champ de la philosophie contemporaine des mathématiques. Il s'agit de la dernière défense et illustration du platonisme en philosophie des mathématiques, née dans une certaine mesure d'une résolution du dilemme de Benacerraf, et représentée par Willard van Orman Quine.