Синтаксис (в логике)

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
СI СА СБ СВ СГ СД СЕ СЁ СЖ СИ СК СЛ СМ СН СО СП СР СС СТ СУ СФ СХ СЦ СЧ СШ СЪ СЫ СЬ СЭ СЮ СЯ
СИА
СИБ
СИВ
СИГ
СИД
СИЕ
СИЗ
СИИ
СИЙ
СИК
СИЛ
СИМ
СИН
СИО
СИП
СИР
СИС
СИТ
СИУ
СИФ
СИХ
СИЦ
СИШ
СИЭ

Синтаксис (от греч. sýntaxis — построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка, т. е. неинтерпретированного исчисления (в отличие от логической семантики, интересующейся как раз интерпретациями исчислений). Синтаксис (в логике) в узком смысле рассматривает только выразительные средства исчисления: алфавит и правила образования формул; логический Синтаксис (в логике) интересуется, сверх того, дедуктивным аппаратом исчисления, т. е. его аксиомами и правилами вывода теорем. (Термин «Синтаксис (в логике)» в любом из этих смыслов применяют часто не к описаниям структуры исчисления, а к самой этой описываемой структуре.) Различают также элементарный Синтаксис (в логике), относящийся к какому-либо конкретному исчислению, и теоретически и Синтаксис (в логике) — общую теорию исчислений (формальных систем). Вся эта терминология введена австрийским логиком Р. Карнапом (1934).

  См. Исчисление, Металогика, Метаязык и лит. при этих статьях.

Так же Вы можете узнать о...


Маргрете II (Margrethe) (р. 16.4.1940, Копенгаген), королева Дании с января 1972.
Насонов Арсений Николаевич [15(27).8.1898, Евпатория, — 23.
Параллельная валюта, см. в ст. Биметаллизм.
Просо (Panicum), род однолетних травянистых растений семейства злаков.
Сваровская забастовка 1870, забастовка ткачей на фабрике немецкого капиталиста Либига в Сварове (Svárov, Северная Богемия, ныне город в Чешской Социалистической Республике) 18 февраля — 11 апреля.
Стопа (физиологич.) Стопа, периферический сегмент нижней конечности; орган опоры тела при стоянии и движении.
Уайет Эндрю Ньюэлл Уайет, Уайес (Wyeth) Эндрю Ньюэлл (р. 12.7.1917, Чадс-Форд, Пенсильвания), американский живописец.
Хрущёв Никита Сергеевич [5(17).4.1894, с. Калиновка Курской губернии, — 11.
Эндартериит облитерирующий (от греч. endon — внутри, артерии и облитерация), спонтанная гангрена, хроническое заболевание периферических кровеносных сосудов человека, с преимущественным поражением артерий стоп и голеней, уменьшением их просвета и нарушением кровоснабжения тканей.
Аравакские языки, одна из наиболее крупных семей индейских языков, распространённая на севере Юж.
Бородавки, инфекционные доброкачественные новообразования кожи, имеющие вид узелка или сосочка.
Выездка, приучение лошади к выполнению работы в упряжи и под седлом.
Дамара, ленд (Damaraland), нагорье в Намибии (Африка).
Звёздный дождь, появление многочисленных метеоров (иногда до 1000 за 1 мин) в течение непродолжительных промежутков времени, происходящее при встрече Земли с роем метеорных тел (см.