Pevné označení

Podle Kripkeho jsou vlastní jména v přirozeném jazyce  rigidní označení (ukazatele). To znamená, že vlastní jméno, které ukazuje na objekt v našem světě, ukazuje na stejný objekt ve všech možných světech, kde tento objekt existuje. [jeden]

Například vlastní jméno Platón je tvrdým označením, protože následující věta popisuje kontrafaktuální situaci (možný svět):

Platón by nebyl filozofem, kdyby zemřel v dětství

označuje stejného jedince jako věty v našem světě.

Poznámky

  1. S. Kripke. Pojmenování a nutnost. - S. 48-49.