Abstract

RÉSUMÉ: Pasch est généralement considéré comme le premier à avoir proposé une axiomatisation de la géométrie. Mais ses Vorlesungen über neure Geometrie (1882) contiennent plusieurs éléments étrangers au paradigme hilbertien. Pasch soutient ainsi que la « géométrie élémentaire », dont il propose une axiomatisation complète, est une théorie empiriquement vraie. Les commentateurs considèrent généralement les différences entre la méthode de Pasch et celle qui deviendra standard après Hilbert comme autant de défauts affectant une pensée encore inaboutie. Notre but consiste au contraire à reconstruire la cohérence et l’originalité de l’approche de Pasch. Nous donnerons d’abord un aperçu du contexte historique dans lequel les Vorlesungen s’inscrivent, pour tenter ensuite de réconcilier l’effort d’axiomatisation et l’empirisme de Pasch. Nous insisterons notamment sur les remarquables procédures logiques que Pasch met sur pied afin d’adapter sa pratique mathématique aux contraintes dictées par sa réflexion philosophique.ABSTRACT: Pasch is usually credited with having presented the first axiomatization of a geometrical theory, but the Vorlesungen über neuere Geometrie (1882) contains many features which do not fit the Hilbertian paradigm. Thus Pasch, while axiomatizing his “elementary geometry,” claims that it is an empirically true theory. Scholars usually regard the discrepancies between Pasch and the post-Hilbertian standard method as mere inconsistencies of Pasch’s theory. On the contrary, this article aims at reconstructing the coherence and originality of the Vorlesungen. We will first display the historical background of this work and then try to reconcile Pasch’s logical axiomatic claim with his empiricist stance. More importantly, we will insist on the remarkable logical procedures worked out by Pasch in order to adapt his mathematical development to the strictures of his broad philosophical position.