выделить предмет, обозначаемый знаком, обычно принято говорить, что значениезнака является функциейсмысла. Например, знак «учитель Александра Македонского» при условии, что известны значения слов «учитель» и «Александр Македонский», обозначает древнегреческого философа Аристотеля.
Второй краеугольный камень семантики Фреге – это то строгое различие, которое он проводит между именамисобственными и предикатнымизнаками. Последние именуются им понятийнымисловами (нем. Begriffsw(rter). В то время как значением имени собственного является определенный предмет, значением предикатного знака или, что то же самое, понятийного слова, является понятие (например, «быть натуральным числом, большим, чем два»). В этом случае, однако, возникает проблема, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа «Существует ли больше, чем одно (». Пусть «А» будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении.Если интерпретировать выражение «А» как понятийное слово, то вопрос «Существует ли больше, чем одно А?» будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать «А» как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово «moon» может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос «Существует ли больше, чем одно (» для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе («спутники планеты»), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число («Луна»)22.
Связь между именем, его значением и смыслом принято изображать в виде семантическоготреугольника:
«И» – имя собственное (обозначающее выражение)
З – значение (референт) имени
С – смысл (абстрактное содержание) имени
Сам Фреге формулирует эту связь следующим образом: «Собственное имя (слово, знак, сочетание знаков, выражение) выражает (dr(ckt aus) свой смысл (Sinn) и означает (bedeutet), или обозначает (bezeichnet), свое значение (Bedeutung). Мы выражаем некоторым знаком его смысл и обозначаем им его значение»23.
В своей первой крупной теоретической работе «Исчисление понятий» (1879) Фреге не проводил различие между значением и смыслом имени. Не встречается оно и в другом крупном его произведении «Основоположения арифметики», опубликованном в 1884 году. Впервые различие между значением и смыслом имени появляется только в 1892 году в статье «О смысле и значении» («(ber Sinn und Bedeutung»).
Вопросом, подтолкнувшим Фреге к изучению проблемы значения и смысла языковых выражений, стал вопрос о равенстве. Является ли равенство отношением? Если да, то отношением между предметами или же между именами и знаками предметов? В своей статье «Исчисление понятий» Фреге высказался в пользу второго решения этой проблемы. В статье «Смысл и значение» он еще раз возвращается к этому вопросу. Свои аргументы в пользу выбранного им решения проблемы он формулирует следующим образом: «Предложения а = а и а = b имеют, очевидно, различную познавательную ценность: предложение а = а значимо a priori и, согласно Канту, должно называться аналитическим, в то время как предложения, имеющее форму а = b значительно расширяют наше познание и не всегда могут быть обоснованы a priori. Одним из значительнейших открытий астрономии в свое время было то, что каждое утро встает не новое Солнце, а то же самое. И по сей день опознание астероидов или комет иногда связано со значительными трудностями. Если же в равенстве мы хотим видеть отношение между тем, что означают имена «а» и «b», то предложения а = b и а = а не могут быть различными в том случае, когда а = а истинно. При этом выражалось бы отношение вещи к самой себе, но не к какой-то другой вещи»24.
Если считать равенство отношением между предметами, то предложения (1) «Утренняя звезда есть Утренняя звезда» и (2) «Утренняя звезда есть Вечерняя звезда» окажутся, – при условии, что предложение (2) истинно (очевидно, что так оно и есть), – выражающими один и тот же факт, а именно, что планета Венера тождественна планете Венере.
Ясно, однако, что познавательный статус двух этих предложений совершенно различен. Предложение (1) является аналитическим, т.е. логически-истинным или тождественно-истинным в силу значений входящих в него логических терминов; оно не выражает какого-либо действительного знания о мире. Напротив, предложение (2) не является аналитическим; установление его истинности или ложности требует обращения к эмпирическим наблюдениям о мире. Оно сообщает нам важный астрономический факт и выражает подлинное знание о мире.
Возникшую проблему можно объяснить тем, что предмет, относительно которого утверждается его тождество с самим собой, рассматривается безотносительно к тем именам, «а» и «b», «Утренняя звезда» и «Вечерняя звезда», при помощи которых устанавливается это тождество.
В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. «Говоря а = b, видимо, хотят сказать, что знаки, или имена, «а» и «b», означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым»25.
Получается, что равенство а = b есть отношение, высказываемое об имени «а» некоторого предмета и об имени «b» некоторого предмета и состоящее в том, что предметы обоих имен совпадают друг с другом. В данном случае имеется двухместное отношение между именем и предметом, им обозначаемым. Поэтому можно сказать, что «а = b» есть высказывание об «а» и «b» лишь постольку, поскольку они обозначают какой-то предмет.
Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: «Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого»26.
Конечно, существуют предложения, относительно смысла которых можно утверждать, что он ограничивается выражением того, что у предмета, обозначаемого именем «а», есть еще имя «b». Таково, к примеру, предложение
(3) «Цицерон есть Марк Туллий».
Можно считать, что и оно содержит некоторое знание насчет того, что человек по имени Цицерон иначе
