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

Cерьезная особенность каузальной теории референции Крипке состоит в том, что закрепление указания чаще всего происходит по случайному свойству объекта: хотя для Аристотеля самое существенное свойство связано с его философскими работами, а для Цицерона – с ораторской деятельностью, отсутствие этих свойств не лишило бы их собственных имен. С такой точки зрения, действительное употребление имени не требует знания существенных свойств объекта, поскольку референция определяется возможностью проведения «каузальной цепи» от настоящего употребления к первому употреблению. Изменение взгляда на соотношение имени и его носителя выступает как следствие этой центральной идеи каузальной теории референции.

Единственный способ референции в концепции Крипке – это именование, поэтому сфера действия процедуры именования значительно расширяется. Каждый естественный род обладает определенными отождествляющими характеристиками, которые могут быть разделены на случайные и необходимые. Закрепление указания термина часто осуществляется по случайным свойствам. Например, термин «тепло» был первоначально закреплен по ощущению тепла, вызываемому у человека. Если кто-то в другом возможном мире попытается закрепить этот термин посредством иного признака – допустим, в силу неспособности воспринимать тепло – то это не значит, что термину «тепло» соответствует другой референт. Случайные свойства – цвет, вкус, способность оказывать определенное чувственное воздействие на человека и т.д. – по-картезиански отделены от первичных, сущностных качеств и не существенны для естественных родов, а проявляются в ощущениях человека и служат для закрепления первых указаний.

Отсюда следует, что тождество объектов, которое по эмпиристской традиции считается случайным, не является таковым, если объекты поименованы жесткими десигнаторами, выбирающими один и тот же индивид в каждом возможном мире, в котором этот индивид существует. Таким образом, согласно Крипке, тождества необходимо истинны, если они истинны вообще.

Так, рассмотрим утверждение тождества, в котором обе стороны являются жесткими десигнаторами. Если такое утверждение истинно, то оно необходимо истинно. Например, истинно утверждение тождества «Утренняя звезда = Вечерняя звезда». Как жесткие десигнаторы, оба эти термина определяют одну и ту же вещь (планету Венера) во всех возможных мирах. Так, в каждом возможном мире, в котором существует Венера, утверждение «Утренняя звезда = Вечерняя звезда» является истинным. Таким образом, это утверждение необходимо истинно.

Используя имена тем способом, каким мы обычно это делаем, мы можем сказать заранее, что если Утренняя звезда и Вечерняя звезда являются одним и тем же, то ни в каком возможном мире они не могут быть различны. Мы используем [термин] «Утренняя звезда» как имя определенного тела и «Вечерняя звезда» как имя определенного тела. Мы используем их как имена этих тел во всех возможных мирах. Если фактически они являются одним и тем же телом, то в любом другом возможном мире мы должны использовать их как имя этого объекта. Итак, в любом другом возможном мире будет истинно, что Утренняя звезда является Вечерняя звездой.

Крипке признает, что утверждение тождества носит эмпирический характер (не аналитично) и может быть оправдано только a posteriori. В результате истинные подлинные утверждения тождества (утверждения тождества между жесткими десигнаторами) необходимы a posteriori. Мы не знаем a priori, что Утренняя звезда – это Вечерняя звезда, и не имеем, согласно Крипке, возможности выяснить ответ каким-либо путем, кроме эмпирического. Об этом свидетельствует то соображение, что мы могли бы иметь очевидность, «качественно неотличимую» от очевидности, которую мы имеем, и определять референцию обоих имен позициями двух планет в небе без того, чтобы эти планеты были одной и той же планетой.

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

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

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

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

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

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

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

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

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