Избранные труды

¹³Характерными образцами таких систем формы (языка) являются различные исчисления: собственно математические — арифметическое, дифференциально-интегральное, «алгебры» разного рода; логико-математические — исчисление классов, высказываний, различные исчисления предикатов. Менее выраженными в своих формальных моментах, но в принципе такими же системами формы являются силлогистика Аристотеля, геометрия, формализованная Д-Гильбертом, формулы реакций в химии, дополненные «рядами активности» веществ, и др.

 Конец страницы 619 

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

Позиция, занятая А.А.Зиновьевым, кажется тем более странной, что в других своих работах (например, [Зиновьев, 1959 а]) он строит весь анализ на различении этих двух типов действий. Для этого он сначала постулирует тождество формы простейшего знания «Ра» и его содержания (в терминологии А.А.Зиновьева — объекта) Ра [Зиновьев, 1959 а, с. 115], тем самым вводя группу знаков (или знаний), выступающих в роли объектов; затем, переходя к анализу содержания знаний о связи, он отказывается от принципа тождества и вводит (путем описания сопоставления) особое изображение для содержания знания (ситуации и наборы) (там же, с. 116-117) и особое изображение для знаковой формы, фиксирующей это содержание (там же, с. 118-123). В этой работе специально подчеркивается, что в структуре формы, фиксирующей знание о связи, содержательные отношения сопоставления элиминированы: «Когда полиситуационные полипредметные знания получены, то в ряде случаев их строение явно обнаруживается лишь со стороны их расчленения по фиксируемым объектам. Например, в знании "Если (Qa), то (Rb)" прежде всего обнаруживается расчленение на "Qa" и "Rb", а тот факт, что слова "Если..., то..." сокращенно фиксируют вторую ситуацию, допустим (-Qa) • (-Rb), остается в тени. В ряде же случаев явно обнаруживается лишь расчленение по фиксируемым ситуациям. Например, в знании "В ситуации I имеет место (Qa) и (Rb), в ситуации же II — (-Qa) и (-Rb)" скрыт тот факт, что оно может быть представлено как соединение знания о а и знания о b. А между тем только соединение обеих сторон придает им характер знаний особого рода» (там же, с. 118-119).

Но тогда, в частности, не имеет смысла говорить, что сопоставление предметов или знаков, играющих роль предметов, полностью описывается в понятиях теории следования.

5. Нетрудно заметить, что первые две операции разобранного процесса соотнесения — практически-предметное сравнение и «присоединение» — и сами по себе, независимо от третьей операции — «исключения», — могут быть рассмотрены как целостный процесс мышления, и притом в соответствии с общим определением также как процесс соотнесения, так как посредством него мы от одного знания о единичном предмете — номинативного X—(А) — и с помощью общего формального знания (A)—(B)(C)(D)... — переходим к другому знанию об этом же единичном предмете — сложному, многознаковому, с формой, тождественной общему формальному знанию, именно к X—(А)—(B)(C)(D)... Чтобы отличить указанные двусоставные процессы мышления от разобранных выше трехсоставных, мы будем называть их процессами подведения единичного объекта под общее формальное знание, или просто процессами подведения. Как правило, процесс подведения осуществляется внутри процесса соотнесения. По-видимому, не было бы ошибкой сказать даже резче: процесс подведения возникает

 Конец страницы 620 

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

лишь для целей соотнесения, как составляющая часть процесса соотнесения, первоначально имеющая смысл лишь в его общей системе, и только в дальнейшем он обособляется и начинает функционировать в качестве относительно самостоятельного процесса мышления.

6. Мы рассматривали условия возникновения и общее строение процессов подведения и соотнесения на материале знаний субстрат-атрибутивного типа. Но это не значит, что указанные процессы существуют и применяются только на этом «этаже» мышления. Напротив, эти процессы мышления встречаются на всех без исключениях «этажах» и входят в качестве составляющих элементов почти во все реальные процессы исследования. Там, где связи между знаками общего формального знания по своему содержанию являются связями просто сосуществования (раздел III), там процессы подведения и соотнесения осуществляются непосредственно по разобранной выше схеме. Там же, где в связях формы отражается объективная структура, там процессы подведения и соотнесения осуществляются в усложненной и модифицированной форме. Анализ этих более сложных процессов подведения и соотнесения предполагает специальный анализ типов структур знания.