Если считать равенство отношением между предметами, то предложения (1) «Утренняя звезда есть Утренняя звезда» и (2) «Утренняя звезда есть Вечерняя звезда» окажутся, – при условии, что предложение (2) истинно (очевидно, что так оно и есть), – выражающими один и тот же факт, а именно, что планета Венера тождественна планете Венере.
Ясно, однако, что познавательный статус двух этих предложений совершенно различен. Предложение (1) является аналитическим, т.е. логически-истинным или тождественно-истинным в силу значений входящих в него логических терминов; оно не выражает какого-либо действительного знания о мире. Напротив, предложение (2) не является аналитическим; установление его истинности или ложности требует обращения к эмпирическим наблюдениям о мире. Оно сообщает нам важный астрономический факт и выражает подлинное знание о мире.
Возникшую проблему можно объяснить тем, что предмет, относительно которого утверждается его тождество с самим собой, рассматривается безотносительно к тем именам, «а» и «b», «Утренняя звезда» и «Вечерняя звезда», при помощи которых устанавливается это тождество.
В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. «Говоря а = b, видимо, хотят сказать, что знаки, или имена, «а» и «b», означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым»25.
Получается, что равенство а = b есть отношение, высказываемое об имени «а» некоторого предмета и об имени «b» некоторого предмета и состоящее в том, что предметы обоих имен совпадают друг с другом. В данном случае имеется двухместное отношение между именем и предметом, им обозначаемым. Поэтому можно сказать, что «а = b» есть высказывание об «а» и «b» лишь постольку, поскольку они обозначают какой-то предмет.
Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: «Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого»26.
Конечно, существуют предложения, относительно смысла которых можно утверждать, что он ограничивается выражением того, что у предмета, обозначаемого именем «а», есть еще имя «b». Таково, к примеру, предложение
(3) «Цицерон есть Марк Туллий».
Можно считать, что и оно содержит некоторое знание насчет того, что человек по имени Цицерон иначе называется еще Марк Туллий. Ясно, однако, что это знание относится не к самому предмету, но к знакам, которыми мы обозначаем этот предмет. Однако не все предложения о равенстве таковы. Среди них встречаются и такие, которые выражают знание в собственном смысле этого слова. Рассмотрим предложение
(4) «Платон есть ученик Сократа и учитель Аристотеля».
Если мы будем считать, что предложение (4) по своему познавательному статусу вполне аналогично предложению (3), то должны будем заключить, что предложение (4) содержит только некоторое знание о том, как нужно понимать знаки, обозначающие некоторое лицо, в данном случае – великого античного философа. Тогда нам следует понимать предложение (4) так, что оно утверждает только то, что человек, именуемый «Платон» – это тот же человек, которого называют «ученик Сократа и учитель Аристотеля». В таком случае мы не имеем права рассматривать последнее как сложное имя, состоящее из осмысленных частей («ученик Сократа», «учитель Аристотеля») и сообщающее сведения, что обозначенный этим именем человек учился у Сократа и был учителем Аристотеля, и должны рассматривать его как произвольный знак, обозначающий Платона и не несущий какой-либо дополнительной информации. Ясно, что такое понимание предложения (4) ошибочно, поскольку предложения (3) и (4) явно различны по своему познавательному статусу.