Итак, основная идея этого аргумента состоит в следующем: ни одно из свойств, обычно включаемых в интенсионал термина естественного вида, не годится для аналитического определения этого вида, поскольку по традиционному истолкованию аналитической истины она должна быть априорной и необходимой, а ни одно из указанных свойств нельзя считать необходимым, так как принадлежность объекта к некоторому естественному виду может не зависеть от обладания этими свойствами.
Конечно, Патнэм не отрицает, что традиционная теория значения выполняется для определенной категории общих терминов, например, таких, как "холостяк", "ведьма" и др. Однако особенность этих терминов состоит в том, что они допускают явное исчерпывающее определение (например, холостяк – мужчина, который никогда не был женат). Такие термины Патнэм называет однокритериальными, поскольку их значение может быть выражено с помощью одной дескрипции. Обобщая сказанное, Патнэм делает вывод, что «традиционная теория принимает объяснение, которое корректно только для однокритериальных концептов (например, для таких концептов, как "холостяк" и "ведьма"), и превращает его в общее объяснение значения общих терминов. Теорию, которая правильно описывает поведение возможно трех сотен слов, считают правильно описывающей поведение десятков тысяч общих имен» [27].
В ответ на этот критический аргумент Патнэма сторонник традиционного подхода мог бы возразить, что значение общего термина задается конъюнкцией свойств, которые являются общими для всех предметов, входящих в экстенсионал данного термина. Установив, что какое-то свойство не является общим, его следует исключить из конъюнкции. Но поскольку нельзя отрицать, что общими для всех членов естественного вида являются их существенные свойства, то интенсионал термина естественного вида должен поэтому содержать дескрипцию этих существенных свойств. Например, интенсионал слова "вода" должен содержать дескрипцию "иметь химическое строение Н>2О". Однако, согласно Патнэму, это возражение не способно устранить выявленную несостоятельность традиционного подхода, поскольку существенные свойства также не пригодны для аналитического определения естественных видов. Утверждение "Вода есть Н>2О" не является аналитически истинным, поскольку его истинность, будучи вопросом научного открытия, не является априорной. Вполне возможно, что это утверждение окажется ложным, если когда-нибудь обнаружатся серьезные ошибки в химической теории.
