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