Избранные труды
Шрифт:
Формальные действия не имеют никаких аналогов в действиях с содержанием; они не замещают каких-либо преобразований содержания. Эти действия возникают лишь в связи с задачами соотнесения, как частичные мыслительные действия; они имеют смысл только в системе процесса соотнесения или в системе других вырастающих на его основе целостных процессов мышления; ни в одном случае, взятые самостоятельно, они не дают перехода от одного знания к другому, а поэтому не являются процессами (или операциями) мышления в собственном смысле этого слова (см. [1957 b, с. 43–44]). Но из этого, в частности, следует исключительно важное положение, что эти действия нельзя рассматривать в одном ряду с мыслительными операциями или с процессами мышления (порождающими новые формальные знания и соотнесениями). Они могут рассматриваться только в особом плане абстракции, как частичные мыслительные действия. Но если сделать эту оговорку и учесть все вытекающие из нее следствия, то в определенных границах указанные формальные действия можно рассматривать как «операции мышления». Это будет соответствовать общему определению процессов и операций, так как внутри процесса соотнесения, в связи с имеющимся формальным знанием и на его основе, эти действия дают переход к новому знанию, т. е. при этих условиях выполняют роль мыслительных операций. Поэтому мы будем называть их «формальными операциями». (Таким образом, мы можем говорить, что в состав процесса соотнесения входят три операции: первая — практически-предметное сравнение, вторая — «присоединение» и третья — «исключение». Первая является «реальной» операцией, вторая и третья — «формальными».)
4. Введение понятия о «формальных» операциях и противопоставление их процессам (или операциям) мышления в собственном смысле имеет, на наш взгляд, исключительно важное значение. Формальной логике (включая сюда и математическую логику) чуждо понимание знания как «двухплоскостной» структуры вида:
Все элементы знания она рассматривает как расположенные в одной плоскости: либо в плоскости знаковой формы, либо в плоскости обозначаемого знаками — «понятий» или чувственных образов. Вместе с тем в формальной логике не ставится вопрос о том, как выделяются «единицы содержания» из общего «фона» действительности. Подобно элементам знаковой формы, эти единицы предполагаются уже заданными, и их «плоскость» рассматривается как точное зеркальное отражение плоскости знаковой формы (принцип параллелизма знаковой формы и содержания мышления). Это в свою очередь предопределяет возможное понимание мыслительной деятельности. Все логические операции и действия рассматриваются в теориях формальной логики, во-первых, как лежащие только в одной плоскости (знаковой формы или содержания — это с точки зрения принципа параллелизма безразлично) и в этом плане как однородные, во-вторых, как чистая комбинаторика наперед заданных, неизменных единиц. Но это, в частности, означает, что фактически формальная логика может исследовать и всегда исследовала только формальные действия и не схватывала процессы мышления в их целостности. Описание этих формальных действий в небольшой (только «разговорно-словесной») части языка (ср. [1957 а*, {с. 455–456}]) получило название теории вывода, или теории следования.
Понимание знания как двухплоскостной структуры, напротив, с самого начала заставляет различать три вида логических действий:
1) действия с объектами (или со знаками, заместителями объектов), посредством которых выделяются определенные единицы объективного содержания; они получили название сопоставлений [1957 b, с. 44–45];
2) действия по установлению связи значения между объективным содержанием и знаковой формой; мы назвали их отнесениями [1957 b, с. 44–45];
3) чисто формальные действия, осуществляющиеся в контексте процессов соотнесения; они предполагают систему формы (языка) со строго фиксированными элементами и связями между ними и осуществляются в соответствии со строго установленными правилами перехода от одних связей этой системы формы к другим. [285] Только в определенной связи, в единстве друг с другом логические действия всех этих трех видов образуют собственно операции и процессы мышления.
285
Характерными образцами таких систем формы (языка) являются различные исчисления: собственно математические — арифметическое, дифференциально-интегральное, «алгебры» разного рода; логико-математические — исчисление классов, высказываний, различные исчисления предикатов. Менее выраженными в своих формальных моментах, но в принципе такими же системами формы являются силлогистика Аристотеля, геометрия, формализованная Д-Гильбертом, формулы реакций в химии, дополненные «рядами активности» веществ, и др.
Между тем формальная логика всегда занималась действиями исключительно третьего вида и не рассматривала действия первой и второй групп. Именно это обстоятельство дает нам право утверждать, что формальная логика не изучает действительных процессов мышления (ср. [1957 b, с. 41]).
Даже в случаях, когда мы имеем дело, казалось бы, с чисто словесными, чисто знаковыми рассуждениями, мы должны, если хотим выделить и исследовать действительные процессы мышления, применить к этим рассуждениям указанный подход и выделить среди входящих в них знаков 1) «объекты-заместители», т. е. знаки, функционально играющие роль объектов, и 2) знаки, образующие форму знания, т. е. знаки, фиксирующие результаты применения действий сопоставления к «объектам-заместителям». Собственно, только такой подход, как бы разносящий в две разные плоскости «материал» словесного или всякого другого языкового рассуждения, и создает специфику действительно логического рассмотрения, создает особую и (что очень важно) целостную логическую действительность.
К сожалению, именно этих принципиальных моментов нашей точки зрения не увидел А. А. Зиновьев. Он пишет: «Сопоставление — отражение двух или более различных предметов в процессе построения высказывания или термина… Если отражение предметов при их сопоставлении совершается уже в терминах и высказываниях, то сопоставление полностью описывается в понятиях теории следования, теории определения и т. д.» [Зиновьев, 1959 с, с. 72]. Но ведь в нашем понимании сопоставление как раз не есть отражение предметов, а есть действие с самими предметами или со знаками, выступающими в роли предметов. И введено было понятие сопоставления именно для того, чтобы отличить действия с предметами и со знаками, выделяющие новое абстрактное содержание в действительности, от формальных действий со знаками, которые никакого нового абстрактного содержания не выделяют.
Позиция, занятая А. А. Зиновьевым, кажется тем более странной, что в других своих работах (например, [Зиновьев, 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)… Чтобы отличить указанные двусоставные процессы мышления от разобранных выше трехсоставных, мы будем называть их процессами подведения единичного объекта под общее формальное знание, или просто процессами подведения. Как правило, процесс подведения осуществляется внутри процесса соотнесения. По-видимому, не было бы ошибкой сказать даже резче: процесс подведения возникает лишь для целей соотнесения, как составляющая часть процесса соотнесения, первоначально имеющая смысл лишь в его общей системе, и только в дальнейшем он обособляется и начинает функционировать в качестве относительно самостоятельного процесса мышления.
6. Мы рассматривали условия возникновения и общее строение процессов подведения и соотнесения на материале знаний субстрат-атрибутивного типа. Но это не значит, что указанные процессы существуют и применяются только на этом «этаже» мышления. Напротив, эти процессы мышления встречаются на всех без исключениях «этажах» и входят в качестве составляющих элементов почти во все реальные процессы исследования. Там, где связи между знаками общего формального знания по своему содержанию являются связями просто сосуществования (раздел III), там процессы подведения и соотнесения осуществляются непосредственно по разобранной выше схеме. Там же, где в связях формы отражается объективная структура, там процессы подведения и соотнесения осуществляются в усложненной и модифицированной форме. Анализ этих более сложных процессов подведения и соотнесения предполагает специальный анализ типов структур знания.
Рассматривая процессы соотнесения на примере знаний субстрат-атрибутивного типа, мы, естественно, имели в качестве первой входящей в их состав операции практически-предметное сравнение. Однако в процессах соотнесения вообще свойство, выделяемое в объекте посредством первой операции, не обязательно должно быть атрибутом какого-либо субстрата. В равной мере оно может быть свойством-функцией или характеристическим свойством какой-либо связи. Тогда в качестве первой операции в процессах соотнесения мы будем иметь уже не практически-предметное сравнение, а какую-либо другую операцию. Так, например, чтобы установить наличие причинной связи между предметами X и Y, мы должны сопоставить между собой по крайней мере две ситуации, объединяющие эти предметы. Если в ситуациях при наличии X обязательно будет присутствовать и Y, а при отсутствии Y обязательно будет отсутствовать и X, [286] то мы получим право, во-первых, «подвести» связь между X и Y под понятие причинной связи, т. е. утверждать, что X является причиной Y, и, во-вторых, сможем «отнести» все известные признаки причинной связи к данному единичному случаю связи X и Y. Таким образом, чтобы обнаружить характеристическое свойство причинной связи, надо проделать операцию, отличную от практически-предметного сравнения. Точно так же первой операцией в процессах соотнесения может быть операция, выделяющая в рассматриваемых предметах свойство-функцию. Но это изменение «содержательной» и «технической» характеристик первой операции не меняет общей структуры процессов соотнесения как целого и функциональных взаимоотношений составляющих ее частей.
286
Мы не разбираем здесь все условия, необходимые для утверждения о наличии причинной связи, т. е. не указываем точно ее выделяющий признак. Подробнее об этом см. [Зиновьев, 1959 а; Швырев, 1959].