Kripke szerint a tulajdonnevek a természetes nyelvben merev jelölők (mutatók). Vagyis egy tulajdonnév, amely egy tárgyra mutat a mi világunkban, ugyanarra a tárgyra mutat minden lehetséges világban, ahol az objektum létezik. [egy]
Például a Platón tulajdonnév kemény jelző, mivel a következő mondat egy kontrafaktuális helyzetet (lehetséges világot) ír le:
Platón nem lett volna filozófus, ha csecsemőkorában hal meg
ugyanazt az egyént jelzi, mint a világunk mondatai.