Видимо, наоборот, нужен некто, кто мог бы произвести "объединение труда", т.е. мог бы встать и над языковедом и над лингвистом. Это - метатеоретик. Он должен прочитать, например, пять грамматик, выделить в каждой из них то, что относится к языковой теории, и то, что относится к лингвистической теории, а затем проанализировать цели построения языковых теорий и выяснить, какой лингвистической теорией удобнее пользоваться для достижения какой именно цели. Схематически результаты его работы можно изобразить так:Суть этой схемы такова. Допустим, метатеоретик отметил, что языковые теории в рассмотренных пяти грамматиках строятся для достижения двух целей (например, первой целью является обучение человека задаче "порождать предложения на языке L", второй целью - обучение автомата той же задаче). Затем он нашел, что все языковые теории, представленные в этих грамматиках, нетождественны друг другу и что теории А, Б и В строятся для достижения первой цели, а теории Г и Д - для достижения второй цели. При этом он обратил внимание на то, что, с одной стороны, теория А лучше теорий Б и В (она, например, дает возможность научить человека порождать десять тысяч предложений, а теории Б и В - только тысячу), с другой стороны, теория А хуже Б, но лучше В (по теориям А и В, скажем, порождается только 10% правильных предложений, а по теории Б - 90%).Сделав относительно языковых теорий такой вывод, метатеоретик перейдет затем к лингвистическим теориям и отметит, например, что языковая теория А построена на основании лингвистической теории а, Б - на основании б, а В - на основании а и е. Приступив к анализу лингвистических теорий а и в (например, к анализу аксиом, лежащих в основании обеих теорий), метатеоретик, допустим, заметит, что какая-либо аксиома теории а противоречит какой-либо аксиоме теории в (например, в качестве аксиомы теории а принято утверждение: "язык есть система знаков", в качестве аксиомы теории в - утверждение: "неверно, что язык есть система знаков"). Из этого факта он сможет заключить, что лингвистическая теория, на основании которой построена языковая теория В, противоречива (представляет собой конгломерат несовместимых друг с другом утверждений). Отметив противоречивость лингвистической теории, метатеоретик вправе будет спросить: "А не является ли эта противоречивость причиной того, что языковая теория В хуже всех?".