Словарь по логике

ЛОГИЧЕСКИЙ СИНТАКСИС

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


  1. логический синтаксис—в широком смысле теория возможноаксиоматическая рассматривающая основные принципы построениялогарифмических исчислений и их формальную структуру теоретическийлогический ...Большой энциклопедический словарь II
  2. логический синтаксис—ЛОГИЧЕСКИЙ СИНТАКСИС в широком смысле теория возможно аксиоматическая рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру т...Большой энциклопедический словарь III
  3. логический синтаксис—ЛОГИЧЕСКИЙ синтаксис в широком смысле теория возможно аксиоматическая рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру ...Большой Энциклопедический словарь V
  4. логический синтаксис—в широком смысле теория возможно аксиоматическая рассматривающая осн. принципы построения логич. исчислений и их формальную структуру теоретический Л. с. в узком смысле ...Естествознание. Энциклопедический словарь
  5. логический синтаксис—логикалы снтаксис...Русско-казахский терминологический словарь «Философия и политология»
  6. логический синтаксис—раздел семиотики исследующий формальные свойства знаковых систем. Семиотику принято разделять на три части синтаксис семантику и прагматику. Синтаксис исследует формальны...Словарь логики
  7. логический синтаксис—ЛОГИЧЕСКИЙ СИНТАКСИС в широком смысле теория возможно аксиоматическая рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру т...Современный энциклопедический словарь
  8. логический синтаксис—ЛОГИЧЕСКИЙ СИНТАКСИС теория изучающая чисто формальную часть логич. систем т.е. отношения между их выражениями безотносительно к интерпретации последних и устанавливающая...Философская энциклопедия
  9. логический синтаксис—теория изучающая чисто формальную часть логич. систем т.е. отношения между их выражениями безотносительно к интерпретации последних и устанавливающая правила построения э...Философская Энциклопедия (в 5 томах)
  10. логический синтаксис—система правил определяющих построение и преобразование выражений некрого исчисления раздел металогики изучающий структуру и свойства неинтерпретированных исчислений. Ос...Философский энциклопедический словарь
  11. логический синтаксис—ЛОГИЧЕСКИЙ СИНТАКСИС в широком смысле теория возможно аксиоматическая рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру ...Энциклопедический словарь естествознания