Естествознание. Энциклопедический словарь - логический синтаксис

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

Естествознание. Энциклопедический словарь

.