" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРЕДМЕТНЫЙ ЯЗЫК

Значение ПРЕДМЕТНЫЙ ЯЗЫК в математической энциклопедии:

- язык, являющийся предметом изучения. При формализации какой-либо содержательной теории различают два языка. Один - это язык формализуемой теории, или П. я., задаваемый правилами построения выражений П. я. и семантическими правилами, определяющими, что обозначают его выражения или какие они выражают суждения. Другой - это язык, на к-ром формулируются упомянутые выше синтаксические и семантич. правила. Этот язык наз. метаязыком. Обычно метаязык не формализуется. Однако и его можно формализовать, и тогда он станет П. я., для изучения к-рого требуется новый метаязык.

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. В. Н. Гришин.