СИНТАКСИС
(от греч.
syntaxis - построение, порядок) в логике, описание и изучение чисто формальной
части формализованного языка, т. е. неинтерпретированного исчисления
(в
отличие от логич. семантики, интересующейся как раз интерпретациями
исчислений).
С. в узком смысле рассматривает только выразительные средства исчисления:
алфавит ц правила образот вания формул; логический С. интересуется, сверх
того, дедуктивным аппаратом исчисления, т. е. его аксиомами и правилами
вывода теорем. (Термин "С." в любом из этих смыслов применяют часто
не к описаниям структуры исчисления, а к самой этой описываемой структуре.)
Различают также элементарный С., относящийся к к.-л. конкретному исчислению,
и теоретический С.- общую теорию исчислений (формальных систем). Вся эта
терминология введена австр. логиком Р. Карнапом (1934).
См. Исчисление, Металогика,
Метаязык и лит. при этих статьях.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я