Например, причина тепловых явлений, вызывающих ощущение тепла, объясняется через молекулярное ощущение. Это свойство Крипке предлагает считать необходимо истинным в самом строгом смысле, потому что мы не в состоянии представить возможный мир, в котором тепловые изменения не проявляются через молекулярное ощущение. По этой причине "молекулярное движение" определяется как твердый десигнатор, который вместе с другим твердым десигнатором — "тепло" – составляет необходимо истинное утверждение тождественности.
Существует сходство между концепцией Крипке и концепцией собственных имен Рассела. Процедура именования проводится аналогично подлинным собственным именам Рассела в условиях неполноты знания свойств указываемого объекта. Каузальную точку зрения Крипке на указание можно считать аналогом расселовского "знания по знакомству" ( acquaintance ). Их сходство проявляется в том, что знание в "церемонии первого крещения" и "знание по знакомству" являются исходными и "неисправимыми" элементами в концепциях именования Рассела и Крипке.
Но термины естественных родов не во всем подобны собственным именам. Их различие связано с тем, что тождественность терминов родов в качестве твердых десигнаторов основывается на конкретных научных данных: например, утверждение тождественности "тепло – молекулярное движение", хотя и является необходимо истинным, получено в результате конкретных научных исследований. Поэтому свойство "молекулярное движение" в контексте развития науки может быть определено скорее как "важное", но не как существенное или необходимое. Идентификация указанного свойства в качестве необходимо истинного, т.е. истинного во всех возможных мирах, предполагает, что мы находимся на некотором идеальном конце науки, поскольку в дальнейшем мы не можем утверждать что-либо новое природе тепловых явлений. Если же термин "молекулярное движение" определяется в качестве "важного", понятие "необходимого" будет зависеть от контекста развития науки. Это ставит под вопрос тезис о независимости метафизической тождественности имен от эпистемологических посылок, от исследовательской позиции. Использование твердых десигнаторов позволяет избежать разговора только об индивидуирующих сущностях или об идентифицируемых объектах, но не об "аристотелевских сущностях", под которыми подразумевается совокупность свойств, необходимых для существования вещи естественного рода. Именно знание такого рода свойств, выражающих, по мнению Крипке, природу объекта, гарантирует нам указание во всех возможных мирах (например, для золота этим свойством является атомный вес 79). Но если мы считаем, например, что определение понятия необходимо зависит от контекста развития науки, то мы должны говорить не об одной сущности, а об их иерархии по ходу развития науки — или даже о нескольких альтернативных иерархиях. Аналогичным образом альтернативные позиции возможны в обыденном языке. По замечанию Гудмена, термины, принятые в качестве элементарных для некоторой системы, вполне могут поддаваться определению в какой-либо другой системе; не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным. Отсюда следует, в частности, что подобная концепция именования имеет вполне определенные эпистемологические границы.
Возражение, выдвигаемое по этому основанию против чрезмерно широких теорий референции, состоит в том, что использование родового термина будет обычно указывать на нечто, являющееся членом многих различных родов. Например, термин "золото" можно употребить по отношению к любой вещи, сделанной или состоящей (по мнению говорящего) из золота: золотому запасу государства, украшениям, сокровищам Трои, "Петрушке" Шемякина или в качестве метафоры. Почему термин "золото" отсылает к предмету указания скорее, чем, скажем, "ценность" или "блестящая тяжесть"? В общем виде проблема может быть сформулирована следующим образом: когда родовой термин T употребляется для указания на объект O , который является проявлением родовых свойств K 1 - К n , то почему T указывает только на один из этих родов?
Предположим, что некий посетитель выставки Шемякина указывает — пальцем, т.е. остенсивно — на золотую статуэтку Петрушки и произносит "Золото!" с намерением обозначить некоторую сущность, которая, по его мнению, обладает таким набором признаков или качеств, который является необходимым и достаточным для того, чтобы эта сущность могла быть идентифицирована с помощью этого термина. Предположим, далее, что наш посетитель выставки узнал в статуэтке персонаж русского фольклора и произносит "Клоун!" или "Искусство!" Чем будет в данном случае различаться применение этих обозначений? За исключением индивидуальных представлений говорящего о качественных свойствах родов, подобные широкие теории референции, кажется, не располагают никакими концептуальными средствами, которые могли бы эксплицировать различие между референциальными свойствами употребленных родовых терминов "золото", "искусство" и "клоун". Вопрос будет скорее заключаться в том, являются ли термины "искусство" и "клоун" родовыми — иными словами, является ли Петрушка клоуном тем же способом, что Шер Хан тигром, или тем же способом, что Дон Жуан холостяком? Дон Жуан может жениться, оставаясь при этом Дон Жуаном; Шер Хан не может перестать быть тигром, не перестав при этом существовать в качестве Шер Хана. В самом деле, Петрушка является Петрушкой, а его имя является нарицательным постольку, поскольку он является клоуном. Однако можно задать такое расширение контекста — например, реалистический или постмодернистский роман о Петрушке, — в котором он покидает балаган, поступает в лакеи к Чичикову, затем женится на подруге детства, становится уважаемым членом общества Петром Петровичем, ведет политическую деятельность и т.д.; но для жены он по-прежнему остается ярмарочным весельчаком Петрушкой, и по вечерам, запершись в спальне, пляшет для нее под бубенчики. Поэтому возникающий в такой связи вопрос уместнее будет сформулировать так: является ли термин "клоун" родовым здесь, в данном контексте, для данной концептуальной схемы?
Тогда, если родовой термин T употребляется для указания на объект O , который является проявлением родовых свойств K 1 — К n , то T указывает (прежде всего) на тот из этих родов, который является наиболее релевантным для ассоциируемой концептуальной схемы W .
Поэтому вряд ли корректно было бы сказать, что в контексте, например, истории о женитьбе Петрушки термин "клоун" уже не будет родовым: скорее следует сказать, что в этой истории не задан контекст (в данном случае — обычно являющийся фоновым для этого термина), позволяющий термину "клоун" проявиться, актуализоваться, осуществиться в качестве родового. Такая актуализация реализуется через каузальную фиксацию термина в качестве жесткого десигнатора, который выбирает один и тот же индивид в каждом возможном мире.
3. Индексикалы
Если собственные имена являются жесткими десигнаторами, то выбор индивида при установлении референции к нему зависит от "каузальной истории" использования данного имени, а она восходит к некоторому акту первоначального именования — "так окрестили". В своей типичной форме этот первоначальный акт устанавливает референцию посредством указательного местоимения или прямого указания на объект реального мира. Если принять эту точку зрения, то, очевидно, следует считать, что интенсионал собственного имени не фиксирован на каком-либо одном представлении в головах говорящих, общем для всех, кто использует это имя как единицу данного языка.
Х.Патнэм показал, что подобный процесс имеет место в очень многих случаях; в частности, с естественно-родовыми терминами. Если в язык успешно внедряется такой термин — например, "тигр" — то этот процесс в типичной форме включает в себя два первичных фактора: указывающую (остенсивную) референцию к одному или более тиграм и правильную презумпцию первоначальных пользователей этого термина о том, что индивиды, о которых идет речь, — представители некоторого естественного класса, скажем, одного биологического вида. Носители языка, употребляющие такой термин, обладают прагматически надежным критерием для отождествления тигров – "стереотипом тигра"; последний, вообще говоря, может быть недостаточен для отличения тигров от других возможных видов с внешне сходными признаками, но термин все же будет, в силу своей "каузальной истории" в языке, сохранять референцию к актуально данному виду, к тиграм, поскольку она была установлена в первоначальном акте внедрения термина. Такое действие было названо Барбарой Холл Парти установлением функции актуальной интерпретации.
Вообще можно сказать, что для каждого термина, введение которого в язык хотя бы частично было основано на остенсивном акте фиксации референции, интенсионал этого термина частично устанавливается на основе свойств объекта (или объектов) реального мира, первоначально вовлеченных в акт введения термина. В таких случаях незнание говорящим экстенсионала термина или "причинной истории" термина ведет к незнанию интенсионала, но не мешает термину иметь интенсионал в языке говорящего.
Согласно Патнэму, границы между экстенсионалами устанавливаются более или менее произвольно: в этом смысле содержание существующего технического определения может быть конвенционально. Основная идея здесь состоит в том, что термины естественных родов подобны в своем поведении не определенным дескрипциям, а индексикалам — словам вида "я", "ты", "он", "это вещество", референция которых зависит от обстоятельств их употребления. Фактически Патнэм утверждает, что почти все слова нашего языка функционируют как индексикалы ( indexical words ), и, следовательно, термины естественных родов совсем не отличаются от других типов общих терминов. Патнэм придерживается весьма широких взглядов на референцию: согласно нему, говорящий может успешно указывать на вязы и буковые деревья, даже если он не может отличить их друг от друга; он может обозначать H 2 O раньше, чем была развита химия, и он может обозначать тигров, даже если многие из его идентификационных представлений относительно тигров ложны. Природа причинной референциальной связи между родовым термином и референтом определяется тем, что родовые термины содержат индексикальный компонент. Патнэм использует свою теорию родовых терминов для объяснения референции через экстенсионал общих терминов (под последним понимается множество объектов, относительно которых общий термин является истинным).