En lógica modal y filosofía del lenguaje, un designador rígido es una expresión que designa o refiere a una misma entidad en todos los mundos posibles en los que esa entidad existe, y no designa nada en aquellos mundos en los que no existe.