ЛОГИЧЕСКИЙ ПОЗИТИВИЗМЛогический союз

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

Найдено 3 определения термина ЛОГИЧЕСКИЙ СИНТАКСИС

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [постсоветское]

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

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

1) система правил, определяющих построение и преобразование выражений нек-рого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений. Осн. вопросами, встающими при синтаксическом рассмотрении логических исчислений, являются проблемы непротиворечивости (Непротиворечивость аксиоматической теории), полноты (Полнота аксиоматической теории), независимости (Независимость системы аксиом), разрешения (Разрешения проблема), доказуемости. Проблема доказуемости состоит в нахождении алгоритма, к-рый для любого доказуемого (т. е. выводимого из аксиом) высказывания строит его доказательство. Т. обр., Л. с. включает в себя теорию доказательства. Понятие Л. с. было введено Витгенштейном в 1919. Систематическое изложение проблем и понятий Л. с. дал Карнап в “Логическом синтаксисе языка” (1934), где, в частности, показана плодотворность синтаксического исследования языков, формализующих те или иные разделы естественных наук (Формализованный язык)

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

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

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь по логике

Найдено схем по теме ЛОГИЧЕСКИЙ СИНТАКСИС — 0

Найдено научныех статей по теме ЛОГИЧЕСКИЙ СИНТАКСИС — 0

Найдено книг по теме ЛОГИЧЕСКИЙ СИНТАКСИС — 0

Найдено презентаций по теме ЛОГИЧЕСКИЙ СИНТАКСИС — 0

Найдено рефератов по теме ЛОГИЧЕСКИЙ СИНТАКСИС — 0