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

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (Пока оценок нет)
Загрузка...

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

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

Если вы нашли ошибку, пожалуйста, выделите фрагмент текста и нажмите Ctrl+Enter.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *