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

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

Другой причиной обращения к плану Б была необходимость обосновать различение истинных и ложных предложений. Одно лишь соблюдение «необходимой» структуры рассуждения не обеспечивало еще получения в итоге знания, соответствующего реальному положению вещей. Для этого нужно было, чтобы соответствовали действительности также и те исходные предложения, «посылки», из которых мы с помощью «необходимых» преобразований выводим новое предложение. Нужно было иметь определенный критерий, чтобы отобрать из всех возможных высказываемых предложений те, которые действительно соответствовали реальному положению дел. И здесь ссылка на определенное строение действительности, фактически — на определенное строение содержания языкового выражения, вновь стала наиболее распространенным основанием для различения и отбора истинного от ложного.[48]

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

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

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

3. Уже у Аристотеля мы находим не только последовательное проведение принципа параллелизма на практике, но и достаточно отчетливое теоретическое осознание его.

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

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

Основание этой комбинаторики лежит в области содержания, т. е. Аристотель предполагает, что там все комбинации уже заданы и не зависят от практической и познавательной деятельности человека. Комбинаторная деятельность осуществляется только в области знаковой формы и должна согласоваться с комбинациями, существующими уже в области содержания, т. е. должна воспроизводить последние. Какой механизм осуществляет эту зависимость и обеспечивает соответствие знаковых комбинаций комбинациям обозначаемого, этот вопрос Аристотель не решает и даже не ставит.[50] Он просто описал, как мы уже говорили, структуру одной группы тех комбинаций знаков и их преобразований, которая встречается на «поверхности» мышления, структуру так называемых «процессов соотнесения» [1958 b*, V, {с. 614–617}].

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

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

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

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

4. В дальнейшем мы можем обнаружить принцип параллелизма у всех без исключения логиков.[51] Природу элементов области содержания при этом разные исследователи понимали по-разному: Платон и Гегель, например, считали их специфически мыслительными обобщенными идеальными образованиями, Гоббс, Локк, Юм рассматривали как обобщенные или единичные чувственные образы, Витгенштейн и Рассел периода 1900–1920 гг., подобно Аристотелю, — как «объективные положения дел».[52] Но все эти различия в понимании природы содержания (мы о них будем говорить позднее) не оказывали никакого влияния на проведение принципа параллелизма: суть его, как мы уже говорили выше, во всех случаях оставалась одной и той же и состояла в утверждении, что 1) каждому элементу знаковой формы соответствует строго определенный субстанциальный, гипостазированный элемент содержания и 2) способ связи элементов содержания в более сложные комплексы точно соответствует способу связи элементов знаковой формы.

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

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

В обосновании этого тезиса и состоит основное значение и смысл принципа параллелизма. Он дает теоретическое, казалось бы, оправдание сложившейся практике логического исследования, при которой исследователь подходит к анализу и описанию строения сложных языковых выражений особым путем — только со стороны структур знаковой формы и проводит это описание независимо от восстановления и исследования области содержания. Правда, здесь, как мы уже не раз отмечали, при выделении элементарных и более сложных образований в языковых рассуждениях, при выделении отношений и связей, лежащих в их основе, исследователь не может сделать ни одного шага без ссылки на их «смысл». Но этот «смысл» ясен исследователю как всякому мыслящему человеку, и понимание его не связано с исследованием природы и строения самого «смысла». Таким образом, принцип параллелизма оправдывает традиционно сложившееся исследование строения сложных языковых рассуждений, основанное: 1) на понимании «смысла» языковых рассуждений в целом и их элементов и 2) на отвлечении от исследования природы и строения этого смысла, а вместе с тем — природы и строения области содержания языкового мышления.

