В модальной логике и философии языка , яркое обозначение является термином , который считается , чтобы обозначить то же самое во всех возможных мирах [1] и ничто другое , где такой объект не существует в возможном мире. Это аналог, в том смысле , полагая, из жесткого целеуказателем , [2] , который является ( относится к ) то же самое во всех возможных мирах, а не просто верил , что так.
Уиллард Ван Орман Куайн
Уиллард Ван Орман Куайн приписывает Дэвиду Каплану (который, в свою очередь, приписывает Монтгомери Фурту ) термин «яркий указатель» в его статье 1977 года «Пересмотр намерений». Он исследует разделение между de re и de dicto и устраняет операторы de re , потому что операторы de re могут работать только для имен, которые используются ссылочно . [3] Фактически, как жесткие , так и яркие указатели одинаково зависят от контекста и пусты в остальном. То же самое верно для всей количественно определенной модальной логики необходимости, потому что она разрушается, если сущность изъята. [4]