Saul Kripke Logicien américain (Bay Shore, New York, 1940). Il a énoncé une théorie des noms propres (la Logique des noms propres, 1962).
