объектами существует определенная связь. Всякая форма знания есть не что иное, как снятый результат определенного
порождающего процесса. С другой стороны, процессы соотнесения (как особые процессы исследования реальных объектов) появляются с возникновением сложных форм общего знания или, соответственно, общих формальных знаний и представляют собой сокращение соответствующих порождающих процессов мышления на основе и благодаря полученным новым формам (новым формальным знаниям). Характер процесса соотнесения зависит от того, с какой формой он имеет дело, а, следовательно, опосредованно также и от того, каков был процесс, породивший эту форму.3. Важно отметить, что процесс соотнесения как особый процесс мышления возникает лишь вместе с особыми мыслительными действиями — «присоединением» и «исключением», которые мы назвали формальными.
Первое действие — «присоединение» — мы производим, объединяя два знания: номинативное, предположим X—(А), и общее формальное, в котором этот же знак (А) выполняет роль обобщенного заместителя, — в одно сложное реальное знание X—(А)—(B)(C)(D)... Второе действие — «исключение» — мы производим «выбрасывая», «вычеркивая» из этой взаимосвязи знак обобщенного заместителя и некоторые знаки признаков и относя оставшиеся знаки признаков обобщенного заместителя непосредственно к предмету X.Формальные действия не имеют никаких аналогов в действиях с содержанием; они не замещают каких-либо преобразований содержания. Эти действия возникают лишь в связи с задачами соотнесения, как частичные
мыслительные действия; они имеют смысл только в системе процесса соотнесения или в системе других вырастающих на его основе целостных процессов мышления; ни в одном случае, взятые самостоятельно, они не дают перехода от одного знания к другому, а поэтому не являются процессами (или операциями) мышления в собственном смысле этого слова (см. [ 1957 b, с. 43-44]). Но из этого, в частности, следует исключительно важное положение, что эти действия нельзя рассматривать в одном ряду с мыслительными операциями или с процессами мышления (порождающими новые формальные знания и соотнесениями). Они могут рассматриваться только в особом плане абстракции, как частичные мыслительные действия. Но если сделать эту оговорку и учесть все вытекающие из нее следствия, то в определенных границах указанные формальные действия можно рассматривать как «операции мышления». Это будет соответствовать общему определению процессов и операций, так как внутри процесса соотнесения, в связи с имеющимся формальным знанием и на его основе, эти действия дают переход к новому знанию, т.е. при этих условиях выполняют роль мыслительных операций. Поэтому мы будем называть их «формальными операциями». (Таким образом, мы можем говорить, что в состав процесса соотнесения входят три операции: Конец страницы 617
Начало страницы 618
первая — практически-предметное сравнение, вторая — «присоединение» и третья — «исключение». Первая является «реальной»
операцией, вторая и третья — «формальными».)4. Введение понятия о «формальных» операциях и противопоставление их процессам (или операциям) мышления в собственном смысле имеет, на наш взгляд, исключительно важное значение. Формальной логике (включая сюда и математическую логику) чуждо понимание знания как «двухплоскостной» структуры вида:
Все элементы знания она рассматривает как расположенные в одной плоскости: либо в плоскости знаковой формы, либо в плоскости обозначаемого знаками — «понятий» или чувственных образов. Вместе с тем в формальной логике не ставится вопрос о том, как выделяются «единицы содержания» из общего «фона» действительности. Подобно элементам знаковой формы, эти единицы предполагаются уже заданными, и их «плоскость» рассматривается как точное зеркальное отражение плоскости знаковой формы (принцип параллелизма знаковой формы и содержания мышления). Это в свою очередь предопределяет возможное понимание мыслительной деятельности. Все логические операции и действия рассматриваются в теориях формальной логики, во-первых, как лежащие только в одной плоскости (знаковой формы или содержания — это с точки зрения принципа параллелизма безразлично) и в этом плане как однородные,
во-вторых, как чистая комбинаторика наперед заданных, неизменных единиц. Но это, в частности, означает, что фактически формальная логика может исследовать и всегда исследовала только формальные действия и не схватывала процессы мышления в их целостности. Описание этих формальных действий в небольшой (только «разговорно-словесной») части языка (ср. [1957 а*, {с. 455-456}]) получило название теории вывода, или теории следования.