Loading AI tools
З Вікіпедії, вільної енциклопедії
Метамова — мова, призначена для опису мови. Метамова — мова лінгвістики. Лінгвістична лексика, на основі якої формуються словники. Мова побудови теорії, слів, фраз в сфері граматичної лінгвістики.
Поняття метамови використовується: У логіці і лінгвістиці, метамова — мова, що використовується для описання інших мов (вихідні мови). Формальні синтаксичні моделі для описання граматики, наприклад породжувальна граматика — є різновидами метамови. Ширше, це може бути будь-яка термінологія або мова, що використовується для обговорення самої мови — наприклад, граматика, або судження про використання мови.
Як приклад, можна навести вислів «Петро курить» із допомогою висловів логіки: K(p), де K=курить і p=Петро.
Поняття «метамова» було введено польським математиком Альфредом Тарським[1]. За допомогою нього можна позбутися таких логічних парадоксів, як парадокс брехуна і автореферентних парадоксів.
Першим рівнем (звичайною мовою) є твердження про об'єкти, наприклад: «У Землі є супутник». У мові нижчого рівня немає понять «хибність» й «істина». Таке поняття як оцінка істинності тверджень про об'єкти, є привілеєм метамови — наступної сходинки сходів. Таким чином, пропозиція «Затвердження» сніг білий «істинно» має сенс в метамові. Однак, про його істинності можна говорити лише в наступній надбудові — метаметамові. При цьому метамова є об'єктним мовою для цієї наступному ступені. Можна побудувати метамову, для якої метамова буде об'єктним і т. д.
Інший приклад сходів тверджень і метамов:
Тут перше твердження написано на мові першого рівня, який дозволяє формулювати теореми планіметрії. Мовою другого рівня (фраза № 2) користуються при доказі теорем. Метамова, якій належить третє твердження, — це мова, на якому написані книги про теорії доказів.
З сходами метамови Тарського тісно пов'язана теорія типів Бертрана Рассела.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.