Такие проблемы возникают потому, что мы можем знать слишком мало фактов, касающихся какого-либо человека, для того, чтобы связать его имя с уникальным описанием. Подобные проблемы будут возникать, когда то, что мы думаем о каком-то человеке, оказывается ложным. Многие из нас думают, что Курт Гедель был первым человеком, доказавшим неполноту арифметики, и если это все, что мы о нем знаем, то именно это должно стать описанием референта слова «Гедель». Крипке предлагает нам вообразить, что на самом деле некий никому не известный венец по фамилии Шмидт, погибший при невыясненных обстоятельствах, был первым, кто доказал неполноту арифметики, а Гедель сумел каким-то способом добыть его рукопись. Теперь давайте зададимся вопросом, к кому относится фамилия «Гедель»? Согласно описательной теории, это имя соотносится с человеком, первым доказавшим неполноту арифметики, и этим человеком был Шмидт.
Итак, многие люди будут иметь в виду совсем не того человека, который при крещении получил от родителей имя «Курт Фридрих Гедель», похитил рукопись Шмидта, сделался знаменитым благодаря ее публикации, стал другом Эйнштейна в Принстонском университете, — все они будут иметь в виду безвестного несчастного Шмидта. Понятно, что это не так. Если бы история с рукописью Шмидта была правдой, то было бы естественным и правильным думать, что люди, которые знают о Геделе только то, что он был первым, кто доказал неполноту арифметики, обладают ложным убеждением относительно логика из Принстона, а не истинным убеждением относительно Шмидта.
Итак, похоже, что мнение об именах как об определяющих описаниях имеет множество серьезных недостатков. Но описательный подход имеет по меньшей мере одно преимущество: если имена суть просто эквиваленты определяющего описания, то мы имеем ясное представление о том, как фиксируются обозначения имен. Но какова альтернатива Крипке такому обозначению имен? Крипке не предлагает детально разработанной теории присваивания имен, но зато рисует более общую картину того, как работают имена. Вот простейший случай. Человеку или предмету имя дают во время церемонии присваивания имени, например, при крещении. Ребенку дали имя «Ихабод». Джейн присутствовала на церемонии крещения, что дает ей возможность использовать это имя, упоминая ребенка. Потом Джейн рассказывает о ребенке Джону, который не присутствовал при крещении. Теперь Джон использует имя «Ихабод» и намерен использовать его впредь, называя так ребенка, о котором рассказала ему Джейн. Итак, применение Джоном имени «Ихабод» не зависит от того, обладает ли он в своем сознании каким-то описанием ребенка, а определяется тем фактом, что он усвоил употребление этого имени от того, кто присутствовал при крещении. Джон моясет передать свое знание имени кому-то еще, кто затем будет столь же целенаправленно его использовать. Так, когда кто-то говорит «Наполеон был императором французов», то для него слово «Наполеон» обозначает именно Наполеона, поскольку существует неразрывная цепочка обозначений, которую можно протянуть к моменту крещения Наполеона его родителями. Эта цепочка является причинноследственной, потому что более позднее употребление этого слова каузально зависит от его более раннего употребления. Поэтому трактующую эти вопросы теорию чаще всего называют «казуальной теорией референций». В случае с «Наполеоном» эта каузальная цепочка приводит нас к самому Наполеону. Цепочка сохранения последовательности соотнесений (референций) не обязательно должна быть такой в каждом случае (похожая цепочка существует и в разговоре между собеседниками — она является причинноследственной, но при этом не связана с называемым объектом). В некоторых случаях описание можно использовать для идентификации некоторых объектов как целевых реципиентов — получателей имени. Известно, например, что планеты существуют и вне Солнечной системы, но это известно по большей части из теоретических рассуждений, а не в результате прямых наблюдений; тем не менее этим планетам могут быть присвоены имена, являющиеся эквивалентами теоретических описаний. В таких случаях существует каузальная связь между названным объектом и процессом его наименования, хотя в других случаях определяющее описание может ввести имя абстрактного объекта (например, «отношение длины окружности к ее диаметру» для л), и тогда каузальная связь с наименованным объектом отсутствует.