В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. «Говоря а = b, видимо, хотят сказать, что знаки, или имена, «а» и «b», означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым»25.
Получается, что равенство а = b есть отношение, высказываемое об имени «а» некоторого предмета и об имени «b» некоторого предмета и состоящее в том, что предметы обоих имен совпадают друг с другом. В данном случае имеется двухместное отношение между именем и предметом, им обозначаемым. Поэтому можно сказать, что «а = b» есть высказывание об «а» и «b» лишь постольку, поскольку они обозначают какой-то предмет.
Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: «Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого»26.
Конечно, существуют предложения, относительно смысла которых можно утверждать, что он ограничивается выражением того, что у предмета, обозначаемого именем «а», есть еще имя «b». Таково, к примеру, предложение
(3) «Цицерон есть Марк Туллий».
Можно считать, что и оно содержит некоторое знание насчет того, что человек по имени Цицерон иначе называется еще Марк Туллий. Ясно, однако, что это знание относится не к самому предмету, но к знакам, которыми мы обозначаем этот предмет. Однако не все предложения о равенстве таковы. Среди них встречаются и такие, которые выражают знание в собственном смысле этого слова. Рассмотрим предложение
(4) «Платон есть ученик Сократа и учитель Аристотеля».
Если мы будем считать, что предложение (4) по своему познавательному статусу вполне аналогично предложению (3), то должны будем заключить, что предложение (4) содержит только некоторое знание о том, как нужно понимать знаки, обозначающие некоторое лицо, в данном случае – великого античного философа. Тогда нам следует понимать предложение (4) так, что оно утверждает только то, что человек, именуемый «Платон» – это тот же человек, которого называют «ученик Сократа и учитель Аристотеля». В таком случае мы не имеем права рассматривать последнее как сложное имя, состоящее из осмысленных частей («ученик Сократа», «учитель Аристотеля») и сообщающее сведения, что обозначенный этим именем человек учился у Сократа и был учителем Аристотеля, и должны рассматривать его как произвольный знак, обозначающий Платона и не несущий какой-либо дополнительной информации. Ясно, что такое понимание предложения (4) ошибочно, поскольку предложения (3) и (4) явно различны по своему познавательному статусу.
Предложенное решение не дает нам выхода из затруднения, поскольку мы оказываемся не в состоянии различить предложения (1) «а = а» и «а = b» с точки зрения их познавательного статуса. Если знак «а» отличается от знака «b» только по своему виду, а не в качестве собственно знака, то есть не в силу того способа, которым он обозначает нечто, то между предложениями (1) и (2) не будет принципиальной разницы в том случае, если предложение (2) истинно.
Разница в познавательной ценности предложений (1) и (2) может появиться только в том случае, если различию знаков соответствует различие в способе данности обозначаемого. Иными словами, это различие возможно тогда и только тогда, когда с каждым именем собственным соотносится не только тот предмет, который обозначает это имя (значение имени), но и тот способ, каким имя обозначает или дает нам предмет, – смысл имени.
Для того, чтобы разъяснить вводимое им трехместное отношение между именем, значением имени и смыслом имени, Фреге прибегает к следующему примеру. Пусть а, b и с – прямые, соединяющие вершины треугольника с серединами противоположных сторон. Точка пересечения а и b будет тогда той же самой точкой, что и точка пересечения b и с. Итак, мы имеем различные обозначения (имена) одной и той же точки, и эти имена («точка пересечения а и b» и «точка пересечения b и с») указывают на способ данности объекта. Мы сталкиваемся с ситуацией именования, в которой два имени обозначают один и тот же предмет. Первое имя обозначает его как точку пересечения прямых а и b, второе – как точку пересечения прямых b и с. Именно поэтому, утверждает Фреге, данное предложение выражает действительное знание.
«Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности [обозначаемого]. Тогда в нашем примере одним и тем же будет значение выражений «точка пересечения а и b» и «точка пересечения b и с», а не их смысл. Точно также у выражений «Вечерняя звезда» и «Утренняя звезда» одно и то же значение, но не смысл»27.
Примечательно, что Фреге использует термин «имя собственное» в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он использует его также и в отношении сложных обозначений предметов, которые мы обычно называем определенными описаниями или дескрипциями(англ. definite descriptions). (Эта терминология не имела хождения во времена Фреге. Она была введена Расселом в совместной с Уайтхедом работе «Principia Mathematica»28). Отсюда становится понятным, что в состав имен собственных Фреге включает по крайней мере два достаточно разнородных класса языковых выражений. Во-первых, речь идет о логических именах собственных, обозначающих какой-то один предмет. В этом случае имя собственное является простым сингулярным термином, составные части которого, в свою очередь, сами не являются символами. Таковы выражения типа «Платон», «Аристотель», «Венера», «Марс», «Вена», «Гринвич». Во-вторых, речь идет о относительно сложных обозначениях предметов, которые мы обычно называем определенными описаниями. В таком случае имя собственное будет сложным сингулярным термином, содержащим более простые символы в качестве своих составных частей. К сложным сингулярным терминам относятся выражения типа «тот ученик Платона, который был учителем Александра Великого», «самое удаленное от Земли небесное тело», «тот французский полководец, который выиграл сражение при Иене, но проиграл сражение при Ватерлоо».
Каковы были основания, побудившие Фреге считать сложные сингулярные термины («определенные описания») обычными именами собственными наряду с простыми сингулярными терминами? Первое основание фрегевского включения определенных дескрипций в класс имен собственных состояло в том, что Фреге считал обычные имена собственные сокращенными определенными описаниями; например, имя собственное «Аристотель» – это своего рода сокращенная аббревиатура для описания «тот ученик Платона, который был учителем Александра Великого». Следовательно, Фрегева семантика основывается на том, что большинство собственных обозначений – это скрытые описания. Это означает, что смысл логическим именам собственным типа «Аристотель», «Мюнхен», «Венера» придается посредством определенных описаний, которые ставятся им в соответствие. В свою очередь, в определенные описания могут входить логические имена собственные. Это позиция обладает малоубедительным правдоподобием в отношении собственных имен исторических персонажей («Аристотель», «Цицерон», «Наполеон»), но она совершенно не годится для объяснения семантических особенностей обычных имен собственных. В частности, если считать, что логические имена собственные – это сокращенные определенные описания или части определенных описаний, то оказывается необъяснимым факт существования по крайней мере двух знакомых мне людей, носящих одинаковые имена.
25
Там же, с.25-26.
26
Там же, с.26.
27
Там же.
28
A. Whitehead and B. Russel. Principia Mathematica. Vol. I. Cambridge, 1925. 2. ed., p. 30: «Под дескрипцией, – писал Рассел, – мы подразумеваем оборот формы „такой-то и такой-то“ (the so-and-so) или какой-либо иной эквивалентной формы».