Наиболее серьезные соображения, обосновывающие необходимость выделения терминов естественных видов в особую лингвистическую категорию и показывающие неудовлетворительность традиционной дескриптивной трактовки их значения были высказаны Патнэмом и Крипке независимо друг от друга. Патнэм предложил свою первую формулировку теории естественных видов в статье "Аналитическое и синтетическое" (“The Analytic and the Synthetic”, 1962), где он определил термины, обозначающие естественные виды, как "концепты, образуемые пучком законов" (“law-cluster concepts”). В последующих работах он развил и углубил свое понимание этих терминов и сформулировал ряд серьезных и интересных аргументов против их традиционной трактовки.
В статье "Возможна ли семантика?" (1970) Патнэм предлагает аргумент, который по своему характеру очень близок к критике традиционной теории имен собственных в работах Доннелана и Крипке. Согласно этому аргументу, неудовлетворительность традиционного понимания значения общих терминов станет совершенно очевидной, если попытаться определить в традиционном духе значение какого-нибудь термина естественного вида, например, термина "лимон" или "золото". По традиционной теории значение общего термина (например, термина x) задается конъюнкцией свойств (например, P1 amp;P2 amp;… amp;Pn), для каждого из которых утверждение "x обладает свойством Pi" является аналитической истиной. Общий термин считается синонимичным этой конъюнкции, которая тем самым выражает необходимые и достаточные условия для вхождения объекта в экстенсионал термина x. При таком подходе значение термина "золото" формулируется в виде дескрипции "тяжелый, неокисляющийся, твердый металл, желтого цвета, растворимый в царской водке" или в виде любой другой аналогичной дескрипции, и предполагается, что любой объект, обладающий перечисленными свойствами, является золотом. Неадекватность такой трактовки Патнэм видит в том, что естественный вид может иметь аномальных членов, которые не удовлетворяют соответствующей конъюнкции свойств, но тем не менее принадлежат к данному естественному виду. Например, "зеленый лимон (который так никогда и не пожелтеет) все же является лимоном, тигр с тремя ногами – все же тигр, а золото в газообразном состоянии не перестает быть золотом" [26]. Другая трудность, с которой сталкивается традиционная теория, состоит в невозможности указать такую конъюнкцию свойств, которая позволила бы выделить естественный вид единственным образом. Никогда нет гарантии, по мнению Патнэма, что не будет обнаружено такое вещество или животное, которое полностью удовлетворяет дескрипции свойств соответствующего естественного вида, но которое тем не менее в силу своей внутренней природы не принадлежит к данному виду.
Итак, основная идея этого аргумента состоит в следующем: ни одно из свойств, обычно включаемых в интенсионал термина естественного вида, не годится для аналитического определения этого вида, поскольку по традиционному истолкованию аналитической истины она должна быть априорной и необходимой, а ни одно из указанных свойств нельзя считать необходимым, так как принадлежность объекта к некоторому естественному виду может не зависеть от обладания этими свойствами.
Конечно, Патнэм не отрицает, что традиционная теория значения выполняется для определенной категории общих терминов, например, таких, как "холостяк", "ведьма" и др. Однако особенность этих терминов состоит в том, что они допускают явное исчерпывающее определение (например, холостяк – мужчина, который никогда не был женат). Такие термины Патнэм называет однокритериальными, поскольку их значение может быть выражено с помощью одной дескрипции. Обобщая сказанное, Патнэм делает вывод, что «традиционная теория принимает объяснение, которое корректно только для однокритериальных концептов (например, для таких концептов, как "холостяк" и "ведьма"), и превращает его в общее объяснение значения общих терминов. Теорию, которая правильно описывает поведение возможно трех сотен слов, считают правильно описывающей поведение десятков тысяч общих имен» [27].