об'єктна мова/метамова
ОБ'ЄКТНА МОВА/МЕТАМОВА - парні категорії, що позначають: 1) мову, засобами якої описують деяку предметну (позамовну) дійсність (предметна, або об'єктна, мова (ОМ), мова-об'єкт); 2) мову, засобами якої досліджують і описують ОМ. У такому випадку метамова (ММ) буде ОМ для метаметамови (МММ). Висловлювання належить до ОМ, якщо і тільки якщо в ньому йдеться про позамовну для даної мови дійсність (напр. , "Сократ - філософ"). Висловлювання належить до ММ, якщо і тільки якщо в ньому йдеться про вирази ОМ (напр. , слово "Сократ" складається з шести літер") Я. кщо деяка ОМ становить предмет аналізу, то ММ буде засобом його здійснення, тобто мовою, в якій і за допомогою якої здійснюють аналіз ОМ. Напр., у ситуації пояснення специфіки правил граматики англ. мови - англ. мова буде ОМ, а укр. мова (мова відповідних пояснень) може бути ММ, хоча дослідження будьякої мови можна здійснювати, не обов'язково користуючись іншою мовою (пояснення граматичних правил укр. мови можна здійснювати, користуючись укр. мовою). Мови, в яких відсутнє чітке розмежування між ОМ і ММ, називають, згідно з Тарським, семантично замкненими. Такі мови включають, окрім своїх власних висловлювань, ще й імена цих висловлювань (напр. , "Сократ - мудрий" - розповідне речення), а також висловлювання щодо істинності/хибності сформульованих у цій мові тверджень, що може призводити до т. зв. семантичних парадоксів (напр. , "Я кажу неправду"). Природні мови є семантично замкненими (і про позамовну дійсність, і про саму мову говоримо, користуючись якоюсь однією і тією самою природною мовою), на відміну від формалізованих мов сучасної логіки, що є семантично незамкненими - з огляду на їхню специфічну структурну будову: чітке і свідоме розшарування двох рівнів: ОМ і ММ. Така специфіка допомагає, зокрема, уникнути семантичних парадоксів (див. формалізована мова, парадокс, Тарський).І.Алексюк