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