6. Поскольку принцип параллелизма формы и содержания мышления обосновывает отделение исследования строения сложных языковых выражений от исследования природы содержания этих выражений и их элементов, постольку он является исходным теоретическим принципом всей традиционной, или, как говорят, формальной логики. Более того, именно этот принцип есть то, что делает вообще возможным существование формальной логики как особой науки, он определяет ее предмет и метод.[53] В свете принципа параллелизма становится понятным часто выдвигаемое положение, что начиная с Аристотеля логика исследовала только типы и способы связей знаков или мыслей между собой и что, собственно, это и есть традиционный предмет логики.[54] Этот же принцип объясняет и то на первый взгляд удивительное обстоятельство, что как концептуалисты и реалисты, так и номиналисты, столь враждовавшие между собой в вопросе о природе общего, т. е. в вопросе об отношении знаков языка к действительности, полностью сходились между собой в понимании задач и предмета так называемой формальной логики, т. е. во взглядах на строение знаковой формы языковых выражений. Ведь если все множество элементов области содержания представляет собой зеркальное отображение области знаковой формы, то абсолютно безразлично кем быть в логике — номиналистом, концептуалистом или реалистом — и что исследовать — связи имен, «элементарных мыслей» (идей, общих представлений, концептов, понятий) или единиц «объективного положения дел». Вернее, нужно сказать так: в обоих случаях анализируется одно и то же — структура знаковой формы сложных языковых выражений (предложений и групп предложений), но в одном случае результаты этого анализа рассматриваются как знания непосредственно об области знаковой формы, о функциональных взаимоотношениях и связях составляющих ее элементов, а в другом — они выносятся на что-то другое, на область содержания, гипотетически предполагаемую за областью формы и тождественную ей. Но суть анализа во всех случаях остается одной и той же [Ахманов, 1955, с. 33; Серрюс, 1948, с. 58–60]. Именно в этом обстоятельстве надо видеть причину столь удивительного единства взглядов на формальную логику у представителей самых различных направлений в теории познания.

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

III. Основное противоречие метода формальной логики

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

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

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

Действительно, пусть объектом изучения является языковое мышление, структура которого имеет вид:

Эта структура может рассматриваться в нескольких различных направлениях:

1) как целое — и в то же время как элемент еще более сложного целого — с точки зрения его «внешних» связей и обусловленных ими свойств-функций;

2) как целое, изолированное от всяких внешних связей, со стороны атрибутивных свойств, обусловленных его внутренним строением и составом элементов;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5. Осознание его пришло только в начале XX столетия в контексте иных проблем, связанных прежде всего с работой по обоснованию математики. Многие логики и лингвисты, следуя за математиками, стали доказывать, что структура знаковых выражений может быть выявлена без обращения к их содержанию и значениям — «чисто формальным методом». Таким путем они надеялись привести метод в соответствие с предметом исследования. В логике эта точка зрения дала начало теориям «синтаксиса языка», в лингвистике — так называемому «структурализму».

«Мы должны указать, — писал Р. Карнап, — что все логические вопросы выразимы формально и поэтому могут формулироваться как синтаксические вопросы. Согласно принятому мнению в логическом исследовании, кроме формального рассмотрения, относящегося только к последовательности и (синтаксическому) виду символов языковых выражений, существует еще содержательное рассмотрение, которое задает не только вопрос о виде формы, но также и о значении и смысле. Согласно этому мнению формальные проблемы образуют в лучшем случае небольшую часть всей области логических проблем. В противоположность этому мнению наши соображения о всеобщем синтаксисе показывают, что формальный метод, если он проводится достаточно широко, охватывает все логические проблемы, в том числе и так называемые содержательные, или проблемы смысла (поскольку они являются точно логическими, а не психологическими проблемами)» [Carnap, 1934, с. 207] (см. также [Carnap, 1946, с. 4–5, 10]).

Но на деле подобный взгляд — не что иное, как иллюзия.

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

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

Здесь необходимо также сказать, что авторы формального метода анализа как в логике, так и в лингвистике не смогли последовательно осуществить свою программу и полностью абстрагироваться от анализа значений языковых выражений. Этим объясняется, в частности, переход Р. Карнапа и других логиков на позиции «семантики», имевший место в конце 30-х и начале 40-х годов. Но это было весьма робкое и половинчатое движение. Формальный анализ не отвергался и не заменялся, а лишь дополнялся анализом «означающей функции языка» [Саrnар, 1946, V]. Поэтому такое движение может рассматриваться только как симптом неблагополучного положения дел, а не как решение проблемы. Несколько позднее подобное же движение началось и в структуральной лингвистике. В докладе на VIII Международном конгрессе лингвистов (1951) Л. Ельмслев выдвинул задачу исследования значения структурными методами [Hielmslev, 1957].

