Метаязык

Язык, используемый для описания другого языка

В логике и лингвистике метаязык — это язык, используемый для описания другого языка, часто называемого объектным языком . ^[1] Выражения на метаязыке часто отличаются от выражений на объектном языке с помощью курсива, кавычек или написания на отдельной строке. ^{[ требуется ссылка ]} Структуру предложений и фраз на метаязыке можно описать с помощью метасинтаксиса . ^[2] Например, чтобы сказать, что слово «существительное» может использоваться в качестве существительного в предложении, можно написать «существительное» — это <существительное> .

Типы метаязыка

Существует множество признанных типов метаязыков, включая встроенные , упорядоченные и вложенные (или иерархические ) метаязыки.

Встроенный

Встроенный метаязык — это язык, формально, естественно и прочно зафиксированный в объектном языке. Эта идея встречается в книге Дугласа Хофштадтера « Гёдель, Эшер, Бах » при обсуждении взаимосвязи между формальными языками и теорией чисел : «... в природе любой формализации теории чисел заложено, что ее метаязык встроен в нее». ^[3]

Это происходит и в естественных или неформальных языках, например, в английском, где такие слова, как существительное , глагол или даже слово, описывают особенности и концепции, относящиеся к самому английскому языку.

Заказано

Упорядоченный метаязык аналогичен упорядоченной логике . Примером упорядоченного метаязыка является построение одного метаязыка для обсуждения объектного языка, за которым следует создание другого метаязыка для обсуждения первого и т. д.

Вложенный

Вложенный (или иерархический ) метаязык похож на упорядоченный метаязык тем, что каждый уровень представляет большую степень абстракции. Однако вложенный метаязык отличается от упорядоченного тем, что каждый уровень включает в себя нижележащий.

Парадигматический пример вложенного метаязыка исходит из таксономической системы Линнея в биологии. Каждый уровень в системе включает в себя тот, что находится ниже. Язык, используемый для обсуждения рода, также используется для обсуждения вида; тот, который используется для обсуждения отрядов , также используется для обсуждения родов и т. д., вплоть до царств.

На естественном языке

Естественный язык объединяет вложенные и упорядоченные метаязыки. В естественном языке существует бесконечный регресс метаязыков, каждый из которых имеет более специализированный словарь и более простой синтаксис.

Обозначая язык теперь как , грамматика языка представляет собой дискурс на метаязыке , который является подъязыком ^[4], вложенным в . ${\displaystyle L_{0}}$ ${\displaystyle L_{1}}$ ${\displaystyle L_{0}}$

• Грамматика языка , имеющая форму фактического описания, представляет собой дискурс на метаязыке , который также является подъязыком языка . ${\displaystyle L_{1}}$ ${\displaystyle L_{2}}$ ${\displaystyle L_{0}}$
• Грамматика языка , имеющая форму теории, описывающей синтаксическую структуру таких фактических описаний, изложена в метаметаметаязыке , который также является подъязыком языка . ${\displaystyle L_{2}}$ ${\displaystyle L_{3}}$ ${\displaystyle L_{0}}$
• Грамматика имеет форму метатеории, описывающей синтаксическую структуру теорий, изложенных в . ${\displaystyle L_{3}}$ ${\displaystyle L_{2}}$
• ${\displaystyle L_{4}}$и последующие метаязыки имеют ту же грамматику, что и , отличаясь только референцией. ${\displaystyle L_{3}}$

Поскольку все эти метаязыки являются подъязыками , является вложенным метаязыком, но и сиквел являются упорядоченными метаязыками. ^[5] Поскольку все эти метаязыки являются подъязыками , они все являются встроенными языками по отношению к языку в целом. ${\displaystyle L_{0}}$ ${\displaystyle L_{1}}$ ${\displaystyle L_{2}}$ ${\displaystyle L_{0}}$

Все метаязыки формальных систем в конечном итоге сводятся к естественному языку, «общему языку», на котором математики и логики общаются, чтобы определить свои термины и операции и «зачитать» свои формулы. ^[6]

Типы выражений

Существует несколько сущностей, обычно выражаемых в метаязыке. В логике обычно объектный язык, который обсуждает метаязык, является формальным языком , а очень часто и метаязыком.

Дедуктивные системы

Дедуктивная система ( или дедуктивный аппарат формальной системы ) состоит из аксиом (или схем аксиом ) и правил вывода , которые могут быть использованы для вывода теорем системы. ^[7]

Метапеременные

Метапеременная (или металингвистическая или метасинтаксическая переменная) — это символ или набор символов в метаязыке, который обозначает символ или набор символов в некотором объектном языке. Например, в предложении:

Пусть A и B — произвольные формулы формального языка . ${\displaystyle L}$

Символы A и B не являются символами объектного языка , они являются метапеременными в метаязыке (в данном случае английском), на котором обсуждается объектный язык . ${\displaystyle L}$ ${\displaystyle L}$

Метатеории и метатеоремы

