Roger Martin (logicien)
| 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 a marqué la pensée logique contemporaine par son travail sur la formalisation et l’histoire des systèmes logiques modernes.
Biographie
Roger Martin effectue ses études secondaires aux lycées Henri-IV et Buffon, avant d’intégrer l’École normale supérieure à Paris. Agrégé de philosophie en 1944[2], il obtient également une licence de mathématiques.
Il enseigne d'abord la philosophie au lycée de Besançon de 1945 à 1947, puis devient assistant à la faculté des lettres de Besançon. En parallèle, il exerce comme bibliothécaire, puis bibliothécaire en chef à l’École normale supérieure de 1950 à 1964.
Il soutient sa thèse de doctorat sous la direction de René Poirier en 1964, la même année où il publie son ouvrage majeur Logique contemporaine et formalisation. Il devient ensuite professeur de logique à la Sorbonne, puis à l’Université Paris-V, poste qu’il occupe jusqu’à sa mort en 1979.
Il est également cofondateur en 1976 de 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
- ↑ Relevé des fichiers de l'Insee
- ↑ « Les agrégés de l'enseignement secondaire. Répertoire 1809-1960 », sur CNRS (consulté le )
Liens externes
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Portail de la logique
- Portail de la philosophie