Философский энциклопедический словарь

ФОРМАЛИЗОВАННЫЙ ЯЗЫК

исчисление, к-рому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также нек-рые утверждения нелогического характера (напр., нек-рые законы биологии, аксиомы арифметики и др.), тогда Ф. я. дедуктивно описывает соответствующую содержательную область. Ф. я. благодаря своим дедуктивным средствам дает возможность проводить строгое рассуждение и получать новые дедуктивно выводимые следствия, непосредственно не содержащиеся в принятых аксиомах. Т. обр., Ф. я. является аппаратом вывода и доказательства в формализуемых научных дисциплинах. Роль Ф. я. велика в связи с попытками осуществления автоматизации научного рассуждения посредством электронных машин (Кибернетика).

  1. формализованный язык—ФОРМАЛИЗОВАННЫЙ ЯЗЫК в широком смысле любая совокупность некрым образом специализированных языковых средств с более или менее точно фиксированными правилами образования...Большая советская энциклопедия
  2. формализованный язык—в широком смысле любая совокупность некоторым образом специализированных языковых средств с более или менее точно фиксированными правилами образования выражений синтакси...Большая Советская энциклопедия II
  3. формализованный язык—искусственный язык для крого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений. Обычно выраж...Математическая энциклопедия
  4. формализованный язык—formalized language...Русско-английский психологический словарь
  5. формализованный язык—formalized language...Русско-английский словарь по электронике
  6. формализованный язык—фармалзаваная мова...Русско-белорусский математический словарь
  7. формализованный язык—Formalsprache...Русско-немецкий политехнический словарь
  8. формализованный язык—formalizovan jazyk...Русско-чешский словарь
  9. формализованный язык—ФОРМАЛИЗОВАННЫЙ ЯЗЫК В широком смысле любая совокупность некрым образом специализированных языковых средств с более или менее точно фиксиров. правилами образования выра...Философская энциклопедия
  10. формализованный язык—В широком смысле любая совокупность некрым образом специализированных языковых средств с более или менее точно фиксиров. правилами образования выражений с и н т а к с и ...Философская Энциклопедия (в 5 томах)
  11. формализованный язык—ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики предназначенный для воспроизведения логических форм контекстов естественного языка а также выражения логических законов и ...Энциклопедия эпистемологии и философии науки