Характерной особенностью современной науки является то, что на передний план выдвигается повсюду задача «структурного» исследования объектов и изображения их в виде сложных систем взаимосвязанных между собой элементов. Этот процесс захватывает в настоящее время и языкознание.
Последнее утверждение — особенно из-за слов «в настоящее время» — может вызвать возражения и нуждается поэтому в пояснениях, в частности по линии различения и связанного с этим уточнения понятий системности и структурности. То, что разделение этих понятий до сих пор не проведено, объясняется прежде всего тем, что в специально-научных исследованиях не различаются и не отграничиваются друг от друга характеристики знаниям объекта знания.
Научное знание всегда системно. Уже простейшие виды знания, такие как «береза — белая», «металл — электропроводен» и т. п., представляют собой «системы»: форма их состоит из элементов, связанных друг с другом, а вместе с тем и содержание выступает расчлененным и одновременно связанным в некоторое единство. И какие бы другие более сложные виды знаний мы ни брали — отдельные положения или целые теории, — они всегда будут системными. Разница заключается только в виде и сложности самих систем.
Обратимся теперь к объектам. Всякий реальный объект, если говорить о его «материальной природе», представляет собой сложное целое и имеет определенное строение. Но, в зависимости от задач исследования, он может рассматриваться и рассматривается по-разному: во-первых, как простое тело, со стороны «внешних», если можно так сказать, свойств (последние, в свою очередь, могут быть: а) атрибутивными или 6) функциями); во-вторых, как сложное тело, со стороны состава, т. е. как собрание, совокупность элементов (последние могут рассматриваться: а) как разнородные, и тогда состав характеризуется только по «качеству», или б) как однородные в определенном отношении, и тогда состав получает также и количественную характеристику); наконец, в-третьих, как «сеть» или «решетка» связанных между собой элементов. В этом последнем случае на передний план в исследовании выступают не элементы и даже не отношения между ними, а связи элементов. Нам здесь важно отметить, что это объективные связи, т. е. не связи между элементами знания об объекте — в этом случае мы опять вернулись бы к системности знания, — а связи между элементами самого объекта и в самом объекте, связи не как продукт мыслительной деятельности, а как то, что исследуется и должно быть определенным образом воспроизведено в знаковой форме знания.
Только этот подход к исследованию объекта и только такое воспроизведение его в знании мы называем «структурными» (в противоположность «системным»).
С этой точки зрения, к примеру, знания «береза — белая» и «металлы — электронроводны» не являются структурными: они не выражают никаких связей между объектами и в объектах. Не являются структурными и такие знания, как «А больше В»: они выражают отношения, а не связи.[136] Точно так же не являются структурными многие языковедческие знания и системы этих знаний (можно сказать, подавляющее большинство). Они системны, но не структурны, поскольку не отражают объективных структур.
Этих замечаний недостаточно для точного определения понятий «системности» и «структурности», но их достаточно, чтобы пояснить смысл выдвинутого выше положения: говоря, что в настоящее время все науки, включая и языкознание, все больше вовлекаются в структурное исследование, мы имеем в виду именно то, что они все чаще и чаще начинают рассматривать свой объект как структуру. А это действительно датируется самым последним временем.
Более того, мы не говорим, что в этих науках осуществляется структурное исследование, а только то, что они вовлекаются в него. Тем самым мы стремимся подчеркнуть, что успехи структурного исследования еще крайне незначительны. Объясняется это прежде всего тем, что эмпирическое структурное исследование сложных объектов (какого бы частного вида они ни были) наталкивается на весьма серьезные затруднения, которые, в общем и целом, остаются пока что непреодолимыми.
Характер этих трудностей был довольно подробно описан в целом ряде книг и статей,[137] и мы поэтому не будем здесь на них останавливаться. Важно подчеркнуть только один момент: затруднения, Возникающие на пути эмпирического анализа структуры сложных объектов, приводят к подмене, можно даже сказать, к «перевертыванию» самой задачи — вместо того чтобы анализировать, расчленять в абстракциях заданный объект, начинают строить, конструировать другой объект, структурный, и рассматривают его в качестве заместителя или модели исследуемого объекта. Поскольку структура модели создается, строится самим исследователем, она известна, а поскольку она рассматривается как модель исследуемого объекта, то считается познанной и структура последнего.
Такими были уже самые первые исследования структур в механике (И. Бернулли, Ж. Д'Аламбер). Их метод был перенесен затем в исследования строения вещества (так называемые «молекулярно-кинетические», «электронные» теории и т. п.), а в последнее время получил распространение и во всех других науках. В частности, не так давно специально обсуждались возможности применения этого метода при анализе языка [Bar-Hillel, 1954; Chomsky, 1955]. По существу, такое переворачивание задачи является, по-видимому, единственным известным нам сейчас продуктивным средством и способом исследования и воспроизведения в мысли структур объектов.
Но вместе с тем — и эта сторона дела должна быть отчетливо осознана — то обстоятельство, что структуры объектов-моделей строятся, конструируются, не снимает задачи эмпирического анализа структуры исходных исследуемых объектов. В господствующих течениях современной позитивистской методологии или «логики науки» проблема построения систем моделей получила специфически математическую окраску и берется крайне односторонне. Вопрос о соответствии модели исходному объекту, или, иначе, вопрос об «адекватности» модели (конечно, относительно определенной задачи), отодвигается на задний план или совсем отбрасывается. Это достигается благодаря отделению вопроса о построении модели от вопроса о так называемой интерпретации ее. Получается, что сначала мы должны построить структуру («формальную», как часто говорят), а затем уже решать вопрос, может она рассматриваться как модель исследуемого объекта или не может. Все, что относится к решению первой задачи, есть фактически чистая «математика», т. е. «формальная» дисциплина, занимающаяся построением (в пределе — любых) возможных структур; и это построение, по существу, независимо от задачи исследования того или иного частного объекта. Но таких структур, очевидно, может быть бесконечно много, а в эмпирическом исследовании нас интересует всегда только одна определенная структура, дающая «правильное» изображение заданного объекта. Поэтому в эмпирическом исследовании нас всегда интересует не просто построение какой-либо формальной структуры и не принципы построения формальных структур вообще, а такое построение, которое было бы оправданно с точки зрения задачи отражения или изображения одного определенного объекта, которое, если и не в каждом шаге, то уж, во всяком случае, в основных принципах, апеллировало бы к объекту, доказывало бы свою «эмпирическую истинность». Очевидно, что теория формального построения системы, т. е. построения, отделенного от процессов интерпретации, не может дать такого обоснования и оправдания. Но это значит, что «математическая» теория построения структур, хоть она и является как идея весьма естественной, а как теория — весьма плодотворной в определенных отношениях, тем не менее ни в коем случае не может заменить или полностью вытеснить задачу эмпирического исследования определенных структурных объектов. Она лишь становится рядом с этой последней и дает ей определенные формальные средства. Но, чтобы стать логикой эмпирического исследования, они должны быть дополнены приемами эмпирического анализа. А эти приемы, как мы уже говорили, остаются до сих пор в общем и целом неисследованными.
136
Почти во всех работах по логике и специальным наукам термины «связь» и «отношение» употребляют в настоящее время как синонимы. До самого последнего времени не было выявлено никаких точных критериев для различения знаний об отношениях и знаний о связях и, соответственно, самих отношений и связей. В резкой и достаточно общей форме этот вопрос впервые поставлен и решен А. А. Зиновьевым (см. [Зиновьев, 1959 а, b, 1960 b, с], а также [Швырев, 1959]. О том, как складываются связи знаний вида «береза — белая» или «металл — электропроводен», не отражающие связей объектов, см. [1958 b*]).
137
См., в частности, [Kohler, 1920,1929, 1933; Винер, 1958; Кремянский, 1958; Эшби, 1959 а; Зиновьев, Ревзин, 1960; Лекторский, Садовский, 1960].