Метатеория — это теория , предметом которой является некоторая другая теория (теория о теории). Утверждения, сделанные в метатеории о теории, называются метатеоремами . Метатеорема — это истинное утверждение о формальной системе, выраженное на метаязыке. В отличие от теорем, доказанных в рамках данной формальной системы, метатеорема доказывается в рамках метатеории и может ссылаться на концепции, которые присутствуют в метатеории, но не в объектной теории. ^[8]

Интерпретации

Интерпретация — это придание значений символам и словам языка .

Роль в метафоре

Майкл Дж. Редди (1979) утверждает, что большая часть языка, который мы используем для разговоров о языке, концептуализируется и структурируется тем, что он называет метафорой канала . ^[9] Эта парадигма действует через две различные, связанные структуры.

Основная концепция рассматривает язык как герметичный канал между людьми:

В рамках второстепенной структуры язык рассматривается как открытая труба, изливающая ментальное содержимое в пустоту:

Метапрограммирование

Компьютеры следуют программам, наборам инструкций на формальном языке. Разработка языка программирования подразумевает использование метаязыка. Акт работы с метаязыками в программировании известен как метапрограммирование .

Форма Бэкуса–Наура , разработанная в 1960-х годах Джоном Бэкусом и Питером Науром, является одним из самых ранних метаязыков, используемых в вычислительной технике. Примерами современных языков программирования, которые обычно используются в метапрограммировании, являются ML , Lisp , m4 и Yacc .

Смотрите также

• Теория категорий  – Общая теория математических структур
• Функции языка Якобсона  – Теория языка
• Языково-ориентированное программирование  – парадигма программированияPages displaying wikidata descriptions as a fallback
• Метакоммуникация  – общение о том, как следует интерпретировать информацию.
• Метаэтика  – раздел этики, стремящийся понять этические свойства.
• Метафикция  – Жанр художественной литературы о художественной литературе
• Метаграфия  – экспериментальная форма визуальной коммуникацииPages displaying short descriptions of redirect targets
• Метаматематика  – изучение самой математики
• Металингвистическая абстракция  – принцип в компьютерной науке предметно-ориентированных языков для решения проблем
• Металингвистическое сознание  – способность осознанно размышлять о природе языка
• Металокутивный акт
• Метафилософия  – Исследование природы философии
• Естественный семантический метаязык  – Лингвистическая теория семантического описания
• Вложенная цитата
• Параязык  – передача дополнительного смысла, нюанса или эмоции в речи
• Самореференция  – предложение, идея или формула, которая ссылается сама на себя.
• Различие между использованием и упоминанием  – Разница между использованием слова и его упоминанием

Словари

• Audi, R. 1996. Кембриджский философский словарь . Кембридж: Издательство Кембриджского университета .
• Болдик, К. 1996. Оксфордский краткий словарь литературных терминов . Оксфорд: Oxford University Press .
• Каддон, Дж. А. 1999. Словарь литературных терминов и литературной теории издательства Penguin . Лондон: Penguin Books .
• Хондерих, Т. 1995. Оксфордский компаньон философии . Оксфорд: Oxford University Press .
• Мэтьюз, П. Х. 1997. Краткий Оксфордский словарь лингвистики . Оксфорд: Издательство Оксфордского университета . ISBN  978-0-19-280008-4 .
• МакАртур, Т. 1996. Краткий Оксфордский справочник по английскому языку . Оксфорд: Oxford University Press .

Ссылки

1. 2010. Cambridge Advanced Learner's Dictionary . Cambridge: Cambridge University Press . Словарь онлайн. Доступно по адресу http://dictionary.cambridge.org/dictionary/british/metalanguage Интернет. Получено 20 ноября 2010 г.
2. ван Вейнгаарден, А. и др. «Язык и метаязык». Пересмотренный отчет об алгоритмическом языке Алгол 68. Springer, Берлин, Гейдельберг, 1976. 17-35.
3. Хофштадтер, Дуглас . 1980. Гёдель, Эшер, Бах: Вечная золотая коса . Нью-Йорк: Vintage Books ISBN 0-14-017997-6 
4. Харрис, Зеллиг С. (1991). Теория языка и информации: математический подход . Оксфорд: Clarendon Press. С. 272–318. ISBN 978-0-19-824224-6.
5. Там же . С. 277.
6. Борель, Феликс Эдуард Жюстин Эмиль (1928). Leçons sur la theorie des fonctions (на французском языке) (3-е изд.). Париж: Gauthier-Villars & Cie. 160.
7. Хантер, Джеффри . 1971. Металогика: Введение в метатеорию стандартной логики первого порядка . Беркли: Издательство Калифорнийского университета ISBN 978-0-520-01822-8 
8. Ритцер, Джордж . 1991. Метатеоретизирование в социологии . Нью-Йорк: Simon Schuster ISBN 0-669-25008-2 
9. Reddy, Michael J. 1979. Метафора канала: случай конфликта фреймов в нашем языке о языке. В Andrew Ortony (ред.), Metaphor and Thought . Кембридж: Cambridge University Press

Внешние ссылки

• Метаязык, Principia Cybernetica .
• Уиллард Маккарти (представлено в 2006 г.) Проблемные метафоры, Гуманистическая дискуссионная группа , том 20, № 92.