Нужно еще отметить, что идея «чисто формального метода» получила поддержку и распространение благодаря тому, что в весьма влиятельных течениях формальной логики XX в. была перевернута сама задача научной работы: не описание реального языка или языков, а построение искусственного символического языка — вот что стало для них предметом логики. В этой связи стали говорить о «формализованном» языке и исследовании «методом формализации языка». Таким (очень искусственным) путем «предмет» был приведен в соответствие с пониманием метода, но при этом выпало само исследование как языкового мышления, так и собственно языка. И можно считать, что в последнее десятилетие этот факт был уже отчетливо понят [Wittgenstein, 1953; Chomsky, 1955].

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

IV. «Принцип всеобщности» логических формул и зависимость строения знаковых форм мышления от его содержания

1. В предыдущих разделах было показано, что исходным принципом, лежащим в основании всей формальной логики и определяющим ее предмет и метод исследования, является «принцип параллелизма формы и содержания» (I и II). Было выяснено, в частности, что вследствие следования этому принципу фактическим предметом исследования в формальной логике оказывается одна лишь знаковая форма языкового мышления (III).

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

Подавляющее большинство логиков выдвигает и защищает этот тезис совершенно открыто. Мы не будем приводить здесь положений самого И. Канта [Кант, 1907, с. 61–63; 1915, Введение, § 1], но приведем весьма характерные высказывания более поздних исследователей — неокантианца XIX в. В. Виндельбанда и позитивиста XX в. Р. Карнапа: «…Нам предстоит прежде всего изолировать в абстракции и представить в их непосредственной очевидности те формы[55] мышления, от которых зависит осуществление целей истины в познавательном процессе и знании. Эту часть исследования мы называем формальной или чистой логикой, поскольку при этом необходимо отвлечься от всякой связи с каким-либо определенным содержанием познания (но, понятно, — не от связи с содержанием вообще, что невозможно). Найденные таким образом формы действительны для всякого вида направленного к достижению истины мышления — для донаучного так же, как и для научного, — и так как при этом нет еще речи об особых предметах, то, следовательно, дело идет о той истине, которую мы именно поэтому и назвали формальной» [Виндельбанд, 1913, с. 70–71].

«Начиная с Аристотеля, задача дедуктивной логики состоит в том, чтобы исследовать определенные отношения между предложениями или высказываниями, которые выражаются в предложениях. Эти отношения названы логическими отношениями. С современной точки зрения для этих отношений решающими являются два признака: 1) Они независимы от всех реальных фактов (т. е. формальны в традиционном словоупотреблении). Для того чтобы принять решение относительно этих отношений, необходимо знать лишь истинности (Wahrheitswert) предложений, а не их значения (Bedeutung)…» [Саrnaр, 1958, с. 30].

Аналогичным образом высказываются и «собственно математики»: Л. Кутюра [Кутюра, 1913, с. 7], А. Тарский [Тарский, 1948, с. 47]). Д. Гильберт и В. Аккерман [Гильберт, Аккерман, 1947, с. 21] и др. Мы приводим лишь одну, совершенно определенную формулировку, принадлежащую П. К. Рашевскому: «…Формальная логика потому и носит эпитет «формальная», что она учит нас формам умозаключений, правильных независимо от того, о чем именно мы рассуждаем» [Рашевский, 1960, с. 82].

Другие логики формулируют этот принцип не так откровенно, со всевозможными оговорками, однако фактически и они целиком и полностью стоят на его почве. Приведем исключительно характерное в этом отношении место из книги В. Ф. Асмуса:

«…Одни и те же логические формы и одни и те же логические действия, или операции, встречаются в самых различных науках, охватывающих самое различное содержание.

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

