S. Kripke est l'un des premiers philosophes du langage à avoir proposé une interprétation métaphysique plutôt qu'épistémologique de l'opérateur de modalité. Les auteurs se proposent d'analyser La logique des noms propres, ouvrage qui expose la question de la signification et de la référence des noms du langage naturel.