2024
http://creativecommons.org/licenses/by/ , info:eu-repo/semantics/OpenAccess
Gilles Dowek, « La dynamique des noms propres », HALSHS : archive ouverte en Sciences de l’Homme et de la Société, ID : 10670/1.m3dh0j
Parce qu'il connote, le nom d'une personne, d'une ville, d'une rue… peut changer au cours du temps. Répondre aux questions logiques et éthiques posées par de tels changements demande de revisiter les travaux sur les noms propres de John Stuart Mill, Gottlob Frege, Bertrand Russell, Saul Kripke… Cela demande, en particulier, de préciser la notion de monde possible, de donner un statut d'objet aux noms et, en s'appuyant sur la théorie des langages de programmation, d'introduire une distinction entre liaison statique et liaison dynamique.