(от греч. syntaxis - построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка , т. е. неинтерпретированного исчисления (в отличие от логической семантики , интересующейся как раз интерпретациями исчислений). С. в узком смысле рассматривает только выразительные средства исчисления: алфавит и правила образ