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

Я попытаюсь охарактеризовать несколько различных абстракций языка, используемых в различных видах теорий, и проследить их взаимодействия и трансформации в связи с развитием собственно теоретической философии.

Можно выделить несколько абстракций языка, применяемых:

1. в логике;
2. в аналитической философии;
3. в филологии и герменевтике;
4. в структурализме;
5. в семиотике;
6. в лингвистике.

1. К. Айдукевич писал о разных принципах идеализации языка, используемых логикой и лингвистикой. По нему, главное различие между лингвистикой и логикой состоит в том, что предмет исследования в лингвистике - естественные языки, тогда как логика заинтересована формальными языками. Относительная простота языков, изучаемых логиками, позволяет им выяснять структуры этих языков более четко, чем это достижимо для лингвистов, анализирующих исключительно сложные естественные языки. Ввиду того, что языки, изучаемые логиками, используют отношения, скопированные с естественных языков, логики способны внести существенный вклад в общую теорию языка. По всей вероятности, результаты анализа, предпринятого логиками, не могут быть применимы simpliciter к эмпирически данным естественным языкам, а их исследования, игнорирующие некоторые характерные особенности естественных языков, нуждаются в существенных исправлениях, если они претендуют на описание естественных языков. Ситуация здесь подобна той, которая имеет место в физике: физик также формулирует теоремы для идеально упрощенных случаев, которые не происходят в природе вообще - он формулирует законы для идеальных газов, идеальных жидкостей, говорит о движении при отсутствии трения и т.д. Для этих идеализированных случаев можно установить простые законы, которые значительно способствовали бы пониманию того, что происходит в действительности и что, вероятно, осталось бы неизвестным физике, если бы она пробовала рассматривать действительность непосредственно, во всей сложности. Поэтому языки, анализируемые логиками, могут быть рассмотрены как идеализация естественных языков1.

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


2. Это различение, вероятно, может быть эксплицировано в качестве исходного допущения при философствовании "логикоморфном" - аналитическом. Чтобы оправдать отсутствие специальной информации о естественном языке как объекте исследования, в аналитической традиции объявляется объектом некий "обыденный язык", известный всем, в том числе и философам, для чего философ вынужден играть языковую роль "человека с улицы", по-муровски грубоватого и нарочито коряво строящего предложения. Естественно, не все хотят играть эту роль, или, во всяком случае, играют ее по-разному, в результате чего абстракции обыденного языка не хватает очевидности: у каждого он разный - обращаясь к "обыденному языку", исследователи неизбежно имеют дело ни с чем иным, как с собственной языковой компетенцией. Для легитимации этого положения привлекается аргумент невозможности индивидуального языка (являющийся предметом одной из самых широких дискуссий в аналитической философии с 60-х годов по наши дни), но он не снимает факта нетождественности трактовки самого понятия "обыденный язык" в аналитической философии. К этому обыденному языку объявляются применимыми (пусть не всегда и(или) с оговорками) правила, установленные для формальных языков. (Лингвистика на определенном этапе также не избежала этого соблазна, но уже с 50-х годов он оказался практически полностью отброшен.)