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

Найдено 4 определения
Показать: [все] [проще] [сложнее]

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

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

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

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

Источник: Краткий словарь по философии. 1970

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

Источник: Философский словарь. 1963

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

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