Let's call something a rigid designator if in every possible world it designates the same object, a non-rigid or accidental designator if that is not the case. Of course we don't require that the objects exist in all possible worlds…… — Saul Kripke Copy Share Image
