Философская энциклопедия - логический синтаксис

ЛОГИЧЕСКИЙ СИНТАКСИС

теория, изучающая чисто формальную часть логич. систем, т.е. отношения между их выражениями безотносительно к интерпретации последних и устанавливающая правила построения этих выражений и правила оперирования с ними. Описание Л. с. к.-л. системы состоит в указании "словаря" (алфавита и классификации его элементов), правил образования (построения) выражений системы и правил преобразования (вывода, дедукции). См. Синтаксис в логике.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.