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

содержания (т. е. строение знаковой формы мыслей зависит от каких-то конкретных особенностей содержания), и это будет означать, что исследовать их можно только в связи с исследованием этих особенностей содержания. Либо формы мысли носят «чрезвычайно широкий», всеобщий характер и в этих чрезвычайно широких границах никакое изменение содержания не вызывает соответствующих изменений формы. Тогда мы должны сказать, что формы мысли вообще не зависят от содержания, что они бессодержательны и что их, следовательно, можно исследовать отдельно, сами по себе, без учета каких-либо особенностей содержания (как это и делает подавляющее большинство логиков) [1960 с*, IV].

Другим проявлением этого же подхода было то, что за пределами логики остались фактически основные области современного мышления, осуществляемого не с помощью слов обыденного языка, а с помощью знаков другого рода — чисел, буквенных изображений количеств, уравнений, формул состава и структуры, геометрических фигур, чертежей разного рода и т. п. [1960 с*, I–II].

В. Ограничение предмета логики одной только знаковой формой предопределяло и возможное понимание природы и механизмов мысликомбинированием — В соответствии с этим операции в логике чаще всего рассматривались как изоморфные связям [1957 а*; Швырев, 1960, с. 69]. Вместе с тем из сферы исследования логики выпадало самое главное в мышлении — выделение единиц содержания из общего «фона» действительности и «движение» по этому содержанию. Во всех логических исследованиях предполагалось, что эти содержания уже заданы [1957а*; Швырев, 1961; 1962].

Естественным и вполне закономерным итогом разработки логики в этом направлении явилась формула: логика исследует не мышление, а правила формального выведения, логика — не наука о мышлении, а синтаксис (и семантика) языка [1961 а; Швырев, 1961].

Г. Поскольку мыслительная деятельность рассматривалась как комбинирование готовых элементов — терминов или предложений, — постольку логика никогда не могла решить вопрос, как образуются сложные знания. Попытки ответить на этот вопрос, оставаясь на почве исходных понятий формальной логики, приводили к априоризму. Отсюда формула, которая сначала (Ф. Бэкон, Р. Декарт) выдвигалась против традиционной логики как указание на ее неполноценность, а потом (Введенский, современные логические эмпиристы) стала рассматриваться чуть ли не как единственное основание научности: логика исследует не процессы обнаружения чего-либо «нового», не процессы образования знаний, а процессы систематизации и изложения уже известного [1957а *; Ogden, Richards, 1953; Reichenbach, 1949; Hempel, 1945].

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

Возьмем, к примеру, несколько форм знания, относящихся к близким разделам математики. Первая — это формула для определения площади треугольника: S=ah/2, вторая — формула для определения площади круга: S = πR², а третья — формула для определения площади плоской поверхности, ограниченной кривой f(x), осью абсцисс и ординатами х₁=а и х₂=b:

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

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

Но даже если мы возьмем знаковые формы в связи с содержанием и обратимся к анализу содержаний, то и тогда, как оказалось, не можем еще выяснить генетических взаимоотношений между знаниями. На этот путь встал Гегель и потерпел неудачу [Гропп, 1959]. Подобно тому, как приведенные выше знаковые формы различаются между собой качественно и это их различие не может быть представлено как различие по простоте и сложности, так и содержания этих знаковых форм различаются в таких характеристиках, которые принципиально не допускают сведения к отношению простого и сложного, а вместе с тем — непосредственного установления генетических отношений.

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

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

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

6. Непригодность аппарата понятий традиционной формальной логики для исследования и описания реальных процессов мышления делает необходимой разработку новой логики, которая должна исходить из следующих положений: 1) мышление есть прежде всего деятельность, именно, деятельность по выработке новых знаний; 2) ядро, сердцевину этой деятельности образует выделение определенного содержания в общем «фоне» действительности и «движение» по этому содержанию; 3) знаковые структуры, составляющие «материал» мышления, и техника оперирования ими зависят от типа того содержания, которое отражается в этих структурах; 4) мышление представляет собой исторически развивающееся, или, как говорил Маркс, «органическое» целое. Новая логика должна быть, следовательно, содержательной и генетической.

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