Kripke, référence et modalités

Saul Kripke (1940- ), logicien précoce et brillant, s'intéresse à la logique modale (la logique du nécessaire et du possible) à la fin des années 50 et publie à 19 ans un premier article important sur la complétude en logique modale propositionnelle. Lors d'une série de conférences données à l'Université de Princeton en janvier 1970 il rend publique sa théorie révolutionnaire de la référence des noms propres et des concepts modaux, dont la publication en France paraît en 1980 sous le titre La logique des noms propres. Cet ouvrage se présente comme un ouvrage de philosophie du langage, traitant d'une question précise, la question de la signification et de la référence des noms du langage naturel. Les auteurs présentent cette oeuvre complexe de l'un des premiers philosophes du langage à proposer une interprétation métaphysique plutôt qu'épistémique de l'opérateur de modalité.