Метаязык

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

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

СОДЕРЖАНИЕ

  • 1 Типы
    • 1.1 Встроенный
    • 1.2 Заказал
    • 1.3 Вложенные
  • 2 На естественном языке
  • 3 Типы выражений
    • 3.1 Дедуктивные системы
    • 3.2 Метапеременные
    • 3.3 метатеории и метатеоремы
    • 3.4 Интерпретации
  • 4 Роль в метафоре
  • 5 Метапрограммирование
  • 6 См. Также
  • 7 словарей
  • 8 ссылки
  • 9 Внешние ссылки

Типы

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

Встроенный

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

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

Приказал

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

Вложенный

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

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

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

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

Обозначая язык теперь как грамматика языка - это дискурс в метаязыке, который является вложенным внутри подъязыком. L 0 {\ displaystyle L_ {0}} L 1 {\ displaystyle L_ {1}} L 0 {\ displaystyle L_ {0}}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Словари

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

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

Последняя правка сделана 2024-01-02 08:27:25
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте