3. Язык как знаковая система.

Логика, являясь наукой о формах мышления, формально-логических законах и других связях и отношениях между мыслями по логическим формам, является также наукой о языке, поскольку она изучает способы выражения мыслей в естественных языках и создает особые формализованные языки, позволяющие более точно, чем естественные языки, выражать логические формы мыслей. Логика рассматривает язык как систему знаков.

Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Можно выделить знаки следующих типов: знаки-индексы, знаки-образы, знаки-символы.

Знаки индексы соотносятся с представляемыми ими объектами, например, как следствия с причинами. Так, дым над лесом говорит о наличии там огня, повышенная температура человека – о заболевании, особый цвет ногтей человека – о заболевании внутренних организмов, изменение высоты ртутного столба – об изменении атмосферного давления.

Знаками образами являются те знаки, которые сами по себе несут информацию о предоставляемых ими объектах (карта местности, картина, чертеж), поскольку они находятся в отношении подобия с обозначаемыми объектами.

Знаки-символы не соотносимы и не сходны с представляемыми ими объектами.

Логика исследует знаки последнего вида.

Как правило, знаки имеют предметные и смысловые значения. Предметным значением является тот объект, который представляется (или обозначается) знаком. Смысловым значением – выражаемая знаком характеристика объекта, представителем которого является знак (информация об этом объекте). Предметное значение часто называют просто значением, а смысловое значением – смыслом.

4. Учение логики об именах.

Одним из видов знаков являются имена. Учение об именах, называемое теорией именования, относительно полно разработано немецким ученым Г.Фреге (1848-1925). Большой вклад в создание этого учения внесли американские логики Р. Карнап (1891-1970) и А.Черч (р.1930), а также русский логик Е.К.Войшвилло (р. 1913).

Основным в теории именования является понятие «имя».

Имя – это слово или словосочетание, обозначающее какой-либо предмет. Поскольку имя является знаком, оно имеет значение или смысл. Значение имени – предмет, обозначаемый этим именем. Другие названия значения имени – денотат, десигнат, номинат. Смысл – это информация о предметах, которую выражает имя и которая позволяет однозначно выделять предметы, являющиеся значениями имени.

Различают имена двух типов. Имя, относящееся к первому типу, обозначает один предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называют единичными, а второго – общими. Значением единичного имени является единственный предмет. Значениями общего имени являются предметы некоторого класса, содержащего более одного элемента. Класс, который составляют предметы, являющиеся значениями имени, называет объемом имени. Объем единичного имени – класс, состоящий из одного предмета.

Общие имена могут быть универсальными. Универсальными называют общие имена, объемом которых является весь универсум рассуждения. Универсум рассуждения определяется контекстом, в котором употребляется имя. Могут быть имена с разными смыслами и одним и тем же объемом, но не может быть имен с одним и тем же смыслом, но разными объемами.

Имена могут обозначать предметы, не существующие в универсуме рассуждения.

Имена, значениями которых являются предметы, входящие в универсум рассуждения, называют действительными.

В естественном языке некоторые выражения в зависимости от контекста обозначают различные предметы, а также встречаются случаи, когда значениями выражений могут быть сами эти выражения. Такая ситуация недопустима в языке права, который подчиняется следующим трем нормативным принципам: предметности; однозначности; взаимозаменимости.

Согласно принципу предметности в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в положения, а не о самих именах. Нужно, конечно, иметь ввиду, что значениями некоторых имен являются имена. Такие случаи не противоречат принципу предметности.

Согласно принципу однозначности выражение, используемое в качестве имени, должно быть именем только одного предмета, если это единичное имя, а если это общее имя, то данное выражение должно быть именем, общим для предметов одного класса.

Принцип взаимозаменимости. Если в сложном имени заменить часть, в свою очередь являющуюся именем, другим именем с тем же знамением, то значение полученного в результате такой замены сложного имени должно быть таким же, что и значение исходного сложного имени.

Несоответствия принципу взаимозаменимости называются антиномиями отношения именования.

Как сохранить принцип взаимозаменимости и избежать антиномии?

Следует различать два способа употребления имен: первый – имя просто выделяет предмет (предметы); второй – предметы, обозначаемые именем, рассматриваются в определенном аспекте.