Философский словарь
"МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ— "

Главная - Философский словарь - буква М - МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ—

понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром ведется исследование языка-объекта; последний наз. метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на к-ром формулируется нек-рая метатеория. Отсутствие различения между М. и я.-о. приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект; В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. С др. стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ—

будет выглядеть так: Что такое МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ—

Философский словарь"МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ— "

Философский словарь
"МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ— "