Séminaire Paris-Nancy en logique et philosophie des mathématiques PANALM

Nous aurons le plaisir d'écouter : Alexandre Paseau (Univ. d'Oxford)

Titre : Le programme euclidien

Résumé : Le programme euclidien incarne une forme traditionnelle de fondationnalisme épistémologique, selon laquelle la connaissance, notamment mathématique, s'obtient par déduction à partir d'axiomes évidents ou de principes premiers. Cet exposé, basé sur mon ouvrage éponyme avec Wesley Wrigley, proposera un examen détaillé du fondationnalisme euclidien, que nous appelons, à la suite de Lakatos, le programme euclidien. Dans cet exposé, je reconstruirai rationnellement les principes clés du programme, montrant qu'il s'agit d'une interprétation épistémologique de la méthode axiomatique. J'évaluerai ensuite le programme, en examinant si divers domaines des mathématiques contemporaines s'y conforment.