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

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

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

Конец страницы 624

Начало страницы 625

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

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

Часто выделяющее свойство называют существенными рассматривают как свойство, занимающее особое место «внутри» самих объектов. Это понимание является одним из следствий принципа параллелизма формы и содержания мышления, принятого в традиционной логике (см. [ 1960 с* ]); оно глубоко ошибочно. В реальных объектах нет «выделяющих» свойств; все свойства каждого из них вместе составляют его индивидуальность и его отличие, все они вместе выделяют его из других объектов. Свойство, которое мы принимаем в качестве выделяющего, принадлежит каждой единичности, входящей в класс, к которому относится формальное знание (а)—(А)—(B)(C)(D), но это свойство «отличает» или «выделяет» каждую из них, взятую саму по себе, ничуть не больше, чем любое другое ее свойство. Только объединяя ряд единичностей в один класс, отражая объекты этого класса в виде одной логической конструкции, представляющей собой систему знаков, мы порождаем задачу выделить среди всех знаков, из которых строится эта

Конец страницы 625

Начало страницы 626