Метаязык

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

Виды метаязыка [ править ]

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

Встроенный [ править ]

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

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

Заказал [ править ]

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

Вложенный [ править ]

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

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

На естественном языке [ править ]

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

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

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

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

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

Виды выражений [ править ]

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

Дедуктивные системы [ править ]

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

Метапеременные [ править ]

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

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

L

.

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

Метатеории и метатеоремы [ править ]

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

Интерпретации [ править ]

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

Роль в метафоре [ править ]

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

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

Основная структура
Этап	Описание	Пример
1	Язык передает мысли и чувства людей ( мысленное содержание ) другим людям.	Постарайтесь лучше донести свои мысли
2	Ораторы и писатели вкладывают свое мысленное содержание в слова.	Вам придется более тщательно выражать каждое понятие словами.
3	Слова — это контейнеры	Это предложение было наполнено эмоциями
4	Слушатели и читатели извлекают из слов мысленное содержание.	Дайте мне знать, если найдете в стихотворении какие-то новые ощущения.

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

Незначительная структура
Этап	Описание	Пример
1	Спикеры и писатели выбрасывают мысленный контент во внешнее пространство.	Используйте эти идеи там, где они могут принести пользу.
2	Ментальное содержание материализуется (рассматривается как конкретное) в этом пространстве.	Эта концепция витает в воздухе уже несколько десятилетий.
3	Слушатели и читатели извлекают из этого пространства ментальный контент.	Дайте мне знать, если вы найдете какие-либо хорошие идеи в эссе

Metaprogramming [ edit ]

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

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

См. также [ править ]

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

Словари [ править ]

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

Ссылки [ править ]

^ 2010. Кембриджский словарь для продвинутых учащихся . Кембридж: Издательство Кембриджского университета . Словарь онлайн. Доступно в Интернете по адресу http://dictionary.cambridge.org/dictionary/british/metalanguage . Проверено 20 ноября 2010 г.
^ ван Вейнгаарден, А. и др. « Язык и метаязык ». Пересмотренный отчет об алгоритмическом языке Алгол 68. Springer, Berlin, Heidelberg, 1976. 17–35.
^ Хофштадтер, Дуглас . 1980. Гёдель, Эшер, Бах: Вечная золотая коса . Нью-Йорк: старинные книги ISBN 0-14-017997-6
^ Харрис, Зеллиг С. (1991). Теория языка и информации: математический подход . Оксфорд: Кларендон Пресс. стр. 272–318 . ISBN 978-0-19-824224-6 .
^ Там же . п. 277.
^ Борель, Феликс Эдуард Жюстин Эмиль (1928). Уроки теории функций (на французском языке) (3-е изд.). Париж: Готье-Вилларс и Cie. п. 160.
^ Хантер, Джеффри . 1971. Металогика: введение в метатеорию стандартной логики первого порядка . Беркли: Издательство Калифорнийского университета ISBN 978-0-520-01822-8
^ Ритцер, Джордж . 1991. Метатеоретизация в социологии . Нью-Йорк: Саймон Шустер ISBN 0-669-25008-2
^ Редди, Майкл Дж. 1979. Метафора канала: случай конфликта фреймов в нашем языке по поводу языка. В Эндрю Ортони (ред.), Метафора и мысль . Кембридж: Издательство Кембриджского университета

Внешние ссылки [ править ]

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

[1] 2010. Кембриджский словарь для продвинутых учащихся . Кембридж: Издательство Кембриджского университета . Словарь онлайн. Доступно в Интернете по адресу http://dictionary.cambridge.org/dictionary/british/metalanguage . Проверено 20 ноября 2010 г.

[2] ван Вейнгаарден, А. и др. « Язык и метаязык ». Пересмотренный отчет об алгоритмическом языке Алгол 68. Springer, Berlin, Heidelberg, 1976. 17–35.

[3] Хофштадтер, Дуглас . 1980. Гёдель, Эшер, Бах: Вечная золотая коса . Нью-Йорк: старинные книги ISBN 0-14-017997-6

[4] Харрис, Зеллиг С. (1991). Теория языка и информации: математический подход . Оксфорд: Кларендон Пресс. стр. 272–318 . ISBN 978-0-19-824224-6 .

[5] Там же . п. 277.

[6] Борель, Феликс Эдуард Жюстин Эмиль (1928). Уроки теории функций (на французском языке) (3-е изд.). Париж: Готье-Вилларс и Cie. п. 160.

[7] Хантер, Джеффри . 1971. Металогика: введение в метатеорию стандартной логики первого порядка . Беркли: Издательство Калифорнийского университета ISBN 978-0-520-01822-8

[8] Ритцер, Джордж . 1991. Метатеоретизация в социологии . Нью-Йорк: Саймон Шустер ISBN 0-669-25008-2

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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]