Отношение обозначения

В качестве центрального понятия семантики Карнап выделяет отношениеобозначения(the relation of designation), при котором знак или языковое выражение представляет то, что он обозначает. Поэтому знаки (signs) Карнап предлагает отличать от объектов, которые они обозначают; эти последние он именует десигнатами (designata). Для обозначения того, что собой представляют объекты, обозначаемые или представляемые знаками, Карнап выбирает предельно широкое по своему объему понятие «сущность». В работе «Значение и необходимость» он характеризует «сущности», которые обозначаются знаками, следующим образом: «Термин «сущность» (entity), – пишет Карнап, – часто употребляется в этой книге. Я отдаю себе отчет во всех связанных с ним метафизических ассоциациях, но я надеюсь, что читатель сможет отрешиться от них и будет понимать это слово в том простом смысле, что в котором оно понимается здесь, – как общее обозначение для свойств, пропозиций и других интенсионалов, и для классов, индивидов и других экстенсионалов, – с другой стороны. Мне кажется, что в английском языке нет другого подходящего термина с такой широкой областью применения»174.

Одной из центральных проблем, связанных с отношением обозначения, является вопрос о том, к каким знакам или выражениям семантической системы S возможно и допустимо применять отношение обозначения? Обычно оно применяется к индивиднымконстантам и предикатам различных уровней и степеней. Кроме того, оно может применяться к любого вида функторам, встречающимся в рамках семантической системы S. Однако Карнап утверждает, что существует возможность так расширить область применения отношения обозначения, что оно распространиться на знаки и выражения семантической системы S всех тех типов, для которых имеются переменные в метаязыке, даже если к их числу относятся типы предложений и типы сентенциальных связок. В качестве метаязыка в таком случае обычно используется какой-то естественный язык (например, английский или немецкий), дополненный переменными, включая пропозициональные переменные. Вместо того, чтобы писать «u обозначает v в S» Карнап предлагает писать «Dess (u, v)» или просто «Des (u, v)» в тех случаях, когда по контексту ясно, о какой семантической системе идет речь.

Как отмечает Карнап, наибольшее возражение встречает широкое использования отношения обозначения и в особенности его применение к отношению между предложениями и пропозициями. Утверждается, что в то время как объектные имена (индивидные константы) и предикаты и в самом деле что-то обозначают, а именно объекты, свойства и отношения, предложение ничего не обозначает; скорее оно что-то описывает или утверждает, что что-то имеет место. Быть может это действительно так по отношению к общепринятому употреблению слов «обозначение», «обозначать» и т.д. в обыденном языке. Понятно, что утверждение «Р(а) обозначает Чикаго – большой» не вполне согласуется с обычным словоупотреблением; то же самое касается и соответствующих предложений в языках со сходной структурой. Во-первых, русский (в данном случае) язык не позволяет помещать предложение в положение грамматического объекта. Это трудность, однако же, нетрудно обойти, поставив частицу «что» перед словом «обозначает». Во-вторых, даже в подобных случаях термин «обозначает» обычно не используется. Однако эти соображения не представляются Карнапу убедительными доводами против расширенного использования выражения «обозначать» в качестве технического термина. Дело в том, что при перемещении слова из обыденного языка в язык науки область его применения нередко расширяется. Единственным критерием разрешения спорных ситуаций является в этом случае критерий практической целесообразности; и решение зависит главным образом от того, является ли сходство между случаями обычного применения и новыми случаями достаточно значительным для того, чтобы расширение области применения термина выглядело естественно.

В отношении некоторых типов, к которым Карнап применяет отношение обозначения, время от времени поднимался вопрос, каковы в точности виды десигнатов одного типа или другого. Например, часто обсуждалась проблема, является ли десигнатом предметного имени (к примеру, «Чикаго») соответствующий предмет (thing) или класс однородных предметов (unit-class) (т.е. является ли его десигнатом Чикаго или{Чикаго}). Кроме того, часто задаются вопросом, является ли десигнатом предиката первой степени свойство или класс. В обоих случаях утверждается – в качестве аргумента в пользу второго ответа, – что десигнат всегда должен представлять собой класс. Если вообще принимаются десигнаты предложений, то возникает вопрос, являются ли десигнатами предложений положения дел (или возможные факты, условия и т.д.) или же скорее мысли.

Давайте предположим на время, что мы так понимаем данный объектный язык S, скажем, немецкий, что способны перевести его выражения и предложения на некоторый метаязык М, скажем, английский (включая некоторые переменные и символы). При этом не имеет значения, основывается ли это понимание на знании ссемантических правил или же является интуитивным; просто предполагается, что если дано выражение (скажем, «Pferd», «drei» в немецком языке), то с точки зрения наших практических целей мы знаем английское выражение, соответствующее ему в качестве «буквального перевода» («horse», «three» в английском языке). В таком случае мы сформулируем определение адекватности для понятия обозначения, которое само по себе не является определением для термина «Dess» (или «обозначает в S»), но стандартом, с которым мы сравниваем предполагаемые определения. В данном случае «адекватность» означает просто согласие с нашим намерением для использования термина.

D12-B. Предикат второй степени pri в М является адекватным предикатом для обозначения в S = Df каждое предложение в М формы pri (ui, uk), где ui есть имя (или синтаксическое описание) в М выражения um в рамках S (принадлежащего к одному из видов выражений, для которого определен pri) и uk является переводом um на язык М, истинно в М.

Если pri является адекватным, то мы также называем его определение и его десигнат, т.е. отношение, определенное как обозначение, адекватным. Это определение адекватности оставляет открытым вопрос о том, какие типы принимаются в качестве аргументов для pri; оно определяет только то, как предикат для обозначения должен использоваться для определенных типов, если мы решили использовать его для этих типов. Следовательно, мы можем, например, ограничить употребление pr, в смысле отмеченного выше возражения. Однако здесь предполагается использовать его для всех типов, для которых имеются переменные в М, т.е. принять в качестве второго аргумента uk любое выражение значения любой переменной в М. Практическое оправдание данного определения адекватности лежит в следующих двух фактах:

1. Оно дает общее правило для всех различных типов, причем простым способом;

2. оно, по-видимому, находится в согласии с обычным использованием термина «обозначение», по крайней мере постольку, поскольку это употребление имеет силу.

На основе адекватного отношения обозначения вопрос о десигнате объектного имени разрешается в пользу предмета, а не в пользу класса однородных предметов. Например, если «DesG» есть адекватный предикат (в М, т.е. в английском языке) для обозначения в немецком языке, то следующие предложения истинны:

а. «DesG („Pferd“, horse»);

b. «DesG („drei“, three»).

Если «DesS3» определено так, как указано выше (имея место «DesIndS3», «DesAttrS3» и «DesPropS3» соответственно), то он является адекватным предикатом для обозначения в S3. Помимо других предложений, следующие должны стать истинными:

а. «DesS3 („а“, Чикаго»);

b. «DesS3 („P“, большой»);

с. «DesS3 („Р(а)“, Чикаго – большой»);

все три предложения истинны. Мы видим, что адекватность требует от нас писать на месте аргумента «большой» вместо «большевизна» или «свойства быть большим» или «класса больших вещей»; и сходным образом мы пишем «лошадь» вместо «лошадность» или «класс лошадей». Это указывает на то, что мы можем приписывать предикатам десигнаты, не употребляя ни термин «свойство», ни термин «класс». (Вопрос о том, является ли десигнат, например, большой, свойством или классом не имеет непосредственного отношения к употреблению нами отношения обозначения, однако конечно же, имеет ответ – зависящий попросту от того, является ли данный язык экстенсиональным, или насколько он экстенсионален. То же самое касается вопроса о том, являются ли десигнаты предложений (sententional designata) истинностными значениями или чем-то иным.)

На основе «обозначения» («designation») (D2) Карнап определяет термин «синонимичный» («synonymos»). Таким образом термин «синонимичный» как в более узком, так и в более широком смысле в соответствии с более узкой или более широкой областью применения, выбранной для термина «обозначение».

D12-2.uiв Sm синонимичноuj в Sn = Df ui обозначает в Sm ту же самую сущность, что и uj в Sn.

Таким образом, констатирует Карнап, отношение синонимии не ограничивается выражениями одной системы. Большинство семантических отношений можно применить к выражениям различныхсистем, даже к тем, которые для простоты определяем относительно одной системы.

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