Проблема смысла

Исследование проблемы референции в логическом анализе мотивируется необходимостью раскрыть логическую форму соответствующих языковых выражений (собственных имен и определенных дескрипций), скрытую за их «поверхностной формой», «поверхностной грамматикой». Ввиду концептуальной и теоретической взаимосвязи проблемы референции языковых выражений с вопросом о существовании соотносимых с ними объектов определяющим для той или иной концепции референции является логический анализ истинных утверждений о тождестве объектов, обозначаемых сингулярными терминами, а также утверждений предикации относительно несуществующих объектов, обозначаемых сингулярными терминами.

Согласно классической концепции референции Фреге (см. 134, с. 56—78), имена осуществляют функцию указания благодаря своему смыслу, точнее, если и только если

122

имеется объект, удовлетворяющий смыслу имени: именование всегда предполагает описание объекта, к которому относится имя. При этом Фреге считал, что если нечто утверждается, то всегда имеется пресуппозиция, что употребляемое простое или сложное имя, указывающее на объект, о котором нечто — истинно или ложно — утверждается, имеет референт. Поэтому, если некто утверждает: «Кеплер умер в нужде», то имеется пресуппозиция, что имя «Кеплер» обозначает кого-то, иначе говоря, что Кеплер существует. Но отсюда не следует, что смысл предложения «Кеплер умер в нужде» содержит в себе мысль, что имя «Кеплер» обозначает кого-то. По Фреге, пресуппозиция не входит в предложение в качестве его собственной части, а является условием его утверждаемости в качестве истинного или ложного. Если такая пресуппозиция не удовлетворяется, т. е. референта не существует, рассматриваемое предложение полагается лишенным истинностного значения, но осмысленным.

В концепции Рассела, не принявшего фрегевского объяснения информативности утверждений тождества, определенные дескрипции существенно отличаются от того, что Рассел называет «логически собственными именами». В отличие от последних определенные дескрипции являются неполными символами, не указывающими на определенные объекты и, следовательно, не имеющими самостоятельного значения, хотя «любая пропозяция, в вербальном выражении которой они встречаются, имеет значение» '. Термин «значение» Рассел, как и Фреге, понимает экстенсионально: в случае пропозиции — это ее истинностное значение. Логически собственное имя он считает «простым символом, прямо обозначающим индивида, который является его значением и имеет это значение сам по себе, независимо от значений всех других слов» (271, с. 102). В таком понимании логически собственные имена в естественном языке наиболее близки к указательным местоимениям, таким, как «этот», «тот», «это», «то» и т. д., употребляющимся для указания объекта, с которым носитель языка «знаком» — в расселевском понимании этого сло-