Метаязык - Metalanguage

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

Не путать с металингвистика.

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

Типы

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

Встроенный

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

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

Заказал

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

Вложенный

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

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

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

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

Обозначая язык сейчас как ${\displaystyle L_{0}}$, грамматика языка - это дискурс на метаязыке ${\displaystyle L_{1}}$, который является подъязыком^[4] вложенный в ${\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}}$ и сиквел заказываются на метаязыках.^[5] Поскольку все эти метаязыки являются подъязыками ${\displaystyle L_{0}}$ все они являются встроенными языками по отношению к языку в целом.

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

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

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

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

Основная статья: Дедуктивная система

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

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

Основная статья: Метапеременная (логика)

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

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

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

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

Основные статьи: Метатеория и Метатеорема

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

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

Основная статья: Интерпретация (логика)

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

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

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

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

  пример: Постарайтесь лучше донести свои мысли.

2. Ораторы и писатели вставляют свое мысленное содержание в слова

  пример: Вы должны более тщательно облечь каждую идею в слова.

3. Слова - это контейнеры

  пример: Это предложение было наполнено эмоциями.

4. Слушатели и писатели извлекают мысленное содержание из слов

  пример: Дайте мне знать, если найдете в стихотворении какие-то новые ощущения.

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

  пример: Распространяйте эти идеи там, где они могут принести пользу.

2. Ментальное содержание овеществляется (рассматривается как конкретное) в этом пространстве.

  пример: Эта концепция витала в воздухе десятилетиями.

3. Слушатели и писатели извлекают мысленный контент из этого пространства.

  пример: Дайте мне знать, если вы найдете в эссе какие-нибудь хорошие идеи.

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

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

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

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

• Теория категорий
• Функции языка Якобсона
• Языко-ориентированное программирование
• Мета-коммуникация
• Метаэтика
• Метафикшн
• Транслитерация
• Метаматематика
• Металингвистическая абстракция
• Металлокультурный акт
• Метафилософия
• Естественный семантический метаязык
• Параязык
• Самостоятельная ссылка
• Использование – упоминание различия

Словари

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

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

1. 2010. Кембриджский словарь для продвинутых учащихся. Кембридж: Издательство Кембриджского университета. Словарь онлайн. Доступна с http://dictionary.cambridge.org/dictionary/british/metalanguage Интернет. Проверено 20 ноября 2010 г.
2. van Wijngaarden, A., et al. "Язык и метаязык. »Пересмотренный отчет по алгоритмическому языку Алгола 68. Springer, Berlin, Heidelberg, 1976. 17-35.
3. Хофштадтер, Дуглас. 1980. Гедель, Эшер, Бах: вечная золотая коса. Нью-Йорк: старинные книги 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. Металогика: введение в метатеорию стандартной логики первого порядка. Беркли: Калифорнийский университет Press ISBN  978-0-520-01822-8
8. Ритцер, Джордж. 1991. Метатеоризация в социологии. Нью-Йорк: Саймон Шустер ISBN  0-669-25008-2
9. Редди, Майкл Дж. 1979. Метафора канала: случай конфликта фреймов в нашем языке о языке. В Эндрю Ортони (ред.), Метафора и мысль. Кембридж: Издательство Кембриджского университета

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

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