Избранные труды
Шрифт:
1. В предыдущих разделах было показано, что появление общих формальных знаний (синтагм или синтагматических комплексов) существенным образом меняет процесс выработки новых реальных знаний, т. е. знаний о единичных объектах: вместо того чтобы осуществлять ряд практически-предметных сравнений исследуемого объекта X с объектами-эталонами, мы применяем к нему одну операцию практически-предметного сравнения, получаем посредством нее номинативное знание вида X — (А), а затем чисто формальным путем объединяем его с уже имеющимся общим формальным знанием (А) — (B)(C)(D)… Результатом этого процесса — сокращенно мы называем его процессом подведения — является реальное знание вида X — (А) — (B)(C)(D)… такое же, какое мы получили бы, применив к исследуемому объекту X, к примеру, четыре операции практически-предметного сравнения. Посредством чисто формальной операции исключения это знание может быть преобразовано в целый ряд номинативных знаний вида X — (В), X — (С) или номинативно-комплексных вида X — (В)(С)… Указанный процесс получения этих знаний, взятый в целом, мы сокращенно назвали процессом соотнесения.
Важно специально отметить, что реальное знание об объекте X, полученное посредством процессов подведения или соотнесения, отличается от таких же (по содержанию и структуре) знаний, полученных посредством ряда практических предметных операций, только тем, что имеет вероятно — истинный характер.
Из анализа структуры процессов подведения и соотнесения следует, что знак обобщенного заместителя (А) играет в них, а вместе с тем и в самих формальных знаниях особую роль: он связывает формальное знание как целое с единичными объектами и в этом плане является знаком-посредником. Но, чтобы выполнить эту роль успешно, т. е. чтобы обеспечить вероятно-истинный характер знаний об объекте X, получаемых с помощью процессов подведения и соотнесения, знак обобщенного заместителя должен иметь только одно строго установленное абстрактное значение, соответствующее той и всегда только той операции практически-предметного сравнения, которая лежит в основе номинативного знания X — (А) и выделяет класс предметов, обозначаемый обобщенным заместителем (А), — именно этот класс предметов подразумевается при выработке общего формального знания (А) — (B)(C)(D)… Однако, как уже было показано в разделе IV, с превращением знака обобщенного заместителя одновременно в знак группировки и сокращения его собственное первоначальное абстрактное значение и соответствующая этому значению познавательная операция «теряются» среди значений и операций всех других знаков, которые он объединяет вокруг себя в общем формальном знании, т. е. знаков (В), (С), (D)… Но если знак обобщенного заместителя «теряет» свое особое абстрактное значение, то он перестает соответствовать строго определенному классу предметов окружающей действительности и в силу этого уже не может быть тем знаком, через который осуществляется связь формального знания как целого с единичными объектами. Вместе с тем теряет свой смысл и значение само формальное знание: исчезает возможность соотносить его с единичными объектами и развертывать дальше, находя новые общие свойства какого-либо класса предметов. Чтобы вновь стать «полноценным» и получить возможность участвовать в процессах подведения и соотнесения, формальное знание должно каким-то образом «вернуть» знаку обобщенного заместителя его особое строго определенное абстрактное значение. Это достигается особым путем: в системе формального знания появляется еще один знак — будем обозначать его (а), — «принимающий на себя» то абстрактное значение, которое раньше было у знаков обобщенного заместителя. (Поэтому, несмотря на увеличение числа знаков в форме и соответственно в формальном знании, экстенсивность знания остается прежней.)
Если, к примеру, мы имеем общее формальное знание «Кислота есть соединение, содержащее водород, способный замещаться металлом с образованием соли, образующее в водном растворе положительно заряженный ион водорода и проводящее электрический ток, при нейтрализации щелочи дающее соль и воду, воздействующее как катализатор на некоторые химические реакции, например превращение целлюлозы в моносахариды, гидролиз жиров и т. д.», то для того, чтобы использовать его в процессах соотнесения, т. е. при практическом исследовании конкретных веществ, мы должны, кроме того, знать, что «Все то, что окрашивает лакмус в красный цвет, — кислота» или, по меньшей мере, что «Все кислое — кислота». Если мы возьмем последний пример, то сделанное выше замечание о том, что новый знак «принимает на себя» то абстрактное значение, которое раньше было у знака обобщенного заместителя, станет совершенно ясным: ведь первоначальное содержание слова «кислота» и было «кислое на вкус», и лишь постепенно в ходе развития понятия о кислоте в него вошли, «включились» все те признаки, которые сейчас перечисляются при введении этого понятия в учебниках и руководствах. В более сложных случаях значение знака, о котором мы говорим, не соответствует первоначальному абстрактному значению знака, ставшего обобщенным заместителем, и той операции, которая выделяла содержание, фиксировавшееся в этом знаке, но это происходит только в силу дополнительного процесса изменения содержания всего знания о кислоте, начинающегося уже после того, как возник этот новый знак, и в силу того, что он вступил в связь со знаком обобщенного заместителя и принял на себя особую функциональную роль в системе формального знания. Анализ закономерностей этого процесса должен стать предметом особого исследования.
2. Новый знак свойства возникает в системе формального знания в связи с процессами подведения и соотнесения и лишь для них. Он должен обеспечить ту связь между формальным знанием как целым и реальными предметами, которая разорвалась из-за потери знаком обобщенного заместителя своего особого абстрактного значения. Поэтому в процессах подведения и соотнесения этот знак должен встать между знаком обобщенного заместителя и реальными предметами. Тогда структура реального знания, являющегося результатом процесса подведения, приобретает вид X — (а) — (A)(B)(C)(D)… а структура общего формального знания, используемого в этом процессе, соответственно вид (а) — (А) — (B)(C)(D)… Сопоставим новые усложненные структуры знаний с прежними.
Знаковое образование (а) — (А) в новой структуре выступает в качестве функционального замещения знака (А) прежней структуры и поэтому как целое несет на себе все те функции и значения, которые были у прежнего знака (А). В то же время внутри этого образования происходит распределение функций между его элементами: новый знак (а) принимает на себя функции абстракции и обобщения прежнего знака, а за знаком (А) остаются лишь функции обобщенного заместителя, знака группировки и знака сокращения. Важно специально отметить, что здесь происходит также расщепление функции обобщения: одна из сторон обобщения остается связанной с функцией абстракции; это — обобщение, непосредственно связанное с познавательной операцией и выделяемым ею свойством; другая сторона оказывается связанной с замещением класса предметов как таковых и соответственно с функциями группировки и сокращения. Функция посредника остается за обоими знаками, но несколько изменяется: знак (а) в процессах подведения является посредником между реальными предметами и обобщенным заместителем, а знак (А) в этих же процессах — посредником между знаком свойства (а) и знаками других свойств (B)(C)(D)… В процессах соотнесения роль посредника играет все образование (а) — (А) в целом.
Но самое важное изменение, которое претерпевает структура знания, заключается в появлении связи принципиально нового типа, именно между знаками (а) и (А). Если мы возьмем формальное знание вне связи с процессами подведения и соотнесения, то знак (а) выступает в нем просто как знак признака обобщенного заместителя наряду со всеми другими знаками признаков. Структура формального знания в этом случае должна быть записана так: (A) — (a)(B)(C)(D)… Связи, соединяющие знаки признаков со знаками обобщенного заместителя, в общем случае являются ограниченно-двусторонними, т. е. такими, что переход по ним без всяких ограничений совершается лишь от знака обобщенного заместителя к знакам признаков, слева направо, а когда мы хотим перейти в противоположном направлении, от знаков признаков к знаку обобщенного заместителя (в традиционной логике это называется обращением), то в общем случае должны ввести дополнительный ограничивающий квантор «некоторые». К примеру, мы говорим, что «все кислоты — соединения», но вместе с тем, оборачивая это предложение, мы скажем, что только «некоторые соединения — кислоты». В то же время нетрудно заметить, что знак (а) может выполнить свою опосредствующую функцию в процессах подведения и соотнесения (ради которой он был введен) только в том случае, если связь между ним и знаком обобщенного заместителя будет неограниченно-двусторонней: только в этом случае он сможет остаться знаком признака и в то же время сможет становиться между знаком обобщенного заместителя и реальными предметами в процессах подведения и соотнесения, так чтобы движение шло от него к знаку предметов. Например, мы говорим, что «все кислоты окрашивают лакмус в красный цвет», но точно так же мы говорим, что «все вещества, окрашивающие лакмус в красный цвет, — кислоты».
Благодаря особому характеру своей связи со знаком обобщенного заместителя признак (а) занимает особое место среди всех других признаков в системе общего формального знания: он приобретает особую, чисто формальную функцию — быть выделяющим признаком, очерчивающим границы того класса обобщения, с каждым членом которого как целое может быть соотнесено общее формальное знание.
Часто выделяющее свойство называют существенными рассматривают как свойство, занимающее особое место «внутри» самих объектов. Это понимание является одним из следствий принципа параллелизма формы и содержания мышления, принятого в традиционной логике (см. [1960 с*]); оно глубоко ошибочно. В реальных объектах нет «выделяющих» свойств; все свойства каждого из них вместе составляют его индивидуальность и его отличие, все они вместе выделяют его из других объектов. Свойство, которое мы принимаем в качестве выделяющего, принадлежит каждой единичности, входящей в класс, к которому относится формальное знание (а) — (А) — (B)(C)(D), но это свойство «отличает» или «выделяет» каждую из них, взятую саму по себе, ничуть не больше, чем любое другое ее свойство. Только объединяя ряд единичностей в один класс, отражая объекты этого класса в виде одной логической конструкции, представляющей собой систему знаков, мы порождаем задачу выделить среди всех знаков, из которых строится эта логическая конструкция, какой-то один, который бы обеспечивал определенность и постоянство того класса предметов, к которым мы относим эту конструкцию. Только в силу этой задачи знак (а), а вместе с тем и фиксируемое им свойство приобретают особое значение в системе формального знания и для самих объектов. Иначе говоря, свойство, фиксируемое как выделяющее, является «существенным» для каждого объекта только с точки зрения задачи подведения этого объекта под определенное формальное знание; если мы подводим этот объект под другое формальное знание, то «существенным» становится другое свойство.
Истинный смысл и значение проблемы существенности связаны совсем не с атрибутивным знанием. Эта проблема возникает только в контексте логико-диалектических исследований связей и структур самих объектов, т. е. в контексте процессов восхождения от абстрактного к конкретному.
3. Значение и содержание знака (а) всегда имеют операционный характер. Когда выделяющий признак выражается развернутой языковой формой, подобной уже приведенным выше: «Кислота — то, что окрашивает лакмус в красный цвет» или «Элемент — то, что не может быть разложено (заданным образом) на более мелкие части», — то это обнаруживается особенно отчетливо, но в принципе операциональная природа значения и содержания этого знака может быть выявлена и во всех других случаях. Если мы возьмем, к примеру, такую форму, как уже приведенная «кислота — кислое», то без труда обнаружим за знаком (а) — «кислое» — схему операции практически-предметного сравнения: «кислое» — значит «вызывающее кислый вкус во рту», т. е. определенное изменение в индикаторе I (см. раздел I), но эта характеристика изменения индикатора, вызванного воздействием исследуемого объекта, по определенной схеме переносится на сам объект.
Операционная природа выделяющего признака самых разнообразных знаний, а вместе с тем и необходимость сознательного выделения ее рельефно обнаруживаются также в процессах обучения. Исключительно характерными в этом отношении являются опыты П. Я. Гальперина и Н. Ф. Талызиной по формированию понятий «прямая линия», «перпендикуляр», «прилежащие углы» и т. п. [Гальперин, Талызина, 1957, с. 29–37].
4. Как видно уже из примеров, приведенных выше, выделяющий признак может быть (а чаще всего является) сложным, т. е. включает в себя целый ряд знаков, определенным образом связанных между собой. Тогда взаимосвязь «выделяющий признак — обобщенный заместитель» оказывается уже не просто связью двух знаков, а сложным многознаковым образованием, занимающим особое место в системе целостного формального знания. Именно это образование в традиционной логике принято называть «определением», или «дефиницией». Собственно, если говорить точнее, то только эти многознаковые образования, обладающие определенной внутренней структурой (чаще всего «родо-видовой»), и называют «определением», а на простейшие образования вида (а) — (А) эту характеристику не распространяют.
В противоположность этим подходам мы считаем, что уже простейшая взаимосвязь (а) — (А), функционирующая в системе процессов подведения и соотнесения, обладает всеми необходимыми признаками определения; она является «чистой» моделью определения, наиболее удобной для функционально-структурного исследования. Анализ этой модели, проведенный выше, позволяет ввести понятие об определении так: определение есть такая взаимосвязь знака признака и знака обобщенного заместителя в системе общего формального знания, которая позволяет осуществлять процессы подведения единичных объектов под это формальное знание и процессы соотнесения этого знания с единичными объектами. Сама связь между знаками признака и обобщенного заместителя должна быть неограниченно-двусторонней, а признак — операциональным. Иначе можно сказать так: определение — это взаимосвязь между знаками обобщенного заместителя и выделяющего признака.