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

Материал из Википедии — свободной энциклопедии

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

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