5. Таким образом, структура области содержания, реконструируемая на основе принципа параллелизма, оказывается в точности такой же, как и структура области знаковой формы. Но если это так — и здесь мы подходим к основному пункту всего нашего рассуждения, — если между областью содержания и областью знаковой формы существует полное тождество как в отношении числа элементов, так и в отношении возможных соединений их, то совсем незачем при описании строения сложных языковых рассуждений рассматривать две области — содержания и формы; достаточно описать одну — область знаковой формы, чтобы тем самым описать и другую. И более того: незачем какими-то сложными путями реконструировать область содержания, чтобы затем специально исследовать ее, если непосредственно доступная исследованию область знаковой формы является в точности такой же, как и область содержания.
В обосновании этого тезиса и состоит основное значение и смысл принципа параллелизма. Он дает теоретическое, казалось бы, оправдание сложившейся практике логического исследования, при которой исследователь подходит к анализу и описанию строения сложных языковых выражений особым путем — только со стороны структур знаковой формы и проводит это описание независимо от восстановления и исследования области содержания. Правда, здесь, как мы уже не раз отмечали, при выделении элементарных и более сложных образований в языковых рассуждениях, при выделении отношений и связей, лежащих в их основе, исследователь не может сделать ни одного шага без ссылки на их «смысл». Но этот «смысл» ясен исследователю как всякому мыслящему человеку, и понимание его не связано с исследованием природы и строения самого «смысла». Таким образом, принцип параллелизма оправдывает традиционно сложившееся исследование строения сложных языковых рассуждений, основанное: 1) на понимании «смысла» языковых рассуждений в целом и их элементов и 2) на отвлечении от исследования природы и строения этого смысла, а вместе с тем — природы и строения области содержания языкового мышления.
6. Поскольку принцип параллелизма формы и содержания мышления обосновывает отделение исследования строения сложных языковых выражений от исследования природы содержания этих выражений и их элементов, постольку он является исходным теоретическим принципом всей традиционной, или, как говорят, формальной логики. Более того, именно этот принцип есть то, что делает вообще возможным существование формальной логики как особой науки, он определяет ее предмет и метод.[53] В свете принципа параллелизма становится понятным часто выдвигаемое положение, что начиная с Аристотеля логика исследовала только типы и способы связей знаков или мыслей между собой и что, собственно, это и есть традиционный предмет логики.[54] Этот же принцип объясняет и то на первый взгляд удивительное обстоятельство, что как концептуалисты и реалисты, так и номиналисты, столь враждовавшие между собой в вопросе о природе общего, т. е. в вопросе об отношении знаков языка к действительности, полностью сходились между собой в понимании задач и предмета так называемой формальной логики, т. е. во взглядах на строение знаковой формы языковых выражений. Ведь если все множество элементов области содержания представляет собой зеркальное отображение области знаковой формы, то абсолютно безразлично кем быть в логике — номиналистом, концептуалистом или реалистом — и что исследовать — связи имен, «элементарных мыслей» (идей, общих представлений, концептов, понятий) или единиц «объективного положения дел». Вернее, нужно сказать так: в обоих случаях анализируется одно и то же — структура знаковой формы сложных языковых выражений (предложений и групп предложений), но в одном случае результаты этого анализа рассматриваются как знания непосредственно об области знаковой формы, о функциональных взаимоотношениях и связях составляющих ее элементов, а в другом — они выносятся на что-то другое, на область содержания, гипотетически предполагаемую за областью формы и тождественную ей. Но суть анализа во всех случаях остается одной и той же [Ахманов, 1955, с. 33; Серрюс, 1948, с. 58–60]. Именно в этом обстоятельстве надо видеть причину столь удивительного единства взглядов на формальную логику у представителей самых различных направлений в теории познания.
7. Мы рассмотрели продуктивную сторону принципа параллелизма, именно, его значение в выделении предмета формальной логики. Но вместе с тем этот принцип влечет за собой целый ряд отрицательных следствий, в том числе и в отношении возможностей самой формальной логики. Разбору их будет посвящен следующий раздел.
1. В предыдущих разделах мы рассматривали «продуктивную» сторону принципа параллелизма; мы выяснили, что именно он выражает суть той абстракции, на основе которой складываются понятия формальной логики, именно он дает ей теоретическое, казалось бы, оправдание и тем самым делает вообще возможным существование формальной логики как особой, относительно самостоятельной науки. Но одновременно, принцип параллелизма приносит с собой ряд отрицательных следствий.
И первое из них — методологическое — заключается в принципиальном расхождении между действительным строением объекта исследования, мышления, и строением модели его, созданной в формальной логике на основе принципа параллелизма. Мышление, по нашей гипотезе, как уже говорилось (с. 2), имеет двухплоскостную структуру. Ни одна из частей этой структуры — ни плоскость содержания, ни плоскость знаковой формы, взятые отдельно, не сохраняют свойств мышления как такового, как целого. В соответствии с этим «передать» или, иначе, воспроизвести специфические свойства мышления можно также только в двухплоскостных изображениях. А модель мышления» созданная в формальной логике, напротив, есть принципиально одноплоскостное образование, выражаемое «линейными» схемами и формулами. И это обстоятельство создает для формальной логики крайне парадоксальное положение.
Важно специально отметить, что причина его лежит отнюдь не в самом факте раздвоенности объекта и модели. Такая раздвоенность, а вместе с тем и обусловленное ею расхождение, притом всегда значительное, между объектом и моделью существует в любом и всяком процессе познания. Это — одно из движущих противоречий процесса познания. И поэтому, говоря о парадоксальном положении, сложившемся в формальной логике, мы имеем в виду отнюдь не это, не сам факт раздвоенности, а другой момент. Дело в том, что расхождение между объектом и моделью характеризуется не в понятиях «большое» и «маленькое»; оно имеет какие-то качественные пределы. Если, к примеру, объект — крайне сложная структура, состоящая из множества элементов и связей, то ее модель в ряде случаев может быть очень простой структурой, содержащей, предположим, лишь два элемента и одну связь (так называемая абстрактная модель [Зиновьев, 1954]), но это должна быть структура того же типа, что и структура объекта. В этом случае расхождение между структурой объекта и структурой модели, несмотря на свою значительность, будет вполне допустимым (и для ряда «практических» случаев — правильным). Но этот же самый объект можно изображать в модели, с внешней стороны значительно более сложной, чем первая, т. е. содержащей большее число элементов и связей, и тем не менее это будет недопустимым, если структура второй модели качественно, по типу отличается от структуры объекта. Таким образом, как легко увидеть, речь здесь все время идет не о том, что недопустимы упрощения вообще или какие-то значительные упрощения, а о существовании определенных закономерностей, определяющих сами процессы упрощения, о существовании определенных качественных границ, за которыми упрощение становится уже недопустимым переупрощением (ср. [Эшби, 1959, с. 113]). Именно под этим углом зрения мы рассматриваем расхождение между объектом, из изучения которого возникла формальная логика, — мышлением — и моделью этого объекта, созданной в самой формальной логике; мы хотим показать, что это расхождение вышло за границы допустимого, стало пере упрощением (см. с. 1) и что именно это обстоятельство обусловливает парадоксальность положения формальной логики.
53
Есть единственный пункт, в котором традиционная логика частично вышла за границы принципа параллелизма: это «методы индуктивного исследования» Бэкона — Милля. Но этот факт нисколько не противоречит выдвинутому нами положению. Разработка этой части логики связана не с аристотелевой классической силлогистикой и ее дальнейшим развитием в математической логике, а с так называемыми «методологическими» направлениями, развивавшимися, в противоположность учению Аристотеля, а вместе с тем и в противоположность принципу параллелизма.
54
Можно сказать без преувеличения, что положения, так характеризующие предмет логики, имеются во всех без исключения систематических работах, и поэтому выделять какие-либо из них и специально ссылаться здесь не имеет смысла. Логика, по-видимому, была первой областью знания, где особым и специальным предметом исследования стали именно связи элементов и где впервые были выработаны простейшие исчисления связей. Представленные в чисто формальном, математическом виде эти исчисления могут быть применены и были применены (Гаврилов, Шенон и Мур, Шестаков, Накасима, Поваров и др.) для анализа и синтеза систем простейших объективных связей (см. [Поваров, 1959], а также статьи Поварова, Шестакова, Харкевича и др. в [Лог. исслед… 1959]. Это обстоятельство играет, по-видимому, важную роль в наметившейся к настоящему времени тенденции онтологизировать логику и представить ее как наиболее общее изображение и исчисление связей объективной действительности.