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

Щедровицкий Георгий Петрович

Формальные действия не имеют никаких аналогов в действиях с содержанием; они не замещают каких-либо преобразований содержания. Эти действия возникают лишь в связи с задачами соотнесения, как частичные мыслительные действия; они имеют смысл только в системе процесса соотнесения или в системе других вырастающих на его основе целостных процессов мышления; ни в одном случае, взятые самостоятельно, они не дают перехода от одного знания к другому, а поэтому не являются процессами (или операциями) мышления в собственном смысле этого слова (см. [ 1957 b, с. 43-44]). Но из этого, в частности, следует исключительно важное положение, что эти действия нельзя рассматривать в одном ряду с мыслительными операциями или с процессами мышления (порождающими новые формальные знания и соотнесениями). Они могут рассматриваться только в особом плане абстракции, как частичные

мыслительные действия. Но если сделать эту оговорку и учесть все вытекающие из нее следствия, то в определенных границах указанные формальные действия можно рассматривать как «операции мышления». Это будет соответствовать общему определению процессов и операций, так как внутри процесса соотнесения, в связи с имеющимся формальным знанием и на его основе, эти действия дают переход к новому знанию, т.е. при этих условиях выполняют роль мыслительных операций. Поэтому мы будем называть их «формальными операциями». (Таким образом, мы можем говорить, что в состав процесса соотнесения входят три операции:

Конец страницы 617

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

первая — практически-предметное сравнение, вторая — «присоединение» и третья — «исключение». Первая является «реальной» операцией, вторая и третья — «формальными».)

4. Введение понятия о «формальных» операциях и противопоставление их процессам (или операциям) мышления в собственном смысле имеет, на наш взгляд, исключительно важное значение. Формальной логике (включая сюда и математическую логику) чуждо понимание знания как «двухплоскостной» структуры вида:

Все элементы знания она рассматривает как расположенные в одной плоскости: либо в плоскости знаковой формы, либо в плоскости обозначаемого знаками — «понятий» или чувственных образов. Вместе с тем в формальной логике не ставится вопрос о том, как выделяются «единицы содержания» из общего «фона» действительности. Подобно элементам знаковой формы, эти единицы предполагаются уже заданными, и их «плоскость» рассматривается как точное зеркальное отражение плоскости знаковой формы (принцип параллелизма знаковой формы и содержания мышления). Это в свою очередь предопределяет возможное понимание мыслительной деятельности. Все логические операции и действия рассматриваются в теориях формальной логики, во-первых, как лежащие только в одной плоскости (знаковой формы или содержания — это с точки зрения принципа параллелизма безразлично) и в этом плане как однородные, во-вторых, как чистая комбинаторика наперед заданных, неизменных единиц. Но это, в частности, означает, что фактически формальная логика может исследовать и всегда исследовала только формальные действия и не схватывала процессы мышления в их целостности. Описание этих формальных действий в небольшой (только «разговорно-словесной») части языка (ср. [1957 а*, {с. 455-456}]) получило название теории вывода, или теории следования.

Понимание знания как двухплоскостной структуры, напротив, с самого начала заставляет различать три вида логических действий:

1) действия с объектами (или со знаками, заместителями объектов), посредством которых выделяются определенные единицы объективного содержания; они получили название сопоставлений [ 1957 b, с. 44-45];

2) действия по установлению связи значения между объективным содержанием и знаковой формой; мы назвали их отнесениями [1957 b, с. 44-45];

3) чисто формальные действия, осуществляющиеся в контексте процессов соотнесения; они предполагают систему формы (языка) со строго фиксированными элементами и связями между ними и осуществляются в соответствии со строго установленными правилами перехода от одних

Конец страницы 618

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

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

Между тем формальная логика всегда занималась действиями исключительно третьего вида и не рассматривала действия первой и второй групп. Именно это обстоятельство дает нам право утверждать, что формальная логика не изучает действительных процессов мышления (ср. [1957 b, с. 41]).

Даже в случаях, когда мы имеем дело, казалось бы, с чисто словесными, чисто знаковыми рассуждениями, мы должны, если хотим выделить и исследовать действительные процессы мышления, применить к этим рассуждениям указанный подход и выделить среди входящих в них знаков 1) «объекты-заместители», т.е. знаки, функционально играющие роль объектов, и 2) знаки, образующие форму знания, т.е. знаки, фиксирующие результаты применения действий сопоставления к «объектам-заместителям». Собственно, только такой подход, как бы разносящий в две разные плоскости «материал» словесного или всякого другого языкового рассуждения, и создает специфику действительно логического рассмотрения, создает особую и (что очень важно) целостную логическую действительность.

К сожалению, именно этих принципиальных моментов нашей точки зрения не увидел А.А.Зиновьев. Он пишет: «Сопоставление — отражение двух или более различных предметов в процессе построения высказывания или термина... Если отражение предметов при их сопоставлении совершается уже в терминах и высказываниях, то сопоставление полностью описывается в понятиях теории следования, теории определения и т.д.» [Зиновьев, 1959 с, с. 72]. Но ведь в нашем понимании сопоставление как раз не есть отражение предметов, а есть действие с самими предметами или со знаками, выступающими в роли предметов. И введено было понятие сопоставления именно для того, чтобы отличить действия с предметами и со знаками, выделяющие новое абстрактное содержание в действительности, от формальных действий со знаками, которые никакого нового абстрактного содержания не выделяют.

_______________________________________

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

Конец страницы 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)... Чтобы отличить указанные двусоставные процессы мышления от разобранных выше трехсоставных, мы будем называть их процессами подведения единичного объекта под общее формальное знание, или просто процессами подведения. Как правило, процесс подведения осуществляется внутри процесса соотнесения. По-видимому, не было бы ошибкой сказать даже резче: процесс подведения возникает