СИНТАКСИС

(от греч. построение, поря­док) в логике, изучение чисто формальной части формализов. языка, т. е. неинтерпретированного исчис­ления. Объектами такого изучения служат алфа­вит рассматриваемого исчисления (формальной систе­мы), правила образования выражений (формул) предметного языка (языкаобъекта; см. Мета­язык) исчисления и правила преобразова­ния (правила вывода) в нём. В отличие от такого «логич. С.» часто говорят о «С. в узком смысле», ограничи­вающемся «чисто синтаксической» (в обычном грамматич. смысле) стороной системы, т. е. не рассматриваю­щем её правила преобразования. Элементарным С. наз. изучение синтаксич. (в обоих упомянутых смыслах) свойств к.-л. конкретной формальной систе­мы нек-рыми спец. эффективными средствами, как это принято в метаматематич. (см. Метатеория) исследова­ниях. Теоретический С.-это общая теория всевозможных формальных систем (или класса систем) к.-л. определ. вида, на аппарат к-рой обычно никаких ограничений не накладывается. Элементарный и теоретич. С. оперируют обычным содержательно понимаемым языком (к-рый, в свою очередь, сам может быть фор­мализован и служить предметом строгого формального исследования),