Философский словарь
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
МЕТАЯЗЫК
МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ
понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром ведется исследование языка-объекта; последний наз. метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на к-ром формулируется нек-рая метатеория. Отсутствие различения между М. и я.-о. приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект; В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. С др. стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.
|
Вы можете поставить ссылку на это слово:
будет выглядеть так: МЕТАЯЗЫК
|
|
