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

В глазах подавляющего большинства логиков игнорирование особенностей содержания мышления при анализе его языковой формы является не ошибкой и недостатком логики, а ее достоинством. Фактическим выражением этой точки зрения является отнюдь не тезис о содержательности или бессодержательности логических характеристик, а положение об их всеобщей применимости, сознательно выдвигаемое со времен И. Канта в качестве основного принципа и критерия формально-логического [Кант, 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].