Leibniz nous est doublement connu : comme philosophe et comme mathématicien. La présente étude se donne pour tâche d'élucider le rapport entre ces deux aspects de sa pensée à la lumière des manuscrits inédits ou récemment édités. Elle suit le fil donné par le philosophe lui-même, quand il retraçait l'intérêt philosophique qu'avaient à ses yeux les mathématiques : celui de « l'analyse des notions et des vérités ». On montre comment Leibniz use de l'analyse conceptuelle, appuyée sur la « réduction aux identiques » dont il a fait la caractéristique des vérités mathématiques, et qui anticipe à bien des égards les « mathématiques conceptuelles » modernes. On suit pas à pas la généalogie de cette approche, coeur d'une réflexion épistémologique générale sur la pratique mathématique.