Избранные труды
Шрифт:
3. Этот анализ мы начнем с того, что выдвинем гипотезу о строении мышления, которая, на наш взгляд, позволяет разрешить те антиномии, которые обнаружились в ходе развития предшествующих теорий мышления; она, таким образом, является в каком-то смысле результатом истории науки о мышлении и итогом исследования этой истории; но при изложении нашей точки зрения на методологические ограниченности предшествующих теорий с нее надо начинать, ибо без этого особенности подхода этих теорий к предмету будут непонятны.
Суть гипотезы состоит в предположении, что мышление является как бы «двухплоскостным» движением, т. е. одновременным движением в «плоскостях» обозначаемого или содержания и обозначающего или знаковой
и обязательно каким-то путем вводить и определять строение плоскости содержания [1957 а *; 1957 b; 1961 b].
4. В традиционной логике, начиная с Аристотеля и кончая самыми последними «математическими» направлениями, эта реконструкция осуществляется на основе «принципа параллелизма содержания и формы», т. е. на основе предположения, что 1) каждому элементу знаковой формы языковых выражений соответствует строго определенный субстанциальный элемент содержания и 2) способ связи элементов содержания в точности соответствует способу связи элементов знаковой формы [1960 с *, HI; 1961 а].
5. Этот принцип полностью предопределил метод и предмет традиционной логики, превратив ее в логику формальную.
А. Если между плоскостями содержания и формы мышления существует параллелизм, то не нужно исследовать обе эти плоскости и связь между ними, а достаточно рассмотреть одну плоскость. Поэтому традиционная логика исследовала всегда не мышление в его целостности, а только одну его плоскость — плоскость знаковой формы [1960 с*].
Б. Поскольку вторая плоскость языкового мышления — плоскость содержания — специально и сознательно не учитывалась и не фиксировалась в логических схемах, постольку и знаковая форма рассматривалась фактически как бессодержательная.
В глазах подавляющего большинства логиков игнорирование особенностей содержания мышления при анализе его языковой формы является не ошибкой и недостатком логики, а ее достоинством. Фактическим выражением этой точки зрения является отнюдь не тезис о содержательности или бессодержательности логических характеристик, а положение об их всеобщей применимости, сознательно выдвигаемое со времен И. Канта в качестве основного принципа и критерия формально-логического [Кант, 1907, с. 63; Виндельбанд, 1913; Гильберт, Аккерман, 1947, с. 21; Тарский, 1948, с. 47; Саrnaр, 1958, с. 30–32]. Нередко, принимая этот принцип, исследователи специально оговаривают, что он никак не отменяет и не ограничивает факта связи, общей зависимости форм мышления от содержания, что тезисы о всеобщности и содержательности форм мысли нисколько не противоречат друг другу [Асмус, 1947, с. 10–11]. Но это по меньшей мере недоразумение.
Если мы имеем две характеристики какого-либо явления и c изменением одной меняется и другая, то говорят, что вторая характеристика зависит от первой. Если же изменения одной характеристики не вызывают соответствующих изменений другой, то говорят, что вторая характеристика от первой не
Но точно так же обстоит дело и при исследовании мышления. Либо существует несколько типов содержания и с переходом от одного типа к другому происходит соответствующее изменение типов форм мысли. Тогда мы должны сказать, что формы мысли зависят от содержания (т. е. строение знаковой формы мыслей зависит от каких-то конкретных особенностей содержания), и это будет означать, что исследовать их можно только в связи с исследованием этих особенностей содержания. Либо формы мысли носят «чрезвычайно широкий», всеобщий характер и в этих чрезвычайно широких границах никакое изменение содержания не вызывает соответствующих изменений формы. Тогда мы должны сказать, что формы мысли вообще не зависят от содержания, что они бессодержательны и что их, следовательно, можно исследовать отдельно, сами по себе, без учета каких-либо особенностей содержания (как это и делает подавляющее большинство логиков) [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 = πR2, а третья — формула для определения площади плоской поверхности, ограниченной кривой f(x), осью абсцисс и ординатами х1=а и х2=b: