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

3) как внутренне расчлененное целое, но взятое со стороны одного элемента, именно — знаковой формы;

4) как внутренне расчлененное целое, но взятое только со стороны объективного содержания как элемента этого целого.

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

Это порождает следующие возможные ошибки (и все они имеют свои примеры в истории формальной логики):

1) Исследуется языковое мышление, выделяются свойства, характерные для его структуры в целом, но приписываются они, в соответствии с характером модели, знаковой форме.

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

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

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

5) Знаковая форма рассматривается сама по себе, выделяются свойства, характеризующие ее как изолированное явление, — атрибутивные или строение материала, — но рассматриваются они как свойства языкового мышления в целом.

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

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

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

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

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

Правда, он появился совсем не в результате проникновения в действительную природу языкового мышления и не в результате понимания действительного значения и смысла принципа параллелизма, а как продукт на первый взгляд довольно странной эволюции самой формальной логики. Основные этапы этой эволюции — алгебра логики Дж. Буля и Э. Шредера, математическая логика Г. Фреге, Ч. Пирса и Д. Пеано, и, наконец, принципы математики Б. Рассела и А. Уайтхеда (ср. [1961 а; Ладенко, 1961]). Противники математической логики могут сколько угодно говорить о том, что развитие логики в этом направлении было «неправильным», «ошибочным», «плохим». Это, по-видимому, действительно так, но подобные оценки не относятся к делу. Важно, что развитие логики именно в этом направлении было неизбежным при тех исходных понятиях и методах, которые были развиты в логике Аристотеля. И хотя эта линия развития была найдена не прямо и непосредственно, а каким-то очень сложным и окружным путем, тем не менее именно она является закономерным и необходимым продолжением логической традиции начиная с Аристотеля. Для другого движения нужны иные исходные понятия и принципы, иные методы.

Одним из важнейших результатов всего этого движения было сознательное изгнание мышления из сферы логики.

«Для того чтобы исследовать, действительно ли заключение следует из определенных посылок, действительно ли доказуемы данные предложения, логики не устанавливают никаких гипотез о мышлении людей, которые затем экспериментально проверяются, но они анализируют исключительно данные предложения и их отношения, — пишет Р. Карнап. — …Как в ботанике формулируются истинные предложения о растениях, так и логика интересуется истинными предложениями о логических отношениях. Характеристика логики с помощью оборотов, содержащих такие выражения, как «правильное мышление», «обоснованное убеждение» и т. д. в такой же мере правильна и не плодотворна, как определение понятий, что ботаника — учение о правильном мышлении о растениях, что теоретическая политэкономия — учение о правильном мышлении о закономерностях хозяйства. Во всех случаях излишнее указание на правильное мышление надо опустить. Чтобы заниматься наукой, нужно постоянно думать, но это не означает, что мышление есть объект всех научных исследований; оно является объектом исключительно эмпирически-психологического исследования, но не логических, ботанических и политэкономических» [Сагпяр, 1958, с. 31, 32]. Не менее решительно высказывается по этому вопросу и Я. Лукасевич [Лукасевич, 1959, с. 50].

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

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

3. Таким образом, фактический предмет исследования формальной логики — знаковая форма. Но зададим себе вопрос: в каком направлении и как ее можно исследовать? С точки зрения уже выработанного нами понимания, исследовать знаковую форму можно по существу только в системе языкового мышления (или, если быть более точными, только в системе еще более сложного структурного целого, включающего, кроме связей отражения, также связи коммуникации, связи знаков с практическими, предметными действиями и т. п.). Если же мы возьмем знаковую форму отдельно от этой структуры и вне ее функций замещения, сообщения и сигнализации, то она перестанет быть тем, что она есть, — формой и вообще языковым выражением. Вне этих функций, независимо от них в ней по существу ничего и нет. И это вполне понятно, так как служить этим функциям — ее единственное назначение. Знаковая форма не имеет своей жизни вне и помимо этих структур, она живет и существует лишь как их элемент, и поэтому только как такой элемент может быть предметом исследования. Другими словами: чтобы обоснованно пользоваться выработанной в формальной логике моделью языкового мышления, нужно ограничить предмет исследования одной лишь знаковой формой. Но знаковая форма сама по себе, взятая вне структуры языкового мышления в целом, не может быть самостоятельным предметом исследования. В этом заключается основное противоречие формальной логики.

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