title: Roger Martin (logicien)
text: # Roger Martin (logicien)
  
  Roger Martin (17 mars 1920 - 16 novembre 1979) est un logicien français.
  
  ## Biographie
  
  * 17 mars 1920: naissance au Puy.
  * lycée Henry-IV
  * lycée Buffon
  * concours d'entrée à l'École normale supérieure
  * 1943 : diplôme de bibliothécaire
  * 1944 : agrégation de philosophie
  * 1945-1947 : professeur de philosophie au lycée de Besançon
  * 1945-1950 : assistant à la faculté des lettres de Besançon
  * licence de mathématiques.
  * 1950-1964: bibliothécaire en chef de l'École normale supérieure.
  * 1964: soutenance de sa thèse sous la direction de René Poirier
  * 1964-1979 : professeur de logique à la Sorbonne devenue Paris-V
  * 1976 : cofondateur de la Société française de logique.
  * 16 novembre 1979 : mort à Paris
  
  ## Œuvres
  
  Logique contemporaine et formalisation, 1964, PUF.
  
  ## Prix
  
  Prix Jean-Cavaillès, 1964.
  
  