между знаком, его смыслом и его значением, такова, что знаку соответствует определенный смысл, а этому последнему – определенное значение, в то время как одному значению (одному предмету) принадлежит не только один знак» [5, стр. 27].
Смысл имени, по теории Фреге, можно рассматривать как выраженную в имени (закрепленную языковыми средствами) информацию о предмете, однозначно характеризующую предмет (ср. [22], § 01)>[13]. Смыслу данного имени соответствует (или должен соответствовать) некоторый, причем единственный предмет – значение имени; в этом отношении можно сказать (Черч [22], § 01), что смысл имени определяет его значение. При этом одно и то же значение может определяться различными смыслами.
Следует подчеркнуть, что понимание смысла имени не означает, что его значение обязательно известно. Путем анализа смысла имени не всегда можно определить его значение. По этому поводу Фреге пишет: «Всестороннее познание значения состояло бы в том, что мы могли бы для каждого данного смысла сказать, принадлежит ли он к этому значению. Этого мы никогда не достигаем» [5, стр. 27]. Поэтому смысл имени можно понимать, а о предмете имени можно не знать ничего, кроме того, что он определяется этим смыслом; может случиться, что нам понятны смыслы двух имен, но мы не знаем, определяют ли они один и тот же предмет или нет. Больше того, может оказаться, что предмета, определяемого смыслом данного имени, совсем не существует. Смысл имени не определяет существование предмета. Уточняя то, что было им ранее сказано об отношении смысла к значению, Фреге говорит: «Быть может, следует признать, что грамматически правильно составленное выражение, выполняющее роль собственного имени, всегда имеет смысл. Однако это не значит, что смыслу всегда соответствует некоторое значение. Слова «самое удаленное от Земли небесное тело» имеют смысл; однако весьма сомнительно, чтобы они имели значение. Выражение «наимедленнее сходящийся ряд» имеет смысл; однако доказано, что оно не имеет значения, так как для всякого сходящегося ряда можно найти медленнее сходящийся, но все-таки сходящийся, ряд. Отсюда следует, что если мы понимаем смысл, это не значит, что мы располагаем значением» [5, стр. 28].
Имена, имеющие смысл, но не обозначающие никакого предмета, ― это не «настоящие» собственные имена; они только играют роль собственных имен; Фреге называет такие выражения мнимыми собственными именами. Мнимые имена встречаются в обычной речи, по при построении науки, указывает Фреге, их употреблять нельзя. В формализованном языке для таких имен не должно быть места. Фреге пишет: «От логически совершенного языка (исчисления понятий) следует требовать, чтобы каждое выражение, образованное из ранее введенных знаков в грамматически правильной форме в качестве собственного имени, действительно обозначало предмет и чтобы ни один знак не вводился в качестве собственного имени, если для него не обеспечено значение» [5, стр. 41]
