Метамова

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Метамова - мова, призначена для опису мови. Метамова - мова лінгвістики. Лінгвістична лексика[1], на основі якої формуються словники. Мова побудови теорії, слів, фраз в сфері граматичної лінгвістики.

Поняття метамови використовується:

У логіці і лінгвістиці, метамова — мова, що використовується для описання інших мов (вихідні мови). Формальні синтаксичні моделі для описання граматики, наприклад породжуюча граматика — є різновидами метамови. Ширше, це може бути будь-яка термінологія або мова, що використовується для обговорення самої мови — наприклад, граматика, або судження про використання мови.

Як приклад, можна навести вислів «Петро курить» із допомогою висловів логіки: K(p), де K=курить і p=Петро.

  • в лінгвістиці, при описі природних мов - метамова як мова для опису мови. Природна мова може бути своєю ж метамовою (наприклад, для опису російської мови можна використовувати ту ж російську мову), або відрізнятися лише частково, наприклад, спеціальною термінологією (російська лінгвістична термінологія - елемент метамови для опису російської мови);
  • в класичній філософії - як поняття, що фіксує логічний інструментарій рефлексії над феноменами семіотичного ряду;
  • в філософії постмодернізму, при вираженні процесуальності вербального продукту рефлексії над процесуальності мови. Постмодерне трактування метамови сходить до роботи Р. Барта «Література і метамова» (1957).
  • при дослідженні мов різних логіко-математичних обчислень (напр., Форма Бекуса - Наура);
  • в інформатиці - доп. дані (метадані), службовці для опису наявних.

Математична логіка[ред.ред. код]

Поняття «метамова» було введено польським математиком Альфредом Тарським [1]. З допомогою нього можна позбутися таких логічних парадоксів, як парадокс брехуна і самореферентних парадоксів.

Першим рівнем (звичайною мовою) є твердження про об'єкти, наприклад: «У Землі є супутник». У мові нижчому щаблі немає понять «брехня» і «істина». Такі поняття, як оцінка істинності тверджень про об'єкти, є привілеєм метамови - наступної сходинки сходів. Таким чином пропозиція «Затвердження" сніг білий "істинно» має сенс в метамові. Однак про його істинності можна говорити лише в наступній надбудові - метаметомові. При цьому метамова є об'єктним мовою для цієї наступному ступені. Можна побудувати метамову, для якої метамова буде об'єктним і т. Д.

Інший приклад сходів тверджень і метамов:

Сума внутрішніх кутів будь-якого трикутника дорівнює 180 °

  1. Затвердження 1 істинно.
  2. Затвердження 2 істинно
  3. Затвердження 3 істинно

Тут перше твердження написано на мові першого рівня, який дозволяє формулювати теореми планеметрії. Мовою другого рівня (фраза № 2) користуються при доказі теорем. Математмова, якій належить третє твердження, - це мова, на якому написані книги про теорії доказів

.З сходами метамови Тарского тісно пов'язана теорія типів Бертрана Рассела.

Див. також[ред.ред. код]


  1. Неприпустима назва. Вікіпедія (uk). Процитовано 2016-09-18.