Избранные труды - [300]

В наглядной форме эта процедура изображена на схеме 10. Знак X означает на нем данное нам вещество, А (дельта) — операцию, в которой устанавливается действие вещества на лакмусовую бумажку. Знак (а) обозначает знаковое выражение, фиксирующее эмпирически выявленное свойство объекта X — «окрашивает лакмус в красный цвет». Знак (А) обозначает слово «кислота», вертикальная стрелка, направленная вверх, символизирует замещение содержания, выявленного благодаря применению операции D к объекту X. Вместе знаковые формы (а) и (А) обозначают то, что принято называть «определением». Двусторонняя стрелка, соединяющая их, символизирует связь, характерную для определения (равенство объемов выражений (а) и (А) и возможность оборачивания без ограничений: «все, что окрашивает лакмус в красный цвет, — кислота» и «все кислоты окрашивают лакмус в красный цвет»). Стрелка, ведущая от (А) к X, завершает мыслительную процедуру, называемую обычно «подведение объекта под понятие» [Зигварт, 1908, а, с. 415–416], знак III обозначает отождествление выражений «кислота» в двух относительно автономных организованностях формального знания — «определении» и «развернутом формальном знании». Знаки (В), (С), (D), (Е)… обозначают знаковые формы, фиксирующие все другие общие свойства (или признаки) кислоты; эти свойства как бы «выносятся» на объект X, приписываются ему — соответствующая стрелка, ведущая к X, — и становятся характеристиками объекта X в структуре реального знания. Операция «приписывания свойств» завершает процесс образования реального знания посредством процедуры соотнесения общего формального знания с единичным объектом.

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

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

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

В структуре научных предметов систематизация формальных знаний неразрывно связана с систематизацией идеальных объектов и организацией их в единую онтологическую картину. В этом плане история формирования античной математики, ньютоновской механики, молекулярно-кинетической теории вещества и максвелловской электродинамики дает нам ряд совершенно единообразных и прозрачных образцов [1967 b;Галилей, 1934, т. 1; Максвелл, 1938; Гуковский, 1947; Больцман, 1956; Розин, 1964 а; Москаева, Розин, 1966; Лакатос, 1967; Степин, Томильчик, 1970; Алексеев И., 1974 а, b]. В силу этого только вместе с этой онтологией и, можно даже сказать, в неразрывном единстве с ней систематизированные формальные знания образуют систему теории. Однако в традиционной эпистемологии с начала XIX столетия и до наших дней система теории, как правило, отождествляется с множеством так или иначе систематизированных формальных знаний. Такой подход имеет два основания. Одно из них — методологические трудности описания системы теории как составленной из двух совершенно разнородных системных образований — системы формальных знаний и системы идеальных объектов, представленных в обобщенной онтологии. Другое основание — реальная обособленность и автономность систем формальных знаний в современном мышлении и в организации научных исследований и разработок. Благодаря интенсивному развитию в XIX в. философии математики и математической логики над системами формальных знаний (систематизированных первоначально путем систематизации идеальных объектов и построения обобщенных онтологических картин) были построены новые знания методического и методологического типа, отображающие структуру исходных формальных знаний, отношения между разными формальными знаниями и процедуры преобразования одних знаний в другие