Жесткие десигнаторы

По традиционной (фрегеанской) теории, естественно-видовые термины (kind terms) функционируют аналогично именам собственным. Так же, как имена собственные имеют смысл, который определяет их референцию, так видовые термины имеют смысл или значение, которое определяет их экстенсионал, т.е. те случаи, к которым они применяются. В дополнение к этим естественно-видовым терминам существуют термины не-естественных, или конвенциональных (номинальных) видов. Поскольку естественные виды отражают дистинкции, локализованные во внешнем мире (является ли нечто золотом или тигром — вопрос экстралингвистический), постольку номинальные виды предстают предметом наших систем классификации и зависят от лингвистического удобства и соглашения. Естественные виды или рода определены внешним по отношению к его описанию миром; номинальные виды определены нашей конвенциональной категоризацией.

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

Крипке предлагает решение этой проблемы с помощью двух допущений:

(1) родовой или видовой термин обозначает (designates) специфический род (вид) объектов на основании причинной связи, соединяющей термин с родовой сущностью в ее проявлениях;

(2) родовые термины являются жесткими (rigid) десигнаторами: они определяют один и тот же род (вид) объектов во всех возможных мирах, в которых существует этот род.

Тезисы (1) и (2) покрывают две пересекающиеся области определения. Положение (1) заявляет каузальную теорию референции для родового термина. Такое объяснение призвано отвечать на вопросы вида: "На каком основании термин “вода” относится к H₂O?" Это — объяснение способа, которым специфический тип термина соотносится с некоторой специфической частью мира. С другой стороны, (2) сообщает нам нечто относительно того, как родовой термин проявляет себя (т.е. может быть употреблен) в различных условиях. Положение (2) помогает нам отвечать на вопросы, подобные следующему: "Является ли утверждение “Вода заполняет реки и моря” истинным в возможном мире W?"

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

Мы используем термин "золото" как термин для некоторого рода вещей. Другие люди обнаружили этот род вещей, и мы слышали об этом. Таким образом, мы как часть языкового сообщества располагаем некоторой связью между нами непосредственно и некоторым родом вещей. Род вещей полагается имеющим некоторые параметры идентификации (identifying marks). Некоторые из этих параметров могут не быть действительно истинными для золота. Мы могли бы обнаружить, что заблуждаемся относительно них. Далее, может существовать такая субстанция, имеющая все параметры идентификации, которые мы обычно приписывали золоту и использовали для того, чтобы идентифицировать его, но эта субстанция не является тем же самым родом вещей. Мы сказали бы о такой вещи, что, хотя она имеет все признаки, которые мы первоначально используем, чтобы идентифицировать золото, это — не золото.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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