На что, с такой точки зрения, указывают имена естественного языка, употребляемые в реальной речевой деятельности – на элементы мира, заданные самой природой вещей, или на конвенциональные классы? Функционируют ли выражения естественного языка (например, имена собственные) как термины естественных видов или как термины конвенциональной категоризации содержания мира? Теория сингулярной референции Крипке пересекается, таким образом, с теорией значения терминов естественных видов.
11.4.2 Жесткие десигнаторы
По традиционной (фрегеанской) теории, естественно-видовые термины (kind terms) функционируют аналогично именам собственным. Так же, как имена собственные имеют смысл, который определяет их референцию, так видовые термины имеют смысл или значение, которое определяет их экстенсионал, т.е. те случаи, к которым они применяются. В дополнение к этим естественно-видовым терминам существуют термины не-естественных, или конвенциональных (номинальных) видов. Поскольку естественные виды отражают дистинкции, локализованные во внешнем мире (является ли нечто золотом или тигром – вопрос экстралингвистический), постольку номинальные виды предстают предметом наших систем классификации и зависят от лингвистического удобства и соглашения. Естественные виды или рода определены внешним по отношению к его описанию миром; номинальные виды определены нашей конвенциональной категоризацией.
Концепция референции для видовых терминов должна, как и любая теория референции, экстенсионально корректным образом обеспечивать идентификацию объекта указания; специфика же указания именно посредством видовых терминов заключается в том, что такая теория предполагает некоторое объяснение особенностей указания не просто на объект, но на его сущностные свойства. Указание как связь между знаком (родовым или видовым термином) и обозначаемой им вещью (элементом множества внеязыковых объектов, образующих естественный род или вид) предстает, таким образом, в определенной степени обусловленным теми сущностными свойствами, благодаря которым эта вещь существует как идентифицируемая в своем видовом качестве.
Крипке предлагает решение этой проблемы с помощью двух допущений:
(1) родовой или видовой термин обозначает (designates) специфический род (вид) объектов на основании причинной связи, соединяющей термин с родовой сущностью в ее проявлениях;
(2) родовые термины являются жесткими (rigid) десигнаторами: они определяют один и тот же род (вид) объектов во всех возможных мирах, в которых существует этот род.
Тезисы (1) и (2) покрывают две пересекающиеся области определения. Положение (1) заявляет каузальную теорию референции для родового термина. Такое объяснение призвано отвечать на вопросы вида: "На каком основании термин “вода” относится к
Существует несколько различных каузальных теорий референции, сходящихся на том, что референциальная связь между родовым термином и его референтом может быть установлена даже в том случае, если говорящий не информирован или плохо информирован о природе референта. В наиболее общем виде эта позиция выражена Крипке следующим образом:
Мы используем термин «золото» как термин для некоторого рода вещей. Другие люди обнаружили этот
Здесь Крипке показывает, что его широкий подход к референции, например, термина «золото» в идиолекте говорящего позволяет успешно указывать на золото, даже если тот ничего не знает о природе золота или о том, где найти золото в окружающей его среде.
Вообще говоря, термины для естественных родов (например, животных, растений и химических веществ) получают референцию следующим образом: субстанция определяется как родовая сущность, представленная (почти всегда) данным образцом.