Б. Бирюков - Теория смысла Готлоба Фреге

Смысл имени, по теории Фреге, можно рассматривать как выраженную в имени (закрепленную языковыми средствами) информацию о предмете, однозначно характеризующую предмет (ср. [22], § 01) [13] Эта информация основана на реальных свойствах предметов. С диалектико-материалистической точки зрения смыслы имен являются средством отражения вещей объективного мира. . Смыслу данного имени соответствует (или должен соответствовать) некоторый, причем единственный предмет – значение имени; в этом отношении можно сказать (Черч [22], § 01), что смысл имени определяет его значение. При этом одно и то же значение может определяться различными смыслами.

Следует подчеркнуть, что понимание смысла имени не означает, что его значение обязательно известно. Путем анализа смысла имени не всегда можно определить его значение. По этому поводу Фреге пишет: «Всестороннее познание значения состояло бы в том, что мы могли бы для каждого данного смысла сказать, принадлежит ли он к этому значению. Этого мы никогда не достигаем» [5, стр. 27]. Поэтому смысл имени можно понимать, а о предмете имени можно не знать ничего, кроме того, что он определяется этим смыслом; может случиться, что нам понятны смыслы двух имен, но мы не знаем, определяют ли они один и тот же предмет или нет. Больше того, может оказаться, что предмета, определяемого смыслом данного имени, совсем не существует. Смысл имени не определяет существование предмета. Уточняя то, что было им ранее сказано об отношении смысла к значению, Фреге говорит: «Быть может, следует признать, что грамматически правильно составленное выражение, выполняющее роль собственного имени, всегда имеет смысл. Однако это не значит, что смыслу всегда соответствует некоторое значение. Слова «самое удаленное от Земли небесное тело» имеют смысл; однако весьма сомнительно, чтобы они имели значение. Выражение «наимедленнее сходящийся ряд» имеет смысл; однако доказано, что оно не имеет значения, так как для всякого сходящегося ряда можно найти медленнее сходящийся, но все-таки сходящийся, ряд. Отсюда следует, что если мы понимаем смысл, это не значит, что мы располагаем значением» [5, стр. 28].

Имена, имеющие смысл, но не обозначающие никакого предмета, ― это не «настоящие» собственные имена; они только играют роль собственных имен; Фреге называет такие выражения мнимыми собственными именами. Мнимые имена встречаются в обычной речи, по при построении науки, указывает Фреге, их употреблять нельзя. В формализованном языке для таких имен не должно быть места. Фреге пишет: «От логически совершенного языка (исчисления понятий) следует требовать, чтобы каждое выражение, образованное из ранее введенных знаков в грамматически правильной форме в качестве собственного имени, действительно обозначало предмет и чтобы ни один знак не вводился в качестве собственного имени, если для него не обеспечено значение» [5, стр. 41] [14] Из практики математики известно, что выражения, не имеющие значения, зачастую используются в математических доказательствах в качестве вспомогательного средства. Так, некоторые теоремы о действительных числах можно доказывать, оперируя в ходе доказательства с ничего не значащим (в области действительных чисел) именем «(-1) ½ ». Однако такие выражения всегда могут быть исключены, и доказательство теоремы, содержащее «мнимое», или «пустое», имя, может быть заменено другим доказательством той же теоремы (которое, правда, может быть более громоздко, нежели заменяемое), в котором «мнимые» имена отсутствуют. В этом смысле выражения, не имеющие значения, не являются необходимыми, ибо без них можно обойтись. Однако было бы неверно налагать абсолютный запрет на использование в математике и математической логике имен, не имеющих значения, исключать их использование в какой бы то ни было форме. Использование ничего не значащих имен не может повредить, если мы в ходе рассуждения всегда отдаем себе отчет в пустоте соответствующих выражений ц исключаем эти имена из окончательного результата доказательства; вместе с тем их использование часто оказывается целесообразным, поскольку упрощает рассуждения. Разумеется, в предложениях, являющихся результатом доказательства, пустых имен не должно быть, так как предложения, содержащие такие имена, не истинны и не ложны. Именно в этом состоит рациональный смысл фрегевского требования, чтобы при построении науки не применялись имена, которые не имеют значения. . Так Фреге и строил свое «исчисление понятий». В «Основных законах арифметики» он говорит, что для соблюдения полной строгости существенен принцип, согласно которому «все правильно образованные знаки должны обозначать нечто» [3, стр. XII]. Следуя этому принципу, Фреге формулирует специальные правила, обеспечивающие за каждым правильно образованным именем в его исчислении некоторое определенное значение (теперь такие правила называются семантическими).