. Этот вывод уже сам по себе является примечательным фактом, поскольку после длительного периода безоговорочного неприятия понятия "сущности" западная аналитическая философия (во всяком случае в лице ее некоторых представителей) возвращается к анализу и экспликации этого понятия.
Как уже отмечалось, важную часть новой теории референции Патнэма и Крипке составляет пересмотр понятий необходимости и необходимой истины [46]. По мнению Крипке, в течение длительного времени в философии предполагалось, что все необходимо-истинные утверждения носят априорный характер, а то, что известно a posteriori, может быть только случайной истиной. Определив необходимо-истинное утверждение как утверждение, истинное во всех возможных мирах, Крипке в своем анализе показал, что могут быть необходимые истины, устанавливаемые эмпирическим путем [т.е. "эпистемически случайные, но (метафизически) необходимые истины"], и случайные истины, известные априорно. Например, все истинные утверждения тождества, содержащие собственные имена ("Утренняя звезда есть Вечерняя звезда" и т.д.), являются необходимо-истинными (т.е. истинными во всех возможных мирах), даже если их истинность установлена в ходе эмпирического исследования. Аналогичным образом, если в ходе научного исследования раскрыта внутренняя природа воды, то есть установлено, что вода имеет химический состав, выражаемый формулой Н>2О, то, являясь жестким десигнатором, вода имеет указанный химический состав во всех возможных мирах, и, следовательно, утверждение "Вода есть Н>2О" является необходимо истинным. Поскольку и открытие того, что "Утренняя звезда" и "Вечерняя звезда" обозначают одну и ту же планету, и установление химической формулы воды является результатом эмпирического исследования, то указанные утверждения нельзя назвать априорными, а поэтому они являются эпистемически случайными, хотя и "метафизически" необходимыми. Это означает, что "наука открывает необходимые истины, что наука открывает сущность вещей" [47].
Эта новая трактовка необходимой истины объясняет непригодность как внешних феноменологических, так и внутренних существенных свойств для аналитического определения естественных видов. Согласно Патнэму и другим сторонникам новой теории референции, ни утверждение "Вода бесцветна", ни утверждение "Вода есть Н>2О" не может считаться аналитически истинным. Традиционное понимание аналитической истины предполагает, что эта истина является необходимой и априорной. Но как показали Крипке и Патнэм в своем анализе понятия необходимой истины, утверждения, включающие внешние свойства естественного рода, не могут считаться необходимыми (истинными во всех возможных мирах), а утверждения, содержащие существенные свойства, хотя и являются необходимыми, но не выражают априорной истины (то есть являются "эпистемически случайными"), поскольку они – результат эмпирического исследования. Поэтому, согласно Патнэму, "естественные виды не имеют аналитических определений"
