Толковый словарь Ефремовой:
метаязык м.
Язык научного или философского исследования, посвященного анализу другого языка — языка-объекта.
Большая советская энциклопедия:
Метаязык
(от Мета...
одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков, для описания отношений между языками различных «уровней» и для характеристики отношений между рассматриваемыми языками и описываемыми с их помощью предметными областями. М. — это язык, используемый для выражения суждений о другом языке, языке-объекте. С помощью М. изучают структуру знакосочетаний (выражений) языка-объекта, доказательства теорем о его выразительных (и, быть может, дедуктивных) свойствах, об отношении его к др. языкам и т. п. Изучаемый язык называется также предметным языком по отношению к данному М. Как предметный язык, так и М. могут быть обычными (естественными) языками. М. может отличаться от языка-объекта (например, в учебнике английского языка для русских русский язык является М., а английский — языком-объектом), но может и совпадать с ним или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент М. для описания русского языка; т. н. семантические множители — часть М. описания семантики естественных языков).
Понятие «М.» было введено и стало весьма плодотворным в связи с изучением формализованных языков (См. Формализованный язык) — исчислений, строящихся в рамках математической логики. В отличие от формализованных предметных языков, в этом случае М., средствами которого формулируется Метатеория (изучающая свойства предметной теории, формулируемой на предметном языке), является, как правило, обычным естественным языком, точнее некоторым специальным образом ограниченным фрагментом естественного языка, не содержащим всякого рода двусмысленностей, метафор, «метафизических» понятий и т. п. элементов обычного языка, препятствующих использованию его в качестве орудия точного научного исследования (см. Метаматематика). При этом М. сам может быть формализован и (независимо от этого) оказаться предметом исследования, проводимого средствами метаметаязыка, причём такой ряд можно «мыслить» растущим бесконечно. При всём сказанном, М. как орудие метатеоретического исследования формализованных языков, допускающих достаточно богатые в логическом отношении интерпретации, должен быть во всяком случае «не беднее» своего предметного языка (т. е. для каждого выражения последнего в М. должно иметься его имя-«перевод») и должен содержать выражения более высоких «логических типов», нежели язык-объект (см. Типов теория). При невыполнении этих требований (что заведомо имеет место в естественных языках, если специальными соглашениями не предусмотрено противное) возникают семантические парадоксы (антиномии (См. Антиномия)).
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 1; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960 (введение); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 1—3.
Ю. А. Гастев, В. К. Финн.
Толковый словарь Кузнецова:
метаязык
МЕТАЯЗЫК -а; м. Система понятий, служащая для описания какого-л. объекта. М. науки. М. лексикографии.
Метаязыковой, -ая, -ое. М-ое описание.
Математическая энциклопедия:
Логико-математический язык, используемый для формулировки метатеории. В более широком смысле, М.- неформализованный язык, на к-ром формулируются утверждения метаматематики. А. Г. Драгалин.
Орфографический словарь Лопатина:
орф.
метаязык, -а
Толковый словарь Ожегова:
МЕТАЯЗЫК, а, м. (спец.). Специальный язык, на к-ром осуществляется представление другого языка, формализованного для соответствующего описания.
Новая философская энциклопедия:
МЕТАЯЗЫК (от греч. – «после», «за» и язык; букв. – «некоторый язык о данном языке») – одно из важнейших понятий современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики. В самом общем смысле метаязык – любой естественный или искусственный язык (язык «второго уровня»), на котором описывается другой язык (язык «первого уровня»), служащий для описания предметов, свойств и ситуации окружающего мира либо тех или иных его областей или сфер. Так, при изучении английского языка в качестве метаязыка может выступать русский язык, как, впрочем, и любой другой естественный или некоторые искусственные языки. Роль метаязыка по отношению к любому естественному языку выполняют правила его словообразования, синтаксиса и т.п., в общем случае – любые его фрагменты, которые используются для описания данного, анализируемого или изучаемого языка. Язык, который описывается в метаязыке, называется предметным языком, или языком-объектом. Различение языков-объектов и соответствующих метаязыков является относительным: любой из метаязыков в свою очередь может стать объектом описания в метаязыке более высокого уровня, однако практически для решения задач исследования языков не требуется выхода за пределы метаязыка второго уровня.
Смешение терминов (слов) и высказываний (осмысленных утверждений) метаязыка и соответствующего языка-объекта порождает трудности в понимании и использовании языков человеческого общения и нередко приводит к серьезным парадоксам. Так, нельзя сказать, что «Лошадь – это существительное», так как в этом предложении «лошадь» – это термин языка-объекта, а «существительное» – метаязыковой термин. Эта ситуация относительно простая, и трудность исчезает после небольшого исправления приведенного предложения: «Слово «лошадь» – это существительное». Значительно большие трудности возникают с известными еще из Античности парадоксами (позднее их назовут семантическими), напр. с парадоксом «Лжец» (4 в. до н.э.): «Один критянин сказал, что все критяне – всегда лгут. Что он сказал – истину или ложь?», в котором наряду с предметными терминами используется метаязыковое понятие «истина», причем не только для оценки соответствующего предметного высказывания, но и по отношению ко всему этому утверждению в целом. Подобные парадоксы представляют проблему и ныне. Т.о., с иерархией человеческих дескриптивных (описательных) языков и трудностями использования языков разных уровней человечество неявно стало сталкиваться, начиная с античности (Ксенофан, Платон, Аристотель), во всяком случае со времени более или менее ясного понимания содержания мета-языковых терминов типа «истина».
Впервые различение языка-объекта и метаязыка проведено Д.Гильбертом, однако без использования соответствующей терминологии, а применительно к различению «математики» и «метаматематики». Термины «язык-объект» и «метаязык» были введены А.Тарским и Р.Карнапом в сер. 1930-х гг. Это различение стало активно использоваться в исследованиях проблем математической логики и оснований математики. Несколько позже его стали применять в лингвистике, семиотике, в философии и методологии науки. В каждой из этих дисциплин применение термина «метаязык» при сохранении его общего значения приобретает некоторые специфические черты. Так, в логике и математике метаязык обычно понимается как средство изучения формализованных языков – логических и математических исчислений, или (в несколько иной формулировке) как формализованный или неформализованный язык, на котором формулируются утверждения метаматематики; в лингвистике метаязык рассматривается как средство построения металингвистики и т.д. При всем различии таких трактовок общепризнано, что метаязык должен быть богаче соответствующего языка-объекта, так как он должен содержать не только обозначения для всех имен и выражений последнего, но и фиксировать с помощью своих специфических средств их свойства и устанавливать различного рода отношения и связи между ними. Только в этом случае удается избежать различного рода парадоксов и антиномий при использовании иерархии используемых человеком языков. Богатые выразительные средства метаязыков логики, математики, лингвистики и других дисциплин позволяют формулировать на них метатеории соответствующих предметных областей научного знания.
Литература:
1. Клини С.К. Введение в метаматематику. М., 1957;
2. Черч А. Введение в математическую логику. М., 1960;
3. Гастев Ю.А. Гомоморфизмы и модели. М., 1975;
4. Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979;
5. Гвишиани Н.Б. Язык научного общения (вопросы методологии). М., 1986;
6. Смирнова Е.Д. Логическая семантика и философские основания логики. М., 1986;
7. Тарский А. Семантическая концепция истины и основания семантики. – В кн.: Аналитическая философия. Становление и развитие. М., 1998;
8. Сarnap R. Der logische Syntax der Sprache. W., 1934;
9. Tarski A. Logic, Semantic, Metamathematic. Oxf., 1956.
В.Н.Садовский
Социологический словарь:
МЕТАЯЗЫК — англ. metalanguage; нем. Metasprache. Язык, средствами к-рого описываются и исследуются свойства нек-рого другого языка, так наз. предметного (объективного) языка.
Словарь синонимов русского языка:
сущ.
язык
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020