Метаязык - Metalanguage

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

Типы

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

Встроенный

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

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

Приказал

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

Вложенный

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

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

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

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

Обозначая язык теперь как грамматика языка - это дискурс в метаязыке , который является вложенным внутри подъязыком . ${\ 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}}$

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Майкл Дж. Редди (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 .

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

Словари

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

использованная литература

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

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