В формализованных языках правила образования выражений, имеющих смысл, должны формулироваться строго. Впервые это понял и осуществил именно Фреге. В его «Исчислении понятий» перечислены исходные имена и точно указаны способы образования одних имен из других имен и выражений его языка. Так определяется понятие «правильно составленного имени»; при этом каждое правильно составленное имя имеет не только смысл, но и значение.
Итак, смысл сложного имени определяется смыслом его частей и характером тех правил, по которым оно построено; его смысл меняется, когда меняется смысл какой-либо его части. Если учесть, что смысл каждой части определяется ее языковым характером, а то, по каким правилам составлено имя, фиксируется в его грамматическом строении, то станет ясно, что смысл имени выражается средствами языка и только средствами языка.
Это совершенно естественно. Ведь смысл имени – это заключенные в нем сведения о его значении. Они должны найти себе материальное, языковое выражение, т. е. быть даны в самом имени, в самом знаке – в его форме, построении, характере его частей. Иначе как мы поймем его смысл, откуда получим информацию о его значении?
Однако не всякая особенность языкового состава и строения сложного имени служит для выражения смысла. Например, вместо 7) – «Квадратный корень из 4, который меньше 0» можно сказать 8) «Отрицательный квадратный корень из 4» Это значит, что эти имена признаются имеющими одинаковый смысл (синонимы); различие в их языковом строении не оказывает, по Фреге, влияния на их смысл. Впрочем, Фреге но дает никаких определенных указаний о том, как отличать те особенности состава и строения имен, которые служат для выражения смысла, от таких, которые для смысла безразличны. Это связано с тем, что он не устанавливает критерия равенства смыслов (ср. [22], § 02, примечание 37). Проблема синонимов, которая заключается в том, чтобы для достаточно широкого круга языков отыскать метод, позволяющий для любых двух имен решить вопрос о равенстве их смыслов, находится вне поля зрения Фреге. Как мы увидим ниже, это не случайно. Для целей Фреге достаточно считать, что смыслы можно различать и отождествлять, используя каким-то образом данные языка. Сам он в своих работах различает и отождествляет смыслы конкретных имен, причем делает это в полном согласии со свойственным каждому человеку чувством родного языка[21].
Хотя Фреге не поставил проблемы синонимов, она сама собой выдвигается всем содержанием его исследований.
***
Остановимся на смысле элементарных имен. В логике издавна существовал взгляд, что такие имена, как 1) и 2), не выражают никакого смысла. Так думал, например, Д.-С. Милль [13]. Он делил имена на общие и единичные, а среди последних выделял класс собственных имен. Собственные имена Милля – это элементарные имена, а единичные, но не собственные – это описательные имена. По теории Д.-С. Милля, сложные имена обладают как значением, так и смыслом[22]. Простые имена – «Джон», «Лондон», «Англия» и др.- хотя и означают предметы, но смысла не имеют, так как не выражают никаких признаков, которые принадлежали бы этим предметам. Милль говорит: «Так, известного человека я называю Софрониском, но я называю его и другим именем: отец Сократа. Как то, так и другое имя обозначает одну и ту же личность; но их содержание совершенно различно – они прилагаются к этой личности с разными целями: одно только затем, чтоб отличить этого человека от других лиц, о которых идет речь, второе – с целью указать один факт относительно этого человека, а именно то, что Сократ был его сын» [13, стр. 31].
21 Например, Фреге считает, что замена прилагательного на соответствующее определительное придаточное предложение или замена существительного на соответствующее придаточное-подлежащее не меняет смысла выражения.
22 Значению сложного имени в теории Милля соответствует так называемое «прямое значение» («denotation», которое переводчик труда Милля на русский язык В. Н. Ивановский переводит термином «означение», ср. [13]), а смыслу – «сопутствующее значение», т. е. указание на признак предмета («connotation», переводимое Ивановским как «соозначение»).