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