3. Интенсионал термина определяет его экстенсионал в том смысле, что некоторый объект входит в экстенсионал термина, если и только если он имеет характеристики, включенные в интенсионал данного термина.
4. С интенсионалом тесно связано понятие аналитической истины [21]. Предложение считается аналитическим, если его истинность устанавливается на основе интенсионалов входящих в него терминов. Если Р – свойство, входящее в интенсионал Т, то утверждение "Все Т есть Р" является аналитически истинным. В соответствии с традиционной трактовкой аналитичной истины, это означает, что данное утверждение является априорным и необходимым [22].
Для того, чтобы дать общее представление о критике традиционного подхода в рамках новой теории референции, мы вначале кратко опишем основные аргументы К.Доннелана и С.Крипке против традиционной теории имен собственных. Эти аргументы главным образом направлены против так называемого "принципа идентифицирующих дескрипций", согласно которому имя обозначает тот индивид, который единственным образом удовлетворяет совокупности дескрипций, соединенных с данным именем. Из этого принципа следует, что обладание атрибутами, указанными в этих дескрипциях, является необходимым и достаточным условием для того, чтобы имя было применено к данному индивиду. Свои аргументы против традиционного подхода Доннелан и Крипке формулируют в виде моделируемых ситуаций, когда объект, на который указывает имя, не соответствует связываемой с этим именем дескрипции.
Первая группа моделируемых ситуаций призвана показать, что "имя собственное может иметь референт, даже если не выполнены условия, формулируемые принципом (идентифицирующих дескрипций)" [23]. Например, какой-то человек знает о Ричарде Фейнмане только то, что тот является известным физиком. Хотя дескрипция "известный физик" не может никого индивидуализировать уникальным образом, тем не менее, полагает Крипке, естественно считать, что имя "Фейнман" в устах рассматриваемого человека, все же обозначает Фейнмана. Или, например, какой-то человек может считать Эйнштейна изобретателем атомной бомбы. В этом случае, по мнению Крипке, естественнее было бы признать, что когда этот человек произносит имя "Эйнштейн", оно обозначает, несмотря на связываемую с ним ложную дескрипцию, Эйнштейна и никого другого.
Сторонник традиционного подхода мог бы возразить, что денотат имени определяют отнюдь не дескрипции, которые связывает с этим именем отдельный человек. Согласно Фреге, смыслы слов образуют "общее достояние" лингвистического сообщества, а не являются частью опыта отдельного человека. Поэтому такие имена, как "Эйнштейн" или "Фейнман", с которыми некоторые люди связывают очень скудную или даже неверную информацию, только потому обозначают Эйнштейна и Фейнмана, что в лингвистическом сообществе есть необходимый объем информации для установления референции этих имен.
Более серьезным аргументом является вторая группа моделируемых ситуаций, когда объект, который уникальным образом удовлетворяет некоторой дескрипции и поэтому, согласно принципу идентифицирующих дескрипций, должен был бы быть референтом этого имени, необязательно им является. В подтверждение Доннелан предлагает следующий пример. В традиционной трактовке предполагается, что имя "Фалес" обозначает того, кто удовлетворяет дескрипции "греческий философ, считавший, что все есть вода". Но если вдруг в ходе исторических изысканий выяснится, что Фалес, о котором упоминали Аристотель и Геродот, никогда не считал, что все есть вода, а этого мнения придерживался другой греческий философ-отшельник, о котором не знали ни Аристотель, ни Геродот, то на какого же из этих двух философов указывает имя "Фалес"? Согласно традиционному подходу, это имя обозначает того, кто считал, что все есть вода. Но это же абсурдно, считает Доннелан, поскольку совершенно очевидно, что имя "Фалес" указывает на того человека, которому это имя было дано, независимо от того, придерживался он указанного мнения или нет.
Для большей убедительности этот аргумент можно сформулировать несколько иначе [24]. Если принять, что имя "Фалес" является сокращением для дескрипции "греческий философ, считавший, что все есть вода", то предложение
(1) Фалес не считал, что все есть вода
должно выражать то же самое высказывание, что и предложение
(2) Греческий философ, считавший, что все есть вода, не считал, что все есть вода.
Читать дальше