Метаязык

Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны )

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

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

Эта статья описывает только один узкоспециализированный аспект связанной с ней темы . Пожалуйста, помогите улучшить эту статью , добавив больше общей информации. Страница обсуждения может содержать предложения. ( Январь 2013 г. )

( Узнайте, как и когда удалить этот шаблон сообщения )

В логике и лингвистике , метаязык является язык , используемый для описания другого языка, часто называемый объектный язык . ^[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]

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

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

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

{\ displaystyle L}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Рамки второстепенного рассматривает языка как открытая труба разлива психического содержания в пустоту:
1. Ораторы и писатели вытолкнуть психическое содержание во внешнее пространство

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

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

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

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

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

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

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

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

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

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

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

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

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

^ 2010. Cambridge Advanced Learner's Dictionary . Кембридж: Издательство Кембриджского университета . Словарь онлайн. Доступно вИнтернете по адресу http://dictionary.cambridge.org/dictionary/british/metalanguage . Проверено 20 ноября 2010 г.
^ van Wijngaarden, A., et al. « Язык и метаязык ». Пересмотренный отчет по алгоритмическому языку Алгола 68. Springer, Berlin, Heidelberg, 1976. 17-35.
^ Хофштадтер, Дуглас . 1980. Гедель, Эшер, Бах: вечная золотая коса . Нью-Йорк: ISBN старинных книг 0-14-017997-6
^ Харрис, Зеллиг С. (1991). Теория языка и информации: математический подход . Оксфорд: Clarendon Press. стр. 272 -318. ISBN 978-0-19-824224-6.
^ Там же . п. 277.
^ Борель, Феликс Эдуард Джастин Эмиль (1928). Leçons sur la theorie des fonctions (на французском языке) (3-е изд.). Париж: Gauthier-Villars & Cie. Стр. 160.
^ Хантер, Джеффри . 1971. Металогика: Введение в метатеорию стандартной логики первого порядка . Беркли: ISBN Калифорнийского университета Press 978-0-520-01822-8
^ Ритцер, Джордж . 1991. Метатеоризация в социологии . Нью-Йорк: ISBN Саймона Шустера 0-669-25008-2
^ Редди, Майкл Дж. 1979. Метафора канала: случай конфликта фреймов в нашем языке о языке. В Эндрю Ортони (ред.), Метафора и мысль . Кембридж: Издательство Кембриджского университета

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

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

[1] 2010. Cambridge Advanced Learner's Dictionary . Кембридж: Издательство Кембриджского университета . Словарь онлайн. Доступно вИнтернете по адресу 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. Металогика: Введение в метатеорию стандартной логики первого порядка . Беркли: ISBN Калифорнийского университета Press 978-0-520-01822-8

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

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

[1]