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