Каузальные теории референции
Блинов А.К.
1. Идентифицирующие дескрипции
Как мы видели при обсуждении конвенциональности значения, использование понятия конвенции не решает проблему индивидуирующих функций, т.е. процедуру прослеживания индивидов сквозь возможные миры. Эта проблема обладает относительной независимостью от формальных проблем семантики возможных миров.
Для решения задачи идентификации предмета обозначения привлекается понятие дескрипции, понимаемой при этом как языковая (текстовая) характеристика предмета по некоторым из его признаков, которая может употребляться в языке (речи) вместо имени этого предмета. Успешность такого употребления выступает показателем релевантности тех параметров, по которым произведена дескрипция.
Например, вместо имени "Наполеон" можно употребить дескрипцию "побежденный при Ватерлоо" — или, скажем, дескрипцию " vaincu a Waterloo ", являющуюся переводом первой на другой естественный язык. Вместе с тем дескрипция "побежденный при Бородино" будет указывать на Наполеона, а ее перевод на французский язык — " vaincu a Borodino " — наоборот, на его противника Кутузова: поскольку в указанном сражении было уничтожено примерно равное число людей с обеих сторон, а войска при этом остались на прежних позициях, то вопрос о том, кто же при этом оказался победителем, оказывается вопросом интерпретации. Естественный язык при этом выступает не в качестве некоторой эмпирической догмы ("язык, на котором в действительности говорят все французы"), а в качестве некоторого основания формализации (например — язык, совокупность всех тривиально истинных предложений которого единственным образом определяет объем понятия истины для его носителя). Дескрипция оказывается, таким образом, релятивизованной к некоторой системе описания, или концептуальной схеме. Наиболее простым — и наиболее привлекательным для многих, в том числе наиболее авторитетных, исследователей — путем снятия этой проблемы оказывается отождествление концептуальной схемы с языком. Однако такой ход не устраняет затруднений, связанных с идентификацией референта в интенсиональных контекстах. Для их элиминации привлекаются понятия коммуникативного намерения, иллокутивной силы высказывания и множество других, достаточно гетерогенных понятий, коррелирующих в том отношении, что они образуют некую "референцию говорящего" (К. Доннелан), управляющую семантической референцией.
Для устранения проблем, вытекающих из подстановки кореферентных выражений, в теориях значения привлекаются множество самых разнообразных техник и понятий, большинство из которых сходны в том отношении, что они апеллируют к представлениям о некой "референции говорящего", управляющей семантической референцией. Пафос подобных усилий заключается в следующем: поскольку невозможно непосредственное указание на объекты в референциально непрозрачных контекстах и требуются дополнительные идентифицирующие процедуры, постольку проблема референции оказывается связанной с проблемой индивидуации некоего предмета. Возможна ли все же индивидуация посредством именно дескрипций и каким требованиям должны отвечать такие дескрипции?
Суть принципа идентифицирующих дескрипций резюмирована в известном утверждении "дескриптивной метафизики" П. Стросона: "Имя ничего не значит без поддержки дескрипций". В соответствии с этим принципом знание ряда дескрипций обеспечивает возможность выделения "базисного индивида" — референта собственного имени — единственным образом. Так, возможность распознавания человека по имени Цицерон достигается при условии знания дескрипций "великий оратор" и "житель Древнего Рима" определенным образом. Однако, с этим требованием определенности понимания дескрипций, лежащих в основании индивидуации, связана проблема межконтекстуальной многозначности: дескриптивный способ указания не гарантирует выделения во многих ситуациях единственного референта, удовлетворяющего имеющимся в наличии дескрипциям.
Когда говорящий утверждает нечто, обладающее формой " N есть Р", где N — имя, а Р — предикат, то условия истинности выглядят следующим образом: сказанное истинно ТТТ:
а) имеется некая (объектная) сущность, связанная определенным образом с использованием имени " N ";
б) предмет, существующий этой сущностью (т.е. существование этого предмета задает "наличие" этой сущности), обладает свойством, означенным "Р".
Возникающий в связи с этим вопрос может быть сформулирован так: каким образом идентификационные особенности предмета должна быть связана с использованием имени " N ", чтобы имя указывало на предмет?
Согласно принципу идентифицирующих дескрипций, ответ заключается в следующем: такой объект должен обладать свойствами, которые фиксируются соответствующими дескрипциями. По традиционным представлениям, идущим от Рассела и Фреге, указание на предмет возможно в случае представления собственного имени как совокупности дескрипций: знание таких, например, дескрипций, как "ученик Платона" и "учитель Александра Македонского", считается достаточным для указания на человека по имени "Аристотель". Возможность указания при таком подходе определяется некоторым уровнем знания об объекте, а сама проблема указания ставится как эпистемологическая проблема. Теория Рассела о дескриптивном содержании имен (по крайней мере, обычных имен собственных) является фрегеанской в том отношении, что, согласно ней, имена обеспечивают референцию к вещам через дескриптивное содержание, которое связано с именем. Иными словами, имя связано с эквивалентным (синонимичным) множеством дескрипций, и имя относится к чему бы то ни было, что удовлетворяет всем (или наибольшему количеству из имеющихся или возможных) дескрипций. С такой точки зрения, дескрипции дают значение имени, определяя предмет референции, который является чем бы то ни было, что удовлетворяет (или лучше всего удовлетворяет) дескрипции. Так, имя собственное является сингулярным выражением обращения, которое используется, чтобы обеспечить референцию к единственному индивиду или предмету. Возникающий в этой связи вопрос таков: в силу чего имена отсылают к их носителям? Согласно Расселу и Фреге, имя выбирает своего носителя в силу некоторой связанной с именем дескриптивной информации, которая относится исключительно к носителю имени.
Таким образом, традиционные представления о дескрипциях могут быть рассмотрены как основанные на репрезентационистском подходе к языку. Если референциальная теория в ее традиционном (эмпиристском) варианте отождествляла значение выражения с тем, на что оно указывает, или с референциальной связью (т.е. не привлекала допущения об отождествлении знания с возможностью описания), то включение в поле рассмотрения Т-теорий референциально непрозрачных контекстов, неизбежное при анализе высказываний естественного языка, потребовало увеличения выразительных возможностей формальных систем. Для этого теория референции должна быть основана на такой концепции указания, которая позволила бы выразить более сложные взаимоотношения между предметом и концептуальной схемой. В связи с этим возникает тенденция говорить не столько о значении, сколько о формах представления значения, или об определениях терминов, позволяющих единственным образом выделить указываемый предмет. Обладать некоторым знанием предмета, достаточным для его идентификации, означает тогда располагать не просто информацией о предмете, но информацией о значении термина, указывающего на этот предмет. Таковы, в частности, более современные референциальные ходы — жесткие десигнаторы, индексикалы, "референция говорящего" и т.д. Представляется, что, с такой точки зрения, описание предмета (трансцендентного описанию референта) с помощью дескрипции исходит из допущения о том, что этот предмет является так или иначе данным, заданным ( pre - given ); более же сложные виды описания исходят из несколько иного допущения, а именно: первичное описание предмета может быть помещено в контекст некоторой системы описания — или: имеется (дана, задана, может быть задана) такая система описания, что помещение в нее указания на описываемый референт не нарушит правил функционирования этой системы. Иначе — как, например, заметил Дэвидсон — такие каузальные теории референции не будут теориями значения, потому что они обратились бы к причинным отношениям между именами и объектами, о которых говорящие могут быть неосведомлены[43] .
Если есть система взаимосвязанных (формально и содержательно) обозначений и в этой системе взаимосвязаны как дескриптивные, так и конструктивные по характеру отношения к реальности — а эта реальность полагается в пределе общей для дескриптивного выражения в данной системе предложений — то перед нами встает вопрос: как эта внутренняя взаимосвязность (единство) достигается и сохраняется в контексте различного характера соотнесения с реальностью внутри данной системы предложений? Уместный здесь вопрос может быть сформулирован следующим образом: как осуществляется и как возможно дескриптивное расширение наличной реальности, означающее по существу увеличение знания о мире?
Поскольку мы считаем и дескрипцию, и более развернутые характеристики предмета — например, объяснение — различными видами описания некоторой сущности (в данном случае, трактуя термин "описание" подобным расширительным образом, мы не отступаем от современной аналитической традиции), постольку переход от одного вида описания к другому сам, в свою очередь, может быть описан. Такое описание перехода от дескрипции к объяснению предполагает установление некоторых критериев, руководствуясь которыми мы можем в случае необходимости говорить о таком переходе как о совершившемся (см. § 12.2.)
Указанная проблема достаточно широко обсуждалась в дискуссиях о "догмах эмпиризма", и отсутствие (или недостаточная мотивация) собственно эпистемологических оснований для формализации эмпирических данных в дедуктивных теориях не является на сегодняшний день специфически "анархическим" допущением: оно не оспаривается и вполне сдержанными исследователями. Однако здесь оказывается более релевантным прагматический критерий: поскольку теория отвечает целям не только объяснения уже известных фактов, но и предсказания новых, постольку она признается удовлетворительной, а отсутствие или невозможность метаметодологического обоснования теории как описания некоторой трансцендентной ей сущности не снижает ее ценности как теории. Применительно к языковым системам это означает, что если мы можем успешно употреблять термин в будущем таким же образом, каким мы его употребляли в прошлом, то сам этот факт выступает для нас в качестве более релевантного критерия правильности или истинности обозначения, чем степень и собственно характер соотнесенности этого термина с его референтом. Таким образом, элементарные термины устанавливаются самим функционированием языковой системы. Н. Гудмен выразил эту мысль следующим образом:
Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран элементарным.
Поэтому важный для нас вывод, следующий отсюда, таков: Дескриптивное содержание, которое мы связываем с именем, не представляет значение имени; оно используется скорее, чтобы установить референцию имени.
Указание дескрипциями само по себе возможно тогда и только тогда, когда мы предварительно уже обладаем некоторым знанием об указанном объекте. Тогда само указание сводится к проверке соответствия некоторых предикатов определенным свойствам, уже известным нам. Допустим, мы обладаем знанием следующей совокупности дескрипций: человек, который был великим оратором, жил в Древнем Риме и был лыс. Мы полагаем, что этим человеком был Цицерон. Однако наша уверенность в правильном указании основывается на том, что мы уже ранее обладали достаточными знаниями о человеке по имени Цицерон — достаточными в том смысле, что мы были способны ответить на вопрос: "на кого вы указываете?" Наше указание сводится к установлению соответствия между известными дескрипциями и ранее известными нам свойствами Цицерона.
Однако неясно — и неясно, с какой точки зрения может быть определено — какое количество дескрипций будет необходимым и достаточным для выделения объекта. Поэтому во многих ситуациях дескриптивный способ указания не обеспечивает выделения объектов или референтов единственным образом.
Недостатки указания дескрипциями обнаруживаются, например, при попытке указания с помощью одних и тех же дескрипций на один и тот же объект в различные периоды — скажем, на человека по имени Цицерон в юности, когда он еще не облысел, и в период позирования для бюста. Отсюда понятно, почему принцип идентифицирующих дескрипций не выдерживает некоторых контрпримеров: они возникают оттого, что возможны ситуации, в которых референт имени не выделяется данной совокупностью дескрипций, или ситуаций, в которых объект, удовлетворяющий такому описанию, не является искомым референтом. В последнем случае ситуация выглядит, с точки зрения корреспондентной теории истины, следующим образом: дескрипции действительно указывают на объект, но указание оказывается ложным.
Такого рода ситуации свидетельствуют о необходимости выделения двух моментов в указании: определения истинности илиложности значения имени указываемого объекта и определения истинности илиложности способа указания. Такая теория, которая отображала бы значение выражения, должна состоять:
а) из теорем T -теории;
б) из теории выражений, используемых в T -теоремах.
Отождествление этих моментов в принципе идентифицирующих дескрипций приводит к описанным трудностям.
Рассмотренные особенности дескриптивного способа указания приводят к вопросу о различии между знанием того, что означает данное выражение, и тем, что оно называет. Знание того, что такое вода, например, требует определенных знаний оводе. Можно было бы сказать: только тот, кто знает, что вода есть Н 2О, на самом деле знает, что такое вода. Однако понимание термина "вода" не требует этого. Другими словами, следует проводить различие между пониманием термина и конкретным знанием конкретного объекта, на который он указывает. Такое различие предполагает, далее, разграничение знания семантических фактов относительно слов и знания эмпирических фактов относительно их референтов. Обладать некоторым знанием объекта, достаточным для его идентификации, означает тогда располагать не просто информацией об объекте, но и информацией о значении термина, указывающего на этот объект.
Так, Сол Крипке утверждает, что фрегеанская теория не в состоянии дать адекватную теорию того, как имена указывают на предметы, и предлагает более адекватное, по его мнению, объяснение того, как имена выбирают свои референты. В теории Крипке появляются два важных компонента: социальный и каузальный. Теория дескрипций считает, что имя N обозначает объект x при использовании S в том случае, если x единственно удовлетворяет всем или большинству таких предикатов F , что S согласился бы с " N есть F "; имя определяет свое обозначение с помощью критерия пригодности. Но во многих случаях информация, обычно связываемая со специфическими индивидами, является ошибочной. Поэтому теория дескрипций могла бы быть расширена за счет включения социального элемента, который Крипке считает необходимым. Согласно такой альтернативе, имена должны рассматриваться как играющие референциальную роль в пределах языкового сообщества, а дескрипции, которые связаны с именем, должны определяться общепринятыми убеждениями ( beliefs ) по поводу называемого индивида. Это не обязательно должно достигаться усреднением убеждений языкового сообщества, касающихся этого индивида: может быть увеличен "удельный вес" отдельных дескрипций — например, принадлежащих тем членам языкового сообщества, кто обладает лучшим знанием рассматриваемого индивида.
Согласно Крипке, выбор не может зависеть исключительно от свойств, которыми обладает индивид; каузальный элемент должен быть включен в любую успешную теорию референции. Необходимость в каузальном элементе может быть обнаружена по следующей аналогии: расплывчатая фотография все же является фотографией именно некоторого специфического человека на основании причинного отношения, даже если мы можем получить лучшее представление о внешности этого человека по фотографии его близнеца.
Каузальная референция выглядит, по Крипке, следующим образом. Индивид x "окрещен" именем N , и далее это имя передается от одного к другому конкретному случаю употребления N . Говорящий может обозначить x при помощи имени N , если имеется цепь сохраняющих референцию связей, который ведет назад к начальному крещению. Связь сохраняет референцию, если говорящий намеревается использовать имя с той же самой референцией, что и тот человек, от которого он его слышал ("так говорят"). С помощью подобного рода каузальной зависимости объясняется возможность употребления имени в таких ситуациях, где для обсуждаемого индивида не отыскиваются дескрипции, идентифицирующие его единственным образом.
Возникающий в этой связи вопрос таков: каковы онтологические основания для того, чтобы "так говорить"?
На что, с такой точки зрения, указывают имена естественного языка, употребляемые в реальной речевой деятельности — на элементы мира, заданные самой природой вещей, или на конвенциональные классы? Функционируют ли выражения естественного языка (например, имена собственные) как термины естественных видов или как термины конвенциональной категоризации содержания мира? Теория сингулярной референции Крипке пересекается, таким образом, с теорией значения терминов естественных видов.
2. Жесткие десигнаторы
По традиционной (фрегеанской) теории, естественно-видовые термины ( kind terms ) функционируют аналогично именам собственным. Так же, как имена собственные имеют смысл, который определяет их референцию, так видовые термины имеют смысл или значение, которое определяет их экстенсионал, т.е. те случаи, к которым они применяются. В дополнение к этим естественно-видовым терминам существуют термины не-естественных, или конвенциональных (номинальных) видов. Поскольку естественные виды отражают дистинкции, локализованные во внешнем мире (является ли нечто золотом или тигром — вопрос экстралингвистический), постольку номинальные виды предстают предметом наших систем классификации и зависят от лингвистического удобства и соглашения. Естественные виды или рода определены внешним по отношению к его описанию миром; номинальные виды определены нашей конвенциональной категоризацией.
Концепция референции для видовых терминов должна, как и любая теория референции, экстенсионально корректным образом обеспечивать идентификацию объекта указания; специфика же указания именно посредством видовых терминов заключается в том, что такая теория предполагает некоторое объяснение особенностей указания не просто на объект, но на его сущностные свойства. Указание как связь между знаком (родовым или видовым термином) и обозначаемой им вещью (элементом множества внеязыковых объектов, образующих естественный род или вид) предстает, таким образом, в определенной степени обусловленным теми сущностными свойствами, благодаря которым эта вещь существует как идентифицируемая в своем видовом качестве.
Крипке предлагает решение этой проблемы с помощью двух допущений:
(1) родовой или видовой термин обозначает ( designates ) специфический род (вид) объектов на основании причинной связи, соединяющей термин с родовой сущностью в ее проявлениях;
(2) родовые термины являются жесткими ( rigid ) десигнаторами: они определяют один и тот же род (вид) объектов во всех возможных мирах, в которых существует этот род.
Тезисы (1) и (2) покрывают две пересекающиеся области определения. Положение (1) заявляет каузальную теорию референции для родового термина. Такое объяснение призвано отвечать на вопросы вида: "На каком основании термин “вода” относится к H 2 O ?" Это — объяснение способа, которым специфический тип термина соотносится с некоторой специфической частью мира. С другой стороны, (2) сообщает нам нечто относительно того, как родовой термин проявляет себя (т.е. может быть употреблен) в различных условиях. Положение (2) помогает нам отвечать на вопросы, подобные следующему: "Является ли утверждение “Вода заполняет реки и моря” истинным в возможном мире W ?"
Существует несколько различных каузальных теорий референции, сходящихся на том, что референциальная связь между родовым термином и его референтом может быть установлена даже в том случае, если говорящий не информирован или плохо информирован о природе референта. В наиболее общем виде эта позиция выражена Крипке следующим образом:
Мы используем термин "золото" как термин для некоторого рода вещей. Другие люди обнаружили этот род вещей, и мы слышали об этом. Таким образом, мы как часть языкового сообщества располагаем некоторой связью между нами непосредственно и некоторым родом вещей. Род вещей полагается имеющим некоторые параметры идентификации ( identifying marks ). Некоторые из этих параметров могут не быть действительно истинными для золота. Мы могли бы обнаружить, что заблуждаемся относительно них. Далее, может существовать такая субстанция, имеющая все параметры идентификации, которые мы обычно приписывали золоту и использовали для того, чтобы идентифицировать его, но эта субстанция не является тем же самым родом вещей. Мы сказали бы о такой вещи, что, хотя она имеет все признаки, которые мы первоначально используем, чтобы идентифицировать золото, это — не золото.
Здесь Крипке показывает, что его широкий подход к референции, например, термина "золото" в идиолекте говорящего позволяет успешно указывать на золото, даже если тот ничего не знает о природе золота или о том, где найти золото в окружающей его среде.
Вообще говоря, термины для естественных родов (например, животных, растений и химических веществ) получают референцию следующим образом: субстанция определяется как родовая сущность, представленная (почти всегда) данным образцом.
Крипке исходит из рассмотренных ранее недостатков референции при помощи дескрипций. Во-первых, нельзя утверждать, что для правильной референции именем как совокупностью дескрипций нам необходимо знание существенных и несущественных свойств указываемого объекта. Во-вторых, если даже нам известны существенные характеристики, то они мог быть истинны по отношению к другому референту, а не тому, который имеет в виду говорящий.
Такие представления ведут к изменению взглядов на условия появления референции. Согласно Крипке, мы не задаем свойства, которые каким-то способом качественно и исключительно выделяют некий предмет и таким образом определяют нашу референцию. Напротив, мы указываем на определенный референт не потому, что знаем его существенные свойства, а благодаря нашей связи с другими людьми, и эта связь доходит до самого референта. В общем случае наша референция зависит не только от того, что мы сами думаем, но и от других людей, от истории того, каким образом имя дошло до говорящего и т.п. Появление референции, с точки зрения Крипке, происходит в церемонии "первого крещения", например в случае первоначального именования домашнего животного, на которое при этом непосредственно указывают. В других ситуациях первое указание может закрепляться дескрипцией, которая отражает какое-либо конкретное свойство объекта. Таким образом, введение понятия жестких десигнаторов позволяет, во-первых, объяснить функционирование и усвоение терминов с момента их появления и, во-вторых, описать условия единичности референции как условия "церемонии крещения".
C ерьезная особенность каузальной теории референции Крипке состоит в том, что закрепление указания чаще всего происходит по случайному свойству объекта: хотя для Аристотеля самое существенное свойство связано с его философскими работами, а для Цицерона – с ораторской деятельностью, отсутствие этих свойств не лишило бы их собственных имен. С такой точки зрения, действительное употребление имени не требует знания существенных свойств объекта, поскольку референция определяется возможностью проведения "каузальной цепи" от настоящего употребления к первому употреблению. Изменение взгляда на соотношение имени и его носителя выступает как следствие этой центральной идеи каузальной теории референции.
Единственный способ референции в концепции Крипке — это именование, поэтому сфера действия процедуры именования значительно расширяется. Каждый естественный род обладает определенными отождествляющими характеристиками, которые могут быть разделены на случайные и необходимые. Закрепление указания термина часто осуществляется по случайным свойствам. Например, термин "тепло" был первоначально закреплен по ощущению тепла, вызываемому у человека. Если кто-то в другом возможном мире попытается закрепить этот термин посредством иного признака — допустим, в силу неспособности воспринимать тепло — то это не значит, что термину "тепло" соответствует другой референт. Случайные свойства — цвет, вкус, способность оказывать определенное чувственное воздействие на человека и т.д. – по-картезиански отделены от первичных, сущностных качеств и не существенны для естественных родов, а проявляются в ощущениях человека и служат для закрепления первых указаний.
Отсюда следует, что тождество объектов, которое по эмпиристской традиции считается случайным, не является таковым, если объекты поименованы жесткими десигнаторами, выбирающими один и тот же индивид в каждом возможном мире, в котором этот индивид существует. Таким образом, согласно Крипке, тождества необходимо истинны, если они истинны вообще.
Так, рассмотрим утверждение тождества, в котором обе стороны являются жесткими десигнаторами. Если такое утверждение истинно, то оно необходимо истинно. Например, истинно утверждение тождества "Утренняя звезда = Вечерняя звезда". Как жесткие десигнаторы, оба эти термина определяют одну и ту же вещь (планету Венера) во всех возможных мирах. Так, в каждом возможном мире, в котором существует Венера, утверждение "Утренняя звезда = Вечерняя звезда" является истинным. Таким образом, это утверждение необходимо истинно.
Используя имена тем способом, каким мы обычно это делаем, мы можем сказать заранее, что если Утренняя звезда и Вечерняя звезда являются одним и тем же, то ни в каком возможном мире они не могут быть различны. Мы используем [термин] "Утренняя звезда" как имя определенного тела и "Вечерняя звезда" как имя определенного тела. Мы используем их как имена этих тел во всех возможных мирах. Если фактически они являются одним и тем же телом, то в любом другом возможном мире мы должны использовать их как имя этого объекта. Итак, в любом другом возможном мире будет истинно, что Утренняя звезда является Вечерняя звездой.
Крипке признает, что утверждение тождества носит эмпирический характер (не аналитично) и может быть оправдано только a posteriori . В результате истинные подлинные утверждения тождества (утверждения тождества между жесткими десигнаторами) необходимы a posteriori . Мы не знаем a priori , что Утренняя звезда — это Вечерняя звезда, и не имеем, согласно Крипке, возможности выяснить ответ каким-либо путем, кроме эмпирического. Об этом свидетельствует то соображение, что мы могли бы иметь очевидность, "качественно неотличимую" от очевидности, которую мы имеем, и определять референцию обоих имен позициями двух планет в небе без того, чтобы эти планеты были одной и той же планетой.
Например, предположим, что (вопреки фактам) планета Вулкан выглядела бы в точности подобно тому, как выглядит по вечерам Венера. В этом возможном мире, термин "Вечерняя звезда" относился бы к Вулкану, а термин "Утренняя звезда" — к Венере; поэтому утверждение "Утренняя звезда тождественна Вечерней звезде" было бы ложным. Но язык такого возможного мира оказывается (уже в силу различия хотя бы одного термина) отличным от языка нашего мира. Для языка этого мира термин "Утренняя звезда" имеет не тот же референт, который имеет орфографически тождественный термин (омоним) в нашем языке. Таким образом, учитывая референцию терминов "Утренняя звезда" и "Вечерняя звезда" в нашем языке, утверждение тождества истинно, причем с необходимостью.
Аргумент Крипке против тезиса тождества основан по существу на его представлениях о том, как функционирует родовой термин. Когда говорящий использует термин "тепло", он успешно обозначает молекулярную кинетическую энергию, даже если он не знает того, что такое кинетическая энергия. Кроме того, и научный, и родовой термины должны являться твердыми десигнаторами. Такие термины, как "стимуляции нервных волокон" и "средняя молекулярная кинетическая энергия" должны относиться к одним и тем же родам вещи во всех возможных мирах, в которых они существуют, иначе аргумент не имеет смысла.
Аргумент такой формы заключает, что утверждение тождества ложно, с помощью
метафизического утверждения относительно того, что является возможным, и
предположения, что оба термина являются твердыми десигнаторами.
Однако знания такого рода случайных характеристик недостаточно для идентификации понятия в контрфактических ситуациях. Вполне возможно, что естественный род вещей может вообще не проявлять в некотором возможном мире тех свойств, по которым его впервые идентифицировали.
Например, причина тепловых явлений, вызывающих ощущение тепла, объясняется через молекулярное ощущение. Это свойство Крипке предлагает считать необходимо истинным в самом строгом смысле, потому что мы не в состоянии представить возможный мир, в котором тепловые изменения не проявляются через молекулярное ощущение. По этой причине "молекулярное движение" определяется как твердый десигнатор, который вместе с другим твердым десигнатором — "тепло" – составляет необходимо истинное утверждение тождественности.
Существует сходство между концепцией Крипке и концепцией собственных имен Рассела. Процедура именования проводится аналогично подлинным собственным именам Рассела в условиях неполноты знания свойств указываемого объекта. Каузальную точку зрения Крипке на указание можно считать аналогом расселовского "знания по знакомству" ( acquaintance ). Их сходство проявляется в том, что знание в "церемонии первого крещения" и "знание по знакомству" являются исходными и "неисправимыми" элементами в концепциях именования Рассела и Крипке.
Но термины естественных родов не во всем подобны собственным именам. Их различие связано с тем, что тождественность терминов родов в качестве твердых десигнаторов основывается на конкретных научных данных: например, утверждение тождественности "тепло – молекулярное движение", хотя и является необходимо истинным, получено в результате конкретных научных исследований. Поэтому свойство "молекулярное движение" в контексте развития науки может быть определено скорее как "важное", но не как существенное или необходимое. Идентификация указанного свойства в качестве необходимо истинного, т.е. истинного во всех возможных мирах, предполагает, что мы находимся на некотором идеальном конце науки, поскольку в дальнейшем мы не можем утверждать что-либо новое природе тепловых явлений. Если же термин "молекулярное движение" определяется в качестве "важного", понятие "необходимого" будет зависеть от контекста развития науки. Это ставит под вопрос тезис о независимости метафизической тождественности имен от эпистемологических посылок, от исследовательской позиции. Использование твердых десигнаторов позволяет избежать разговора только об индивидуирующих сущностях или об идентифицируемых объектах, но не об "аристотелевских сущностях", под которыми подразумевается совокупность свойств, необходимых для существования вещи естественного рода. Именно знание такого рода свойств, выражающих, по мнению Крипке, природу объекта, гарантирует нам указание во всех возможных мирах (например, для золота этим свойством является атомный вес 79). Но если мы считаем, например, что определение понятия необходимо зависит от контекста развития науки, то мы должны говорить не об одной сущности, а об их иерархии по ходу развития науки — или даже о нескольких альтернативных иерархиях. Аналогичным образом альтернативные позиции возможны в обыденном языке. По замечанию Гудмена, термины, принятые в качестве элементарных для некоторой системы, вполне могут поддаваться определению в какой-либо другой системе; не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным. Отсюда следует, в частности, что подобная концепция именования имеет вполне определенные эпистемологические границы.
Возражение, выдвигаемое по этому основанию против чрезмерно широких теорий референции, состоит в том, что использование родового термина будет обычно указывать на нечто, являющееся членом многих различных родов. Например, термин "золото" можно употребить по отношению к любой вещи, сделанной или состоящей (по мнению говорящего) из золота: золотому запасу государства, украшениям, сокровищам Трои, "Петрушке" Шемякина или в качестве метафоры. Почему термин "золото" отсылает к предмету указания скорее, чем, скажем, "ценность" или "блестящая тяжесть"? В общем виде проблема может быть сформулирована следующим образом: когда родовой термин T употребляется для указания на объект O , который является проявлением родовых свойств K 1 - К n , то почему T указывает только на один из этих родов?
Предположим, что некий посетитель выставки Шемякина указывает — пальцем, т.е. остенсивно — на золотую статуэтку Петрушки и произносит "Золото!" с намерением обозначить некоторую сущность, которая, по его мнению, обладает таким набором признаков или качеств, который является необходимым и достаточным для того, чтобы эта сущность могла быть идентифицирована с помощью этого термина. Предположим, далее, что наш посетитель выставки узнал в статуэтке персонаж русского фольклора и произносит "Клоун!" или "Искусство!" Чем будет в данном случае различаться применение этих обозначений? За исключением индивидуальных представлений говорящего о качественных свойствах родов, подобные широкие теории референции, кажется, не располагают никакими концептуальными средствами, которые могли бы эксплицировать различие между референциальными свойствами употребленных родовых терминов "золото", "искусство" и "клоун". Вопрос будет скорее заключаться в том, являются ли термины "искусство" и "клоун" родовыми — иными словами, является ли Петрушка клоуном тем же способом, что Шер Хан тигром, или тем же способом, что Дон Жуан холостяком? Дон Жуан может жениться, оставаясь при этом Дон Жуаном; Шер Хан не может перестать быть тигром, не перестав при этом существовать в качестве Шер Хана. В самом деле, Петрушка является Петрушкой, а его имя является нарицательным постольку, поскольку он является клоуном. Однако можно задать такое расширение контекста — например, реалистический или постмодернистский роман о Петрушке, — в котором он покидает балаган, поступает в лакеи к Чичикову, затем женится на подруге детства, становится уважаемым членом общества Петром Петровичем, ведет политическую деятельность и т.д.; но для жены он по-прежнему остается ярмарочным весельчаком Петрушкой, и по вечерам, запершись в спальне, пляшет для нее под бубенчики. Поэтому возникающий в такой связи вопрос уместнее будет сформулировать так: является ли термин "клоун" родовым здесь, в данном контексте, для данной концептуальной схемы?
Тогда, если родовой термин T употребляется для указания на объект O , который является проявле