Аргумент такой формы заключает, что утверждение тождества ложно, с помощью

метафизического утверждения относительно того, что является возможным, и

предположения, что оба термина являются твердыми десигнаторами.

Однако знания такого рода случайных характеристик недостаточно для идентификации понятия в контрфактических ситуациях. Вполне возможно, что естественный род вещей может вообще не проявлять в некотором возможном мире тех свойств, по которым его впервые идентифицировали.

Например, причина тепловых явлений, вызывающих ощущение тепла, объясняется через молекулярное ощущение. Это свойство Крипке предлагает считать необходимо истинным в самом строгом смысле, потому что мы не в состоянии представить возможный мир, в котором тепловые изменения не проявляются через молекулярное ощущение. По этой причине «молекулярное движение» определяется как твердый десигнатор, который вместе с другим твердым десигнатором – «тепло» – составляет необходимо истинное утверждение тождественности.

Существует сходство между концепцией Крипке и концепцией собственных имен Рассела. Процедура именования проводится аналогично подлинным собственным именам Рассела в условиях неполноты знания свойств указываемого объекта. Каузальную точку зрения Крипке на указание можно считать аналогом расселовского «знания по знакомству» (acquaintance). Их сходство проявляется в том, что знание в «церемонии первого крещения» и «знание по знакомству» являются исходными и «неисправимыми» элементами в концепциях именования Рассела и Крипке.

Но термины естественных родов не во всем подобны собственным именам. Их различие связано с тем, что тождественность терминов родов в качестве твердых десигнаторов основывается на конкретных научных данных: например, утверждение тождественности «тепло – молекулярное движение», хотя и является необходимо истинным, получено в результате конкретных научных исследований. Поэтому свойство «молекулярное движение» в контексте развития науки может быть определено скорее как «важное», но не как существенное или необходимое. Идентификация указанного свойства в качестве необходимо истинного, т.е. истинного во всех возможных мирах, предполагает, что мы находимся на некотором идеальном конце науки, поскольку в дальнейшем мы не можем утверждать что-либо новое природе тепловых явлений. Если же термин «молекулярное движение» определяется в качестве «важного», понятие «необходимого» будет зависеть от контекста развития науки. Это ставит под вопрос тезис о независимости метафизической тождественности имен от эпистемологических посылок, от исследовательской позиции. Использование твердых десигнаторов позволяет избежать разговора только об индивидуирующих сущностях или об идентифицируемых объектах, но не об «аристотелевских сущностях», под которыми подразумевается совокупность свойств, необходимых для существования вещи естественного рода. Именно знание такого рода свойств, выражающих, по мнению Крипке, природу объекта, гарантирует нам указание во всех возможных мирах (например, для золота этим свойством является атомный вес 79). Но если мы считаем, например, что определение понятия необходимо зависит от контекста развития науки, то мы должны говорить не об одной сущности, а об их иерархии по ходу развития науки – или даже о нескольких альтернативных иерархиях. Аналогичным образом альтернативные позиции возможны в обыденном языке. По замечанию Гудмена, термины, принятые в качестве элементарных для некоторой системы, вполне могут поддаваться определению в какой-либо другой системе; не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным. Отсюда следует, в частности, что подобная концепция именования имеет вполне определенные эпистемологические границы.

Возражение, выдвигаемое по этому основанию против чрезмерно широких теорий референции, состоит в том, что использование родового термина будет обычно указывать на нечто, являющееся членом многих различных родов. Например, термин «золото» можно употребить по отношению к любой вещи, сделанной или состоящей (по мнению говорящего) из золота: золотому запасу государства, украшениям, сокровищам Трои, «Петрушке» Шемякина или в качестве метафоры. Почему термин «золото» отсылает к предмету указания скорее, чем, скажем, «ценность» или «блестящая тяжесть»? В общем виде проблема может быть сформулирована следующим образом: когда родовой термин T употребляется для указания на объект O, который является проявлением родовых свойств K1 – Кn, то почему T указывает только на один из этих родов?

Предположим, что некий посетитель выставки Шемякина указывает – пальцем, т.е. остенсивно – на золотую статуэтку Петрушки и произносит «Золото!» с намерением обозначить некоторую сущность, которая, по его мнению, обладает таким набором признаков или качеств, который является необходимым и достаточным для того, чтобы эта сущность могла быть идентифицирована с помощью этого термина. Предположим, далее, что наш посетитель выставки узнал в статуэтке персонаж русского фольклора и произносит «Клоун!» или «Искусство!» Чем будет в данном случае различаться применение этих обозначений? За исключением индивидуальных представлений говорящего о качественных свойствах родов, подобные широкие теории референции, кажется, не располагают никакими концептуальными средствами, которые могли бы эксплицировать различие между референциальными свойствами употребленных родовых терминов «золото», «искусство» и «клоун». Вопрос будет скорее заключаться в том, являются ли термины «искусство» и «клоун» родовыми – иными словами, является ли Петрушка клоуном тем же способом, что Шер Хан тигром, или тем же способом, что Дон Жуан холостяком? Дон Жуан может жениться, оставаясь при этом Дон Жуаном; Шер Хан не может перестать быть тигром, не перестав при этом существовать в качестве Шер Хана. В самом деле, Петрушка является Петрушкой, а его имя является нарицательным постольку, поскольку он является клоуном. Однако можно задать такое расширение контекста – например, реалистический или постмодернистский роман о Петрушке, – в котором он покидает балаган, поступает в лакеи к Чичикову, затем женится на подруге детства, становится уважаемым членом общества Петром Петровичем, ведет политическую деятельность и т.д.; но для жены он по-прежнему остается ярмарочным весельчаком Петрушкой, и по вечерам, запершись в спальне, пляшет для нее под бубенчики. Поэтому возникающий в такой связи вопрос уместнее будет сформулировать так: является ли термин «клоун» родовым здесь, в данном контексте, для данной концептуальной схемы?

Тогда, если родовой термин T употребляется для указания на объект O, который является проявлением родовых свойств K1 – Кn, то T указывает (прежде всего) на тот из этих родов, который является наиболее релевантным для ассоциируемой концептуальной схемы W.

Поэтому вряд ли корректно было бы сказать, что в контексте, например, истории о женитьбе Петрушки термин «клоун» уже не будет родовым: скорее следует сказать, что в этой истории не задан контекст (в данном случае – обычно являющийся фоновым для этого термина), позволяющий термину «клоун» проявиться, актуализоваться, осуществиться в качестве родового. Такая актуализация реализуется через каузальную фиксацию термина в качестве жесткого десигнатора, который выбирает один и тот же индивид в каждом возможном мире.