Метаязык это:

Метаязык
(от Мета...
        одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков, для описания отношений между языками различных «уровней» и для характеристики отношений между рассматриваемыми языками и описываемыми с их помощью предметными областями. М. — это язык, используемый для выражения суждений о другом языке, языке-объекте. С помощью М. изучают структуру знакосочетаний (выражений) языка-объекта, доказательства теорем о его выразительных (и, быть может, дедуктивных) свойствах, об отношении его к др. языкам и т. п. Изучаемый язык называется также предметным языком по отношению к данному М. Как предметный язык, так и М. могут быть обычными (естественными) языками. М. может отличаться от языка-объекта (например, в учебнике английского языка для русских русский язык является М., а английский — языком-объектом), но может и совпадать с ним или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент М. для описания русского языка; т. н. семантические множители — часть М. описания семантики естественных языков).
         Понятие «М.» было введено и стало весьма плодотворным в связи с изучением формализованных языков (См. Формализованный язык) — исчислений, строящихся в рамках математической логики. В отличие от формализованных предметных языков, в этом случае М., средствами которого формулируется Метатеория (изучающая свойства предметной теории, формулируемой на предметном языке), является, как правило, обычным естественным языком, точнее некоторым специальным образом ограниченным фрагментом естественного языка, не содержащим всякого рода двусмысленностей, метафор, «метафизических» понятий и т. п. элементов обычного языка, препятствующих использованию его в качестве орудия точного научного исследования (см. Метаматематика). При этом М. сам может быть формализован и (независимо от этого) оказаться предметом исследования, проводимого средствами метаметаязыка, причём такой ряд можно «мыслить» растущим бесконечно. При всём сказанном, М. как орудие метатеоретического исследования формализованных языков, допускающих достаточно богатые в логическом отношении интерпретации, должен быть во всяком случае «не беднее» своего предметного языка (т. е. для каждого выражения последнего в М. должно иметься его имя-«перевод») и должен содержать выражения более высоких «логических типов», нежели язык-объект (см. Типов теория). При невыполнении этих требований (что заведомо имеет место в естественных языках, если специальными соглашениями не предусмотрено противное) возникают семантические парадоксы (антиномии (См. Антиномия)).
        
         Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 1; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960 (введение); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 1—3.
         Ю. А. Гастев, В. К. Финн.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Синонимы:

Смотреть что такое "Метаязык" в других словарях:

  • метаязык — метаязык …   Орфографический словарь-справочник

  • МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… …   Философская энциклопедия

  • МЕТАЯЗЫК — 1) в классической философии: понятие, фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда, 2) в философии постмодернизма: термин, выражающий процессуальность вербального продукта рефлексии над процессуальностью… …   История Философии: Энциклопедия

  • Метаязык — язык, средствами которого описываются и исследуются свойства некоторого другого, предметного (объективного) языка. По английски: Metalanguage См. также: Языки Финансовый словарь Финам …   Финансовый словарь

  • МЕТАЯЗЫК — язык, средствами которого проводится описание структурных, дедуктивных или семантических свойств какого либо другого (обычно формализованного) языка, являющегося предметом изучения соответствующей метатеории …   Большой Энциклопедический словарь

  • МЕТАЯЗЫК — язык описания, язык второго порядка , при помощи которого описываются языки объекты. Термин М. возник в математике и математической логике (см. МАТЕМАТИЧЕСКАЯ ЛОГИКА), где в качестве М. выступают формальные символы, связки, кванторы и операторы.… …   Энциклопедия культурологии

  • МЕТАЯЗЫК — МЕТАЯЗЫК, а, муж. (спец.). Специальный язык, на к ром осуществляется представление другого языка, формализованного для соответствующего описания. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • МЕТАЯЗЫК — [< гр. meta после, за + язык] лингв. 1) язык, на котором описывается другой язык (первичный язык, язык объект); язык второго порядка; 2) МЕТАКОД, состоящий из языковых (вербальных (ВЕРБАЛЬНЫЙ)) знаков. Фр. metalangage. Словарь иностранных слов.… …   Словарь иностранных слов русского языка

  • метаязык — сущ., кол во синонимов: 1 • язык (247) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • МЕТАЯЗЫК — англ. metalanguage; нем. Metasprache. Язык, средствами к рого описываются и исследуются свойства нек рого другого языка, так наз. предметного (объективного) языка. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

  • МЕТАЯЗЫК — (от греч. meta – вслед, за, после + язык). 1. Язык научного исследования, посвященного анализу другого языка. 2. Язык, заменяющий естественный национальный язык и принятый в какой л. узкой отрасли науки или техники. К М. относится и язык… …   Новый словарь методических терминов и понятий (теория и практика обучения языкам)

Книги

Другие книги по запросу «Метаязык» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»