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 Naming and Necessity (1980, La Logique des noms propres), recueil de conférences faites à Princeton en 1970. Il fournit la première étude convaincante des concepts métaphysiques de nécessité et de possibilité, et les distingue des notions épistémologiques de connaissance a posteriori (acquise par l'expérience) et de connaissance a priori (acquise en dehors de toute expérience) ainsi que des notions linguistiques de vérité analytique (ou de raison) et de vérité synthétique (ou de fait). Kripke fait ainsi renaître la doctrine de l'essentialisme, selon laquelle les objets possèdent certaines propriétés nécessairement. Partant de ce point et de ses idées révolutionnaires sur la signification et la référence des noms propres et des noms communs dénotant des genres naturels (la chaleur, l'eau, le tigre), il soutient que certaines propositions sont nécessairement vraies mais ne peuvent être connues qu'a posteriori (par exemple « l'eau est H2O » et « la chaleur est due à l'énergie cinétique molécul […]
… pour nos abonnés, l'article se prolonge sur 2 pages…
