Формализованный язык это:

Формализованный язык
        1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии».
         2) Под Ф. я. в логике понимают интерпретированное Исчисление, т. е. некоторую формальную систему вместе с её интерпретацией (См. Интерпретация). Использование Ф. я. – характерная особенность математической логики (См. Логика), которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «определения» отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного Метаязыка, будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.
         Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00–09).

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Формализованный язык" в других словарях:

  • формализованный язык —         ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… …   Энциклопедия эпистемологии и философии науки

  • ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …   Философская энциклопедия

  • Формализованный язык — В широком смысле  любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис формализованного языка) и приписывания этим выражениям определённого… …   Википедия

  • ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык, для к рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений. Обычно выражения Ф. я. представляют собой формальные комбинации исходных символов,… …   Математическая энциклопедия

  • формализованный язык для систем моделирования — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN simulation languageSIMULA …   Справочник технического переводчика

  • ЯЗЫК ЭКСПЛУАТАЦИОННЫХ ДОКУМЕНТОВ — (ЯзЭД) символьный формализованный язык, предназначенный для описания деятельности операторов и построения эксплуатационных функциональных схем. Разработан Ю. Г. Фокиным в 70 е гг. первоначально как язык описания эксплуатационных действий, а позже …   Энциклопедический словарь по психологии и педагогике

  • язык — и.   Исторически сложившаяся в обществе и развивающаяся звуковая (устная речь), а затем и графическая (письмо) знаковая система, способная выразить всю совокупность понятий и мыслей человека и предназначенная прежде всего для целей коммуникации… …   Учебный словарь стилистических терминов

  • ЯЗЫК КУЛЬТУРЫ —         совокупность культурных объектов, обладающая внутренней структурой (комплексом устойчивых отношений, инвариантных при любых преобразованиях), явными (формализованными) или неявными правилами образования, осмысления и употребления ее… …   Энциклопедия культурологии

  • ЯЗЫК-ОБЪЕКТ —     ЯЗЫК ОБЪЕКТ понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого …   Философская энциклопедия

  • алгоритмический язык — формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит), синтаксических правил и семантических определений. Является основой языков программирования. * * * АЛГОРИТМИЧЕСКИЙ ЯЗЫК АЛГОРИТМИЧЕСКИЙ ЯЗЫК,… …   Энциклопедический словарь


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

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