некоторое выражение, если ему известен связанный с этим выражением смысл.
2. Смысл языкового выражения понимается как множество дескрипций. Смысл общего термина представляет собой дескрипцию свойств или характеристик, которые являются общими для всех объектов, входящих в экстенсионал данного термина. В случае имен собственных каждое имя считается синонимичным некоторому множеству дескрипций (то есть, в терминологии Б.Рассела, имя является 'скрытой' или 'сокращенной' дескрипцией).
3. Интенсионал термина определяет его экстенсионал в том смысле, что некоторый объект входит в экстенсионал термина, если и только если он имеет характеристики, включенные в интенсионал данного термина.
4. С интенсионалом тесно связано понятие аналитической истины [21]. Предложение считается аналитическим, если его истинность устанавливается на основе интенсионалов входящих в него терминов. Если Р – свойство, входящее в интенсионал Т, то утверждение 'Все Т есть Р' является аналитически истинным. В соответствии с традиционной трактовкой аналитичной истины, это означает, что данное утверждение является априорным и необходимым [22].
Для того, чтобы дать общее представление о критике традиционного подхода в рамках новой теории референции, мы вначале кратко опишем основные аргументы К.Доннелана и С.Крипке против традиционной теории имен собственных. Эти аргументы главным образом направлены против так называемого 'принципа идентифицирующих дескрипций', согласно которому имя обозначает тот индивид, который единственным образом удовлетворяет совокупности дескрипций, соединенных с данным именем. Из этого принципа следует, что обладание атрибутами, указанными в этих дескрипциях, является необходимым и достаточным условием для того, чтобы имя было применено к данному индивиду. Свои аргументы против традиционного подхода Доннелан и Крипке формулируют в виде моделируемых ситуаций, когда объект, на который указывает имя, не соответствует связываемой с этим именем дескрипции.
Первая группа моделируемых ситуаций призвана показать, что 'имя собственное может иметь референт, даже если не выполнены условия, формулируемые принципом (идентифицирующих дескрипций)' [23]. Например, какой-то человек знает о Ричарде Фейнмане только то, что тот является известным физиком. Хотя дескрипция 'известный физик' не может никого индивидуализировать уникальным образом, тем не менее, полагает Крипке, естественно считать, что имя 'Фейнман' в устах рассматриваемого человека, все же обозначает Фейнмана. Или, например, какой-то человек может считать Эйнштейна изобретателем атомной бомбы. В этом случае, по мнению Крипке, естественнее было бы признать, что когда этот человек произносит имя 'Эйнштейн', оно обозначает, несмотря на связываемую с ним ложную дескрипцию, Эйнштейна и никого другого.
Сторонник традиционного подхода мог бы возразить, что денотат имени определяют отнюдь не дескрипции, которые связывает с этим именем отдельный человек. Согласно Фреге, смыслы слов образуют 'общее достояние' лингвистического сообщества, а не являются частью опыта отдельного человека. Поэтому такие имена, как 'Эйнштейн' или 'Фейнман', с которыми некоторые люди связывают очень скудную или даже неверную информацию, только потому обозначают Эйнштейна и Фейнмана, что в лингвистическом сообществе есть необходимый объем информации для установления референции этих имен.
Более серьезным аргументом является вторая группа моделируемых ситуаций, когда объект, который уникальным образом удовлетворяет некоторой дескрипции и поэтому, согласно принципу идентифицирующих дескрипций, должен был бы быть референтом этого имени, необязательно им является. В подтверждение Доннелан предлагает следующий пример. В традиционной трактовке предполагается, что имя 'Фалес' обозначает того, кто удовлетворяет дескрипции 'греческий философ, считавший, что все есть вода'. Но если вдруг в ходе исторических изысканий выяснится, что Фалес, о котором упоминали Аристотель и Геродот, никогда не считал, что все есть вода, а этого мнения придерживался другой греческий философ-отшельник, о котором не знали ни Аристотель, ни Геродот, то на какого же из этих двух философов указывает имя 'Фалес'? Согласно традиционному подходу, это имя обозначает того, кто считал, что все есть вода. Но это же абсурдно, считает Доннелан, поскольку совершенно очевидно, что имя 'Фалес' указывает на того человека, которому это имя было дано, независимо от того, придерживался он указанного мнения или нет.
Для большей убедительности этот аргумент можно сформулировать несколько иначе [24]. Если принять, что имя 'Фалес' является сокращением для дескрипции 'греческий философ, считавший, что все есть вода', то предложение
должно выражать то же самое высказывание, что и предложение
Однако совершенно очевидно, что высказывание (2) является необходимо ложным, а высказывание (1) выражает возможную истину, так как приверженность Фалеса идее, что все есть вода, является случайным фактом, поскольку он мог бы иметь и другие воззрения на мир. И если бы он действительно имел другие воззрения, то (1) было бы истинным, а (2) в любом случае было бы ложным. А это означало бы, что имя 'Фалес' и дескрипция 'греческий философ, считавший, что все есть вода' не относятся к одному и тому же индивиду.
Таким образом, основная идея критических аргументов Крипке и Доннелана состоит в следующем: дескрипции, которые носитель языка связывает с именем, не определяют референцию имени, поскольку референт может не удовлетворять этим дескрипциям (а тем не менее быть референтом имени) или же дескрипции могут быть слишком неопределенными и скудными, чтобы уникальным образом индивидуализировать референт. Отсюда делается вывод, что референция имен собственных является неопосредованной и 'не фиксируется с помощью дескрипций' [25]. По определению Крипке, имена собственные являются жесткими десигнаторами, то есть они обозначают один и тот же объект в любом возможном мире, в котором данный объект существует. Например, имя 'Аристотель', являясь жестким десигнатором, обозначает того человека, которому это имя было дано при рождении, независимо от того, удовлетворяет этот человек дескрипциям, обычно связываемым с этим именем ('ученик Платона', 'учитель Александра Македонского' и т.д.), или нет. Даже если бы Аристотель не был учеником Платона или учителем Александра Македонского, тем не менее, считает Крипке, имя 'Аристотель' все равно указывало бы на него.
Насколько разрушительны эти аргументы для традиционной теории имен собственных мы рассмотрим позже, а сейчас обратимся к такой важной разновидности общих терминов, как термины естественных видов (natural kind terms), поскольку сторонники новой теории референции считают традиционный подход неудовлетворительным и применительно к этой категории языковых выражений. Термины естественных видов – это слова, служащие наименованиями природных веществ, животных, растений и физических величин (например, 'вода', 'тигр', 'лимон', 'электричество' и т.д.). К этой категории языковых выражений относится большинство научных терминов. Помимо такой общей характеристики не было предложено никакого строгого определения терминов естественных видов, однако специфику этих терминов призвана раскрыть их теория референции, которую поэтому и называют теорией естественных видов.
Наиболее серьезные соображения, обосновывающие необходимость выделения терминов естественных видов в особую лингвистическую категорию и показывающие неудовлетворительность традиционной дескриптивной трактовки их значения были высказаны Патнэмом и Крипке независимо друг от друга. Патнэм предложил свою первую формулировку теории естественных видов в статье 'Аналитическое и синтетическое' (“The Analytic and the Synthetic”, 1962), где он определил термины, обозначающие естественные виды, как 'концепты, образуемые пучком законов' (“law-cluster concepts”). В последующих работах он развил и углубил свое понимание этих терминов и сформулировал ряд серьезных и интересных аргументов против их традиционной трактовки.
В статье 'Возможна ли семантика?' (1970) Патнэм предлагает аргумент, который по своему характеру очень близок к критике традиционной теории имен собственных в работах Доннелана и
