Аналитическая философия

Имена, имеющие смысл, но не обозначающие никакого предмета – это неподлинные собственные имена; они только выполняют роль собственных имен. Фреге называет такие имена мнимыми собственными именами. Они встречаются в естественных языках, но им не должно быть места в языке науки. В отличии от естественных языков, в языке науки смысл имени определяет существование предмета имени и притом единственного. Фреге пишет: «От логически совершенного языка (исчисление понятий) следует требовать, чтобы любое выражение, образуемое как имя собственное грамматически правильным образом, действительно обозначало некоторый предмет, и чтобы в качестве собственного имени не вводилось ни одного знака, не обеспеченного собственным значением»41.

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

Американский логик Алонзо Черч, разделяющий основные положения теории смысла и значения Фреге, характеризует ее так, что смысл, который связан с именем, представляет собой определенную концептуальную информацию об обозначаемом предмете. Смысл однозначно характеризует предмет без учета того, доступен он или нет, без учета того, в состоянии ли мы себе его представить или нет, без учета того, действительно ли он существует и т.д. Это положение можно сформулировать так, что для всех говорящих на данном языке L (причем предполагается, что все носители языка L обладают всем его словарным запасом, то есть в состоянии понять каждое слово в L) всегда доступен один и тот же смысл каждого имени. Иначе говоря, все носители языка в состоянии одному и тому же имени придать одинаковый смысл и не должны при этом воспроизводить в памяти одинаковые представления или ассоциативные образы43.

В логически совершенном языке отношение между знаком, выражаемым им смыслом и обозначаемым им предметом должно, согласно Фреге, иметь следующий вид: «Правильная связь между предметом, его смыслом и значением должна быть такой, чтобы знаку соответствовал определенный смысл, а смыслу, в свою очередь, – определенное значение, в то время как одному значению (одному предмету) соответствует не только один знак. Один и тот же смысл выражается по-разному не только в разных языках, но и в одном и том же языке. ... Разумеется, в совершенной совокупности знаков каждому выражению должен соответствовать лишь один определенный смысл, однако естественные языки далеко не всегда удовлетворяют этому требованию и приходится довольствоваться тем, чтобы хотя бы на протяжении одного рассуждения слово всегда имело один и тот же смысл»44.

Итак, одно и то же имя, – причем не только в разных языках, но и в одном и том же языке, – может выражать разный смысл. Такая многосмысленность имен, являющаяся обычным делом в естественных языках, нетерпима в языке науки. Поэтому в языке науке требуется использовать однозначные языковые выражения. В этом случае каждое имя должно выражать только один смысл (и, соответственно, должно иметь только одно значение).

И наоборот, один и тот же смысл может быть выражен разными именами. Имена, выражающие одинаковый смысл, называются синонимами. Поскольку синонимы выражают один и тот же смысл, они имеют одно и то же значение. Отсюда вполне естественно возникает вопрос, в силу каких критериев мы признаем два имени обладающими одинаковым смыслом. Проблема синонимии языковых выражений – одна из центральных проблем логической семантики. Фреге предлагает свой ответ на этот вопрос в виде так называемого принципа взаимозаменимости равнозначных выражений (его еще называют принципом «коэкстенсиональности»). Согласно этому принципу, два языковых выражения обладают одинаковым значением, если при замене одного выражения на другое в контексте определенного предложения истинностное значение этого предложения остается неизменным.

1.2.2 Значение и смысл предложений

Предложения рассматриваются Фреге как частные случаи имен. Поэтому для них сохраняются все те требования, которые имеют силу для имен собственных.