Аналитическая философия

Лебедев Максим Владимирович

Если считать равенство отношением между предметами, то предложения (1) «Утренняя звезда есть Утренняя звезда» и (2) «Утренняя звезда есть Вечерняя звезда» окажутся, – при условии, что предложение (2) истинно (очевидно, что так оно и есть), – выражающими один и тот же факт, а именно, что планета Венера тождественна планете Венере.

Ясно, однако, что познавательный статус двух этих предложений совершенно различен. Предложение (1) является аналитическим, т.е. логически-истинным или тождественно-истинным в силу значений входящих в него логических терминов; оно не выражает какого-либо действительного знания о мире. Напротив, предложение (2) не является аналитическим; установление его истинности или ложности требует обращения к эмпирическим наблюдениям о мире. Оно сообщает нам важный астрономический факт и выражает подлинное знание о мире.

Возникшую проблему можно объяснить тем, что предмет, относительно которого утверждается его тождество с самим собой, рассматривается

безотносительно к тем именам, «а» и «b», «Утренняя звезда» и «Вечерняя звезда», при помощи которых устанавливается это тождество.

В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. «Говоря а = b, видимо, хотят сказать, что знаки, или имена, «а» и «b», означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым» 25 .

25

Там же, с.25-26.

Получается, что равенство а = b есть отношение, высказываемое об имени «а» некоторого предмета и об имени «b» некоторого предмета и состоящее в том, что предметы обоих имен совпадают друг с другом. В данном случае имеется двухместное отношение между именем и предметом, им обозначаемым. Поэтому можно сказать, что «а = b» есть высказывание об «а» и «b» лишь постольку, поскольку они обозначают какой-то предмет.

Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: «Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого» 26 .

26

Там же, с.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 .

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) или какой-либо иной эквивалентной формы».