Este libro propone una manera novedosa de concebir la relación entre el lenguaje y el mundo, en especial la relación referencial que se da entre los nombres propios y los de clases naturales y las entidades por ellos designadas. Esta obra también ha dado un gran impulso a desarrollos recientes en las áreas de filosofía del lenguaje y metafísica. En ella, Kripke introduce la categoría semántica de “designador rígido” y distingue entre la noción modal de necesidad, la epistemológica de a priori y la lógica de analiticidad; con base en esas distinciones defiende la existencia de verdades necesarias que se conocen a posteriori y de verdades contingentes que pueden conocerse a priori.