|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Синтаксис (в логике) | Синтаксис (далее С) (от греч. sýntaxis — построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка, т. е. неинтерпретированного исчисления (в отличие от логической семантики, интересующейся как раз интерпретациями исчислений). С (в логике) в узком смысле рассматривает только выразительные средства исчисления: алфавит и правила образования формул; логический С (в логике) интересуется, сверх того, дедуктивным аппаратом исчисления, т. е. его аксиомами и правилами вывода теорем. (Термин "С (в логике)" в любом из этих смыслов применяют часто не к описаниям структуры исчисления, а к самой этой описываемой структуре.) Различают также элементарный С (в логике), относящийся к какому-либо конкретному исчислению, и теоретически и С (в логике) — общую теорию исчислений (формальных систем). Вся эта терминология введена австрийским логиком Р. Карнапом (1934).
См. Исчисление, Металогика, Метаязык и лит. при этих статьях. |
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
