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