часть семиотики (См.
Семиотика)
, посвященная изучению т. н. синтаксических, т. е. чисто структурных (см.
Синтаксис в логике) свойств знаковых систем, безотносительно к каким-либо их
Интерпретациям
(составляющим предмет интересов
семантики) и возможным интерпретаторам (рассматриваемым прагматикой (См.
Прагматика))
. (Поскольку имеются серьёзные основания характеризовать семиотику не как "науку" в общепринятом значении этого слова, а как определённый подход к описанию различного рода "знаковых ситуаций" и решению связанных с ними задач, о С. имеет смысл говорить как о чисто "формальном", структурном аспекте такого семиотического подхода.) Примером синтаксической характеристики исчисления (См.
Исчисление) могут служить правила образования формул в этом исчислении, дающие критерии отличения формул от выражений, составленных из символов алфавита данного исчисления, но не являющихся его формулами. Синтаксис и морфология грамматик естественных языков также интересуются преимущественно синтаксическими (в рассматриваемом здесь смысле) вопросами. Особенно велик удельный вес синтаксических закономерностей в формализованных языках (См.
Формализованный язык)
математической логики и математики; именно в рамках логико-математических исследований возникли идеи, методы и результаты, про которые можно было бы сказать, что они составляют "предмет С.". Но синтаксический аспект исследования оказался весьма плодотворным и в применении к естественным языкам - как к "мёртвым" (в вопросах дешифровки древних письменностей), так и к ныне существующим (например, применительно к проблемам машинного перевода (См.
Машинный перевод)
, см. также
Модели в языкознании).