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

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

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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "Синтаксис (в логике)" в других словарях:

  • Синтаксис (в логике) — …   Википедия

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

  • СИНТАКСИС — (от греч. syntaxis построение, порядок) раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации (которую исследует семантика). С. формализованного языка называют… …   Философская энциклопедия

  • Синтаксис (семиотика) — У этого термина существуют и другие значения, см. Синтаксис (значения). Синтаксис в семиотике  совокупность отношений между знаками, а также раздел семиотики, изучающий эти отношения. Называется также термином «синтактика». История Понятие… …   Википедия

  • Синтаксис — I Синтаксис (от греч. sýntaxis построение, порядок)         в логике, описание и изучение чисто формальной части формализованного языка (См. Формализованный язык), т. е. неинтерпретированного исчисления (См. Исчисление) (в отличие от логической… …   Большая советская энциклопедия

  • СИНТАКСИС — в математической логике описание и изучение формальной аксиоматич. теории как чисто знаковой системы (в отличие от семантики, исследующей смысл и содержание объектов формальной теории). Различие между С. и семантикой особенно существенно в… …   Математическая энциклопедия

  • СИНТАКСИС — система знаков любого языка (в том числе, научных теорий) в отличие от их интерпретации. Исследование синтаксиса языка имеет большое значение при формализации научных теорий (особенно в математике и логике). При формализованном построении теорий… …   Философия науки: Словарь основных терминов

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

  • МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

  • ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»