Конец страницы 184
Начало страницы 185
жение «объекта сопоставления», куда вошли как знаки самих реальных «предметов» — а, b, с..., так и знаки выделенных в них свойств или признаков — Q, R, Р... В целом «объект» изображался знаковыми группами вида (Qa), (Rb), (Pb) и т.д. Отсутствие «объекта» рассматривалось тоже как определенный объект и изображалось знаковой группой вида (—Qa). Фиксация «объекта» в соответствующем знании выражалась в знаковой группе «Qa» или «—Qa».
После того как были выведены эти знаковые изображения и соответствующие им понятия, приведенную выше схему индуктивного сопоставления стало возможным изобразить в виде таблицы:
| I | (Qa) | (Rb) |
| II | (-Qa) | (-Rb) |
Первая строка ее должна была изображать одну ситуацию сопоставления «объектов» Qa и Rb, вторая строка — другую ситуацию сопоставления, в которой отсутствие Qa «сопровождалось» отсутствием Rb. Сопоставление этих двух ситуаций позволяло заключить о наличии связи между Qa и Rb и строить высказывание: «Если существует (Qa), то существует (Rb). В целом вся таблица, выражающая сопоставление ситуаций, называлась «набором». Порядок сопоставления «объектов» в ситуациях и ситуаций в наборах определял тип выявляемой связи [Зиновьев, 1959 а, с. 113-138]. Так, по мнению А.А.Зиновьева, разнообразные наборы ситуаций могут служить обобщенной моделью всех тех содержаний знаний, которые мы называем «связями».
На основе этих представлений и знаковых изображений А.А.Зиновьев построил математико-логическое исчисление связей, определил условия логической истинности различных сложных высказываний о связях, построенных по определенным правилам из более простых высказываний. И эта работа, повторим снова, является наиболее принципиальной и фундаментальной из всех, выполненных к настоящему времени по проблемам логического определения связи.
Но, несмотря на все свои достоинства, она имеет один существенный недостаток: не может охватить всех существующих в настоящее время и широко употребляемых в науке понятий связи; и даже, наверное, можно сказать еще резче: введенное в ней понятие связи вообще не соответствует большинству из этих употреблений, и в частности всем знаниям о связях объектов и элементов в целом, всем кинематическим и механическим представлениям связи и т.п.
Конец страницы 185
Начало страницы 186
На наш взгляд, причина этого заключается в основаниях метода анализа — они оказались слишком узкими и, может быть, даже просто неправильными. В обоснование этого утверждения мы хотим рассмотреть
основные противоречия существующего понятия связи
Среди разнообразных знаний о связях, встречающихся в современной научной литературе, можно выделить два полярных типа: один фиксирует зависимости или связи между свойствами, признаками объектов, другой — связи между самими объектами, рассматриваемыми в качестве элементов целого. Характерным примером знания первого типа является аналитическая форма выражения какого-либо «закона», скажем закона Бойля—Мариотта о зависимости между объемом и давлением газа: pV = const. Примером знания второго типа может служить описание структурной формулы какого-либо химического соединения, скажем, в простейшем случае вида: Са(ОН)2. И если мы возьмем знания о связях второго типа, то оказывается, что как способы их построения, так и способы формального оперирования с ними совершенно не соответствуют тому, что А.А.Зиновьев описал в понятиях «объектов сопоставления», ситуаций и наборов. Его понятие построено таким образом, что не может охватить и выразить связи между элементами реальной структуры объектов, элементами, получаемыми путем разложения этой структуры. И в этом мы видим его первое основное противоречие. Но тогда из этого утверждения должен следовать еще и вопрос: каким образом мы выявляем связи структуры самих объектов?
Из этого же утверждения мы можем вывести и второе противоречие существующего понятия связи. Дело в том, что «объекты», фигурирующие в таблицах ситуации сопоставления, являются на самом деле не объектами, а предметами знания, но предметы являются не чем иным, как связками замещения операционно выделенных содержаний знаками, и рассматривать их нужно именно таким образом, т.е. учитывая многие плоскости знакового замещения и анализируя, что нового вносит в процесс выявления содержания знания каждая из них. То, что в существующем понятии связи не учитывается эта сторона дела, является важнейшим его дефектом, и именно из-за этого в нем не удается «схватить» реальные языковые средства и особенности содержания различных научных высказываний о связях.
Дело в том, что содержание знаний о связи задается не только тем, какие сопоставления осуществляются в плоскости исходных объектов, но также и тем, в каких знаковых средствах фиксируется выявленное таким образом содержание, и что именно, в соответствии с этим, становится объектом последующих сопоставлений. Подавляющее большинство современных знаний о связях имеет своим содержанием сопоставления, в
Конец страницы 186
Начало страницы 187
которых участвуют, кроме самих объектов, разлагаемых на части и синтезируемых из этих частей, еще знаки разного типа, лежащие в различных плоскостях замещения и «снимающие» в себе разное содержание. Например, в современной химии это, кроме самих реагирующих веществ и описаний их меняющихся свойств, еще формулы состава, структурные формулы, физико-химические и физические модели атомов и молекул вещества. И сопоставление, выделяющее в объектах новое содержание, в частности их структуру, идет все время за счет переходов от одних знаковых средств и плоскостей замещения к другим. Как бы «в разрезе» вся эта система замещений и происходящих на его основе сопоставлений изображена на схеме 13.
Надо специально сказать, что появление особых изображений состава и структуры химических соединений или физико-химических и физических моделей вещества кардинальным образом меняет характер рассуждений и выводов в химии. Меняется сама логика мышления, логические правила содержательного и формального решения задач. В частности, меняются способы построения высказываний о связях: чтобы получить знания о связях на основе уже имеющихся структурных формул, нужны совсем иные схемы сопоставлений и вообще процедур, нежели те, к которым мы должны были прибегать, получая знания о связях на основе формул состава. И то же самое происходит во всех других науках по мере развития их знаковых средств и появления новых плоскостей замещения.
Поэтому вполне естественно, что логическая теория знаний о связях, не учитывающая этих моментов, оказывается очень ограниченной и не может охватить не только всех, но даже самых главных типов этих знаний. Чтобы построить действительно общую логическую теорию высказываний о связях, нужен принципиально иной подход к проблеме, иные логические основания, и в частности учитывающие, с одной стороны, эмпирическое различение связей между объектами и связей между признаками, а с другой — многоплоскостное строение всякого знания. Реализуя этот принцип, мы хотим рассмотреть
«логическое окружение» понятии связи
Анализ истории мышления показывает, что все исходные понятия связи возникают на пересечении ряда способов анализа объектов и
Конец страницы 187
Начало страницы 188
поэтому объединяют и снимают в себе разные группы мыслительных процедур. Чтобы показать сам способ рассуждения при анализе их, мы разберем упрощенную комбинацию из нескольких таких мыслительных процедур.
Первая — чисто эмпирическое выявление сначала соотношения, а потом зависимости двух свойств-параметров какого-либо объекта или явления. Простейшая иллюстрация этой линии исследования объектов — выявление зависимости между давлением и объемом газа в полемике Р.Бойля против Линуса [Розенбергер, 1937, ч. II, с. 136]. Бойлю нужно было убедить Линуса в существовании сопротивления воздуха. Он взял изогнутую в виде сифона стеклянную трубку с запаянным коротким коленом и наполнил ее через длинное (открытое) колено ртутью. По мере приливання ртути воздух в коротком колене сжимался, но продолжал уравновешивать все больший и больший столб ртути. Чтобы охарактеризовать «сопротивление» воздуха, Бойлю нужно было сопоставить уменьшающиеся объемы воздуха и соответствующие избытки давления в длинном колене. Самой «естественной» формой фиксации соотношения объемов и избытков давления была таблица
| p | ||||
| V |
Лишь через некоторое время ученик Бойля — Ричард Тоунлей — заметил, что произведение давления на объем остается примерно постоянным, выделил таким образом инвариант, и это позволило зафиксировать в аналитической форме формулы (и функции) саму зависимость между давлением и объемом
p1V1= p2V2= p3V3= ... = PV = const; p = с/V, V = c/p.
Математическая теория пропорций дала оперативную знаковую форму для выражения эмпирически выявленной зависимости между двумя свойствами объекта.
Вторую мыслительную процедуру можно назвать «объяснением» категории зависимости. После того как были зафиксированы и получили математическую форму выражения первые простейшие зависимости между свойствами объектов, начался длительный период поисков их объяснений. Мы не обсуждаем сейчас вопроса о тех причинах, которые сделали необходимым такое объяснение, и об условиях, которые сделали возможным его появление; мы принимаем это как исторический факт. Средством подобных объяснений стали «инженерные конструкции», т.е. «искусственные», как-то связанные друг с другом объекты. Это могли быть, к примеру, два шара, скрепленных стержнем, веревкой или пружиной.
Конец страницы 188
Начало страницы 189
Представление об этих «искусственных» объектах по сути дела «накладывалось» на эмпирически выявляемые зависимости между свойствами исследуемых «естественных» объектов и становилось средством понимания их: одно свойство объекта меняется в результате изменения другого, или, иначе, одно зависит от другого, потому что они как-то связаны друг с другом. Исследователь начинал «видеть» таблицу меняющихся значений свойств а и b сквозь образ связанных между собой шаров, представлял ее как результат изменений в состоянии связи
и вместе с тем как проявление самой этой связи. Если, к примеру, мы будем менять «положение» а, то соответственно изменится положение b, и это найдет себе выражение в таблице
| а | a1 | a2 | а3 | a4 |
| b | b1 | b2 | b3 | b4 |
которую можно будет затем выразить в виде той или иной аналитически представленной зависимости. «Искусственная» инженерная конструкция в виде двух связанных между собой объектов превратилась в объяснительную модель эмпирически выявляемых и фиксируемых в таблицах и функциях зависимостей.
Так складывается мыслительная конструкция, включающая две разнородные исследовательские процедуры: 1) эмпирическое выявление зависимости двух свойств изучаемого объекта и 2) объяснение этой зависимости путем отнесения ее к другому объекту, сконструированному человеком в виде двух связанных между собой элементов. Она может быть изображена схемой 14.
Эта конструкция как целое и соответствует первым формам научных понятий связи.
Математическая форма функции выражает зависимость двух свойств объекта друг от друга, но в ней нет выражения связи, и ничто не дает оснований для введения этого понятия. Другими словами, понятие связи не может появиться, пока мы пользуемся одними лишь таблицами и математическими формами выражения зависимостей. Связь появляется и может быть выделена как нечто особое и самостоятельное только с
Конец страницы 189
Начало страницы 190
введением «искусственной» конструкции связанных между собой объектов. Именно в этой конструкции впервые она получает реальное вещественное существование в виде стержня, пружины или веревки — впервые становится особым, можно сказать, вещественным объектом. Но если мы возьмем эту конструкцию саму по себе, то в ней тоже не будет никакой связи; стержень и пружина так и останутся просто стержнем и пружиной. Они становятся «связью» только благодаря тому, что сама эта конструкция выступает в роли «объяснительной модели» зависимости свойств, эмпирически выявленной в изучаемом объекте. Иначе говоря, определенные элементы «инженерных конструкций» (стержни, пружины, приводные ремни, передаточные механизмы и т.п.) выступают в качестве «связей» только в силу того, что они принимаются за «основание» тех или иных зависимостей свойств объектов.
Очень важно подчеркнуть еще одно обстоятельство. Связи являются объектами особого рода, но в своей непосредственной данности как объекты они существуют только в объяснительной модели. В изучаемых «естественных» объектах природы нет ничего похожего на них, ни стержней, ни пружин. По сути дела они приписываются объектам, поскольку «инженерные конструкции» выступают в качестве изображений или в качестве моделей этих объектов. Поэтому, говоря о существовании «связей» в объектах, мы должны понимать, что реально они существуют только либо в эмпирически выявляемых зависимостях свойств, либо в тех внутренних механизмах, которые лежат в основе этих зависимостей и специфичны для изучаемого объекта. «Внутренние механизмы» объекта, по определению, не могут стать предметом эмпирического анализа, и единственной эмпирически выявляемой реальностью являются зависимости. Но любая выявленная зависимость тотчас же понимается исследователем как определенная «связь». Это происходит за счет той мыслительной конструкции, которую мы описали выше. Всякая зависимость понимается как связь, а каждая связь реально существует и проявляется в какой-либо эмпирически выявленной зависимости. Значит, на этом этапе в понятии связи все время существует двойственность: одну сторону ее составляет зависимость свойств в объекте, а другую — связность элементов модели; такая двойственность не представляет опасности до тех пор, пока между тем и другим удается устанавливать однозначное соответствие.
Но это соответствие начинает нарушаться, как только мы переходим в эмпирическом анализе от зависимостей между двумя параметрами-свойствами к зависимостям между многими параметрами. Простейший из этих случаев мы уже разобрали выше, воспользовавшись приемом «двойного знания» (см. главу «Системы предмета и системы объекта»). Мы предположили, что структура изучаемого нами объекта состоит из трех элементов А, В, С и двусторонних связей между ними. С помощью
Конец страницы 190
Начало страницы 191
эмпирических процедур можно выявить зависимости между любыми двумя параметрами-свойствами объекта и выразить их в форме математических функций. Всего получится шесть разных выражений:
Для каждого из них можно будет подобрать модель соответствующего механизма связи, и таким образом получится шесть разных моделей для изображения единой структуры объекта. Но так как объект у всех этих моделей один, естественно, встанет и всегда встает задача объединить их все в одной синтетической модели. Сделать это механически невозможно: ведь в каждой функции фактически «присутствует», как мы уже выяснили выше, вся структура объекта, а следовательно, и каждая из шести моделей механизмов связи является частным функциональным аналогом всей структуры. Но если синтез будет производиться не механически, то это означает только одно — что будет сконструирована какая-то новая модель, с новыми элементами и связями, причем эти связи будут такими, что ни одна из них в отдельности не будет соответствовать механизмам, моделирующим эмпирически выявленные зависимости; лишь вместе и во взаимодействии друг с другом в рамках единого механизма эти связи будут давать основу для объяснения всех перечисленных выше функций (схема 15).
После того как такая синтетическая модель механизмов объекта построена, появляется совершенно очевидный разрыв между связями структуры объекта и функциональными изображениями зависимостей его свойств. Чтобы его преодолеть, нужно еще проделать особую работу и вывести эти зависимости из модели механизма. Именно это и есть та замена эмпирического анализа структур конструированием их гипотетических моделей, о которой мы говорили выше (см. главу «Конструирование структурных моделей»). При этом из анализа механизмов модели «выводятся» различные проявления, в том числе и возможные зависимости между свойствами, и сопоставляются с тем набором свойств и зависимостей, которые удалось выявить путем эмпирического анализа в самом объекте. Если свойства, выведенные из
Конец страницы 191
Начало страницы 192