Жёсткий десигнатор

Согласно Крипке, имена собственные в естественном языке — жесткие десигнаторы (указатели). То есть, имя собственное, указывающее на объект в нашем мире, указывает на тот же объект в каждом возможном мире, где этот объект существует.^[1]

Например, имя собственное Платон — жесткий десигнатор, так как следующее предложение, описывающее контрфактическую ситуацию (возможный мир):

Платон не был бы философом, если бы умер во младенчестве