Table ronde : Logique et philosophie des mathématiques. On pense comme on se heurte
Abstract
Le tournant pratique en philosophie des mathématiques s’oppose à la perspective normative
d’une reconstruction des produits de la science à partir d’un point de vue actuel. Le travail de Hourya Benis-
Sinaceur se place dès le départ dans l’esprit du tournant pratique : elle examine l’aspect fondamental du
changement survenu dans le travail mathématique, vu d’une perspective interne au déploiement mathématique.
Bien que moi-même formé plutôt dans l’esprit de la reconstruction rationnelle, nous cherchons tous les
deux par le tournant pratique la compréhension mathématique, de sorte que les questions d’autonomie ou
d’ontologie mathématique ont de facto perdu de leur importance.
Mon propos est d’esquisser la thèse que nos deux approches ne constituent en réalité que la partie
« descriptive » (la justification) et la partie « intuitive » (la construction) d’une compréhension pragmatique des
mathématiques.