логический синтаксис это:

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

Энциклопедический словарь. 2009.

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

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

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

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

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

  • СИНТАКСИС ЛОГИЧЕСКИЙ —     СИНТАКСИС ЛОГИЧЕСКИЙ см. Формализованный язык. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

  • Синтаксис (значения) — Синтаксис: В Викисловаре есть статья «синтаксис» Синтаксис (греч …   Википедия

  • ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ —         течение неопозитивизма, возникшее в 20 х гг. 20 в. на основе Венского кружка (Р. Карнан, О. Нейрат, Ф. Франк, Г. Фейгль, X. Рейхенбах и др.). Л. п. выступает как преемник позитивистской субъективно идеалистич. традиции, идущей от Беркли,… …   Философская энциклопедия

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

  • СИНТАКСИС ЛОГИЧЕСКИЙ – — см. Формализованный язык.           Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

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

Книги

  • Информатика, Гусева Е. Н., Ефимова И. Ю., Коробков Р. И., Коробкова К. В., Мовчан И. Н.. В пособии рассмотрены разделы информатики, определяющие базовый уровень подготовки современных специалистов: представление и кодирование информации, аппаратное и программное обеспечение… Подробнее  Купить за 190 руб


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

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