Roger Martin, né le au Puy-en-Velay et mort le à ParisRelevé des fichiers de l'Insee, est un logicien et philosophe français. Il est connu pour son travail sur la formalisation et l’histoire des systèmes logiques modernes.
Biographie
Formation et carrière académique Ancien élève des lycées Henri-IV et Buffon, Roger Martin intègre l'École normale supérieure (ENS). Il obtient l'agrégation de philosophie en 1944 ainsi qu'une licence de mathématiques.
Il commence sa carrière d'enseignant au lycée de Besançon (1945-1947) avant d'être nommé assistant à la faculté des lettres de la même ville. Parallèlement à ses activités d'enseignement, il exerce les fonctions de bibliothécaire, puis de bibliothécaire en chef à l’ENS entre 1950 et 1964. Sous sa direction, la Bibliothèque générale évolue pour devenir la section Lettres et sciences humaines de l'établissement. Durant cette période, il collabore étroitement avec Colette Martin, responsable de la bibliothèque de mathématiques.
Travaux et responsabilités En 1964, il soutient sa thèse de doctorat sous la direction de René Poirier et publie son ouvrage de référence, Logique contemporaine et formalisation. Il est ensuite nommé professeur de logique à la Sorbonne, puis à l’université Paris-V, poste qu’il occupe jusqu’à son décès en 1979.
Spécialiste reconnu de sa discipline, il participe activement à l'institutionnalisation de son champ d'étude en cofondant, en 1976, la Société française de logique.
Œuvres Logique contemporaine et formalisation, PUF, 1964.
Distinctions Lauréat du Prix Jean Cavaillès en 1964.
Références
Liens externes
Catégorie:Naissance en mars 1920 Catégorie:Naissance au Puy-en-Velay Catégorie:Décès en novembre 1979 Catégorie:Décès dans le 14e arrondissement de Paris Catégorie:Logicien français Catégorie:Philosophe français du XXe siècle Catégorie:Agrégé de philosophie Catégorie:Professeur à l'université Paris-Descartes Catégorie:Élève de l'École normale supérieure Catégorie:Décès à 59 ans