ЛОГИ́ЧЕСКИЙ СИНТАКСИС, в широком смысле - теория (возможно, аксиоматическая), рассматривающая осн. принципы построения логич. исчислений и их формальную структуру (теоретический Л.с.); в узком смысле - запас выразит. средств для формулирования утверждений о формальных выражениях (языке) логич. исчисления (элементарный Л.с.).
