Об обозначении

Затруднение при обсуждении смысла обозначающего комплекса может быть сформулировано следующим образом. В тот момент, когда мы в пропозиции полагаем комплекс, эта пропозиция говорит о значении; и если мы высказываем пропозицию, субъектом которой является 'смысл С ', тогда субъект - это смысл (если таковой имеется) значения, который не имелся в виду. Это приводит нас к тому, чтобы сказать, что различая смысл и значение, мы должны иметь дело со смыслом; смысл имеет значение и является комплексом, и помимо смысла нет ничего другого, что можно было бы назвать комплексом и говорить как о том, что имеет как смысл, так и значение. Правильная фраза с рассматриваемой точки зрения состояла бы в том, что некоторые смыслы имеют значения.

Но при обсуждении смыслов это лишь делает наше затруднение более очевидным. Так как если предположить, что нашим комплексом является С , тогда мы должны сказать, что С есть смысл комплекса. Тем не менее, где бы ни встречалось С, если оно не заключено в кавычки, то, что говорится, верно не для смысла, но только для значения, как в случае, если мы говорим: Центр массы Солнечной системы - это точка. Поэтому, чтобы сказать о самом С , т.е. высказать пропозицию о смысле, нашим субъектом должно быть не С , но нечто обозначающее С . Поэтому 'С ', которое используется нами, когда мы хотим сказать о смысле, должно быть не смыслом, но чем-то обозначающим смысл. И С не должно быть конституентой этого комплекса (как в случае 'смысл С '), ибо если С встречается в комплексе, то, что встречается, будет его значением, а не смыслом, и обратной дороги от значения к смыслу нет, потому что каждый объект можно обозначить бесконечным числом различных обозначающих фраз.

Таким образом, представляется, что 'C ' и С являются различными сущностями, такими, что 'C ' обозначает С , но это не может служить объяснением, потому что отношение 'C ' к С остаётся совершенно загадочным; и где бы мы должны были найти обозначающий комплекс 'C ', который должен обозначать С ? Более того, когда С входит в пропозицию, то входит не только значение (как мы увидим в следующем параграфе), однако с рассматриваемой точки зрения С является только значением, смысл полностью относится к 'C '. Этот запутанный клубок, видимо, доказывает, что в целом различие смысла и значения понимается ошибочно.

То, что смысл уместен, когда в пропозиции встречается обозначающая фраза, формально доказывается затруднением с автором Уэверли . Пропозиция 'Скотт был автором Уэверли ' обладает свойством, которое не предполагается у 'Скотт был Скоттом', а именно свойством, что Георг IV желал знать, является ли оно истинным. Поэтому эти две пропозиции не являются тождественными; следовательно, смысл 'автор Уэверли ' должен быть столь же уместным, как и значение, если мы придерживаемся точки зрения, которой принадлежит это различение. Однако как мы только что видели, коль скоро мы придерживаемся этой точки зрения, мы вынуждены держаться и того, что уместным может быть только значение.

Остаётся показать, каким образом все рассмотренные нами затруднения разрешаются теорией, объяснённой в начале этой статьи.

Согласно взгляду, который я отстаиваю, обозначающая фраза является сущностной частью предложения и, в отличие от большинства одиночных слов, не имеет какого-либо собственного значения. Если я говорю: 'Скотт был человеком', это высказывание имеет форму 'х был человеком', и его субъектом является 'Скотт'. Но если я говорю: 'Автор Уэверли был человеком', это не является высказыванием формы 'х был человеком', и не имеет 'автор Уэверли' в качестве субъекта. Сокращая высказывание, сделанное в начале этой статьи, мы можем вместо 'Автор Уэверли был человеком' подставить следующее: 'Одна и только одна сущность написала Уэверли , и эта сущность была человеком'. (То, что имеется в виду, не столь строго как то, что говорилось ранее, но этому легче следовать.) Говоря в общем, если предположить, что мы хотим сказать, что автор Уэверли имеет свойство f , тогда то, что мы хотим сказать, эквивалентно следующему: 'Одна и только одна сущность написала Уэверли , и эта сущность обладает свойством f '.