Объектный язык

Объектный язык — это язык, который является предметом изучения, описания или анализа в рамках метаязыка. В логике, лингвистике и семиотике объектный язык противопоставляется метаязыку — языку, на котором формулируются утверждения об объектном языке. Объектный язык может быть как естественным (русский, английский), так и искусственным (язык математики, язык программирования, формальная логическая система). Ключевое свойство объектного языка — он существует как данность, а его структура, правила и значения рассматриваются с внешней, рефлексивной позиции.

Определение и основные понятия

В философии языка и логике различение между объектным языком и метаязыком было впервые чётко сформулировано польским логиком Альфредом Тарским в 1930‑х годах в контексте его теории истины. Тарский показал, что для корректного определения понятия «истина» в формализованном языке необходимо использовать метаязык, который содержит средства для говорения об объектном языке, но не совпадает с ним. Это позволило избежать парадоксов, подобных парадоксу лжеца.

Объектный язык — это язык‑объект, который исследуется. Например, если лингвист изучает грамматику французского языка, то французский является объектным языком, а русский (или формальная нотация), на котором лингвист пишет свои выводы, — метаязыком. В математической логике объектным языком может быть исчисление высказываний, а метаязыком — русский язык с добавлением математических символов.

Основные характеристики объектного языка:

• Автономность: он имеет собственный словарь (алфавит) и синтаксические правила.
• Замкнутость: в рамках объектного языка можно формулировать только высказывания, относящиеся к его собственной предметной области, но не о самом языке.
• Иерархичность: объектный язык всегда находится на более низком уровне по отношению к метаязыку.

Соотношение с метаязыком

Разделение на объектный язык и метаязык является фундаментальным для избежания семантических парадоксов. Если бы один и тот же язык использовался одновременно для описания самого себя, возникла бы неразрешимая путаница. Например, утверждение «Это предложение ложно» не может быть осмысленно оценено в рамках того же языка без привлечения внешнего метаязыка.

В лингвистике различение объектного и метаязыка используется при описании грамматики, фонетики, семантики. Когда исследователь пишет: «В русском языке существительные имеют род», то русский язык выступает объектным, а язык описания (русский же, но в метафункции) — метаязыком. Однако в строгом смысле метаязык должен быть отличен от объектного, иначе возникает регресс. На практике часто используют один и тот же естественный язык в двух ролях, что допустимо при условии осознания этой двойственности.

В формальной логике метаязык обычно включает в себя переменные, логические связки и кванторы, а также специальные термины, такие как «формула», «доказательство», «истинно». Объектный язык же содержит только пропозициональные переменные и логические константы (например, «∧», «∨», «¬»).

Виды объектных языков

Объектные языки можно классифицировать по нескольким основаниям.

По происхождению

• Естественные языки (русский, английский, китайский) — объектные языки, изучаемые лингвистикой, филологией, психолингвистикой. Они возникли стихийно и используются в повседневной коммуникации.
• Искусственные языки — созданные целенаправленно для определённых целей. К ним относятся:
• Формальные языки (язык математики, логики, химические формулы, нотная запись).
• Языки программирования (Python, Java, C++).
• Вспомогательные международные языки (эсперанто, волапюк).

По области применения

• Языки науки — объектные языки, используемые для записи научных теорий (например, язык квантовой механики).
• Языки искусства — системы обозначений в музыке, живописи, танце (например, нотация Лабана).
• Языки техники — языки спецификаций, чертежей, схем.

По степени формализации

• Неформализованные — естественные языки, в которых правила не заданы жёстко и допускают исключения.
• Формализованные — языки с явно заданными алфавитом, синтаксисом и семантикой (языки логики, программирования).

Примеры использования

В лингвистике

При описании фонетической системы языка объектным языком является конкретный язык (например, японский), а метаязыком — система фонетической транскрипции (МФА) и терминология (фонема, аллофон, ударение). Лингвист не говорит на японском о японском, а использует внешний аппарат.

В математической логике

Пусть объектным языком является язык арифметики первого порядка. Он содержит символы: 0, 1, +, ×, =, переменные x, y, z, кванторы ∀, ∃, логические связки. На этом языке можно записать утверждение «∀x ∃y (x + y = 0)». Метаязыком, в котором доказываются теоремы об этом языке (например, теорема Гёделя о неполноте), является, как правило, русский язык с добавлением математических обозначений.

В информатике

При разработке компилятора объектным языком является исходный код программы (например, на C++), а метаязыком — язык, на котором написан компилятор (часто C или C++). Также метаязыком может выступать формальная грамматика (например, БНФ — форма Бэкуса — Наура), описывающая синтаксис объектного языка.

Значение в логике и философии

Различение объектного языка и метаязыка лежит в основе современной логической семантики. Оно позволило:

• Разработать непротиворечивое определение истины для формализованных языков (теория Тарского).
• Сформулировать теоремы Гёделя о неполноте, где метаязык используется для утверждений о доказуемости в объектном языке.
• Избежать парадоксов, связанных с самореференцией (парадокс Рассела, парадокс лжеца).

В философии языка это различение связано с проблемой референции и значения. Любое высказывание о языке предполагает выход за его пределы. Это ограничивает возможности полного самопознания языка.

Критика и ограничения

Концепция объектного языка подвергалась критике со стороны некоторых философов, в частности, представителей позднего Витгенштейна и постструктурализма. Они указывали, что на практике невозможно провести жёсткую границу между объектным языком и метаязыком, особенно в естественных языках. Любой метаязык сам может стать объектным для более высокого уровня метаязыка, что ведёт к бесконечной иерархии. Кроме того, в естественном языке метаязыковая функция (способность говорить о языке) является внутренне присущей, а не внешней.

В когнитивной науке и психолингвистике также отмечается, что разделение на объектный и метаязык является аналитическим инструментом, а не онтологической данностью. В реальной коммуникации люди постоянно переключаются между уровнями, не осознавая этого.

Источники

• Тарский А. Понятие истины в формализованных языках // Семантика и истина. — М.: Наука, 1972.
• Карнап Р. Значение и необходимость. — М.: Издательство иностранной литературы, 1959.
• Витгенштейн Л. Логико-философский трактат. — М.: Канон+, 2008.
• Чёрч А. Введение в математическую логику. — М.: Мир, 1960.
• Лингвистический энциклопедический словарь / гл. ред. В. Н. Ярцева. — М.: Советская энциклопедия, 1990.