Основные свойства языка, знаковой системы: 1) знаки связаны в ней между собой определенными правилами синтаксиса; 2) новые знаки вводятся в систему не произвольно, а на основе правил; 3) значение знака в системе зависит не только от него самого, но и от его места в системе; 4) система состоит из конечного (хотя и не всегда постоянного) числа элементов (знаков), так что может быть составлено их описание с указанием каждого из них (словарь); 5) осуществим перевод (замена) одной знаковой системы на другую.
Так как язык – предмет изучения в первую очередь лингвистики, то в ней сложились знаковые теории языка – совокупность теоретических положений (идей, гипотез) о строении языка, рассматриваемого как система знаков и об отношении его к внеязыковой действительности. Понятие знака, восходящее к стоикам, изначально определялось как двусторонняя сущность, образованная отношением означающего (semainon) и означаемого (semainomenon) значений, интерпретируемых соответственно как «воспринимаемое» и «понимаемое». Определение знака как единства звуков и значения прошло через всю средневековую философию. Как считает У. Эко, «разработанную теорию знаков мы находим только у оккамистов. Вернее, раньше она тоже существовала, но раньше интерпретация знаков либо носила чисто символический характер, либо видела за знаками одни идеи и универсалии. И только от Бэкона до Оккама, в этот единственный период, знаки использовались для изучения индивидуалий». В новое время теория о знаках была изложена в трудах В. Гумбольдта, сформулировавшего «закон знака».[10]
Общие принципы знаковых концепций были сформированы на основе анализа свойств естественного языка одновременно разными науками – философией, логикой, математикой, и психологией, лингвистикой в конкретных, специфических для каждой отрасли знаний целях, что позволяет разграничить знаковые теории по четырем научным сферам: философской, логико-математической, психологической и лингвистической, хотя граница между ними относительна. Большое влияние на формирование знаковых теорий языка оказала семиотика. В «теории символических форм» немецкого философа Э. Кассирера (1923) язык рассматривается как одна из символических форм наряду с религией, мифологией, культурой, наукой и т. п.
Логико-математическая линия представлена прежде всего работами Ч. С. Пирса, который разрабатывал особый вариант математической логики, называемый «умозрительной или чистой грамматикой». По характеру соотношения двух сторон знака Пирс выделил 3 типа знаков: а) иконические знаки, формируемые на основе подобия знака и денотата; б) знаки-индексы, создаваемые отношением смежности знака и денотата; в) знаки-символы, порождаемые установлением связи знака и денотата по условному соглашению – конвенциональные знаки. Связь двух сторон знака-символа не зависит от их сходства; такой знак обретает статус условного установления. В духе логического позитивизма эти идеи развивает Р. Карнап, работы которого («Логический синтаксис языка» 1934, «Введение в семантику»,