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