Так возникло направление в развитии логики, которое в отличие от формальной логики можно назвать формалистическим.

…Занимаясь изучением формальной логики, мы в то же время знаем, что формы мышления, какими бы общими для всех наук они ни были, как бы широко ни применялись они для охвата самого различного содержания, все же связаны с содержанием, зависят от содержания. То, что отражается в логических формах мысли, есть содержание самой действительности: ее предметы, свойства и отношения.

Возможность применения одинаковых логических форм, например одинаковых форм суждения или умозаключения, классификации или доказательства к различному материалу различных наук доказывает вовсе не то, что утверждают формалисты логической науки: не то, что формы логики не зависят от мыслимого в них содержания. Возможность прилагать одни и те же логические формы к различному содержанию доказывает только то, что наряду с содержанием частным, свойственным только данной области знания или данной науке, существует также содержание, общее целому ряду наук или даже всем наукам. С этой точки зрения общие логические формы следует рассматривать не как формы, не зависящие ни от какого содержания, а как формы чрезвычайно широкого содержания» [Асмус, 1947, с. 10–11].

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

Если мы признаем, что «логические формы» носят чрезвычайно широкий всеобщий характер, то тем самым мы с необходимостью признаем независимость строения знаковых форм мышления от его содержания.

Примерно так же, как и В. Ф. Асмус, высказываются и другие советские логики (см.: [Строгович, 1949, с. 15–16; Войшвилло, 1955, с. 5–9; Ахманов, 1955, с. 46] и др.). Признавая на словах существование «обобщенного содержания», от которого якобы должна зависеть структура знаковой формы, они вместе с тем, с одной стороны, не делают никаких шагов для определения типов этого содержания, а с другой — по-прежнему характеризуют логические формулы как имеющие по сути всеобщее приложение.

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

2. Начнем с рассмотрения традиционной аристотелевой логики. Отвлечемся от различных теоретических «разъяснений» ее формул, связанных с обоснованием логики, и возьмем зафиксированную в них «технику» мышления. Она отнюдь не является всеобщей.

Уже в древнегреческой логике были обнаружены такие умозаключения, которые никак не укладывались в схемы аристотелевой силлогистики. Например: «В равно С, А равно В, след. А равно С» или «Петр жил позже Алексея, Алексей жил позже Михаила, след. Петр жил позже Михаила». Сюда же относили умозаключения типа «А причина В, В причина С, след. А причина С». Характерно, что уже стоики называли их «не дающими вывод по методу» [Лукасевич, 1959, с. 51]. Попыток представить эти умозаключения в такой форме, которая соответствовала бы схемам аристотелевой логики, было исключительно много, однако ни одна из них не удалась.[57]

В конце концов постоянно повторяющиеся неудачи сделали свое дело. Во второй половине XIX в. в связи с рядом обстоятельств (особенно в связи с задачами обоснования математики) появилась «логика отношений» с формулами предложений и правилами умозаключения, существенно отличающимися от формул и правил аристотелевой логики.

Представители логики отношений понимали, что их теория охватывает новые области мышления,[58] но им в то же время казалось, что это расширение и эта спецификация предмета последние и что теперь в новой логической теории охвачены все возможные виды предложений и умозаключений.[59] Однако на деле это оказалось совсем не так, и процесс выделения новых разделов логики, соответствующих мышлению с особыми видами «техники», на выделении логики отношений не закончился. В частности, в самое последнее время (1953–1960) А. А. Зиновьев исследовал особенности строения знаний о связях и построил простейшее логическое исчисление соответствующих предложений [Зиновьев, 1959 а, 1960 b, с]

Таким образом, оказывается, что в самой логике существуют по меньшей мере три различные теории (если не считать логики высказываний) — логика Аристотеля, логика отношений и логика связей. Каждая из них фиксирует особую технику мышления, которая оказывается справедливой и полноценной только в определенных узких областях: логика Аристотеля — в области атрибутивных знаний [1958 b*], логика отношений — в области знаний об отношениях, логическая теория А. А. Зиновьева — в области знаний о связях. Уже одно это служит достаточным доказательством того, что логика Аристотеля отнюдь не является всеобщей логической теорией.

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

