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

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

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

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

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

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

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

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

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

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

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

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