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


логический синтаксис
- раздел семиотики, исследующий формальные свойства знаковых систем. Семиотику принято разделять на три части: синтаксис, семантику и прагматику. Синтаксис исследует формальные отношения между знаками. Семантика занимается изучением отношений языка и его выражений к обозначенным объектам и выражаемому ими значению. Прагматика обращает внимание на употребление языковых выражений, на отношения языка к его носителям. Л. с. отличается тем, что исследует синтаксические свойства не естественных, а формальных, логических языков, поэтому его относят обычно не к семиотике, а к металогике.
С точки зрения синтаксиса, формальная система представляет собой набор исходных символов, из которых по определенным правилам могут быть построены разнообразные формулы, из которых выделяется класс правильно построенных формул. Правила построения формул называются правилами образования. К ним добавляются правила преобразования: аксиомы и правила получения одних формул из других. Правила образования и преобразования формул относятся к числу синтаксических правил. Синтаксические свойства формальных систем выражаются втаких понятиях, как "доказательство", "непротиворечивость системы аксиом", "полнота", "независимость аксиом" и т. п. В качестве языка, на котором описываются синтаксические свойства формальных систем, используется фрагмент обычного естественного языка. Однако он, в свою очередь, также может быть формализован.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

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

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

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

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

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

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

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

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

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

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

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

Книги

Другие книги по запросу «логический синтаксис» >>


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.