Синтаксис (от греч. sýntaxis — построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка, т. е. неинтерпретированного исчисления (в отличие от логической семантики, интересующейся как раз интерпретациями исчислений). С. в узком смысле рассматривает только выразительные средства исчисления: алфавит и правила образования формул; логический С. интересуется, сверх того, дедуктивным аппаратом исчисления, т. е. его аксиомами и правилами вывода теорем. (Термин «С.» в любом из этих смыслов применяют часто не к описаниям структуры исчисления, а к самой этой описываемой структуре.) Различают также элементарный С., относящийся к какому-либо конкретному исчислению, и теоретически и С. — общую теорию исчислений (формальных систем). Вся эта терминология введена австрийским логиком Р. Карнапом (1934).
См. Исчисление, Металогика, Метаязык и лит. при этих статьях.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Синтаксис (грамматич.) Синтаксис, раздел грамматики, изучающий внутреннюю структуру и общие свойства предложения. Основоположником С. принято считать греческого грамматика А. Дискола (2 в.). В ходе развития ли...
Синтактика Синтактика (от греч. syntaktikos— строящий по порядку, приводящий в порядок), часть семиотики, посвященная изучению т. н. синтаксических, т. е. чисто структурных (см. Синтаксис в логике)...
Синтез Синтез (от греч. synthesis — соединение, сочетание, составление), соединение различных элементов, сторон объекта в единое целое (систему), которое осуществляется как в практической деяте...