В логически совершенном языке отношение между знаком, выражаемым им смыслом и обозначаемым им предметом должно, согласно Фреге, иметь следующий вид: «Правильная связь между предметом, его смыслом и значением должна быть такой, чтобы знаку соответствовал определенный смысл, а смыслу, в свою очередь, – определенное значение, в то время как одному значению (одному предмету) соответствует не только один знак. Один и тот же смысл выражается по-разному не только в разных языках, но и в одном и том же языке. ... Разумеется, в совершенной совокупности знаков каждому выражению должен соответствовать лишь один определенный смысл, однако естественные языки далеко не всегда удовлетворяют этому требованию и приходится довольствоваться тем, чтобы хотя бы на протяжении одного рассуждения слово всегда имело один и тот же смысл»44.
Итак, одно и то же имя, – причем не только в разных языках, но и в одном и том же языке, – может выражать разный смысл. Такая многосмысленность имен, являющаяся обычным делом в естественных языках, нетерпима в языке науки. Поэтому в языке науке требуется использовать однозначные языковые выражения. В этом случае каждое имя должно выражать только один смысл (и, соответственно, должно иметь только одно значение).
И наоборот, один и тот же смысл может быть выражен разными именами. Имена, выражающие одинаковый смысл, называются синонимами. Поскольку синонимы выражают один и тот же смысл, они имеют одно и то же значение. Отсюда вполне естественно возникает вопрос, в силу каких критериев мы признаем два имени обладающими одинаковым смыслом. Проблема синонимии языковых выражений – одна из центральных проблем логической семантики. Фреге предлагает свой ответ на этот вопрос в виде так называемого принципа взаимозаменимости равнозначных выражений (его еще называют принципом «коэкстенсиональности»). Согласно этому принципу, два языковых выражения обладают одинаковым значением, если при замене одного выражения на другое в контексте определенного предложения истинностное значение этого предложения остается неизменным.
1.2.2 Значение и смысл предложений
Предложения рассматриваются Фреге как частные случаи имен. Поэтому для них сохраняются все те требования, которые имеют силу для имен собственных.
Фреге начинает анализ отношения наименования со знаков аргументов, которые он называет собственными именами и под которыми понимает любое выражение, имеющее значение в виде самостоятельного предмета. В качестве отправной точки он избирает отношение тождества двух имен. Обычная трактовка связывает это отношение либо с отношением вещей, либо с отношением знаков. Однако Фреге отвергает и то и другое. Если бы тождество сводилось к совпадению предмета с самим собой, то установление подобного отношения не имело бы познавательного значения, так как соответствующее суждение было бы аналитическим в смысле Канта и не содержало бы никакого приращения знания. Тождественность предмета самому себе есть отправной пункт всякого познания, а не его результат. Когда же мы говорим, что ‘a=b’, мы утверждаем нечто явно отличное от ‘a=a’ ввиду различной эвристической ценности этих выражений. Скорее можно было бы предположить, что отношение тождества – это отношение между различными обозначениями одного и того же. Однако если все сводилось бы лишь к отношению между знаками, то роль играл бы только используемый способ обозначения, что также не имело бы эвристической ценности ввиду произвольности принятой системы знаков. Как считает Фреге, «разница может появиться только тогда, когда различию знаков соответствует различие в способах данности обозначаемого. Пусть a, b, c – прямые, соединяющие вершины треугольника с серединами противоположных сторон. Точка пересечения a и b есть в таком случае та же самая точка, что и точка пересечения b и c. Таким образом, у нас имеются различные обозначения одной и той же точки, и эти имена (‘точка пересечения a и b’, ‘точка пересечения b и c’) одновременно указывают на способ данности объекта, и поэтому данное предложение содержит действительное знание. Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности обозначаемого. Тогда в нашем примере одним и тем же будет значение выражений ‘точка пересечения a и b’ и ‘точка пересечения b и c’, а не их смысл. Точно так же у выражений ‘Вечерняя звезда’ и ‘Утренняя звезда’ одно и то же значение, но не смысл»45.