интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Эти пары терминов часто употребляются как взаимозаменимые. В современной литературе экстенсионал и интенсионал определяют с помощью понятия возможного мира: экстенсионал термина – это множество объектов в каждом возможном мире, относительно которых данный термин является истинным. Поскольку в разных возможных мирах множество, составляющее экстенсионал термина, может быть различным, то вводится функция f(M), значением которой в каждом возможном мире M является множество объектов, составляющих экстенсионал термина. Эта функция и называется интенсионалом термина.
21
[21] Эта связь между интенсионалом и аналитической истиной обеспечивает 'механизм', благодаря которому интенсионал термина определяет его экстенсионал.
22
[22] Следует отметить, что предложенная реконструкция традиционного – подхода не является аутентичным воспроизведением семантических концепций Фреге и Рассела и не претендует на это. На первый взгляд может даже показаться, что она противоречит взглядам Рассела, который отказался от выделения двух компонентов значения имени собственного и использовал единое, недифференцированное понятие значения, отождествив его с денотатом имени. Однако не следует забывать, что Рассел значительно сузил категорию имен собственных и исключил из нее обычные имена собственные, которые он предложил трактовать как 'скрытые' или 'сокращенные' дескрипции. Поэтому хотя Фреге приписывал смысл именам собственным, а Рассел отбросил это понятие, оба они одинаковым образом трактовали тот вклад, который имя вносит в высказывание (или 'мысль'), выраженное в предложении. Фреге называл этот вклад 'смыслом' и трактовал его как определенную дескрипцию (например, смыслом имени 'Аристотель' является дескрипция 'последний великий философ античности, ученик Платона и учитель Александра Македонского'). Предложенный Расселом метод анализа логической структуры высказывания также требовал замены имени на дескрипции, для которых имя является сокращенной формой.
23
[23]
24
[24] Такая формулировка приведена в статье
25
[25]
26
[26]
27
[27] Ibid. P. 141.
28
[28]
29
[29]
30
[30] Следует отметить, что Рассел признавал рассмотренный нами семантический вклад для особой категории языковых выражений – так называемых логических собственных имен.
31
[31] См. подробнее о парадоксах теории именования: