L’identité et la signification des noms propres chez Frege et Kripke

Il est bien connu que Frege a été amené à introduire sa fameuse distinction entre le sens (Sinn) et la dénotation (Bedeutung) d’une expression essentiellement pour résoudre certaines apories classiques concernant la relation d’identité. Il s’agissait pour lui de rendre compte de la différence qui existe entre les énoncés d’identité comme « 2 + 2 = 4 » ou « L’étoile du matin = l’étoile du soir », qui véhiculent incontestablement une certaine information, et les énoncés d’identité triviaux du t..