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

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

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

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

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

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

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

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

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

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

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

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

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

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