В логике и лингвистике, метаязык является язык, используемый для описания другого языка, часто называемый объектный язык. Выражения на метаязыке часто отличаются от выражений на объектном языке курсивом, кавычками или написанием отдельной строки. Структура предложений и фраз метаязыка может быть описана метасинтаксисом.
Существует множество признанных метаязыков, включая встроенные, упорядоченные и вложенные (или иерархические) метаязыки.
Внедренный метаязык является языком формально, естественно и прочно фиксируется в объектном языке. Эта идея содержится в книге Дугласа Хофштадтера « Гёдель, Эшер, Бах» при обсуждении взаимосвязи между формальными языками и теорией чисел : «... в природе любой формализации теории чисел встроен ее метаязык. внутри."
Он также встречается в естественных или неформальных языках - например, в английском, где такие слова, как существительное, глагол или даже слово, описывают особенности и концепции, относящиеся к самому английскому языку.
Заказал метаязык, аналогичен заказанной логике. Примером упорядоченного метаязыка является построение одного метаязыка для обсуждения объектного языка с последующим созданием другого метаязыка для обсуждения первого и т. Д.
Вложенный (или иерархический) метаязык похож на упорядоченный метаязыку в том, что каждый уровень представляет собой большую степень абстракции. Однако вложенный метаязык отличается от упорядоченного тем, что каждый уровень включает следующий.
Парадигматический пример вложенного метаязыка происходит от Линнея таксономической системы в биологии. Каждый уровень в системе включает в себя уровень ниже. Язык, используемый для обсуждения рода, также используется для обсуждения видов; тот, который используется для обсуждения приказов, также используется для обсуждения родов и т. д., вплоть до царств.
Естественный язык объединяет вложенные и упорядоченные метаязыки. В естественном языке существует бесконечное количество метаязыков, каждый из которых имеет более специализированный словарь и более простой синтаксис.
Обозначая язык теперь как грамматика языка - это дискурс в метаязыке, который является вложенным внутри подъязыком.
Поскольку все эти метаязыки являются подъязыками, это вложенный метаязык, но и продолжение являются упорядоченными метаязыками. Поскольку все эти метаязыки являются подъязыками, все они являются встроенными языками по отношению к языку в целом.
Все метаязыки формальных систем в конечном итоге сводятся к естественному языку, «общепринятому языку», на котором математики и логики общаются, чтобы определить свои термины и операции и «зачитать» свои формулы.
В метаязыке обычно выражаются несколько сущностей. В логике обычно объектный язык, обсуждаемый метаязыком, является формальным языком, а очень часто и метаязыком.
Дедуктивная система (или, дедуктивное устройство из формальной системы ) состоит из аксиом (или аксиомы схем ) и правил вывода, которые могут быть использованы для получения в теоремах системы.
Метапеременный (или металингвистические или метасинтаксические переменный) является символом или набор символов в метаязыке, который выступает за символ или набор символов на некотором языке объекта. Например, в предложении:
Символы A и B не являются символами объектного языка, они являются метапеременными метаязыка (в данном случае английского), обсуждающего объектный язык.
Метатеория является теория, предмет является какой - либо другой теории (теория о теории). Утверждения, сделанные в метатеории о теории, называются метатеоремами. Метатеорема является истинным утверждением о формальной системе, выраженной в метаязыке. В отличие от теорем, доказываемых в рамках данной формальной системы, метатеорема доказывается в рамках метатеории и может ссылаться на концепции, которые присутствуют в метатеории, но не в теории объекта.
Интерпретация является присвоением значений к символам и словам одного языка.
Майкл Дж. Редди (1979) утверждает, что большая часть языка, который мы используем, чтобы говорить о языке, концептуализирована и структурирована тем, что он называет метафорой канала. Эта парадигма действует через две различные взаимосвязанные структуры.
Основной рамочный вид язык как герметичная трубопровода между людьми: 1. Языковыми переводами мыслью людей и чувством ( психическое содержанием ) к другим
ex: Try to get your thoughts across better.
2. Ораторы и писатели вставляют свое мысленное содержание в слова.
ex: You have to put each concept into words more carefully.
3. Слова - это контейнеры
ex: That sentence was filled with emotion.
4. Слушатели и читатели извлекают мысленное содержание из слов.
ex: Let me know if you find any new sensations in the poem.
Рамки второстепенного рассматривает языка как открытая труба разлива психического содержания в пустоту: 1. Ораторы и писатели вытолкнуть психическое содержание во внешнее пространство
ex: Get those ideas out where they can do some good.
2. Ментальное содержание овеществляется (рассматривается как конкретное) в этом пространстве.
ex: That concept has been floating around for decades.
3. Слушатели и читатели извлекают мысленный контент из этого пространства.
ex: Let me know if you find any good concepts in the essay.
Компьютеры следуют программам, наборам инструкций на формальном языке. Разработка языка программирования предполагает использование метаязыка. Акт работы с метаязыками в программировании известен как метапрограммирование.
Форма Бэкуса-Наура, разработанная в 1960-х годах Джоном Бэкусом и Питером Науром, является одним из первых метаязыков, используемых в вычислениях. Примеры современных языков программирования, которые обычно находят применение в метапрограммировании, включают ML, Lisp, m4 и Yacc.