Roger Martin (logicien)
From Wikipedia, the free encyclopedia
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Cet article n’est pas rédigé dans un style encyclopédique ().
14e arrondissement de Paris
| Bibliothécaire École normale supérieure | |
|---|---|
| - | |
Paul Étard (d) |
| Naissance | |
|---|---|
| Décès |
(à 59 ans) 14e arrondissement de Paris |
| Nom de naissance |
Roger Paul Hippolyte Martin |
| Nationalité |
Française |
| Formation | |
| Activité |
| A travaillé pour |
Université Paris-Descartes Bibliothèque de l'École normale supérieure (d) |
|---|---|
| Directeur de thèse |
Roger Martin, né le au Puy-en-Velay et mort le à Paris[1], est un logicien et philosophe français. Il est connu pour son travail sur la formalisation et l’histoire des systèmes logiques modernes.
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.
