В философии языка и модальной логики термин называется нежестким обозначением (или вялым обозначением ) или коннотативным термином , если он экстенсионально не обозначает (не обозначает, не относится) к одному и тому же объекту во всех возможных мирах . Это противоположно жесткому десигнатору , который обозначает один и тот же объект во всех возможных мирах, в которых этот объект существует, и не обозначает ничего другого в тех мирах, в которых этот объект не существует. [1] Термин был придуман Солом Крипке в его серии лекций 1970 года в Принстонском университете ., позже изданная как книга Именование и необходимость . [2]
В качестве примера рассмотрим фразу «43 -й президент Соединенных Штатов Америки»: хотя 43-й президент Соединенных Штатов на самом деле Джордж Буш -младший , все могло быть иначе. Буш мог проиграть выборы, а это означает, что вместо него 43-м президентом мог стать Эл Гор или Ральф Нейдер . ( Насколько далеки эти возможные миры от реального мира, это вопрос для физики и контрфактуализма .) Таким образом, «43-й президент Соединенных Штатов Америки» является нежестким обозначением, выделяющим Джорджа Буша-младшего в некоторых возможных мирах, Эл Гор в других мирах, а также другие люди в других мирах.
Нежесткие десигнаторы определяются в отличие от понятия жесткого десигнатора Крипке, которое однозначно выделяет одно и то же во всех возможных мирах; в то время как существуют возможные миры, в которых 43-й президент Соединенных Штатов является Элом Гором, а не Джорджем Бушем-младшим, нет возможных миров, в которых Джордж Буш -младший является кем-то другим, кроме того человека, которым он на самом деле является. (Есть миры, где какой-то человек, кроме Джорджа Буша -младшего, именуется «Джорджем Бушем-младшим», но это ни здесь, ни там.) Крипке использует эту кажущуюся асимметрию, чтобы доказать (в « Именовании и необходимости » ), что никакое определенное описание не может быть верным. значение имени собственного, потому что имена всегда должны быть жесткими обозначениями, в то время как определенные описания могут обозначать нежестко.
Некоторые философы, такие как Гарет Эванс , выразили сомнение относительно того, следует ли вообще называть нежесткие выражения обозначениями . [3]