Формальная логика (включая сюда и математическую) никогда не ставила вопрос о какой-либо дополнительной формализации указанных умозаключений, никогда не пыталась таким путем включить их в рамки логики. Да это и не имело бы никакого смысла, так как схемы и правила подобных «умозаключений» и так твердо определены и установлены другими науками — математикой, химией и др. — и не нуждаются ни в какой дополнительной логической формализации. Однако это обстоятельство совершенно не снимает того факта, что в подобных умозаключениях осуществляются определенные процессы мышления и что эти процессы имеют свою особую технику, которую надо отразить в специальных логических понятиях[60].

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

Таким образом, действительность языкового мышления оказывается неизмеримо большей, чем это фиксируется в настоящее время в теориях логики, и эта действительность должна быть отражена не в одной и не в трех, а в целом ряде различающихся между собой логических теорий, каждая из которых имеет строго определенную область применения. В сравнении со всей этой действительностью языкового мышления область применения логики Аристотеля оказывается исключительно узкой и незначительной; это всего-навсего область атрибутивных знаний [1960 с*. I; 1958 b*]

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

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

О различии исходных понятий «формальной» и «содержательной» логик[61]

1. В последнее время в самых различных сферах общественного производства и науки выдвигается на передний план задача исследовать процессы мышления. Это необходимо для развития методологии научного исследования, разработки эффективных методов обучения (общего и профессионального), создания машин, моделирующих человеческий функции и т. п. [Швырев, 1960, с. 69]. Не будет преувеличением сказать, что уже в ближайшие десятилетия мышление станет одним из важнейших предметов научного исследования и технического моделирования [1961 b] Томсон, 1958, с. 161].

2. Мышление рассматривают с разных сторон логика, психология языкознание. Однако успехи этих наук в выявлении структуры и механизмов мышления нельзя считать удовлетворительными: они находятся в явной диспропорции с теми требованиями, которые в настоящее время предъявляет к этим наукам практика. В частности, автоматизация некоторых специальных процессов умственного труда, осуществляемая кибернетикой (например, машинный перевод, механизация поисков информмации и т. п.), а также построение модели «мыслящей» машины наталкиваются не столько на технические проблемы, сколько на трудности понимания природы и механизмов самого мышления [Кибернетический сб., 1960]. Формальная логика, как известно, достигла значительных успехов в построении формальных языков; они находят широкое применение в технике, но не имеют, как это признают многие видные логики, непосредственного отношения к анализу мышления [Лукасевич, 1959; Саrnaр, 1958, с. 30–32]. Отсюда возникает актуальная задача рассмотреть методологические основы этих наук и выяснить причины, тормозящие их продвижение в исследовании мышления [1961 а; Садовский, 1961].

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

Суть гипотезы состоит в предположении, что мышление является как бы «двухплоскостным» движением, т. е. одновременным движением в «плоскостях» обозначаемого или содержания и обозначающего или знаковой формы. Это предположение подтверждается уже некоторыми общими интуитивными представлениями: когда какой-либо человек строит свое рассуждение, то он основывается на «усмотрении» определенных элементов и связей в объективной действительности и одновременно выражает их в определенных последовательностях знаков. Точно так же понимание языковых рассуждений другого человека невозможно без «мысленного обращения» к области действительности и своеобразной «реконструкции» тех элементов и связей из этой области, которые обозначены в соответствующих языковых выражениях. Специальный анализ показывает, что аналогичное положение существует и в тех случаях, когда мы имеем дело, казалось бы, с чисто словесными, чисто знаковыми рассуждениями [1958 b*, V]. Поэтому, исследуя мышление, логик, психолог, лингвист должны представлять его в двухплоскостных схемах вида:

и обязательно каким-то путем вводить и определять строение плоскости содержания [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]. Но это по меньшей мере недоразумение.