Метамова (від мета... ) , одне з основних понять сучасної логіки і теоретичної лінгвістики, використовуване при дослідженні мов різних логіко-математичних числень, природних мов, для опису стосунків між мовами різних «рівнів» і для характеристики стосунків між даними мовами і описуваними з їх допомогою наочними областями. М. — це мова, використовувана для вираження думок про іншу мову, мову-об'єкт. За допомогою М. вивчають структуру знакосочетаній (виразів) мови-об'єкту, докази теорем про його виразні (і, мабуть, дедуктивних) властивості, про відношення його до ін. мовам і т. п. Мова, що вивчається, називається також наочною мовою по відношенню до даного М. Как наочна мова, так і М. можуть бути звичайними (природними) мовами. М. може відрізнятися від мови-об'єкту (наприклад, в підручнику англійської мови для росіян російська мова є М., а англійський — мовою-об'єктом), але може і збігатися з ним або відрізнятися лише частково, наприклад спеціальною термінологією (російська лінгвістична термінологія — елемент М. для опису російської мови; т.з. семантичні множники — частина М. опису семантики природних мов).
Поняття «М-код.» було введено і стало вельми плідним у зв'язку з вивченням формалізованих мов — числень, що будуються в рамках математичної логіки. На відміну від формалізованих наочних мов, в цьому випадку М., засобами якого формулюється метатеорія (що вивчає властивості наочної теорії, що формулюється на наочній мові), є, як правило, звичайною природною мовою, точніше деяким спеціальним чином обмеженим фрагментом природної мови, що не містить всякого роду двозначностей, метафор, «метафізичних» понять і т. п. елементів звичайної мови, що перешкоджають використанню його як знаряддя точного наукового дослідження (див. Метаматематика ) . При цьому М. сам може бути формалізований і (незалежно від цього) виявитися предметом дослідження, що проводиться засобами метаметаязика, причому такий ряд можна «мислити» зростаючим нескінченно. При всьому сказаному, М. як знаряддя метатеоретічеського дослідження формалізованих мов, що допускають досить багаті в логічному відношенні інтерпретації, має бути в усякому разі «не бідніше» за свою наочну мову (тобто для кожного вираження останнього в М. має бути його імя-«перевод») і повинен містити вирази вищих «логічних типів», ніж мова-об'єкт (див. Типів теорія ) . При невиконанні цих вимог (що свідомо має місце в природних мовах, якщо спеціальними угодами не передбачено осоружне) виникають семантичні парадокси (антиномії ) .
Літ.: Тарський А., Введення в логіку і методологію дедуктивних наук, пер.(переведення) з англ.(англійський), М., 1948; Кліні С. До., Введення в метаматематику, пер.(переведення) з англ.(англійський), М., 1957, гл.(глав) 1; Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), т. 1, М., 1960 (введення); Каррі Х. Би., Підстави математичної логіки, пер.(переведення) з англ.(англійський), М., 1969, гл.(глав) 1—3.
