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

Поскольку логика изучает формы мышления и способы их выражения в языке, постольку логика является также наукой о языке. В логике исследуются отдельные аспекты естественых языков (языков, которые возникли и развиваются в основном стихийно), а также создаются искусственные языки — специальные языки-логики. Одним из таких языков является язык логики предикатов, широко используемый при выявлении связей между мыслями по их логическим формам. Основное достоинство этого языка заключается в том, что его выражения однозначны. В нем нет омонимов и нет неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности, или неправильности, а также ряд других вопросов.
При логическом анализе язык рассматривается как знаковая система.
Знак — это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующих трех типов: знаки-индексы, знаки-образы, знаки-символы.
Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами. Так, дым говорит о наличии огня, повышенная температура человека — о заболевании, изменение цвета ногтей человека — о заболевании внутренних органов, изменение высоты ртутного столба — об изменении атмосферного давления.
Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (карта местности, картина, чертеж), поскольку они находятся в отношении подобия с обозначаемыми объектами.
Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
Логика исследует знаки последнего вида.
Как правило, знаки имеют предметные и смысловые значеня.
Предметным значением является тот объект, который представляется (или обозначается) знаком. Смысловое значение — это выражаемая знаком характеристика объекта, представителем которого является знак (информации об этом объекте). Предметное значение часто называют просто значением, а смысловое значение — смыслом.
Некоторые знаки не имеют значения, т.е. представляют несуществующие объекты (например, «вечный двигатель»), а некоторые не имеют смысла, т.е. обозначают какие-то объекты, но не несут о них информации, по крайней мере такой, которая позволяла бы однозначно выделять предметы, обозначаемые знаком.

7. Теория именования
Формализованный язык логики существует в двух вариантах: язык логики предикатов и язык логики высказываний.
Структура языка логики предикатов отражает смысловые характеристики естественного языка. К семантическим категориям языка относятся: предложения, имена (знаки предметов), пре- дикаторы (знаки свойств и отношений), функциональные знаки.
Имена — это слова или словосочетания, обозначающие какой-либо предмет.
Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», и описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однород-
ных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например «действующий вулкан».
Предикаторы — это языковые выражения, обозначающие свойства, качества, отношения.
Число имен, к которым относится предикатор, называется его местностью.
Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными. Например, «лед холодный».
Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными.