В логике и лингвистике , метаязык является язык , используемый для описания другого языка, часто называемый объектный язык . [1] Выражения метаязыка часто отличаются от выражений объектного языка курсивом, кавычками или написанием отдельной строки. [ необходима цитата ] Структура предложений и фраз в метаязыке может быть описана метасинтаксисом . [2]
Типы
Существует множество признанных метаязыков, включая встроенные , упорядоченные и вложенные (или иерархические ) метаязыки.
Встроенный
Внедренный метаязык является языком формально, естественно и прочно фиксируется в объектном языке. Эта идея содержится в книге Дугласа Хофштадтера « Гедель, Эшер, Бах» при обсуждении взаимосвязи между формальными языками и теорией чисел : «... в природе любой формализации теории чисел заложена ее метаязык. внутри." [3]
Он также встречается в естественных или неформальных языках - например, в английском, где такие слова, как существительное, глагол или даже слово, описывают особенности и концепции, относящиеся к самому английскому языку.
Упорядоченный
Заказал метаязык , аналогичен заказанной логике . Примером упорядоченного метаязыка является построение одного метаязыка для обсуждения объектного языка с последующим созданием другого метаязыка для обсуждения первого и т. Д.
Вложенный
Вложенный (или иерархический ) метаязык похож на упорядоченный метаязыку в том , что каждый уровень представляет собой большую степень абстракции. Однако вложенный метаязык отличается от упорядоченного тем, что каждый уровень включает следующий.
Парадигматический пример вложенного метаязыка происходит от Линнея таксономической системы в биологии. Каждый уровень в системе включает в себя уровень ниже. Язык, используемый для обсуждения рода, также используется для обсуждения видов; тот, который используется для обсуждения приказов, также используется для обсуждения родов и т. д., вплоть до царств.
На естественном языке
Естественный язык объединяет вложенные и упорядоченные метаязыки. В естественном языке существует бесконечное количество метаязыков, каждый из которых имеет более специализированный словарь и более простой синтаксис.
Обозначая язык сейчас как , грамматика языка - это дискурс на метаязыке , который является подъязыком [4], вложенным в.
- Грамматика , имеющий форму фактического описания, представляет собой дискурс на метаметалъязыке , который также является подъязыком .
- Грамматика , который имеет форму теории, описывающей синтаксическую структуру таких фактических описаний, изложен в метаметаметалъязыке , который также является подъязыком .
- Грамматика имеет форму метатеории, описывающей синтаксическую структуру теорий, изложенных в .
- и последующие метаязыки имеют ту же грамматику, что и , отличаясь только ссылкой.
Поскольку все эти метаязыки являются подъязыками , это вложенный метаязык, но и продолжение заказываются на метаязыках. [5] Поскольку все эти метаязыки являются подъязыками все они являются встроенными языками по отношению к языку в целом.
Все метаязыки формальных систем в конечном итоге сводятся к естественному языку, «общепринятому языку», на котором математики и логики общаются, чтобы определить свои термины и операции и «зачитать» свои формулы. [6]
Типы выражений
В метаязыке обычно выражаются несколько сущностей. В логике обычно объектный язык, обсуждаемый метаязыком, является формальным языком , а очень часто и метаязыком.
Дедуктивные системы
Дедуктивная система (или, дедуктивное устройство из формальной системы ) состоит из аксиом (или аксиомы схем ) и правил вывода , которые могут быть использованы для получения в теоремах системы. [7]
Метапеременные
Метапеременный (или металингвистические или метасинтаксические переменный) является символом или набор символов в метаязыке , который выступает за символ или набор символов на некотором языке объекта. Например, в предложении:
- Пусть и B произвольные формулы из более формального языка.
Символы A и B не являются символами объектного языка., они являются метапеременными метаязыка (в данном случае английского), который обсуждает объектный язык .
Метатеории и метатеоремы
Метатеория является теория , предмет является какой - либо другой теории (теория о теории). Утверждения, сделанные в метатеории о теории, называются метатеоремами . Метатеорема является истинным утверждением о формальной системе , выраженной в метаязыке. В отличие от теорем, доказываемых в рамках данной формальной системы, метатеорема доказывается в рамках метатеории и может ссылаться на концепции, которые присутствуют в метатеории, но не в теории объекта . [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. Металогика: Введение в метатеорию стандартной логики первого порядка . Беркли: Калифорнийский университет Press ISBN 978-0-520-01822-8
- ^ Ритцер, Джордж . 1991. Метатеоризация в социологии . Нью-Йорк: Саймон Шустер ISBN 0-669-25008-2
- ^ Редди, Майкл Дж. 1979. Метафора канала: случай конфликта фреймов в нашем языке о языке. В Эндрю Ортони (ред.), Метафора и мысль . Кембридж: Издательство Кембриджского университета
Внешние ссылки
- Метаязык , Principia Cybernetica .
- Уиллард Маккарти (представлено в 2006 г.) Проблемные метафоры , Humanist Discussion Group , Vol. 20, № 92.