Чтение онлайн

Конец страницы 659

Начало страницы 660

отождествление выражений «кислота» в двух относительно автономных организованностях формального знания — «определении» и «развернутом формальном знании». Знаки (В), (С), (D), (Е)... обозначают знаковые формы, фиксирующие все другие общие свойства (или признаки) кислоты; эти свойства как бы «выносятся» на объект X, приписываются ему — соответствующая стрелка, ведущая к X, — и становятся характеристиками объекта X в структуре реального знания. Операция «приписывания свойств» завершает процесс образования реального знания посредством процедуры соотнесения общего формального знания с единичным объектом.

Первый путь — непосредственного эмпирического исследования объекта X — дает всегда непосредственно достоверные знания, но он очень сложен и нуждается в особых условиях, средствах и методах; для отдельного индивида они часто просто недоступны. Второй путь предполагает всего лишь одну операцию эмпирического исследования — она специально выбирается очень легкой, а все другие операции носят сугубо формальный характер: «Если X есть (а), то X есть (А)», «Если X есть (А), то X есть (В) (С) (D) (Е) и т.д.». Все это совершается на основании формальной связки между признаками (а) и признаками (В) (С) (D) (E)... через специальный знак-посредник (А). Благодаря своему формальному характеру второй путь образования знаний о единичных объектах является значительно более выгодным и экономным, а поэтому в практической деятельности, если есть соответствующие формальные знания, он всегда вытесняет первый, эмпирический путь.

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

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

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

Конец страницы 660

Начало страницы 661

формирования античной математики, ньютоновской механики, молекулярно-кинетической теории вещества и максвелловской электродинамики дает нам ряд совершенно единообразных и прозрачных образцов [ 1967 b;Галилей, 1934, т. 1; Максвелл, 1938; Гуковский, 1947; Больцман, 1956; Розин, 1964 а; Москаева, Розин, 1966; Лакатос, 1967; Степин, Томильчик, 1970; Алексеев И., 1974 а, b]. В силу этого только вместе с этой онтологией и, можно даже сказать, в неразрывном единстве с ней систематизированные формальные знания образуют систему теории. Однако в традиционной эпистемологии с начала XIX столетия и до наших дней система теории, как правило, отождествляется с множеством так или иначе систематизированных формальных знаний. Такой подход имеет два основания. Одно из них — методологические трудности описания системы теории как составленной из двух совершенно разнородных системных образований — системы формальных знаний и системы идеальных объектов, представленных в обобщенной онтологии. Другое основание — реальная обособленность и автономность систем формальных знаний в современном мышлении и в организации научных исследований и разработок. Благодаря интенсивному развитию в XIX в. философии математики и математической логики над системами формальных знаний (систематизированных первоначально путем систематизации идеальных объектов и построения обобщенных онтологических картин) были построены новые знания методического и методологического типа, отображающие структуру исходных формальных знаний, отношения между разными формальными знаниями и процедуры преобразования одних знаний в другие [Brower, 1928; Carnap, 1929, 1934; Morgan, 1847; Boole, 1847, 1854; Schroder, 1877; Frege, 1879; Peano, 1889]. Благодаря этому системы формальных знаний были как бы подвешены к метазнаниям, фиксирующим правила конструктивного развертывания и преобразования одних формальных знаний в другие, а связь их с онтологией была ослаблена или совсем разорвана [ 1960 с *; Гейтинг, 1936; Гильберт, 1948]. Многие системы формальных знаний превратились в формализованные системы [Гейтинг, 1936; Гильберт, 1948].

В результате всех этих процессов систематизации и формализации многие из формальных знаний, входящих в систему теории, неизбежно теряют непосредственную операциональную связь с единичными объектами практики (см., в частности, обсуждение этого вопроса в работе [Гильберт, 1948]). Однако сама теория оправданна и может существовать в системе культуры лишь до тех пор, пока в ее составе остается достаточно большое число формальных знаний, непосредственно выно-

Конец страницы 661

Начало страницы 662

симых на объекты практики, и, по сути дела, сама теория всегда существует и развертывается лишь ради них.

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

Совершенно иначе обстоит дело со структурными моделями объектов. Они не содержат формальных связок следования, и поэтому их нельзя использовать для того, чтобы, выявив эмпирически какое-либо свойство в объекте, формально приписывать ему другие свойства, «необходимо» связанные с первым. В системе научного предмета структурные модели предназначены для другого — они должны изображать объект как таковой, в целом, безотносительно к тем или иным частным возможностям его познания и практического использования. Если структурные модели и соотносятся с объектами, положенными вне их, — практическими или идеальными, представленными в онтологии, — то при этом обязательно должны накладываться на них в целом, во всей совокупности зафиксированного в них содержания, и между различными элементами или частями этого содержания не может быть того различия между эмпирически выявляемым и гипотетически приписываемым, кото-

___________________________________

11 Поэтому глубоко неверными являются все попытки реконструировать «подлинную» структуру мира исходя из структуры языка, или, что то же самое, из смысловых организованностей формальных знаний, делаемые, по сути дела, постоянно с момента возникновения европейской культуры и цивилизации, но получившие свое отчетливое рефлексивное и идеологическое выражение впервые в «Логико-философском трактате» Л.Витгенштейна [Витгенштейн, 1958]. Совершенно оправданный в процедурах схематизации смысла знаний и конструирования идеальных объектов, этот принцип в первый период работы Л.Витгенштейна и его учеников понимался и трактовался слишком широко, вне необходимого здесь различения сфер теории и практики, соответственно — теоретического и практического мышления. Это, естественно, приводило к ошибочным и парадоксальным формулировкам. Но все эти парадоксы легко снимаются, а принципы приобретают оправданные области применения, как только мы начинаем учитывать в эпистемологии сложность и неоднородность научных предметов, наличие в них разных знаковых форм, пo-разному связанных с идеальными и практическими объектами (см. схемы 8 и 10), а в методологии и в организации собственного мышления соответственно этому начинаем пользоваться схемами многих знаний.

Конец страницы 662

Начало страницы 663

рое было характерно для формального знания. Можно было бы, наверное, сказать, что структурная модель вся в целом «выносится» на объект, но совершенно по другим основаниям и в иных процедурах, нежели те, которые мы наблюдали и фиксировали в формальном знании. И именно этим определяется основной принцип в подходе к моделям: их структура, несмотря на парадоксальность такого подхода, оценивается прежде всего с точки зрения соответствия ее структуре объекта [Генисаретский, 1966 а; Розин, 1966].

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