БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


Синтаксис (в логике)

Значение слова "Синтаксис (в логике)" в Большой Советской Энциклопедии


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

  См. Исчисление, Металогика, Метаязык и лит. при этих статьях.

В Большой Советской Энциклопедии рядом со словом "Синтаксис (в логике)"

Синтагматические отношения | Буква "С" | В начало | Буквосочетание "СИ" | Синтаксис (грамматич.)


Статья про слово "Синтаксис (в логике)" в Большой Советской Энциклопедии была прочитана 1344 раз


Интересное