Как осуществляется и как возможно дескриптивное расширение наличной реальности, означающее по существу увеличение знания о мире?
Поскольку мы считаем и дескрипцию, и более развернутые характеристики предмета — например, объяснение — различными видами описания некоторой сущности (в данном случае, трактуя термин "описание" подобным расширительным образом, мы не отступаем от современной аналитической традиции), постольку переход от одного вида описания к другому сам, в свою очередь, может быть описан. Такое описание перехода от дескрипции к объяснению предполагает установление некоторых критериев, руководствуясь которыми мы можем в случае необходимости говорить о таком переходе как о совершившемся (см. § 12.2.)
Указанная проблема достаточно широко обсуждалась в дискуссиях о "догмах эмпиризма", и отсутствие (или недостаточная мотивация) собственно эпистемологических оснований для формализации эмпирических данных в дедуктивных теориях не является на сегодняшний день специфически "анархическим" допущением: оно не оспаривается и вполне сдержанными исследователями. Однако здесь оказывается более релевантным прагматический критерий: поскольку теория отвечает целям не только объяснения уже известных фактов, но и предсказания новых, постольку она признается удовлетворительной, а отсутствие или невозможность метаметодологического обоснования теории как описания некоторой трансцендентной ей сущности не снижает ее ценности как теории. Применительно к языковым системам это означает, что если мы можем успешно употреблять термин в будущем таким же образом, каким мы его употребляли в прошлом, то сам этот факт выступает для нас в качестве более релевантного критерия правильности или истинности обозначения, чем степень и собственно характер соотнесенности этого термина с его референтом. Таким образом, элементарные термины устанавливаются самим функционированием языковой системы. Н. Гудмен выразил эту мысль следующим образом:
Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран элементарным.
Поэтому важный для нас вывод, следующий отсюда, таков:
Дескриптивное содержание, которое мы связываем с именем, не представляет значение имени; оно используется скорее, чтобы установить референцию имени.
Указание дескрипциями само по себе возможно тогда и только тогда, когда мы предварительно уже обладаем некоторым знанием об указанном объекте. Тогда само указание сводится к проверке соответствия некоторых предикатов определенным свойствам, уже известным нам. Допустим, мы обладаем знанием следующей совокупности дескрипций: человек, который был великим оратором, жил в Древнем Риме и был лыс. Мы полагаем, что этим человеком был Цицерон. Однако наша уверенность в правильном указании основывается на том, что мы уже ранее обладали достаточными знаниями о человеке по имени Цицерон — достаточными в том смысле, что мы были способны ответить на вопрос: "на кого вы указываете?" Наше указание сводится к установлению соответствия между известными дескрипциями и ранее известными нам свойствами Цицерона.
Однако неясно — и неясно, с какой точки зрения может быть определено — какое количество дескрипций будет необходимым и достаточным для выделения объекта. Поэтому во многих ситуациях дескриптивный способ указания не обеспечивает выделения объектов или референтов единственным образом.
Недостатки указания дескрипциями обнаруживаются, например, при попытке указания с помощью одних и тех же дескрипций на один и тот же объект в различные периоды — скажем, на человека по имени Цицерон в юности, когда он еще не облысел, и в период позирования для бюста. Отсюда понятно, почему принцип идентифицирующих дескрипций не выдерживает некоторых контрпримеров: они возникают оттого, что возможны ситуации, в которых референт имени не выделяется данной совокупностью дескрипций, или ситуаций, в которых объект, удовлетворяющий такому описанию, не является искомым референтом. В последнем случае ситуация выглядит, с точки зрения корреспондентной теории истины, следующим образом: дескрипции действительно указывают на объект, но указание оказывается ложным.
Такого рода ситуации свидетельствуют о необходимости выделения двух моментов в указании: определения истинности илиложности значения имени указываемого объекта и определения истинности илиложности способа указания. Такая теория, которая отображала бы значение выражения, должна состоять:
а) из теорем T-теории;
б) из теории выражений, используемых в T-теоремах.
Отождествление этих моментов в принципе идентифицирующих дескрипций приводит к описанным трудностям.
Рассмотренные особенности дескриптивного способа указания приводят к вопросу о различии между знанием того, что означает данное выражение, и тем, что оно называет. Знание того, что такое вода, например, требует определенных знаний оводе. Можно было бы сказать: только тот, кто знает, что вода есть Н2О, на самом деле знает, что такое вода. Однако понимание термина "вода" не требует этого. Другими словами, следует проводить различие между пониманием термина и конкретным знанием конкретного объекта, на который он указывает. Такое различие предполагает, далее, разграничение знания семантических фактов относительно слов и знания эмпирических фактов относительно их референтов. Обладать некоторым знанием объекта, достаточным для его идентификации, означает тогда располагать не просто информацией об объекте, но и информацией о значении термина, указывающего на этот объект.
Так, Сол Крипке утверждает, что фрегеанская теория не в состоянии дать адекватную теорию того, как имена указывают на предметы, и предлагает более адекватное, по его мнению, объяснение того, как имена выбирают свои референты. В теории Крипке появляются два важных компонента: социальный и каузальный. Теория дескрипций считает, что имя N обозначает объект x при использовании S в том случае, если x единственно удовлетворяет всем или большинству таких предикатов F, что S согласился бы с "N есть F"; имя определяет свое обозначение с помощью критерия пригодности. Но во многих случаях информация, обычно связываемая со специфическими индивидами, является ошибочной. Поэтому теория дескрипций могла бы быть расширена за счет включения социального элемента, который Крипке считает необходимым. Согласно такой альтернативе, имена должны рассматриваться как играющие референциальную роль в пределах языкового сообщества, а дескрипции, которые связаны с именем, должны определяться общепринятыми убеждениями (beliefs) по поводу называемого индивида. Это не обязательно должно достигаться усреднением убеждений языкового сообщества, касающихся этого индивида: может быть увеличен "удельный вес" отдельных дескрипций — например, принадлежащих тем членам языкового сообщества, кто обладает лучшим знанием рассматриваемого индивида.
Согласно Крипке, выбор не может зависеть исключительно от свойств, которыми обладает индивид; каузальный элемент должен быть включен в любую успешную теорию референции. Необходимость в каузальном элементе может быть обнаружена по следующей аналогии: расплывчатая фотография все же является фотографией именно некоторого специфического человека на основании причинного отношения, даже если мы можем получить лучшее представление о внешности этого человека по фотографии его близнеца.
Каузальная референция выглядит, по Крипке, следующим образом. Индивид x "окрещен" именем N, и далее это имя передается от одного к другому конкретному случаю употребления N. Говорящий может обозначить x при помощи имени N, если имеется цепь сохраняющих референцию связей, который ведет назад к начальному крещению. Связь сохраняет референцию, если говорящий намеревается использовать имя с той же самой референцией, что и тот человек, от которого он его слышал ("так говорят"). С помощью подобного рода каузальной зависимости объясняется возможность употребления имени в таких ситуациях, где для обсуждаемого индивида не отыскиваются дескрипции, идентифицирующие его единственным образом.
Возникающий в этой связи вопрос таков: