Метамова

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

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

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

Джерела інформації[ред.ред. код]

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