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

Определение "Формализованный язык" в Большой Советской Энциклопедии


Формализованный язык,
1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Формализованный язык) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Формализованный язык» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Формализованный язык химии».


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




"БСЭ" >> "Ф" >> "ФО" >> "ФОР" >> "ФОРМ"

Статья про "Формализованный язык" в Большой Советской Энциклопедии была прочитана 534 раз
Коптим скумбрию в коробке
Луковый соус

TOP 20