содержательности или бессодержательности логических характеристик, а положение об их всеобщей применимости, сознательно выдвигаемое со времен И.Канта в качестве основного принципа и критерия формально-логического [Кант, 1907, с. 63; Виндельбанд, 1913; Гильберт, Аккерман, 1947, с. 21; Тарский, 1948, с.47; Саrnaр, 1958, с. 30-32]. Нередко, принимая этот принцип, исследователи специально оговаривают, что он никак не отменяет и не ограничивает факта связи, общей зависимости форм мышления от содержания, что тезисы о всеобщности и содержательности форм мысли нисколько не противоречат друг другу [Асмус, 1947, с. 10-11]. Но это по меньшей мере недоразумение.
Если мы имеем две характеристики какого-либо явления и c изменением одной меняется и другая, то говорят, что вторая характеристика зависит от первой. Если же изменения одной характеристики не вызывают соответствующих изменений другой, то говорят, что вторая характеристика от первой не зависит. Только в этом и состоит смысл понятия зависимости. И человек, который стал бы говорить — как это делают некоторые логики, — что возможность изменения одной характеристики без соответствующих изменений второй доказывает вовсе не то, что вторая характеристика вообще не зависит от первой, а только то что она не зависит от ее особенных, частных значений, допустил бы противоречие с установившимся понятием зависимости.
Но точно так же обстоит дело и при исследовании мышления. Либо существует несколько типов содержания и с переходом от одного типа к другому происходит соответствующее изменение типов форм мысли. Тогда мы должны сказать, что формы мысли зависят от содержания (т.е. строение знаковой формы мыслей зависит от каких-то конкретных особенностей содержания), и это будет означать, что исследовать их можно только в связи с исследованием этих особенностей содержания. Либо формы мысли носят «чрезвычайно широкий», всеобщий характер и в этих чрезвычайно широких границах никакое изменение содержания не вызывает соответствующих изменений формы. Тогда мы должны сказать, что формы мысли вообще не зависят от содержания, что они бессодержательны и что их, следовательно, можно исследовать отдельно, сами по себе, без учета каких-либо особенностей содержания (как это и делает подавляющее большинство логиков) [1960 с*, IV].
Другим проявлением этого же подхода было то, что за пределами логики остались фактически основные области современного мышления, осуществляемого не с помощью слов обыденного языка, а с помощью знаков другого рода — чисел, буквенных изображений количеств, уравнений, формул состава и структуры, геометрических фигур, чертежей разного рода и т.п. [ 1960 с*, I-II].
В. Ограничение предмета логики одной только знаковой формой предопределяло и возможное понимание природы и механизмов мысли-
Конец страницы 36
Начало страницы 37
комбинированием -В соответствии с этим операции в логике чаще всего рассматривались как изоморфные связям [1957 а*; Швырев, 1960, с. 69]. Вместе с тем из сферы исследования логики выпадало самое главное в мышлении — выделение единиц содержания из общего «фона» действительности и «движение» по этому содержанию. Во всех логических исследованиях предполагалось, что эти содержания уже заданы [1957а*; Швырев, 1961; 1962].
Естественным и вполне закономерным итогом разработки логики в этом направлении явилась формула: логика исследует не мышление, а правила формального выведения, логика — не наука о мышлении, а синтаксис (и семантика) языка [1961 а; Швырев, 1961].
Г. Поскольку мыслительная деятельность рассматривалась как комбинирование готовых элементов — терминов или предложений, — постольку логика никогда не могла решить вопрос, как образуются сложные знания. Попытки ответить на этот вопрос, оставаясь на почве исходных понятий формальной логики, приводили к априоризму. Отсюда формула, которая сначала (Ф.Бэкон, Р.Декарт) выдвигалась против традиционной логики как указание на ее неполноценность, а потом (Введенский, современные логические эмпиристы) стала рассматриваться чуть ли не как единственное основание научности: логика исследует не процессы обнаружения чего-либо «нового», не процессы образования знаний, а процессы систематизации и изложения уже известного [ 1957а *; Ogden, Richards, 1953; Reichenbach, 1949; Hempel, 1945].
Д. То обстоятельство, что логика не выделяла и не рассматривала действительные процессы мышления, исключало какую-либо возможность для нее исследовать развитие мышления. Ни фиксирование структур знаковой формы самих по себе, ни выделение различных видов содержания как таковых не дает основания для выделения связей развития.
Возьмем, к примеру, несколько форм знания, относящихся к близким разделам математики. Первая — это формула для определения площади треугольника: S=ah/2, вторая — формула для определения площади круга: S = πR2, а третья — формула для определения площади плоской поверхности, ограниченной кривой f(x), осью абсцисс и ординатами х1=а и х2=b:
. Чтобы исследовать генетические взаимоотношения между этими формами знания, мы должны выяснить, какие из них сложнее, а какие проще. Но для этого в свою очередь необходимо привести все указанные формы к «однородному» виду, т.е. к виду, в
Конец страницы 37
Начало страницы 38
котором бы они предстали как составленные из одних и тех же элементов. Однако из приведенных примеров легко увидеть, что сделать это, ограничивая исследование исключительно формами знания, принципиально невозможно, так как эти формы составлены из простых знаков, имеющих различную «смысловую ценность», т.е. принципиально разнокачественных и поэтому непосредственно друг к другу несводимых. Очевидно, что это различие в «качестве» знаков формы будет еще разительнее, если мы возьмем формы знания из разных областей науки.
Чтобы попытаться выяснить генетические взаимоотношения между этими формами знания, мы должны прежде всего взять их в связи с содержанием и рассмотреть природу и строение этого содержания. Для формальной логики этот путь в принципе неприемлем, а поэтому полностью закрыт путь для каких-либо попыток генетического анализа.
Но даже если мы возьмем знаковые формы в связи с содержанием и обратимся к анализу содержаний, то и тогда, как оказалось, не можем еще выяснить генетических взаимоотношений между знаниями. На этот путь встал Гегель и потерпел неудачу [Гропп, 1959]. Подобно тому, как приведенные выше знаковые формы различаются между собой качественно и это их различие не может быть представлено как различие по простоте и сложности, так и содержания этих знаковых форм различаются в таких характеристиках, которые принципиально не допускают сведения к отношению простого и сложного, а вместе с тем — непосредственного установления генетических отношений.
Единственное средство генетически сопоставить между собой существующие в настоящее время разнообразные знания и выяснить, какие из них сложнее, а какие проще, заключается в том, чтобы перейти от знаний как таковых к порождающим их процессам мысли и постараться эти процессы свести к общим составляющим, с тем чтобы выяснить, какие из них в свою очередь сложнее и какие проще. Только таким путем, установив сначала генетические отношения между процессами мысли, порождающими определенные знания, мы сможем установить генетические отношения между самими знаниями.
Но понятия формальной логики непригодны для того, чтобы исследовать мыслительную деятельность, они не могут объяснить процессов образования знаний — формальная логика в принципе не допускает подобных тенденций в исследовании, а поэтому для нее полностью закрыт путь генетического исследования мышления.
Невозможность исторического подхода к исследованию мышления на базе традиционных понятий логики еще более подкрепляла неправильный тезис о «всеобщности» выделенных структур знаковой формы.
6. Непригодность аппарата понятий традиционной формальной логики для исследования и описания реальных процессов мышления делает необходимой разработку новой логики, которая должна исходить
Конец страницы 38
Начало страницы 39
из следующих положений: 1) мышление есть прежде всего деятельность, именно, деятельность по выработке новых знаний; 2) ядро, сердцевину этой деятельности образует выделение определенного содержания в общем «фоне» действительности и «движение» по этому содержанию; 3) знаковые структуры, составляющие «материал» мышления, и техника оперирования ими зависят от типа того содержания, которое отражается в этих структурах; 4) мышление представляет собой исторически развивающееся, или, как говорил Маркс, «органическое» целое. Новая логика должна быть, следовательно, содержательной и генетической.
Нередко говорят, что историческая теория мышления невозможна, так как нам неизвестна эмпирическая его история. Но такое заявление — плод недоразумения. Требование историзма в изучении мышления отнюдь не равно требованию обязательно исследовать его эмпирическую историю или воспроизвести условия, обстоятельства и детали реального генезиса одних логических средств из других. Историзм в полной мере может и должен проявиться при исследовании «наряду данного» материала и воспроизведении системы «ставшего» мышления. Требование историзма есть лишь особое выражение факта зависимости между логическими средствами науки и типом выявляемого посредством их объективного содержания и зависимости одних логических средств от других. Методологически это требование означает, в частности, что нельзя исследовать «мышление вообще». Оно означает, что, приступая к исследованию непосредственно данного эмпирического материала мышления (как исторически следующего друг за другом, так и сосуществующего наряду), мы должны разбить его на ряд сфер; в каждую из них войдут логические средства, различающиеся между собой по структуре, типу выявляемого содержания и находящиеся между собой в определенных функциональных и генетических связях. Сравнивать между собой явления, относящиеся к различным сферам, с тем чтобы найти в них общее, бессмысленно. Задача, наоборот, состоит в том, чтобы выделить те существенные различия, которые образуют специфику каждой сферы, и связи между ними, характеризующие законы развития и функционирования мышления. Это в свою очередь означает, что нужно будет исследовать мыслительную деятельность и в особенности деятельность по выделению нового содержания. Требование историзма, таким образом, объединяет в себе все те требования, которые были сформулированы выше, и означает преодоление всех перечисленных выше недостатков традиционной логики. Результатом такого «исторического» исследования должна быть прежде всего теория функционирования современного, «ставшего», т.е. теория -
7. Одной из важнейших особенностей содержательной логики является то, что она выступает как эмпирическая наука, направленная
Конец страницы 39
Начало страницы 40
на исследование мышления как составной части человеческой деятельности.
Как всякая эмпирическая наука, логика имеет определенный, непосредственно данный материал, с анализа которого она начинает. Это — языковые тексты. Но сами по себе они еще не образуют предмета логического исследования — мышления (см. п. 3). Это — только знаковая форма мышления. Чтобы выделить предмет логического исследования в целом, нужно еще дополнительно реконструировать содержание (или, как часто говорят, «значение» знаков) и определенным образом связать его со знаковой формой.
В предшествующих теориях мышления были намечены два основных типа схем связи знаковой формы мышления с его содержанием: «линейная» и «треугольная».
Отличительной особенностью схем первого типа, при всем их разнообразии, является то, что связь знаковой формы с объективным содержанием устанавливается через посредство особых психических образований — чувственных образов или особых мыслительных образов (концептов, понятий и т.п.), которые собственно и выступают, по теории, как первые непосредственные значения знаков. Наглядно-символически эти схемы выглядят так:
Отличительной особенностью схем второго типа является то, что там связи знаковой формы с объективным содержанием и со специфически психическими образованиями — значением — как бы существуют рядом («треугольник Огдена» [Ogden, Richards, 1953]). Наглядно-символически это выглядит так:
В противоположность всем этим теориям мы принимаем для изображения мышления схему «квадрата»:
Конец страницы 40
Начало страницы 41
Но при этом рассматриваем различные ее элементы (стороны) не как равноценные. Горизонтальные связи в этой схеме изображают связи, устанавливаемые по законам обычного чувственного отражения; это связи, во-первых, между объектами и их чувственными образами, во-вторых, между знаковыми формами (которые тоже суть объекты) и их чувственны ми образами. Правая вертикальная связь — между чувственными образами знаковой формы и объектов — носит вторичный, зависимый характер: это отражение в голове связей, установленных вне головы (в левой части схемы). Таким образом, главной и определяющей связью в этой структуре оказывается левая вертикальная связь. Это связь замещения между объективным содержанием (не объектами!) и знаковой формой. Она устанавливается в ходе трудовой деятельности и первоначально является ее побочным продуктом, но затем установление подобной связи замещения становится специальной целью, а деятельность, решающая эту задачу, обособляется и становится специализированным видом трудовой деятельности — познанием. Именно эта связь замещения составляет суть и сердцевину всего процесса, изображаемого «квадратом», именно она несет в себе все специфические признаки мышления.
Поскольку правая вертикальная связь есть отражение левой, а горизонтальные связи есть лишь условия и средства перехода «слева направо», постольку мы можем разделить «квадрат» на ряд относительно независимых предметов исследования и выделить левую вертикальную связь в особый предмет исследования. Мы называем его «языковым мышлением» [ 1957а*; 1958 b*; 1960с*, I-II]. При исследовании предмета, изображаемого всем «квадратом», связь языкового мышления должна рассматриваться первой.
Такое понимание природы «языкового мышления» полностью снимает все традиционные обвинения в «психологизме» и субъективизме, все возражения против того, чтобы рассматривать в качестве предмета логики мышление, а также многие из тех (справедливых в отношении к прежней психологии и логике) соображений, из которых исходили те, кто считал, что логика должна быть неэмпирической наукой [Гуссерль, 1909; Саrnaр, 1958, с. 30-32]. Определение языкового мышления как взаимосвязи
направляет процесс выделения и реконструкции предмета логики при исследовании эмпирически заданных текстов рассуждений.
8. Следующая задача, встающая после определения и выделения «языкового мышления» как предмета логического исследования, состоит в том, чтобы на основе анализа единичных эмпирически заданных текстов проанализировать и воспроизвести в форме «исторической теории» мышление вообще, мышление как таковое, как один органический
Конец страницы 41
Начало страницы 42
предмет. Метод решения этой задачи — восхождение от абстрактного к конкретному [Зиновьев, 1954; Zinovev, 1958], осуществляемое в два этапа. Первый этап — нисходящее функционарно-генетическое расчленение эмпирически данных единичных текстов, второй этап — восходящее функционарно-генетическое построение (генетическое выведение, или генетическая дедукция) исторической системы «мышления вообще». Соответственно делятся на две группы все общие методологические понятия о мышлении: в первую входят понятия, связанные с «нисходящим расчленением» эмпирически данного материала, во вторую — понятия, связанные с «выведением» или построением системы на основе полученных на первом этапе элементов.
9. Здесь оказывается необходимым прежде всего сменить тот аспект, в котором обычно рассматривается мышление, и подойти к заданному тексту не как к фиксированному знанию, а как к движению, процессу. При этом «процесс мышления» определяется как любая ограниченная часть выражаемой в языке познавательной деятельности, необходимая для получения определенного мыслительного знания об определенном объекте или «предмете» [1957 b] на основе других мысленных знаний. «Мысленное знание» определяется как структура вида:
в которой знаковая форма замещает объективное содержание, а связь значения обязательно содержит в качестве своих компонент значения» «абстракции» и «метки» [1958 b*, I]. Важно специально отметить, что процесс мышления не есть движение или переход от одних знаний к другим, как мы неточно определяли его в одном из наших ранних сообщений [1957 b], — таким он является лишь в особых частных случаях, — а есть движение от объекта к определенному знанию о нем с помощью или при посредстве других знаний.
10. Выделенные таким путем «процессы мышления» чаще всего бывают сложными образованиями и могут быть разложены на части, сохраняющие свойства процессов мысли. Общий метод такого разложения заключается в том, что мы ищем в выделенном тексте «промежуточные» знания, находим соответствующие им задачи познания и объекты или «предметы» знания и затем по ним реконструируем составляющие процессы мышления. Однако осуществление этой схемы разложения в большинстве случаев наталкивается на затруднения.
А. Многие сложные рассуждения оказываются неоднородными: они содержат языки разных типов. Например, рассуждение в элементарной геометрии включает: а) язык чертежей, б) обычный словесный язык, описывающий преобразования фигур в чертежах, в) логико-алгебраический язык вида «А>В, В>С, след., А>С» и др. Современное рассуждение