Анализ знаковых форм в этом плане
Различные формальные знания сильно отличаются друг от друга по структуре знакового материала. Характер ее зависит от типа того объективного содержания, которое фиксируется в этих знаниях, от «уровня» той плоскости замещения, на которой было получено и употребляется соответствующее знание (см. схему 4), от отношений и связей его с другими знаниями системы, а также от процедур преобразования в другие знания. В одном случае это будут арифметические соотношения вида 1 + 1=2, 1+2=3 и т. д., 2x2=4, 2x3=6 и т. д.; в другом — общие утверждения вида «Диагонали ромба взаимно перпендикулярны» или «Вещество, окрашивающее лакмус в красный цвет, есть кислота; кислота содержит электроположительный водород, замещаемый металлом с образованием соли, электропроводка, при нейтрализации щелочами дает воду и соли и т. д.»; в третьем — уравнения, включающие коэффициенты и знаки переменных и т. п. Но во всех случаях в структуру формальных знаний будут входить специфические связи, позволяющие использовать их в качестве средств образования реальных знаний о единичных объектах практики. Независимо от того, как будут использоваться формальные знания — будут ли они непосредственно соотноситься с объектами, как бы «накладываясь» на них, или же будут включаться в структуру рассуждения, эти связи должны дать возможность приписывать объектам практики свойства, непосредственно эмпирически в них не выявленные, или же, минуя эмпирический анализ, переходить от одних признаков объекта через посредство других к третьим. Покажем, как это происходит, на одном из самых простых примеров.
Предположим, что перед нами в колбе находится какое-то жидкое вещество и необходимо выяснить, какими свойствами оно обладает. В решении этой задачи мы можем пойти двумя путями. Первый путь — чисто эмпирический: мы будем применять к заданному нам веществу различные процедуры физического и химического анализа и постепенно практически выявлять его свойства. Мы узнаем таким образом, каков его удельный вес, в какие реакции с другими веществами оно будет вступать, на какие вещества разлагается и т. п. Но есть еще другой путь, на котором мы можем получить не менее разностороннее знание об этом объекте: это путь использования уже имеющихся формальных знаний. Мы можем, например, опустить в данное нам вещество лакмусовую бумажку, и если она окрасится в красный цвет, то мы сможем утверждать, что это вещество — кислота, и припишем ему те свойства, которые зафиксированы в общем формальном знании о кислоте.

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