Важно специально отметить, что реальное знание об объекте X, полученное посредством процессов подведения или соотнесения, отличается от таких же (по содержанию и структуре) знаний, полученных посредством ряда практических предметных операций, только тем, что имеет вероятно — истинный характер.
Из анализа структуры процессов подведения и соотнесения следует, что знак обобщенного заместителя (А) играет в них, а вместе с тем и в самих формальных знаниях особую роль: он связывает формальное знание как целое с единичными объектами и в этом плане является знаком-посредником. Но, чтобы выполнить эту роль успешно, т. е. чтобы обеспечить вероятно-истинный характер знаний об объекте X, получаемых с помощью процессов подведения и соотнесения, знак обобщенного заместителя должен иметь только одно строго установленное абстрактное значение, соответствующее той и всегда только той операции практически-предметного сравнения, которая лежит в основе номинативного знания X — (А) и выделяет класс предметов, обозначаемый обобщенным заместителем (А), — именно этот класс предметов подразумевается при выработке общего формального знания (А) — (B)(C)(D)… Однако, как уже было показано в разделе IV, с превращением знака обобщенного заместителя одновременно в знак группировки и сокращения его собственное первоначальное абстрактное значение и соответствующая этому значению познавательная операция «теряются» среди значений и операций всех других знаков, которые он объединяет вокруг себя в общем формальном знании, т. е. знаков (В), (С), (D)… Но если знак обобщенного заместителя «теряет» свое особое абстрактное значение, то он перестает соответствовать строго определенному классу предметов окружающей действительности и в силу этого уже не может быть тем знаком, через который осуществляется связь формального знания как целого с единичными объектами. Вместе с тем теряет свой смысл и значение само формальное знание: исчезает возможность соотносить его с единичными объектами и развертывать дальше, находя новые общие свойства какого-либо класса предметов. Чтобы вновь стать «полноценным» и получить возможность участвовать в процессах подведения и соотнесения, формальное знание должно каким-то образом «вернуть» знаку обобщенного заместителя его особое строго определенное абстрактное значение. Это достигается особым путем: в системе формального знания появляется еще один знак — будем обозначать его (а), — «принимающий на себя» то абстрактное значение, которое раньше было у знаков обобщенного заместителя. (Поэтому, несмотря на увеличение числа знаков в форме и соответственно в формальном знании, экстенсивность знания остается прежней.)
Если, к примеру, мы имеем общее формальное знание «Кислота есть соединение, содержащее водород, способный замещаться металлом с образованием соли, образующее в водном растворе положительно заряженный ион водорода и проводящее электрический ток, при нейтрализации щелочи дающее соль и воду, воздействующее как катализатор на некоторые химические реакции, например превращение целлюлозы в моносахариды, гидролиз жиров и т. д.», то для того, чтобы использовать его в процессах соотнесения, т. е. при практическом исследовании конкретных веществ, мы должны, кроме того, знать, что «Все то, что окрашивает лакмус в красный цвет, — кислота» или, по меньшей мере, что «Все кислое — кислота». Если мы возьмем последний пример, то сделанное выше замечание о том, что новый знак «принимает на себя» то абстрактное значение, которое раньше было у знака обобщенного заместителя, станет совершенно ясным: ведь первоначальное содержание слова «кислота» и было «кислое на вкус», и лишь постепенно в ходе развития понятия о кислоте в него вошли, «включились» все те признаки, которые сейчас перечисляются при введении этого понятия в учебниках и руководствах. В более сложных случаях значение знака, о котором мы говорим, не соответствует первоначальному абстрактному значению знака, ставшего обобщенным заместителем, и той операции, которая выделяла содержание, фиксировавшееся в этом знаке, но это происходит только в силу дополнительного процесса изменения содержания всего знания о кислоте, начинающегося уже после того, как возник этот новый знак, и в силу того, что он вступил в связь со знаком обобщенного заместителя и принял на себя особую функциональную роль в системе формального знания. Анализ закономерностей этого процесса должен стать предметом особого исследования.
2. Новый знак свойства возникает в системе формального знания в связи с процессами подведения и соотнесения и лишь для них. Он должен обеспечить ту связь между формальным знанием как целым и реальными предметами, которая разорвалась из-за потери знаком обобщенного заместителя своего особого абстрактного значения. Поэтому в процессах подведения и соотнесения этот знак должен встать между знаком обобщенного заместителя и реальными предметами. Тогда структура реального знания, являющегося результатом процесса подведения, приобретает вид X — (а) — (A)(B)(C)(D)… а структура общего формального знания, используемого в этом процессе, соответственно вид (а) — (А) — (B)(C)(D)… Сопоставим новые усложненные структуры знаний с прежними.
Знаковое образование (а) — (А) в новой структуре выступает в качестве функционального замещения знака (А) прежней структуры и поэтому как целое несет на себе все те функции и значения, которые были у прежнего знака (А). В то же время внутри этого образования происходит распределение функций между его элементами: новый знак (а) принимает на себя функции абстракции и обобщения прежнего знака, а за знаком (А) остаются лишь функции обобщенного заместителя, знака группировки и знака сокращения. Важно специально отметить, что здесь происходит также расщепление функции обобщения: одна из сторон обобщения остается связанной с функцией абстракции; это — обобщение, непосредственно связанное с познавательной операцией и выделяемым ею свойством; другая сторона оказывается связанной с замещением класса предметов как таковых и соответственно с функциями группировки и сокращения. Функция посредника остается за обоими знаками, но несколько изменяется: знак (а) в процессах подведения является посредником между реальными предметами и обобщенным заместителем, а знак (А) в этих же процессах — посредником между знаком свойства (а) и знаками других свойств (B)(C)(D)… В процессах соотнесения роль посредника играет все образование (а) — (А) в целом.
Но самое важное изменение, которое претерпевает структура знания, заключается в появлении связи принципиально нового типа, именно между знаками (а) и (А). Если мы возьмем формальное знание вне связи с процессами подведения и соотнесения, то знак (а) выступает в нем просто как знак признака обобщенного заместителя наряду со всеми другими знаками признаков. Структура формального знания в этом случае должна быть записана так: (A) — (a)(B)(C)(D)… Связи, соединяющие знаки признаков со знаками обобщенного заместителя, в общем случае являются ограниченно-двусторонними, т. е. такими, что переход по ним без всяких ограничений совершается лишь от знака обобщенного заместителя к знакам признаков, слева направо, а когда мы хотим перейти в противоположном направлении, от знаков признаков к знаку обобщенного заместителя (в традиционной логике это называется обращением), то в общем случае должны ввести дополнительный ограничивающий квантор «некоторые». К примеру, мы говорим, что «все кислоты — соединения», но вместе с тем, оборачивая это предложение, мы скажем, что только «некоторые соединения — кислоты». В то же время нетрудно заметить, что знак (а) может выполнить свою опосредствующую функцию в процессах подведения и соотнесения (ради которой он был введен) только в том случае, если связь между ним и знаком обобщенного заместителя будет неограниченно-двусторонней: только в этом случае он сможет остаться знаком признака и в то же время сможет становиться между знаком обобщенного заместителя и реальными предметами в процессах подведения и соотнесения, так чтобы движение шло от него к знаку предметов. Например, мы говорим, что «все кислоты окрашивают лакмус в красный цвет», но точно так же мы говорим, что «все вещества, окрашивающие лакмус в красный цвет, — кислоты».