Формальный язык (аксиоматическая теория) и метаязык

Formal Language (axiomatic theory) and metalanguage

Формальна мова (аксіоматична теорія) та метамова.

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

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

Формальный язык может развиваться безотносительно к какой-либо содержательной интерпретации и связанного с ней понятия истины. Конечно, только в весьма рафинированных исследованиях можно полностью исключить содержательный аспект.

Важно, что обычно исследователь знает или, скорее, умеет больше, чем в состоянии формализовать в данный момент. Поэтому формальная теория – это способ определенно высказаться, когда это возможно, об определенном завершенном фрагменте содержательной теории, выделить в последней бесспорное, поставить и на определенном уровне решить некоторые проблемы.

Мы вовсе не обязаны думать только формально. Более того, плодотворность качественных, неформальных, творческих рассуждений, в противовес чисто формальным, доказана извечной практикой, как общества в целом, так и каждого отдельного индивида. Но назначение формальных рассуждений, в общем, иное – служить творческому процессу опосредовано, путем создания надежной базы и упорядочения достигнутого. Образно говоря, в знаниях формальная логика играет роль скелета, который растет и развивается вместе с организмом и дает возможность нормально функционировать живой ткани.

Метаязык - это содержательный фрагмент обычного языка, которому можно придать особую ясность, благодаря его направленности на формальный. Часть метаязыка может быть формализована и изучаться вместе с формальным языком-объектом, как независимо, так и как составляющая надлежаще понимаемого языка-объекта.

В учебнике английского языка, написанном по-русски, английский- это язык-объект, а русский – метаязык. В учебнике русского языка, написанном по-русски, обе роли играет русский язык.

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

Промежуточное положение метаязыка в языковой триаде между обычным и формальным, отражено в его названии: греч. meta – после, через, между.