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... Voir plus