Избранные труды
Шрифт:
и обязательно каким-то путем вводить и определять строение плоскости содержания [ 1957 а *; 1957 b; 1961 b ].
4. В традиционной логике, начиная с Аристотеля и кончая самыми последними «математическими» направлениями, эта реконструкция осуществляется на основе «принципа параллелизма содержания и формы», т.е. на основе предположения, что 1) каждому элементу знаковой формы языковых выражений соответствует строго определенный субстанциальный элемент содержания и 2) способ связи элементов содержания в точности соответствует способу связи элементов знаковой формы [ 1960 с *, HI; 1961 а].
5. Этот принцип полностью предопределил метод и предмет традиционной логики, превратив ее в логику формальную.
А. Если между плоскостями содержания и формы мышления существует параллелизм, то не нужно исследовать обе эти плоскости и связь между ними, а достаточно рассмотреть одну плоскость. Поэтому традиционная логика исследовала всегда не мышление в его целостности, а только одну его плоскость — плоскость знаковой формы [ 1960 с*].
Б. Поскольку вторая плоскость языкового мышления — плоскость содержания — специально и сознательно не учитывалась и не фиксировалась в логических схемах, постольку и знаковая форма рассматривалась фактически как бессодержательная.
В глазах подавляющего большинства логиков игнорирование особенностей содержания мышления при анализе его языковой формы является не ошибкой и недостатком логики, а ее достоинством. Фактическим выражением этой точки зрения является отнюдь не тезис о
Конец страницы 35
Начало страницы 36
содержательности или бессодержательности логических характеристик, а положение об их всеобщей применимости, сознательно выдвигаемое со времен И.Канта в качестве основного принципа и критерия формально-логического [Кант, 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
котором бы они предстали как составленные из одних и тех же элементов. Однако из приведенных примеров легко увидеть, что сделать это, ограничивая исследование исключительно формами знания, принципиально невозможно, так как эти формы составлены из простых знаков, имеющих различную «смысловую ценность», т.е. принципиально разнокачественных и поэтому непосредственно друг к другу несводимых. Очевидно, что это различие в «качестве» знаков формы будет еще разительнее, если мы возьмем формы знания из разных областей науки.