Смотреть больше слов в «Философской Энциклопедии»
1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правила... смотреть
ФОРМАЛИЗОВАННЫЙ ЯЗЫК, 1) в широком смысле - любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиро... смотреть
ФОРМАЛИЗО́ВАННЫЙ ЯЗЫК 1) В широком смысле – любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиро... смотреть
искусственный язык, для к-рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих в... смотреть
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также в... смотреть
исчисление, к-рому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также нек-рые утверждения нелогического характера (напр., нек-рые законы биологии, аксиомы арифметики и др.), тогда Ф. я. дедуктивно описывает соответствующую содержательную область. Ф. я. благодаря своим дедуктивным средствам дает возможность проводить строгое рассуждение и получать новые дедуктивно выводимые следствия, непосредственно не содержащиеся в принятых аксиомах. Т. обр., Ф. я. является аппаратом вывода и доказательства в формализуемых научных дисциплинах. Роль Ф. я. велика в связи с попытками осуществления автоматизации научного рассуждения посредством электронных машин (Кибернетика). ... смотреть
formalized language
Formalsprache
• formalizovaný jazyk
formalized language
фармалізаваная мова