СИНТАКСИС

СИНТАКСИС
СИНТАКСИС
(от греч. syntaxis — построение, порядок) — раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации (которую исследует семантика). С. формализованного языка называют также саму систему правил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.

СИНТАКСИС
        (от греч. — построение, порядок) в логике, изучение чисто формальной части формализов. языка, т. е. неинтерпретированного исчисления. Объектами такого изучения служат алфавит рассматриваемого исчисления (формальной системы), правила образования выражений (формул) предметного языка (языка-объекта; см. Метаязык) исчисления и правила преобразования (правила вывода) в нём. В отличие от такого «логич. С.» часто говорят о «С. в узком смысле», ограничивающемся «чисто синтаксической» (в обычном грамма-тич. смысле) стороной системы, т. е. не рассматривающем её правила преобразования. Элементарным С. наз. изучение синтаксич. (в обоих упомянутых смыслах) свойств к.-л. конкретной формальной системы некоторыми спец. эффективными средствами, как это принято в метаматематич. (см. Метатеория) исследованиях. Теоретический С.—это общая теория всевозможных формальных систем (или класса систем) к.-л. определ. вида, на аппарат которой обычно никаких ограничений не накладывается. Элементарный и теоретич. С. оперируют обычным содержательно понимаемым языком (который, в свою очередь, сам может быть формализован и служить предметом строгого формального исследования),

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

СИНТАКСИС
(греч. σύνταξις – построение, порядок) в логике – изучение чисто формальной части формализованного языка, т.е. неинтерпретированного исчисления (в отличие от с е м а н т и к и, предметом изучения к-рой служит именно его интерпретация). Объектами такого изучения служат а л ф а в и т рассматриваемой формальной системы (исчисления), п р а в и л а образования выражений (формул) предметного языка исчисления и п р а в и л а п р е о б р а з о в а н и я (правила вывода) в нем. Иногда, в отличие от охарактеризованного только что "логического С.", рассматривают еще "С. в узком смысле", не затрагивающий правил преобразования ("логику"), системы, а ограничивающийся ее "чисто синтаксической" (в соответствии с привычным в грамматике словоупотреблением) стороной. Различают также элементарный С. и теоретический С. Элементарный С. есть изучение правил построения к.-л. к о н к р е т н о й формальной системы (в т.ч., быть может, и "логических", т.е. правил преобразования) средствами, к-рые ограничены обычными для метаматем. исследований требованиями эффективности (см. Метатеория). Теоретический С. – это общая теория в с е в о з м о ж н ы х формальных систем (или к л а с с а с и с т е м к.-л. определенного вида), на выразительные и дедуктивные средства к-рой не накладываются, вообще говоря, спец. ограничения. Как элементарный, так и теоретич. С. посвящены содержательным рассмотрениям структуры и свойств формальных систем (по отношению к структуре рассматриваемого исчисления также применяется термин "С"), но в каждом из этих случаев имеет смысл говорить и о формализации языка С., а также о формальном (не говоря уже о содержательном) описании и исследовании языка С. как такового. Терминология эта введена Р. Карнапом (см. его "Logische Syntax der Sprache", W., 1934).
См. также ст. Исчисление, Металогика, Метаязык и лит. при этих статьях.
Ю. Гастев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "СИНТАКСИС" в других словарях:

  • Синтаксис — СИНТАКСИС. Определение С. В определениях С. отражены три основных направления в изучении грамматики (см.) в целом направления логическое, психологическое и формальное. Так, наиболее распространенными определениями С. являются: 1) определение его… …   Литературная энциклопедия

  • СИНТАКСИС — (греч., от syn вместе, и taxis порядок). Часть грамматики, излагающая правила соединения слов и самих предложений для выражения мысли. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. СИНТАКСИС [гр. syntaxis… …   Словарь иностранных слов русского языка

  • Синтаксис —     СИНТАКСИС отдел грамматики, заключающий «учение о предложениях» по одним, «учение о словосочетаниях» по другим и «учение о значении форм слов и классов слов» по третьим. Определение синтаксиса тормозится трудностью определения предложения (см …   Словарь литературных терминов

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

  • СИНТАКСИС — (от греческого syntaxis построение, порядок), 1) способы соединения слов (и их форм) в словосочетания и предложения, соединение предложений в сложные предложения, способы порождения высказываний как части текста; типы, значения словосочетаний,… …   Современная энциклопедия

  • СИНТАКСИС — (от греч. syntaxis построение порядок),1) способы соединения слов (и их форм) в словосочетания и предложения, соединение предложений в сложные предложения; типы, значения и т. п. словосочетаний и предложений.2) Раздел грамматики, изучающий эту… …   Большой Энциклопедический словарь

  • СИНТАКСИС — СИНТАКСИС, синтаксиса, мн. нет, муж. (греч. syntaxis составление) (линг.). Отдел грамматики, изучающий предложение, словосочетания. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

  • СИНТАКСИС — СИНТАКСИС, а, муж. 1. Раздел грамматики наука о законах соединения слов и о строении предложений. 2. Система языковых категорий, относящихся к соединениям слов и строению предложений. С. словосочетания. С. предложения. С. текста. С. разговорной… …   Толковый словарь Ожегова

  • СИНТАКСИС — муж., греч., грам., словосочиненье. Синтаксическия правила. Синтезис, ·лог. разбор от начала к последствиям, от частностей к общему. Синтетический способ разысканий, ·противоп. аналитический, разлагающий целое на части его, доходяший от явлений к …   Толковый словарь Даля

  • Синтаксис — (греч. suntaxiV строй, система , в грамматике конструкция, грамматический строй речи ) в европ. грамматике этимтермином обозначалась та часть ее, которая рассматривает законысочетания отдельных слов в целые предложения. Современная… …   Энциклопедия Брокгауза и Ефрона


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

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