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

ФОРМАЛИЗОВАННЫЙ ЯЗЫК 1)
в широком смысле - любая совокупность нек-рым образом специализированных
языковых средств с (более или менее) точно фиксированными правилами образования
"выражений" (синтаксис Ф. я.) и приписывания этим выражениям определённого
смысла (семантика). В таком употреблении термин "Ф. я." не предполагает,
вообще говоря, никаких спец. ограничений ни на синтаксич. структуру, ни
на семантич. правила, ни на назначение такого языка. Напр., выражения "Н"вода", "eau", "water", "Wasser", "vesi" и т. д. можно, в принципе, в равной
мере считать элементами "Ф. я. химии".

2) Под Ф. я. в логике понимают
интерпретированное исчисление, т. е. нек-рую формальную систему
вместе с её интерпретацией. Использование Ф. я.- характерная особенность
матем. логики, к-рую часто и определяют как "предмет формальной
логики, изучаемый посредством построения формализованных языков". Следует.
впрочем, заметить, что такого рода "определения" отнюдь не являются неотъемлемым
атрибутом изложений матем. логики: понятие Ф. я. не только не входит (как
правило) в предметные логико-матем. языки, но не является, строго говоря,
и элементом никакого конкретного метаязыка, будучи скорее удобным
рабочим термином для предварительных эвристич. пояснений предмета этой
науки.

Лит.: Чёрч А., Введение
в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00-09).

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я