толкования переводы книги фильмы Большая советская энциклопедия Синтаксис Перевод СинтаксисI Си́нтаксис (от греч. sýntaxis — построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка (См. Формализованный язык), т. е. неинтерпретированного исчисления (См. Исчисление) (в отличие от логической семантики , интересующейся как раз Интерпретациями исчислений). С. в узком смысле рассматривает только выразительные средства исчисления: алфавит и правила образования формул; логический С. интересуется, сверх того, дедуктивным аппаратом исчисления, т. е. его Аксиомами и правилами вывода теорем (См. Теорема). (Термин «С.» в любом из этих смыслов применяют часто не к описаниям структуры исчисления, а к самой этой описываемой структуре.) Различают также элементарный С., относящийся к какому-либо конкретному исчислению, и теоретически и С. — общую теорию исчислений (формальных систем). Вся эта терминология введена австрийским логиком Р. Карнапом (1934). См. Исчисление, Металогика, Метаязык и лит. при этих статьях.
