Философия Х. Патнэма - [8]

Для большей убедительности этот аргумент можно сформулировать несколько иначе [24]. Если принять, что имя "Фалес" является сокращением для дескрипции "греческий философ, считавший, что все есть вода", то предложение

(1) Фалес не считал, что все есть вода

должно выражать то же самое высказывание, что и предложение

(2) Греческий философ, считавший, что все есть вода, не считал, что все есть вода.

Однако совершенно очевидно, что высказывание (2) является необходимо ложным, а высказывание (1) выражает возможную истину, так как приверженность Фалеса идее, что все есть вода, является случайным фактом, поскольку он мог бы иметь и другие воззрения на мир. И если бы он действительно имел другие воззрения, то (1) было бы истинным, а (2) в любом случае было бы ложным. А это означало бы, что имя "Фалес" и дескрипция "греческий философ, считавший, что все есть вода" не относятся к одному и тому же индивиду.

Таким образом, основная идея критических аргументов Крипке и Доннелана состоит в следующем: дескрипции, которые носитель языка связывает с именем, не определяют референцию имени, поскольку референт может не удовлетворять этим дескрипциям (а тем не менее быть референтом имени) или же дескрипции могут быть слишком неопределенными и скудными, чтобы уникальным образом индивидуализировать референт. Отсюда делается вывод, что референция имен собственных является неопосредованной и "не фиксируется с помощью дескрипций" [25]. По определению Крипке, имена собственные являются жесткими десигнаторами, то есть они обозначают один и тот же объект в любом возможном мире, в котором данный объект существует. Например, имя "Аристотель", являясь жестким десигнатором, обозначает того человека, которому это имя было дано при рождении, независимо от того, удовлетворяет этот человек дескрипциям, обычно связываемым с этим именем ("ученик Платона", "учитель Александра Македонского" и т.д.), или нет. Даже если бы Аристотель не был учеником Платона или учителем Александра Македонского, тем не менее, считает Крипке, имя "Аристотель" все равно указывало бы на него.

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

Наиболее серьезные соображения, обосновывающие необходимость выделения терминов естественных видов в особую лингвистическую категорию и показывающие неудовлетворительность традиционной дескриптивной трактовки их значения были высказаны Патнэмом и Крипке независимо друг от друга. Патнэм предложил свою первую формулировку теории естественных видов в статье "Аналитическое и синтетическое" (“The Analytic and the Synthetic”, 1962), где он определил термины, обозначающие естественные виды, как "концепты, образуемые пучком законов" (“law-cluster concepts”). В последующих работах он развил и углубил свое понимание этих терминов и сформулировал ряд серьезных и интересных аргументов против их традиционной трактовки.

В статье "Возможна ли семантика?" (1970) Патнэм предлагает аргумент, который по своему характеру очень близок к критике традиционной теории имен собственных в работах Доннелана и Крипке. Согласно этому аргументу, неудовлетворительность традиционного понимания значения общих терминов станет совершенно очевидной, если попытаться определить в традиционном духе значение какого-нибудь термина естественного вида, например, термина "лимон" или "золото". По традиционной теории значение общего термина (например, термина x) задается конъюнкцией свойств (например, P₁ amp;P₂ amp;… amp;P_n), для каждого из которых утверждение "x обладает свойством P_i" является аналитической истиной. Общий термин считается синонимичным этой конъюнкции, которая тем самым выражает необходимые и достаточные условия для вхождения объекта в экстенсионал термина x. При таком подходе значение термина "золото" формулируется в виде дескрипции "тяжелый, неокисляющийся, твердый металл, желтого цвета, растворимый в царской водке" или в виде любой другой аналогичной дескрипции, и предполагается, что любой объект, обладающий перечисленными свойствами, является золотом. Неадекватность такой трактовки Патнэм видит в том, что естественный вид может иметь аномальных членов, которые не удовлетворяют соответствующей конъюнкции свойств, но тем не менее принадлежат к данному естественному виду. Например, "зеленый лимон (который так никогда и не пожелтеет) все же является лимоном, тигр с тремя ногами – все же тигр, а золото в газообразном состоянии не перестает быть золотом"