0 avis
SAUL KRIPKE (1940-2022)
Article
Edité par Encyclopædia Universalis - 2023
Logicien et philosophe américain né le 13 novembre 1940 à Bay Shore, New York.Saul Aaron Kripke commence à travailler sur la sémantique de la logique modale dès le lycée (à Omaha, Nebraska). Il écrit à cette époque un article révolutionnaire, « A Completeness Theorem for Modal Logic », qui sera publié dans le Journal of Symbolic Logic en 1959, alors qu'il entre juste à Harvard. Diplômé en mathématiques en 1962, Kripke enseigne à Harvard jusqu'en 1968. Il élargit alors ses recherches à la logique intuitionniste, la théorie des ensembles et la théorie de la récursion transfinie. Kripke enseigne la logique et la philosophie à l'université Rockefeller de 1968 à 1976 et à Princeton de 1976 à 1998, et donne des conférences à l'université d'Oxford en 1973. En 2001, il reçoit le prix Rolf Schock en logique et philosophie, décerné par l'Académie royale des sciences de Suède. En 2003, il est nommé à l'université de la ville de New York.Kripke change le cours de la philosophie analytique en publiant