19Всякий, изучающий иностранный язык, хорошо знаком с этим положением. Достаточно не знать, в чем состоит смысл хотя бы одного выражения, чтобы не быть в состоянии понять целое, в которое это выражение входит. (Мы иногда догадываемся о смысле целого, даже если не знаем смысла какой-либо его части. Это объясняется тем, что общий контекст речи содержит в ряде случаев косвенные указания на смысл данного выражения. Однако у нас никогда нет гарантии в правильности нашей догадки. Поэтому приходится открывать словарь и вычитывать из него смысл непонятных слов. Только после этого приобретается уверенность в том, что смысл целого мы поняли правильно).
20Поскольку в обычных языках не существует точных критериев отличения осмысленных выражений от выражений, не имеющих смысла, постольку на вопрос об осмысленности некоторого выражения часто даются противоположные ответы. Следует также учитывать, что живые языки непрерывно изменяются, в силу чего то, что вчера все сочли бы бессмыслицей, сегодня входит в язык и становится осмысленным выражением.
21Например, Фреге считает, что замена прилагательного на соответствующее определительное придаточное предложение или замена существительного на соответствующее придаточное-подлежащее не меняет смысла выражения.
22Значению сложного имени в теории Милля соответствует так называемое «прямое значение» («denotation», которое переводчик труда Милля на русский язык В. Н. Ивановский переводит термином «означение», ср. [13]), а смыслу – «сопутствующее значение», т. е. указание на признак предмета («connotation», переводимое Ивановским как «соозначение»).
23Разумеется, знание об имени предмета отличается от знания о самом этом предмете. Однако в целях общности теории можно поступить так. как предлагает Чёрч.
24Конечно, было бы неверно думать, что в обычных языках для таких имен, как «Аристотель», всегда существуют формальные определения их смыслов; точнее было бы сказать, что в таких языках собственные имена неявно определяются друг через друга. Поскольку обычно известно, что предметы, определяемые смыслами соответствующих имен действительно существуют, возникновение круга в определениях не ведет к неясностям пли недоразумениям.
25Фреге считает его очевидным. В [5] он выражает его только для предложений (рассматриваемых как частный случай имен), что объясняется содержанием этой статьи. Более общая формулировка содержится в [3]. Мы формулируем фрегевский принцип по Чёрчу [22]. В современной литературе этот принцип – и его варианты и апагоги в различных семантических системах – называют также принципом взаимозаменяемости языковых выражений. Ср. [20] (напр., стр. 95-97, 156-163); см. также [34].
26Приведем пример, когда значение сложного имени остается тем же самым. Заменим в имени «столица СССР» составляющее имя «СССР» именем «РСФСР», значение которого, конечно, иное, нежели значение заменяемого имени. В результате получим имя «столица РСФСР», значение которого совпадает со значением исходного сложного имени.
27Применение принципа замены на равнозначное имя тоже, конечно, предполагает, что равенство значений имен как-то определено. Ознакомление с трудами Фреге убеждает в том, что немецкий логик исходил из представления о том, что такое определение всегда возможно в силу присущей людям познавательной способности различения и отождествления предметов, причем предметы он рассматривал как нечто четко отграниченное, как строго друг от друга отличные вещи, которые в логике мы имеем право трактовать как постоянные и неизменные сущности.
Однако такое предположение весьма сильно. По сути дела оно является некоторой идеализацией, из которой мы вправе исходить в логике лишь постольку, поскольку не упускаем из виду того обстоятельства, что развитие, движение вещей объективного мира, их превращения и взаимодействия во многих случаях делают такое различение и отождествление практически неосуществимым; представление о возможности различать и отождествлять предметы есть некоторая абстракция от действительного положения вещей. Этот взгляд, вытекающий из учения диалектического материализма о том, что человеческие понятия всегда несколько упрощают объективную связь природы, лишь приблизительно отражая ее, искусственно изолируя те или иные стороны процесса развития (ср. В. И. Ленин [1], стр. 143), был, разумеется, чужд Фреге, который отнюдь не был диалектиком. Как метафизик, он по-видимому, считал, что любые объекты в мире всегда могут быть различаемы и отождествляемы.
Читать дальше