I. О строении специфически мысленного «номинативного» знания
1. В последнее время в логике, психологии и языкознании все более утверждается мысль о том, что единицы речи имеют свое особое содержание и значение, которые не могут быть сведены к содержанию и значению чувственных образов — ощущений, восприятий и представлений. Специфический характер этих содержаний и значений позволяет выделить особый вид отражения, называемый мышлением.
Мышление необходимо рассматривать в двух аспектах: во-первых, как фиксированное знание, как образ определенных объектов во-вторых, как процесс или деятельность, посредством которой это знание формируется, а затем используется [Щедровицкий 1957 a, 1957 b].
Мышление, рассматриваемое в аспекте знания, наглядно-символически может быть изображено в виде взаимосвязи
в которой второй элемент по определенным законам замещает или отражает первый [Щедровицкий 1957 a; Щедровицкий, Алексеев 1957 b].
При этом объективным содержанием называются те стороны действительности, которые замещаются или отражаются в знаковой форме. Формойназываются те явления и процессы, в которых замещается или отражается объективное содержание. Знаковой эта форма называется потому, что образующие ее процессы и явления могут быть (и первоначально всегда являются) реальными объектами, существующими вне сознания человека (например, звуковые комплексы, жесты или письменные изображения в речи, зерна проса или раковины при счете, предметы-эталоны в практической деятельности и т.п.). Характер их, так же как и характер связи между ними и объективным содержанием, не зависит от природы нашего сенсорного аппарата; поэтому мы говорим, что эта связь является условной. Чувственные образы объектов-заместителей в этом плане являются лишь вторичной формой, и их связь с отражаемым объективным содержанием носит опосредованный и в силу этого также условный характер. Связь между объективным содержанием и знаковой формой называется связью значения или просто значением формы.
Нужно заметить, что не всякая взаимосвязь такого типа, как изображенная, является специфически мысленной взаимосвязью, а только та, которая имеет специфически мысленное содержание и в которой соответственно знаки формы имеют специфически мысленное значение (см.[ Щедровицкий 1957 a; Рамишвили 1954; Швачкин 1954 a]). Поэтому без дополнительных определений указанная взаимосвязь не может еще рассматриваться как изображение мысленного знания. Задача данного раздела состоит в том, чтобы указать, какое объективное содержание специфично для мысли и как связаны знаки формы мысленного знания с этим особым содержанием.
2. Специфический характер всех трех составных частей взаимосвязи мысленного знания — объективного содержания, формы и значения — определяется особенностями той мыслительной деятельности, посредством которой это знание сначала вырабатывается, а затем используется. Поэтому исследование деятельности мышления составляет основную и определяющую часть всего исследования мышления, в том числе и исследования мышления в аспекте знания.
Мышление как особая познавательная деятельность возникает внутри процессов труда: первоначально оно является стороной суммарной трудовой деятельности, затем постепенно переходит в ее составляющую часть и в конце концов превращается в особый специализированный вид трудовой деятельности — в умственный труд, относительно обособленный и независимый от других видов труда. По мере развития и обособления деятельности мышления меняются как составляющие ее операции, так и предметы оперирования [Щедровицкий, Алексеев 1957 b]. Вместе с этим меняется тип объективного содержания, выделяемого в действительности, и соответственно тип знаковой формы, в которой мы это содержание фиксируем, отражаем.
Эти характеристики типов объективного содержания мысленного знания, определяемые относительно мыслительной деятельности [1], мы называем категориальными характеристиками знания, или категориями.
Характеристики типов знаковой формы, определяемые относительно мыслительной деятельности, мы называем логической характеристикой формы, илилогической формой. Вместе эти две группы характеристик будут составлять логическую характеристику знания.
В логическую характеристику мысленного знания входит его строение. Чтобы определить строение какого-либо знания, мы должны указать число входящих в его форму знаков и характер связи их с объективным содержанием и между собой. Первая и последняя характеристики, т.е. число знаков в форме и их связи между собой, определяют строение самой формы.
Строение знания, т.е. строение его формы и характер связей между ней и объективным содержанием, меняется, во-первых, в зависимости от категориальной характеристики содержания, выделяемого в исследуемом объекте; во-вторых, в зависимости от числа выделенных сторон одной и той же категориальной характеристики, т.е. если можно так сказать, от «экстенсивности» знания [2].
Так как категориальная характеристика и «экстенсивность» выделяемого содержания, в свою очередь, зависят от характера деятельности мышления, то в конечном счете как строение формы, так и строение знания в целом определяются деятельностью мышления.
В данном разделе мы отвлекаемся от этих моментов и рассматриваем лишь общую и абстрактную характеристику специфически мысленной связи между формой и объективным содержанием. Для этого мы берем знание, обладающее простейшей категориальной характеристикой, на основе которого строятся все другие мысленные знания, так называемые атрибутивные, а среди атрибутивных знаний — простейшее по форме, однознаковое, называемое номинативным. На примере этого знания удобнее рассмотреть характер связей между объективным содержанием и формой как таковой, так как его форма не имеет строения и, следовательно, строение не нужно принимать во внимание при исследовании связей, внешних для формы.
3. Атрибутивное знание есть знание, полученное посредством одной или нескольких операций «практически-предметного сравнения». Эта операция принадлежит к тому этажу мышления, где последнее еще не отделилось от практической деятельности с реальными предметами. Она дает нам возможность открывать в предметах такие стороны-свойства, которые недоступны одному чувственному созерцанию.
Чтобы разобрать механизм этой операции, представим себе, что какой-то предмет Х впервые попадает в сферу коллективного производства. Чтобы обнаружить какое-либо из его непосредственно чувственно невоспринимаемых свойств, надо поставить его в отношение реального взаимодействия с каким-либо другим предметом (обозначим его буквой I и будем называть предметом—индикатором). Например, чтобы выяснить, горит этот предмет или нет, мы должны привести его во взаимодействие с огнем. Этого практически установленного отношения взаимодействия достаточно для обнаружения свойства предмета Х, но, чтобы сообщить об обнаруженном свойстве и соответственно об обнаруженном возможном способе использования предмета Х другим членам коллектива, человек, оперировавший с предметом Х, должен еще сопоставить его с каким-либо другим предметом А, обладающим тем же свойством и используемым членами данного коллектива только со стороны этого свойства, т.е. только в этом отношении (мы будем называть такой предмет эталоном ); человек должен отождествить предмет X, взятый в отношении к предмету I, с этим предметом-эталоном A и благодаря этому выразить обнаруженное свойство предмета Х в предмете А. В нашем примере это означает, что предмет Х необходимо сопоставить и отождествить с предметом, известным всем членам коллектива своей способностью гореть, с предметом, который всегда служил материалом для разжигания огня. Проделанное таким путем отождествление позволяет обозначить вновь вошедший в сферу коллективного производства предмет Х тем же знаком (А) [3], что и давно известный предмет А со строго закрепленным способом использования, и позволяет образовать взаимосвязь знания Х—(А), которую мы будем называть номинативным знанием.
Номинативное знание создается в результате одной операции практически-предметного сравнения и является, как мы уже говорили, простейшим видом знания атрибутивного типа.
Нетрудно заметить, что разобранная операция практически-предметного сравнения складывается из двух существенно различных действий: во-первых, сопоставления (в реальном взаимодействии и идеально — в представлении) трех предметов — X, A и I, — во-вторых, отнесения знака (A) к одному из этих предметов, именно к предмету X. При этом отождествление предметов X и A (взятых в одном определенном отношении) в действии сопоставления является основанием для установления взаимосвязи между предметом Х и знаком (А) в действии отнесения. Однако в полученной взаимосвязи знания Х—(А) порождающие ее отношения сопоставления полностью «сняты», элиминированы, и обнаружить их в ней непосредственно невозможно [Щедровицкий, Алексеев 1957 b].
Характер действий сопоставления и отнесения, составляющих операцию практически-предметного сравнения, полностью определяет строение полученного номинативного знания, характер связи между его объективным содержанием и формой. Поскольку все сопоставляемые предметы (А, Х, а далее Y, Z и др.) тождественны лишь в одном свойстве, в одном отношении, постольку общий для них знак, например (А), может обозначать и прежде всего обозначает только одно это общее свойство каждого предмета. Мы будем называть знак, взятый в связи с этим объективным содержанием, абстракцией, или, иначе, будем говорить, что в этой связи, в этом значении знак несет на себе функцию абстракции. Поскольку после проделанного сопоставления знак (А) относится не к отношению сопоставляемых предметов, а к каждому из них отдельно, постольку он обозначает предмет как целое со всем множеством его еще не выявленных свойств. Мы будем называть знак, взятый в связи с этим объективным содержанием, меткой, или, иначе, будем говорить, что в этой связи, в этом значении знак несет на себе функцию метки. Поскольку знак (А) может быть отнесен ко многим предметам, постольку он обозначает их класс. Знак, взятый в связи с этим объективным содержанием, мы будем называть обобщением, или, иначе, будем говорить, что в этой связи, в этом значении знак несет на себе функциюобобщения.
Эти три связи значения и соответственно три функции знака формы в специфически мысленном номинативном знании неразрывно связаны друг с другом. Только благодаря тому, что в первом действии мы сопоставляем два и притом различных предмета, мы можем выделить одну сторону каждого из них (именно общую обоим) в противоположность всем другим сторонам. Если бы мы не сопоставляли два предмета или если бы эти предметы — допустим такой случай — были тождественны именно как целое, во всем множестве своих свойств, то никакого выделения одной тождественной стороны в противоположность всем другим различным сторонам не было бы, а вместе с этим не было бы акта абстрагирования и атрибутивный знак не получил бы своей функции абстракции. Иначе говоря, само выделение одной стороны предметов в знаке, само значение абстракции как особое значение становится возможным только благодаря тому, что происходит обобщение. Но и обратно, обобщение двух различных предметов, т.е. обозначение их одним знаком, возможно только потому, что сопоставляемые предметы могут быть взяты в практически одном и том же отношении, обладают одним и тем же свойством и это свойство может быть выделено в абстракции в противоположность всем остальным свойствам каждого из этих предметов. Точно так же, чтобы стать полноценным знанием об объективном мире, абстракция и обобщение, фиксированные в знаке после сопоставления, должны быть отнесены к определенным предметам. При этом обнаруженное в отношениях сопоставления свойство выступает уже не как реализованное отношение одного предмета к другому, а как способность самих предметов вступать в эти отношения, способность, заложенная в них как таковых и независимая от тех или иных реально установленных отношений. Иначе говоря, чтобы свойство стало свойством именно предмета, оно должно быть отнесено к этому предмету. Но и наоборот, чтобы отнести какой-либо обобщенныйзнак к предмету как к целому, надо найти и выделить в нем отдельное свойство, фиксированное в этом знаке. Поэтому нам представляется правильным, когда Н.Х.Швачкин, возражая В.В.Виноградову, утверждает, что «наличие в слове обобщенного значения … не снимает его предметной отнесенности» [Швачкин 1954 a: 110]. Но вместе с тем мы не можем согласиться с самим Н.Х.Швачкиным, когда он утверждает, что «в своей конкретно-отнесенной форме значение слова возникает раньше понятия и является предпосылкой его становления. По мере же абстрагирования и обобщения существенных признаков предметов слова ребенка приобретают не только единичное, но и обобщенное значение» (там же). Из анализа действий сопоставления и отнесения, составляющих специфически мысленную операцию практически-предметного сравнения, необходимо следует, что не может быть обозначения предмета, допускающего перенос на другие предметы (а в опытах Н.Х.Швачкина дети сразу же переносили название одного предмета на другие по цвету (там же, с. 87), которое не было бы в то же время обозначением отдельного свойства этого предмета. Точно так же не может быть обозначения отдельного свойства как свойства одного предмета, а только как свойства, общего по меньшей мере для двух предметов.
Итак, связь значения между объективным содержанием и формой в специфически мысленном номинативном знании носит сложный характер. Она складывается по крайней мере из трех компонент — связей абстракции, метки, обобщения, — а атрибутивный знак, образующий форму этого знания, имеет соответственно три свойства-функции. Из этих компонент две — абстракция и обобщение — являются специфически мыслительными, т.е. присущими только мышлению и отличающими его от других видов отражения, а третья связь, или функция, называемая меткой, хотя и является необходимой составной частью взаимосвязи номинативного знания, без которой сама эта взаимосвязь не может существовать, тем не менее не является специфически мыслительной и может существовать самостоятельно, отдельно от функций абстракции и обобщения в более простых чувственных формах отражения, как «собственное имя» предметов (как таковое оно не может быть перенесено с одного предмета на другой). Только несущий на себе все три функции отдельно взятый атрибутивный знак языка выражает понятие о предмете; наоборот, отдельный знак, не являющийся абстракцией и обобщением, понятия и вообще мысли не выражает.
II. Синтагма. Реальное и формальное знание
1. В предыдущем разделе было выяснено, что знание — мы изображаем его схемой
— является специфически мысленным атрибутивным знанием только в том случае, когда 1) его содержание вычленяется в объектах действительности посредством операций практически-предметного сравнения, 2) связь значения (определяемая характером мыслительной операции) складывается из трех компонент: связей абстракции, метки и обобщения, 3) форма знания в силу этого несет на себе три соответствующие функции.
Для того чтобы рассмотреть связь между знаковой формой и объективным содержанием в атрибутивном знании в общем виде, отвлеченно от особенностей строения самой формы, мы взяли в первом разделе в качестве предмета исследования атрибутивное знание с простейшей однознаковой формой, так называемое номинативное знание, которое мы изображаем схемой Х— (А). Символ X обозначает здесь единичный реальный предмет, а символ (A) — какой-либо отдельный знак, в частности отдельное слово. Проанализировав на примере номинативного знания связь значения, присущую всем атрибутивным знаниям, мы можем теперь перейти к более сложным примерам (к высказываниям с многознаковой формой, таким, как «дом — строение», «медь — металл», «параллелограмм — четырехугольник, у которого противоположные стороны параллельны» и т.п.) и рассмотреть: 1) строение формы различных атрибутивных знаний в порядке ее закономерного усложнения и 2) влияние этого усложнения на значения и функции, входящих в знание знаков.
В качестве объективной основы, определяющей закономерность усложнения формы, мы возьмем увеличение числа сторон, выделяемых в предметах действительности, или, как мы говорим, увеличение «степени экстенсивности» знания.
2. Самым простым среди сложных видов атрибутивного знания является знание с экстенсивностью степени два, форма которого состоит из двух знаков, каждый из которых обозначает определенную сторону рассматриваемого предмета. Чтобы получить знание такого вида о каком-либо единичном предмете Х, нужно проделать последовательно две операции практически-предметного сравнения. Результатом этих операций будет сложное атрибутивное знание о единичном предмете Х, которое наглядно-схематически может быть изображено в формуле Х—А)(В). Символы (А) и (В) выражают здесь словесные обозначения двух сторон, открытых в предмете Х.
С точки зрения фило- и онтогенеза, для того чтобы возникло такое знание, необходимы особые условия, и в частности должна появиться особая способность разума — связывать в некоторое единство последовательные операции практически-предметного сравнения одного и того же предмета с различными эталонами.
В своих экспериментальных работах Н.Х.Швачкин показал, что в возрасте от 11 месяцев до одного года семи месяцев дети первоначально не образуют и соответственно не выделяют в речи взрослых сложных, в частности двузнаковых, форм и используют в своем речевом мышлении только номинативные знания [Швачкин 1954 a: 91-95]. Но затем в ходе экспериментов они начинают сопоставлять и связывать между собой последовательно проделанные операции сравнения одних и тех же предметов и выражать это в объединении соответствующих знаков. «Так, например, — пишет Н.Х.Швачкин, — когда Вите Н., называвшему синий горшок “гок” и желтую бочку “бок”, показали желтый горшок и спросили его, что это такое, он сначала ответил: “Бок”, — но, сравнив конфликтную игрушку с синим горшком, произнес: “Гок”, — после чего громко сказал: “Гок-бок”. Так это название и осталось за этим предметом. Впоследствии подобными именами он называл многие конфликтные предметы. К такому “словообразованию” самостоятельно пришли в разное время еще семнадцать детей» (там же, с. 95).
Атрибутивное знание вида Х— (А)(В), несмотря на свою полиэкстенсивность и наличие двух знаков в форме, остается в принципе номинативным знанием. Оба знака его формы абсолютно равноправны: они относятся к реально данному предмету Х рядоположенно и являются фактически одним сложным его определением. Однако сама особенность формы такого знания создает необходимую основу для того, чтобы при определенных условиях оно могло превратиться в знание принципиально иного вида, в так называемое синтагматическое знание, которое наглядно-схематически может быть выражено в формуле (А) — (В).
Одной из причин, приводящих к появлению синтагматического знания, является, по-видимому, своеобразный разрыв между «полями зрения» общающихся между собой людей. В условиях этого разрыва номинативные высказывания уже не могут обеспечить процесс коммуникации и появляется необходимость в выработке новых языковых форм. Исследование конкретных условий и механизмов фило- и онтогенеза синтагматического знания представляет собой комплексную задачу, лежащую на стыке нескольких наук — логики, психологии, языкознания, отчасти антропологии и этнографии. Попытки решить или как-то осветить ее были сделаны с различных сторон, однако до сих пор ни одна из них не привела к сколько-нибудь значительным результатам. В частности, не удалась эта попытка и Н. Х. Швачкину, который вынужден был просто констатировать превращение «именных суждений» в более сложные — дву- и трехсловные [Швачкин 1954 b].
Мы ограничимся этими немногими замечаниями относительно проблемы генезиса атрибутивно-синтагматического знания и в дальнейшем будем рассматривать только его строение, процессы формирования отдельных знаний и способы их употребления.
3. Прежде всего сопоставим функциональные взаимоотношения элементов синтагмы (бок) —(гок), или (А) —(В), и функциональные взаимоотношения элементов номинативного знания Х— (гок), или Х— (В). В номинативном знании первый элемент есть сам предмет, а второй — форма знания о нем. Но и взаимоотношение элементов синтагмы может быть представлено таким образом, что первый элемент — знак (бок), или (А), — будет «играть роль» самого познаваемого предмета, а второй элемент — знак (гок), или (В), — роль формы знания о нем. Иначе говоря, строение синтагмы, рассматриваемой отдельно, таково, что один знак в ней является заместителем самого реального предмета, а второй выступает как форма знания, но уже не о непосредственно данном реальном предмете Х, а об этом предмете, замещенном знаком (бок), или (А). Но это значит, что отношение между реальным предметом и формой знания, между реальным предметом и языковыми знаками, как бы переносится внутрь самой системы знаков языка, внутрь самой формы. Взаимосвязь синтагмы (А) —(В), рассматриваемая в этом плане, оказывается не чем иным, как замещением номинативного знания Х— (В), «вбирающим» в себя его смысл и «значение» [4], а знак (А) выступает в роли «формального» предмета знания, или «предмета-заместителя».
Благодаря такому распределению функций синтагматическая форма (А) —(В) может сохранить и сохраняет свойства полноценного знания даже в отсутствие реального предмета высказывания. Это подтверждается всей практикой нашего мышления и общения. Если мы просто скажем дом, металл, стоит, не указывая при этом ни на один предмет, то эти слова не будут выражать никакого знания, несмотря на то что мы прекрасно знаем и осознаем их «смысл». Для того чтобы эти слова стали формой знания, необходимо отнести их к каким-либо предметам. Если же мы скажем дом — строение, медь — металл, то будем иметь полноценное знание и без какого-либо специального непосредственного указания на реальные предметы, о которых идет речь. Если воспользоваться примером Н.Х.Швачкина, то это можно выразить так: выражение «бок-гок» представляет собой полноценное высказывание и является формой знания только в том случае, если оно относится к какому-либо данному в этот момент реальному предмету, т.е. только в том случае, если существует взаимосвязь Х— (бок-гок), а высказывание (бок) —(гок), как об этом свидетельствует вся практика нашего мышления, сохраняет функции и смысл знания и помимо прямого, непосредственного отнесения к предмету.
Мы пришли к этому исключительно важному, на наш взгляд, выводу, рассматривая синтагматическую форму, казалось бы, отдельно, отвлеченно от связи ее с реальными предметами. Однако на деле вообще вне и помимо связи с реальными предметами синтагма (А) —(В) никак не может иметь действительного смысла и значения, никак не может быть знанием. Знание всегда есть знание о чем-либо реально существующем, объективном. Знаки языка являются формой знания лишь постольку, поскольку они замещают реальные предметы. Замещение реальных объектов знаковой формой имеет смысл, оправданно и целесообразно как с точки зрения самого мышления, так и с точки зрения общения людей между собой, а замещение одних значков другими — если мы берем их просто как значки, а не как знаки чего-то объективно существующего — не имеет никакого смысла и никакого оправдания. Значит, синтагматическая форма (А) — (В) не является самостоятельным изолированным целым в языковом мышлении и не может рассматриваться вне связи с реальными предметами. Она представляет собой лишь элемент более сложного языково-мысленного целого, а именно взаимосвязи Х— (А) — (В) и соответственно может рассматриваться лишь как элемент этой взаимосвязи. Когда мы говорим «дом — строение», «медь — металл», то как сами синтагмы в целом, так и входящие в них знаки имеют смысл и значение лишь постольку, поскольку (сейчас или впоследствии) мы можем отнести их к определенным реальным предметам. Иначе говоря, структура полного знания не исчерпывается связью между знаками самой синтагмы, а предполагает еще одну связь — связь этих знаков с реальными предметами. В высказывании «дом — строение» слово «строение» имеет значение и может рассматриваться как форма знания только потому, что мы можем отнести и относим слово «дом» — а следовательно, через него и слово «строение» — к определенным реальным предметам. Таким образом, синтагма (А) — (В)может рассматриваться как знание и замещение номинативного знания только в предположении, что существует еще и может быть реализована собственно номинативная связь Х — (А) и что, следовательно, на основе этого может быть образована взаимосвязь Х— (А) — (В). Соответственно акт образования синтагмы (А) —(В) является осмысленным и значимым только в предположении второго акта, именно акта образования номинативной связи Х — (А). Поэтому, рассматривая синтагматическую форму (А) —(В) как замещение номинативного знания Х— (В), мы должны рассматривать ее с учетом той связи, которая может быть установлена между Х и (А) и которая превращает взаимосвязь (А) — (В) в элемент сложной взаимосвязи Х— (А) — (В).
Но и последнее положение неточно выражает существо дела. Мы не можем рассматривать синтагму (А) — (В) просто как элемент взаимосвязи Х — (А) — (В), так как две связи, образующие последнюю — Х — (А) и (А) — (В), — в реальном языковом мышлении обособляются (как в пространстве, так и во времени), приобретают относительно самостоятельное существование и получают за счет этого такие особенности, которыми они не обладали как просто элементы взаимосвязи Х— (А) — (В). Поэтому при определенных условиях и в определенных границах, мы можем и должны рассматривать синтагматическую форму (А) — (В) как относительно самостоятельное образование; при этом мы должны, с одной стороны, учитывать связь ее с реальными объектами, а с другой — отвлекаться от этой связи: иначе — мы должны привлекать к рассмотрению связь синтагматической формы с реальными объектами, учитывая, что в действительности она обособлена, существует в пространстве и во времени относительно независимо и дает относительно независимое и самостоятельное существование интересующей нас взаимосвязи (А) —(В). Наглядно-схематически мы будем выражать этот факт и соответствующее ему понимание в формуле Х···(А) — (В), причем точки между изображениями реального предмета и первого знака синтагмы будут служить и изображением того, что связь между синтагмой (А) — (В) и реальным предметом Х, с одной стороны, существует и должна учитываться при исследовании, с другой — что она обособлена в пространстве и во времени и в силу этого дает синтагматической связи (А) — (В) относительно самостоятельное существование.
Итак, всякое знание (по сути дела и соответственно исходным определениям) есть знание о реально существующем, есть взаимосвязь знаковой формы с объективным содержанием. Однако с появлением сложных, в частности синтагматических, форм знания в языковом мышлении появляются такие взаимосвязи, составленные исключительно из знаков формы, которые как бы «перенимают», «впитывают» в себя структуру «полного» знания, становятся его замещением. Такие взаимосвязи знаков могут существовать и иметь смысл и значение в системе языкового мышления и коммуникации лишь при условии превращения в дальнейшем в «полное» знание, отнесенное к реальным объектам. Но это превращение может быть обособлено в пространстве и во времени от акта образования самой синтагматической связи и поэтому должно выступать относительно него лишь как возможное; при этом условии взаимосвязь синтагматической (или какой-либо другой, более сложной) формы может существовать относительно независимо и самостоятельно как «замещение» полного знания.
Чтобы учесть это, на наш взгляд, исключительно важное явление языкового мышления в понятиях, нужно ввести различение реального и формального знания.
Мы будем называть реальным знанием взаимосвязь, образованную путем непосредственного отнесения знаковой формы к объективному содержанию, или иначе — взаимосвязь знаковой формы с непосредственно данным объективным содержанием. Формальным знанием мы будем называть взаимосвязь, образованную путем отнесения одних знаков формы к другим знакам, или иначе — взаимосвязь знаков формы, связанных между собой связью значения.
III. Синтагма. Знание о единичном факте и общее знание
1. В предыдущем разделе было показано, что номинативно-комплексное знание вида Х — (А)(В), возникшее в результате двукратного применения операции практически-предметного сравнения к предмету Х, при определенных условиях порождает синтагму (А) —(В), которая, обособившись от непосредственной связи с реальным предметом Х, выступает в качестве замещения номинативного знания Х(В) и как таковое начинает играть роль «полного» знания. При этом первый знак синтагмы выступает в функции предмета-заместителя, а второй — как форма знания о нем. Чтобы отличить чисто знаковые взаимосвязи вида (А) — (В), играющие роль знаний, от знаний о непосредственно данных предметах вида Х — (В) или Х — (А)(В), мы ввели понятия формального и реального знания [5] и начали рассматривать значения и функции знаков формального синтагматического знания.
Как формальное замещение реального номинативного знания взаимосвязь синтагмы (А) — (В) прежде всего тождественна отдельному номинативному знанию, и поэтому ее знаки «принимают» на себя, «впитывают» значения и функции соответствующих элементов номинативного знания; в то же время благодаря некоторым особенностям употребления, а также некоторым особенностям составляющих ее элементов синтагма отлична от взаимосвязи номинации и несет на себе особые значения и функции, которых не было у номинативного знания. Рассмотрим их более подробно.
Первое. В синтагматическом знании в роли предмета-заместителя выступает атрибутивный знак языка, который по своему происхождению, как элемент номинативного знания, является не только меткой (обозначением предмета в целом), но и абстракцией, т.е. обозначением одного определенного свойства предмета, и эта функция сохраняется у него также и во взаимосвязи формального синтагматического знания. Благодаря этому синтагма приобретает особыезначение и содержание, которых нет у номинативного знания вида X — (B): она выступает как утверждение связи сосуществования двух свойств предмета. Правда, выражение совместности двух свойств в определенных предметах есть уже в номинативно-комплексном знании вида Х — (А)(В), однако в связьсвойств эта совместность превращается только в структуре синтагматического знания.
Для правильного понимания природы синтагматического знания важно специально отметить, что это превращение никак не связано с теми приемами мышления, которые необходимы для выявления и исследования объективных связей свойств [6], и происходит только благодаря наличию в формальном синтагматическом знании связи значения.
Иначе говоря: в формальном синтагматическом знании (А) —(В) существует связь значения, возникающая как замещение и отображение связи между единичным реальным предметом Х и формой знания о нем — (В); само существование этой связи значения благодаря особым функциям знаков синтагмы превращает зафиксированную в номинативно-комплексном знании совместность свойств в определенном предмете в связь сосуществования этих свойств помимо и независимо от сознательной деятельности выделения и исследования связей как таковых.
Второе. Атрибутивный знак (А) выступает в качестве заместителя какого-либо единичного предмета лишь до тех пор, пока взаимосвязь синтагмы берется в отнесении к этому единичному предмету; когда же она берется вне этой непосредственно реализованной связи, как самостоятельно значимое формальное знание, знак (А) перестает быть заместителем единичного предмета и выступает уже в роли заместителя целого класса предметов, так как он (а вместе с ним и вся синтагма) может быть отнесен не только к предмету Х, но и к Y, Z и другим предметам, которые он обозначал раньше в качестве отдельного знака. Но это значит, что в формальном синтагматическом знании предметное содержание уже иное, нежели предметное содержание каждой из замещаемых ею взаимосвязей номинаций Х— (В), Y— (В) или Z— (В); в последних фигурируют реальные единичные предметы, а в синтагматическом формальном знании — содержательное образование особого рода, возникшее в процессе отражения и общения: класс предметов, или класс обобщения. В соответствии в этим меняется функция первого знака синтагмы: он становится обобщенным предметом-заместителем, или, как мы будем говорить короче, обобщенным заместителем.
Здесь необходимо специально отметить, что с переходом от реальных номинативных к формальному синтагматическому знанию существенным образом меняется характер функции обобщения. Раньше она актуально существовала и реализовалась лишь как совокупность актов отнесения к единичным предметам (см. раздел I). Теперь эта совокупность актов отнесения «снимается» и получает актуальное существование в функции обобщенного заместителя и соответственно в одной связи — в отнесении знака свойства (В) к знаку обобщенного заместителя (А). Но это, в частности, означает, что синтагма (А) —(В), рассматриваемая как самостоятельно значимое формальное значение, выступает уже в качестве замещения не какого-либо одного номинативного знания Х — (В), Y — (В) или Z — (В), а в качестве замещения их всех.
Итак, формальное синтагматическое знание отличается от реального номинативного знания, во-первых, тем, что оно выражает объективную связьсосуществования двух свойств предметов, во-вторых, тем, что его «предметом знания» является не единичный, реальный предмет, а особое образование, возникшее в процессе отражения и коммуникации, — обобщенный заместитель, — которому соответствует особое обобщенное идеальное содержание.
2. Указанные свойства формального синтагматического знания (пока оно существует в том виде, какой мы рассматривали) противоречат друг другу, и это приводит к появлению антиномий.
Действительно, формальное синтагматическое знание (А) — (В) возникает из единичного знания Х — (А)(В), превращающегося в Х···(А) — (В). Поэтому как выражение связи сосуществования свойств А и В оно является эмпирически проверенным и оправданным лишь в применении к единичному предмету Х. Однако, поскольку синтагма (А) — (В) обособляется от связи с единичными предметами и начинает функционировать в качестве самостоятельно значимого формального знания, постольку она становится знанием не о единичном предмете Х, а об обобщенном заместителе (А) и, следовательно, распространяется на целый класс предметов — Х, Y, Z и т.д. Но это «обобщение» связи сосуществования свойств А и В, происходящее за счет уже установившейся общности знака (А), является незаконным: ведь совместность (или связь) свойств А и В была эмпирически обнаружена только в одном предмете из класса А, именно в предмете Х, и в других предметах того же класса, в предметах Y, Z…, ее может не быть. Но законно или незаконно, а это обобщение фактически происходит вследствие употребления синтагмы (А) — (В) в качестве самостоятельного формального знания, и поэтому весь класс предметов А начинают рассматривать как обладающий свойством В. Однако это приводит к тому, что, столкнувшись в ходе практической деятельности, предположим, с предметом Y, относящимся к классу А, но не имеющим свойства В, и пытаясь в соответствии с формальным знанием (А) —(В) использовать его как В, человек терпит фиаско и должен зафиксировать этот факт в синтагме отрицания (А) —/— (В). Тогда в системе атрибутивного знания появляются два совершенно равноправных и исключающих друг друга знания: (А) —(В) и (А) —/— (В). Первое из них в обобщенной форме выражает тот факт, что в реальном единичном предмете Х практически обнаружено свойство В, второе — что в реальном единичном предмете Y этого свойства нет. Таким образом, в этих двух случаях дело идет о связи атрибутивного знака (В) с различными реальными предметами, что может быть выражено во взаимосвязях Х— (В) и Y—/— (В). Если мы представим их в таком виде, то никакой антиномии не будет. Однако, поскольку связь знака (В) с предметами Х и Y осуществляется, во-первых, через посредство связи со знаком А, т.е. как Х···(А) — (В) и Y···(А) —/— (В), во-вторых, в форме взаимосвязи с предметом-заместителем (А), которая обособляется от связи с реальными предметами Х и Y и существует самостоятельно, т.е. в форме взаимосвязей (А) — (В) и (А) —/— (В), постольку между формальными синтагматическими знаниями существует и сохраняется антиномия.
Она показывает, что отнюдь не всякая взаимосвязь синтагмы, возникшая из номинативно-комплексного знания Х — (А)(В) и выражающая обнаруженную в каком-либо единичном предмете совместность (связь сосуществования) двух свойств, может стать полноценным формальным знанием (А) — (В); она показывает, что в полноценном формальном знании могут быть связаны только те знаки, которые фиксируют свойства предметов, всегда или необходимо связанные между собой.
Чтобы устранить эту антиномию, необходимо в практике языкового мышления различить формальные синтагматические знания, являющиеся замещением единичного номинативного знания, и формальные синтагматические знания, являющиеся замещением группы номинативных знаний, охватывающих весь класс предметов, обладающих обоими зафиксированными в синтагме свойствами, и ввести какие-либо формальные «указатели» для их различения.
Чтобы убедиться в том, что такое различие между синтагматическими знаниями о единичном факте и общими синтагматическими знаниями существует в современном языковом мышлении, достаточно сравнить между собой предложения: «Этот металл лежит на столе» и «Металл проводит электричество и тепло». Первое значимо лишь в отнесении к какому-либо единичному предмету, в отношении к «тому» или «этому» определенному куску металла; второе же — в отнесении в любому металлу, к каждому из них, а следовательно, и помимо какого-либо единичного отнесения.
В разных языках в качестве формальных указателей принадлежности знаний (соответственно предложений) к одной или другой из этих групп служат знаки, относящиеся к различным грамматическим категориям. В русском языке этой цели служат, среди других, указательные и количественные местоимения. В устной речи словесные формальные указатели единичности предмета знания часто заменяются «указующими» жестами. В настоящей работе мы не можем заниматься вопросами, относящимися к историческим условиям и механизмам появления таких формальных указателей, хотя исследование их и представляет большой интерес для науки о языковом мышлении. Мы возьмем как факт существование формально различенных между собой знаний о единичных фактах и общих знаний и рассмотрим, как сказывается это на употреблении знаний и на функциональных взаимоотношениях их элементов. При этом синтагматические знания о единичных фактах мы будем обозначать формулой Х···(А) — (В), а общие знания — прежней формулой (А) —(В).
3. Разделение синтагматических знаний на знания о единичных фактах и общие создает определенный разрыв между номинативными знаниями и замещающими их синтагматическими знаниями о единичных фактах, с одной стороны, и общими синтагматическими знаниями — с другой. Суть этого разрыва в том, что синтагмы, непосредственно замещающие реальные номинативные знания и тождественные им по содержанию, не могут выступать в роли общих знаний, а общие синтагматические знания имеют особое содержание и не образуются из номинативных посредством уже указанных операций практически-предметного сравнения.
Между тем никакая синтагма, как мы уже об этом говорили, не может существовать в качестве знания вне и помимо связи с номинативными знаниями: всякое формальное знание выражает объективное содержание и имеет значение лишь в силу того, что всегда может быть установлена определенная связь между ним и какими-то реальными объектами и, следовательно, само это знание может быть превращено в реальное. Другими словами, между общими синтагматическими знаниями и знаниями о единичных фактах не может быть разрыва, между ними должна существовать определенная связь, позволяющая переходить от знаний о единичных фактах к общим и обратно, должны существовать определенные процессы мышления, посредством которых эта связь сначала устанавливается, а затем на ее основе осуществляются переходы от одного знания к другому.
Рассмотрим некоторые стороны процессов мышления, посредством которых осуществляется переход от знаний о единичных фактах к общим. Мы называем их процессами согласования. Это название, являясь весьма условным, в то же время довольно точно характеризует суть этих процессов.
Дело в том, что, создавая какую-либо атрибутивную абстракцию, мы должны сравнить между собой два предмета. Выделив общее свойство этих предметов и зафиксировав его в определенном знаке, мы «создаем» класс предметов, скрыто включающий в себя уже не только эти два предмета, а неопределенно большое число их. При этом хотя выделенное свойство и очерчивает жестко границы этого класса, но очерчивает в неявной форме: сколько таких предметов и где они — все это остается неизвестным. Но это и не нужно знать, чтобы пользоваться отдельной абстракцией: сталкиваясь в дальнейшем с какими-либо единичными предметами, мы выясняем с помощью практически-предметного сравнения, обладают они выделенным в абстракции свойством или нет и тем самым принадлежат ли к образованному этой абстракцией классу. Таким образом, предметная «неопределенность» и «неограниченность» созданного отдельной абстракцией класса нисколько не мешают ее практическому употреблению.
Положение коренным образом меняется, когда мы начинаем пользоваться синтагматический формой знания. Второй знак в ней относится к реальным предметам действительности лишь через первый знак, а следовательно, он относится ко всем тем и лишь к тем предметам, к которым относится первый. Этим формальные синтагматические знания принципиально отличаются от номинативно-комплексных, в которых оба знака формы относятся к реальным предметам непосредственно вместе. Таким образом, в синтагматическом знании первый знак получает новую функцию — быть связующим или опосредствующим — и благодаря этому начинает определять тот класс предметов, к которым относится вся синтагма, а следовательно, и ее второй знак. Однако если входящие в синтагму абстракции (А) и (В) были образованы независимо друг от друга, то у нас, как уже было выяснено, не может быть никакой уверенности в том, что все реальные предметы, обладающие свойством А, обладают одновременно свойством В. Наоборот, наиболее вероятным является то, что эти абстракции очерчивают разные по своему предметному содержанию группы, «создают» разные классы, и поэтому отнесение знака (В) к реальным предметам через знак (А), т.е. ко всем предметам, обладающим свойством А, приведет к неверным результатам. Отсюда мы сделали вывод, что синтагма общего знания не может объединять любые свойства предметов, а должна объединять лишь те, которые всегда или необходимо сопутствуют друг другу. Но это значит, что, создавая общее синтагматическое знание, мы должны, выделив какое-либо свойство и образовав тем самым класс, выяснить затем, какими еще свойствами обладают всебез исключения предметы этого класса, и лишь эти свойства можем объединять с первым в общем знании.
Совершенно очевидно, что процессы мышления, посредством которых решается эта задача, непохожи на практически-предметное сравнение и даже на сравнение вообще. Простейшим примером процессов такого рода, специфичным как раз для рассматриваемого (атрибутивного) этажа мышления является так называемая индукция через простое перечисление [7].
По своим результатам индукция может быть разделена на подтверждающую и опровергающую. Получение отрицательного знания о единичном факте в ходе индукции приводит либо к тому, что отвергается сама необходимость установления общей связи знака (В) с реальными предметами X, Y, Z… через знак (А), т.е. вообще «отклоняется» его опосредствующая роль, либо к тому, что преобразуются содержание и, соответственно, связи значения согласуемых знаков: например, знак (А), оказавшийся с точки зрения знака (В) «неполноценным» заместителем класса предметов X, Y, Z…, «усовершенствуется» путем расщепления на два знака — (А1), обозначающий те предметы класса (А), которые обладают свойством В, и (А2), обозначающий предметы этого же класса, которые свойством В не обладают. Возможны и другие процессы преобразования области содержания и значимости знаков, организуемых в синтагму общего знания. Во всех случаях в результате этого процесса устанавливается и закрепляется в языке обобщенная взаимосвязь (А) — (В), уже не наталкивающаяся на противоречия при применении к сравнительно широкой области действительности. Таким образом, задача и результат индукции заключаются в том, чтобы на пути поединичной эмпирической проверки «согласовать» области значимости объединяемых знаков (А) и (В) и таким способом образовать общее синтагматическое знание.
Однако нетрудно заметить, что индукция через простое перечисление не может справиться со стоящей перед ней задачей адекватным образом. Действительно, с одной стороны, всякая абстракция «собирает» в класс неопределенно большое множество предметов, с другой стороны, создавая общее синтагматическое знание, мы должны, зафиксировав в знаке первую абстракцию, выяснить затем, какими еще свойствами обладают все без исключения предметы класса, образованного этой абстракцией. Совершенно очевидно, что сделать это, перебирая по одному предметы неопределенно большого класса, невозможно. Это обстоятельство создало целую литературу об индукции (довольно полный перечень ее см. в [Write 1957]). Поэтому, образуя общее синтагматическое знание и желая выяснить, какие еще свойства всегда или необходимо связаны с первым, выделенным нами, мы должны перевести исследование в принципиально инуюплоскость и осуществить иные процессы мышления, принципиально отличные от «индуктивного согласования». Эти процессы мышления сложились на более высоких этажах, на этажах уже научного мышления — прежде всего в математике. Они характеризуются тем, что связь свойств, выделяемых в предметах, устанавливается не после образования соответствующих абстракций, как при индукции, а в процессе и самим способом их формирования. Благодаря этому полностью снимается задача поединичной эмпирической проверки справедливости выделенной связи. Условно мы будем называть эти процессы образования общего формального знания дедуктивным [8] согласованием.
Подробный анализ их может быть проведен только при изучении более высоких уровней и этажей языкового мышления и полностью выходит за рамки нашей работы. Нам важно здесь установить только то, что существуют особые процессы мышления (индуктивные и дедуктивные), обеспечивающие переход от знаний о единичных фактах к общим, и что, следовательно, существуют устанавливаемые в этих процессах строго однозначные связи между реальными номинативными знаниями и общими формальными синтагматическими знаниями [9].
4. Обосновывая превращение одних синтагматических знаний в общие и запрещая это превращение для других, процессы согласования как бы «отделяют» те свойства реальных объектов, которые можно приписывать обобщенным заместителям, от свойств, которые им приписывать нельзя. Но это означает, что в общем синтагматическом знании имеет особые значения и несет на себе особые функции не только первый знак (он является обобщенным заместителем), но и второй, который обозначает уже не просто свойство единичных предметов, а свойство, общее для всех предметов определенного класса. Он становится уже не знаком свойства какого-либо непосредственно данного реального предмета, а знаком признака обобщенного заместителя. Если вернуться к примерам знаний, которые мы уже приводили выше: «Металл лежит на столе» и «Металл проводит электричество и тепло», то можно сказать, что вторая знаковая группа первого предложения — «лежит на столе» — выражает свойство определенного единичного предмета, а вторая знаковая группа второго предложения — «проводит электричество и тепло» — признак обобщенного заместителя. Таким образом, обособление синтагмы (А) — (В) и превращение ее в общее формальное знание сопровождается полным преобразованием значений и функций, входящих в нее знаков.
IV. Синтагматический комплекс
1. В предыдущих разделах было выяснено, что применение одной операции практически—предметного сравнения к какому-либо реальному предмету Х дает специфически мыслительное номинативное знание. Наглядно-схематически оно выражается в формуле Х—(А). Последовательное применение двух различных операций практически-предметного сравнения к этому предмету ведет к образованию номинативно- комплексного реального знания вида Х—(А)(В), которое затем (при определенных условиях) превращается в формальное синтагматическое знание вида (А)—(В).
По своему содержанию, а также по способам образования и употребления формальные синтагматические знания подразделяются на знания об единичных фактах и общие знания. Переход от знаний о единичных фактах к общим совершается посредством особых процессов мышления, которые условно были названы процессами согласования. Эти процессы позволяют из числа всех связей сосуществования свойств предметов, установленных в разных единичных случаях, выделять действительные, т.е. необходимые, связи. Только таким образом связанные свойства предметов могут фиксироваться в виде общих формальных знаний.
Для дальнейшего здесь важно специально отметить также, что из двух синтагм, (А)—(В) и (В)—(А), совершенно равноценных и равновероятных, пока они являются знаниями о единичных фактах, как правило, только одна может стать общим знанием, именно та, у которой на первом месте стоит свойство, присущее менее широкому классу предметов. Это вытекает из характера процессов согласования; посредством них мы проверяем, все ли предметы, обладающие свойством А, обладают также свойством В, и объединяем в общее формальное знание только те знаки свойств, которые удовлетворяют этому требованию, но мы не проверяем в общем случае, все ли предметы, обладающие свойством В, обладают также свойством А. Таким образом, из всех синтагм, являющихся знаниями о единичных фактах, выделяются и закрепляются в качестве общих знаний только те, в которых первый знак соответствует классу, в котором все предметы обязательно обладают также и вторым свойством, а второй — более широкому классу, из которого только некоторые предметы входят в первый класс.
2. Предметы объективного мира, уже известные со стороны двух свойств и соответственно уже зафиксированные в знаниях вида Х—(А)(В), Х···(А)—(В) и т.п., могут стать объектом других практически-предметных сравнений. Выделяемые в этих сравнениях свойства — к примеру, С, D — первоначально выражаются в несвязанных, не объединяемых друг с другом номинативных или синтагматических знаниях вида Х—(С), Х···(А)—(С), Х···(В)—(D) и т.п., но затем эти знания объединяются, входят в связь друг с другом и образуют многознаковые формы знания (соответственно — многознаковые общие формальные знания) более высоких степеней экстенсивности.
Мы оставляем в стороне все вопросы о том, почему и как в плане фило- или онтогенеза происходит это объединение, как «согласовываются» области значимости всех объединяемых знаков и т.п., и для упрощения предположим, что существуют такие классы А, что все входящие в них предметы обладают общими свойствами В, C, D. Это предположение (в сочетании с положением о наибольшей вероятности закрепления в качестве общих знаний тех синтагм, у которых первым является знак свойства, присущего самой узкой группе предметов) позволяет нам взять из массы всех возможных комбинаций синтагматических знаний одну группу общих формальных знаний — (А)—(В), (А)—(С), (А)—(D) и т.д., — которая сокращенно выражается в знании (А)—(В)(С)(D)…, и сосредоточить все внимание на анализе его функционального строения.
Прежде всего бросается в глаза, что взаимосвязь нового знания (А)—(В)(С)(D)… по своему строению подобна номинативно-комплексному знанию вида Х—(В)(С)(D)… и, очевидно, может рассматриваться как замещение последнего, тождественное с ним в ряде свойств. В то же время эта взаимосвязь возникает из синтагматических знаний и, очевидно, сохраняет многие их свойства. Поэтому общее формальное знание вида (А)—(В)(С)(D)… целесообразно назвать общим синтагматически-комплексным знанием, или просто — общим синтагматическим комплексом.
Как разновидность синтагматического знания комплекс (А)—(В)(С)(D)… сохраняет все те содержания, значения и функции, которые были у простого синтагматического знания (А)—(В). Одновременно он имеет известные особенности в своем строении и за счет этого получает новые дополнительные содержания, значения и функции. Действительно, уже само наглядно-схематическое изображение общего синтагматического комплекса делает прозрачным тот факт, что атрибутивный знак (А) занимает в его взаимосвязи особое место: он является тем знаком, к которому посредством связи значения как бы «притягиваются» все другие знаки, тем центром, вокруг которого группируются общие синтагматические знания заданной группы и который связывает их между собой. Благодаря этому знак (А) приобретает во взаимосвязи синтагматического комплекса особую функцию. Эта функция проявляется в двоякой форме: как центр объединения сложившихся независимо друг от друга синтагм знак (А) получает функцию знака группировки; как знак, «впитавший» в себя содержания и значения других знаков синтагматического комплекса, он выступает в качестве знака сокращения всех имеющихся знаний о предметах класса А.
Будучи меткой в номинативном знании Х— (А) (или обобщением в ряде таких знаний), атрибутивный знак (А) обозначал весь предмет (или класс предметов) со всем множеством его свойств (соответственно — их общих свойств), однако обозначал только потенциально, так как эти свойства не были выделены и отражены в мысли. Теперь, после того как выделены и зафиксированы в особых знаках многие свойства предметов класса А, после того как они все вошли в связь со знаком (А), он становится для всех людей как бы представителем, знаком сокращения всех этих свойств не только потенциально, но и реально, он как бы «впитывает» в себя все их значения.
Когда мы, например, произносим слово металл, то у каждого, кто имеет знание о металлах, возникает не только и не столько отнесение этого слова к каким-то объективным телам, но он, кроме того (и прежде всего), связывает это слово с известными признаками металлов, такими, как ковкий, теплопроводный, электропроводный и др. А это и значит, что он использует слово металл не только в качестве абстракции и метки, но и как знак сокращения разветвленной системы знания, фиксированной в целом ряде предложений. Но, чтобы быть знаком сокращения, это слово, очевидно, уже раньше должно было быть знаком группировки, тем знаком, к которому «привязывались» все остальные. Иначе объяснить функционирование этого слова в качестве знака сокращения невозможно.
Нетрудно заметить, что функции знака группировки и знака сокращения в формальном синтагматическом комплексе сплетаются с функцией обобщенного заместителя, усиливая и структурно закрепляя ее, что, безусловно, способствует в дальнейшем также и ее грамматико-морфологическому выделению.
3. С превращением знака обобщенного заместителя одновременно в знак группировки и сокращения его первоначальное абстрактное значение, как правило, «теряется» среди всех других абстрактных компонентов знания, в которое он входит, т.е. среди абстрактных значений знаков (В), (С), (D)…, и это вполне понятно, так как теперь знак обобщенного заместителя как бы «впитал» в себя все абстрактные значения знаков, входящих в синтагматический комплекс, стал знаком их всех.
Этот факт хорошо известен и уже давно зафиксирован в истории различных наук, в языкознании и в логике. Особенно наглядно он прослеживается в этимологиях различных слов. Так, в греческом языке во времена Демосфена и Плутарха слова μεταλλιχος и μεταλλιχα (от μεταλλιχον — рудник и карьер) стали употреблять для обозначения предметов, добываемых в рудниках (ископаемых, рудных) (см., например, [Дворецкий 1958, т. 2: 1081]; ср. также [Boisaeq 1916: 630].).
Следовательно, в то время эти слова имели строго фиксированное абстрактное значение. Но затем в связи с увеличением числа предметов, добываемых в рудниках, и прогрессирующим изучением их они приобрели новые функции — знака группировки и знака сокращения — и потеряли свое первоначальное абстрактное значение. Металлами стали называть предметы, которые не добывались в рудниках, и, наоборот, многие из добываемых в рудниках предметов металлами уже не называли [10].
Точно так же первоначальным абстрактным значением, по которому Лавуазье образовал слово кислород (oxygéne), было: кислость порождающий. Но вскоре же, с доказательством того, что соляная кислота не содержит кислорода, это абстрактное значение было отброшено, и слово кислород сохранило лишь функции знака группировки, знака сокращения и обобщенного заместителя (см., например, [Шатанштейн 1949: 23-27]). Подобные примеры потери первоначального абстрактного значения знаками языка можно было бы приводить без конца.
В ходе указанного процесса знак обобщенного предмета заместителя действительно становится знаком предмета как такового, знаком носителя всех свойств, противостоящего каждому из них в отдельности, т.е. знаком субстрата (ср. [Зигварт 1908 b: 99-117]). А соответственно этому на основе изменения структуры знания происходит изменение его категориальной характеристики: из атрибутивного оно превращается в субстрат-атрибутивное.
Конечно, в плане фило- и онтогенеза это превращение связано с целым рядом других формальных и содержательных изменений в строении и средствах «языкового мышления» как целого. Специально разбирать их в рамках настоящей работы мы не можем, нам важно лишь указать на факт потери знаком обобщенного заместителя своего первоначального абстрактного значения в структуре синтагматического комплекса как на то обстоятельство, которое способствует морфологическому выделению существительных и прилагательных и должно быть принято во внимание при языковедческом анализе соответствующих процессов.
4. Если теперь, вернувшись назад, сопоставить между собой связи значения и соответственно функции знаков в рассмотренных структурах атрибутивного знания, то нетрудно заметить, что они распадаются на три существенно различающиеся между собой группы.
Функции абстракции, метки и обобщения возникают за счет связей знаков формы с объективным содержанием. Чтобы отметить это, назовем указанные функции и лежащие в их основе связи объективно—содержательными.
Функции предмета-заместителя и признака, в противоположность этому, возникают за счет тех связей между знаками внутри формы, которые замещают (и эту сторону дела нужно особенно подчеркнуть) объективно-содержательные связи. Мы называем эти функции и создающие их связи формально-содержательными.
Особое место среди функций знаков в атрибутивных знаниях занимают функции опосредования, знака группировки и знака сокращения. Они не являются результатом связи знаков с каким-либо особым объективным содержанием и поэтому не входят в число объективно-содержательных функций. Но точно так же они не являются результатом формального замещения какой-либо объективно-содержательной связи и поэтому не входят в число формально-содержательных функций. Эти функции появляются у знака формы тогда, когда он сам является составляющим элементом какой-либо связи значения (объективно-содержательной или формально-содержательной), когда он входит как бы «внутрь» этой связи, определенным образом перестраивая ее. Например, в знании Х— (А) —(В)(C)(D)… знак (А) может рассматриваться как составляющий элемент объективно-содержательной связи значения знаков (В), (С) и (D). Мы называем такие функции знаков сложного атрибутивного знания формально-структурными, или чисто формальными.
5. Специально надо отметить, что, рассматривая связь атрибутивных знаков (В)(С)(D)… со знаком обобщенного заместителя (А), мы оставили в стороне вопрос о связи знаков (B), (C), (D)… непосредственно между собой и, следовательно, в этом плане рассматривали их как неорганизованную совокупность. В действительности же эти атрибутивные знаки чаще всего связаны не только со знаком (А), но и между собой и образуют не просто совокупность знаков, а сложную внутреннеорганизованную структуру. Однако, чтобы исследовать закономерности строения этих структур, необходимо принять во внимание не только категорию субстрат-атрибутивности, но и ряд других, более сложных категорий, в частности категории действия, отношения, связи и др., что, естественно, не может быть сделано в рамках настоящей работы. Здесь нам важно подчеркнуть то, что до тех пор, пока мы не принимаем во внимание эти более сложные категории, дальнейшее увеличение степени экстенсивности знания, т.е. увеличение числа содержательно значащих знаков в нем, нисколько не меняет его строения. Поэтому все то, что мы говорили относительно связей значения и соответствующих им функций в синтагматическом комплексе степени три и четыре, справедливо и для комплексов любой более высокой степени экстенсивности, если только они остаются «чисто» субстрат-атрибутивными.
V. Процессы соотнесения общего формального знания с единичными объектами
1. В предыдущих разделах работы было показано, что общее формальное атрибутивное знание (синтагма или синтагматический комплекс) является результатом строго определенного сложного процесса мышления, объединяющего в себе целый ряд операций практически-предметного сравнения и «процессов согласования». Вместе с тем оказывается, что с появлением общих формальных знаний существенным образом меняются процессы выработки новых реальных знаний.
Действительно. Предположим, во-первых, что какой-то предмет Х впервые попадает в сферу нашей практической деятельности и мы посредством практически-предметного сравнения открываем в нем свойство А. Это дает нам возможность отнести к предмету Х знак (А) и образовать номинативное знание Х— (А). Предположим, во-вторых, что у нас уже имеется общее формальное знание об обобщенном заместителе (А), содержащее, к примеру, пять признаков. Чтобы практически исследовать предмет Х дальше и получить о нем знание, соответствующее уже имеющемуся знанию об обобщенном заместителе, мы должны проделать еще пять операций практически-предметного сравнения. Дело долгое и трудное, а для отдельного индивида часто и просто невозможное. При этом полученное в результате практического исследования знание еще раз, на единичном факте, подтвердит нам правильность имеющегося общего формального знания, но в самом процессе исследования последнее не будет принимать никакого участия. Это один из возможных путей исследования. Другой путь исследования этого же единичного предмета основан на использовании уже имеющегося формального знания. Здесь мы производим только одно практически-предметное сравнение — когда выясняем, что предмет Х принадлежит к классу А, и выражаем это в номинативном знании Х— (А), — а затем, вместо того чтобы производить еще пять практических операций, чисто формально «присоединяем» к полученному номинативному знанию уже имеющееся общее формальное знание (А) —(В)(С)(D)… и на основании этого «приписываем» предмету Х все те свойства, которые принадлежат обобщенному заместителю (А), хотя в этомпредмете практически они и не были выявлены. Благодаря меньшему числу составляющих частей и, главное, благодаря чисто формальному характеру своей второй части последний путь исследования является значительно более выгодным и экономным: он дает тот же самый результат, что и первый путь, но более легкими для индивида средствами, а поэтому, при наличии формального знания, он всегда замещает первый путь исследования.
Результатом разобранного процесса мышления является реальное знание о единичном предмете — Х— (А) —(В)(С)(D)… Но в большинстве случаев в таком виде знание о единичном предмете нам не нужно.
Действительно, в непосредственной производственной деятельности, чтобы осуществить какое-либо единичное практическое действие с предметами, нам важно бывает учесть одно какое-либо свойство каждого из них или небольшую группу свойств, так как практическое действие всегда определяется только одним (простым или сложным) свойством. Иначе говоря, нам бывает нужно знание номинативного типа или замещающее его. Сложные многознаковые формы, выражающие всестороннее знание об исследуемых предметах, нужны нам только в теоретическом исследовании, но там мы никогда не имеем дело с единичными предметами.
Кроме того, в общем формальном знании, с помощью которого мы получили знание о единичном предмете, знак (А) играл роль предмета, но, после того как знание о единичном получено, он уже не может больше выступать в указанной функции, так как в этой взаимосвязи знания есть другой предмет, именно сам реальный предмет Х.
Поэтому в полученном сложном знании о единичном предмете Х знак (А) и все знаки абстракции, кроме одного или небольшой группы их, не нужны и должны быть «исключены». Проделав это исключение, мы получим новое знание Х— (В) или Х— (С), в котором знак нужной нам абстракции относится к реальному предмету уже непосредственно.
В этом новом знании общее формальное знание (А)В)(С)(D) исчезает, иначе говоря, «снимается», элиминируется, и поэтому рассмотренный процесс мышления в свете своего результата выступает просто как обнаружение в предмете Х нового свойства В или С. Но это не обычное обнаружение свойства единичного предмета. Оно достигается на основе общего знания и чисто формальным путем, вне и помимо специального практически-предметного исследования предмета Х. Чтобы получить его, нам достаточно «присоединить» к практически полученному знанию Х— (А) имеющееся уже общее формальное знание (А) —(В)(С)(D)… и затем «исключить» опосредствующий знак (А) и сопутствующие знаки признаков (С), (D)… .
Разобранный процесс получения номинативного (или номинативно-комплексного) знания о предмете Х, к примеру знания Х— (В), включающий в себя, во-первых, практически-предметную операцию получения другого номинативного знания Х— (А) и, во-вторых, формальную деятельность получения знания Х— (B), исходя из реального знания ХА) и общего формального знания (А) —(В)(С)(D)…, мы называем процессом соотнесения общего формального знания с единичным объектом, или просто процессом соотнесения [11].
2. Приведенный анализ процесса соотнесения позволяет осуществить весьма широкое и, на наш взгляд, важное обобщение.
Все процессы мышления, по определению (см. [Щедровицкий, Алексеев 1957 b]), направлены на получение нового (для индивида или для коллектива) знания. Но внутри этой общей задачи процессы мышления могут идти двумя существенно различными путями. В одном случае новое реальное знание получается с помощью общего формального знания посредством процесса соотнесения. Этот процесс дает новое знание, поскольку существующее формальное знание (или форма) связывается с новым объектом, но он не прибавляет новой формы к уже существующим (у индивида или коллектива). Во втором случае при получении нового знания имеет место не только смена объекта, но и изменение самой формы: в результате процесса мышления появляется новая форма, какой не было в наборе уже имеющихся знаний, и при этом вырабатывается новое значение абстракции, соответствующее новому абстрактному объективному содержанию. Мы говорим о выделении в действительности нового абстрактного содержания, о появлении новой абстракции.
В соответствии с указанным различием все существующие процессы мышления могут быть разбиты на две группы: одну будут составлять процессы, в результате которых вырабатываются новые формы знания, кратко — порождающие процессы, другую — процессы соотнесения уже готовых, сложившихся форм знания с новыми реальными объектами, кратко — процессы соотнесения.
Между процессами, порождающими новые формы знания, структурой этих форм и процессами соотнесения форм знания с реальными объектами существует определенная связь. Всякая форма знания есть не что иное, как снятый результат определенного порождающего процесса. С другой стороны, процессы соотнесения (как особые процессы исследования реальных объектов) появляются с возникновением сложных форм общего знания или, соответственно, общих формальных знаний и представляют собой сокращение соответствующих порождающих процессов мышления на основе и благодаря полученным новым формам (новым формальным знаниям). Характер процесса соотнесения зависит от того, с какой формой он имеет дело, а следовательно, опосредованно также и от того, каков был процесс, породивший эту форму.
3. Важно отметить, что процесс соотнесения как особый процесс мышления возникает лишь вместе с особыми мыслительными действиями — «присоединением» и «исключением», которые мы назвали формальными. Первое действие — «присоединение» — мы производим, объединяя два знания: номинативное, предположим Х— (А), и общее формальное, в котором этот же знак (А) выполняет роль обобщенного заместителя, — в одно сложное реальное знание Х— (А) —(В)(С)(D)… Второе действие — «исключение» — мы производим «выбрасывая», «вычеркивая» из этой взаимосвязи знак обобщенного заместителя и некоторые знаки признаков и относя оставшиеся знаки признаков обобщенного заместителя непосредственно к предмету Х.
Формальные действия не имеют никаких аналогов в действиях с содержанием; они не замещают каких-либо преобразований содержания. Эти действия возникают лишь в связи с задачами соотнесения, как частичные мыслительные действия; они имеют смысл только в системе процесса соотнесения или в системе других вырастающих на его основе целостных процессов мышления; ни в одном случае, взятые самостоятельно, они не дают перехода от одного знания к другому, а поэтому не являются процессами (или операциями) мышления в собственном смысле этого слова (см. [Щедровицкий, Алексеев 1957 b]). Но из этого, в частности, следует исключительно важное положение, что эти действия нельзя рассматривать в одном ряду с мыслительными операциями или с процессами мышления (порождающими новые формальные знания и соотнесениями). Они могут рассматриваться только в особом плане абстракции, как частичные мыслительные действия. Но если сделать эту оговорку и учесть все вытекающие из нее следствия, то в определенных границах указанные формальные действия можно рассматривать как «операции мышления». Это будет соответствовать общему определению процессов и операций, так как внутри процесса соотнесения, в связи с имеющимся формальным знанием и на его основе, эти действия дают переход к новому знанию, т.е. при этих условиях выполняют рольмыслительных операций. Поэтому мы будем называть их «формальными операциями». (Таким образом, мы можем говорить, что в состав процесса соотнесения входят три операции: первая — практически-предметное сравнение, вторая — «присоединение» и третья — «исключение». Первая является «реальной» операцией, вторая и третья — «формальными».)
4. Введение понятия о «формальных» операциях и противопоставление их процессам (или операциям) мышления в собственном смысле имеет, на наш взгляд, исключительно важное значение. Формальной логике (включая сюда и математическую логику) чуждо понимание знания как «двухплоскостной» структуры вида:
Все элементы знания она рассматривает как расположенные в одной плоскости: либо в плоскости знаковой формы, либо в плоскости обозначаемого знаками — «понятий» или чувственных образов. Вместе с тем в формальной логике не ставится вопрос о том, как выделяются «единицы содержания» из общего «фона» действительности. Подобно элементам знаковой формы, эти единицы предполагаются уже заданными, и их «плоскость» рассматривается как точное зеркальное отражение плоскости знаковой формы (принцип параллелизма знаковой формы и содержания мышления). Это в свою очередь предопределяет возможное понимание мыслительной деятельности. Все логические операции и действия рассматриваются в теориях формальной логики, во-первых, как лежащие только в одной плоскости (знаковой формы или содержания — это с точки зрения принципа параллелизма безразлично) и в этом плане как однородные, во-вторых, как чистая комбинаторика наперед заданных, неизменных единиц. Но это, в частности, означает, что фактически формальная логика может исследовать и всегда исследовала только формальные действия и не схватывала процессы мышления в их целостности. Описание этих формальных действий в небольшой (только «разговорно-словесной») части языка (ср. [Щедровицкий 1957 a]) получило название теории вывода, или теории следования.
Понимание знания как двухплоскостной структуры, напротив, с самого начала заставляет различать три вида логических действий: 1) действия с объектами(или со знаками, заместителями объектов), посредством которых выделяются определенные единицы объективного содержания; они получили название сопоставлений [Щедровицкий, Алексеев 1957 b]; 2) действия по установлению связи значения между объективным содержанием и знаковой формой; мы назвали их отнесениями [Щедровицкий, Алексеев 1957 b]; 3) чисто формальные действия, осуществляющиеся в контексте процессов соотнесения; они предполагают систему формы (языка) со строго фиксированными элементами и связями между ними и осуществляются в соответствии со строго установленными правилами перехода от одних связей этой системы формы к другим [12].
Только в определенной связи, в единстве друг с другом логические действия всех этих трех видов образуют собственно операции и процессы мышления.
Между тем формальная логика всегда занималась действиями исключительно третьего вида и не рассматривала действия первой и второй групп. Именно это обстоятельство дает нам право утверждать, что формальная логика не изучает действительных процессов мышления (ср. [Щедровицкий, Алексеев 1957 b]).
Даже в случаях, когда мы имеем дело, казалось бы, с чисто словесными, чисто знаковыми рассуждениями, мы должны, если хотим выделить и исследовать действительные процессы мышления, применить к этим рассуждениям указанный подход и выделить среди входящих в них знаков 1) «объекты-заместители», т.е. знаки, функционально играющие роль объектов, и 2) знаки, образующие форму знания, т.е. знаки, фиксирующие результаты применения действий сопоставления к «объектам-заместителям». Собственно, только такой подход, как бы разносящий в две разные плоскости «материал» словесного или всякого другого языкового рассуждения, и создает специфику действительно логического рассмотрения, создает особую и (что очень важно) целостную логическую действительность.
К сожалению, именно этих принципиальных моментов нашей точки зрения не увидел А.А.Зиновьев. Он пишет: «Сопоставление — отражение двух или более различных предметов в процессе построения высказывания или термина… Если отражение предметов при их сопоставлении совершается уже в терминах и высказываниях, то сопоставление полностью описывается в понятиях теории следования, теории определения и т.д.» [Зиновьев 1959: 72]. Но ведь в нашем понимании сопоставление как раз не есть отражение предметов, а есть действие с самими предметами или со знаками, выступающими в роли предметов. И введено было понятие сопоставления именно для того, чтобы отличить действия с предметами и со знаками, выделяющие новое абстрактное содержание в действительности, от формальных действий со знаками, которые никакого нового абстрактного содержания не выделяют.
Позиция, занятая А.А.Зиновьевым, кажется тем более странной, что в других своих работах (например, [Зиновьев 1959 a]) он строит весь анализ на различении этих двух типов действий. Для этого он сначала постулирует тождество формы простейшего знания «Ра» и его содержания (в терминологии А.А.Зиновьева — объекта) Ра [Зиновьев 1959 a: 115], тем самым вводя группу знаков (или знаний), выступающих в роли объектов; затем, переходя к анализу содержания знаний о связи, он отказывается от принципа тождества и вводит (путем описания сопоставления !) особое изображение для содержания знания (ситуации и наборы) (там же, с. 116-117) и особое изображение для знаковой формы, фиксирующей это содержание (там же, с. 118-123). В этой работе специально подчеркивается, что в структуре формы, фиксирующей знание о связи, содержательные отношения сопоставления элиминированы: «Когда полиситуационные полипредметные знания получены, то в ряде случаев их строение явно обнаруживается лишь со стороны их расчленения по фиксируемым объектам. Например, в знании “Если (Qа), то (RЬ)” прежде всего обнаруживается расчленение на “Qа” и “RЬ”, а тот факт, что слова “Если…, то…” сокращенно фиксируют вторую ситуацию, допустим (-Qа) · (-RЬ), остается в тени. В ряде же случаев явно обнаруживается лишь расчленение по фиксируемым ситуациям. Например, в знании “В ситуации I имеет место (Qа) и (RЬ), в ситуации же II — (-Qа) и (-RЬ)” скрыт тот факт, что оно может быть представлено как соединение знания о а и знания о b. А между тем только соединение обеих сторон придает им характер знаний особого рода» (там же, с. 118-119).Но тогда, в частности, не имеет смысла говорить, что сопоставление предметов или знаков, играющих роль предметов, полностью описывается в понятиях теории следования.
5. Нетрудно заметить, что первые две операции разобранного процесса соотнесения — практически-предметное сравнение и «присоединение» — и сами по себе, независимо от третьей операции — «исключения», — могут быть рассмотрены как целостный процесс мышления, и притом в соответствии с общим определением также как процесс соотнесения, так как посредством него мы от одного знания о единичном предмете — номинативного Х(А) — и с помощью общего формального знания (А) —(В)(С)(D)… — переходим к другому знанию об этом же единичном предмете — сложному, многознаковому, с формой, тождественной общему формальному знанию, именно к Х— (А) —(В)(С)(D)… Чтобы отличить указанные двусоставные процессы мышления от разобранных выше трехсоставных, мы будем называть их процессами подведения единичного объекта под общее формальное знание, или просто процессами подведения. Как правило, процесс подведения осуществляется внутри процесса соотнесения. По-видимому, не было бы ошибкой сказать даже резче: процесс подведения возникает лишь для целей соотнесения, как составляющая часть процесса соотнесения, первоначально имеющая смысл лишь в его общей системе, и только в дальнейшем он обособляется и начинает функционировать в качестве относительно самостоятельного процесса мышления.
6. Мы рассматривали условия возникновения и общее строение процессов подведения и соотнесения на материале знаний субстрат-атрибутивного типа. Но это не значит, что указанные процессы существуют и применяются только на этом «этаже» мышления. Напротив, эти процессы мышления встречаются на всех без исключениях «этажах» и входят в качестве составляющих элементов почти во все реальные процессы исследования. Там, где связи между знаками общего формального знания по своему содержанию являются связями просто сосуществования (раздел III), там процессы подведения и соотнесения осуществляются непосредственно по разобранной выше схеме. Там же, где в связях формы отражается объективная структура, там процессы подведения и соотнесения осуществляются в усложненной и модифицированной форме. Анализ этих более сложных процессов подведения и соотнесения предполагает специальный анализ типов структур знания.
Рассматривая процессы соотнесения на примере знаний субстрат-атрибутивного типа, мы, естественно, имели в качестве первой входящей в их состав операции практически-предметное сравнение. Однако в процессах соотнесения вообще свойство, выделяемое в объекте посредством первой операции, не обязательно должно быть атрибутом какого-либо субстрата. В равной мере оно может быть свойством- функцией или характеристическим свойством какой-либо связи. Тогда в качестве первой операции в процессах соотнесения мы будем иметь уже не практически-предметное сравнение, а какую-либо другую операцию. Так, например, чтобы установить наличие причинной связи между предметами Х и Y, мы должны сопоставить между собой по крайней мере две ситуации, объединяющие эти предметы. Если в ситуациях при наличии Х обязательно будет присутствовать и Y, а при отсутствии Y обязательно будет отсутствовать и Х [13], то мы получим право, во-первых, «подвести» связь между Х и Y под понятие причинной связи, т.е. утверждать, что Х является причиной Y, и, во-вторых, сможем «отнести» все известные признаки причинной связи к данному единичному случаю связи Х и Y.
Таким образом, чтобы обнаружить характеристическое свойство причинной связи, надо проделать операцию, отличную от практически-предметного сравнения. Точно так же первой операцией в процессах соотнесения может быть операция, выделяющая в рассматриваемых предметах свойство-функцию. Но это изменение «содержательной» и «технической» характеристик первой операции не меняет общей структуры процессов соотнесения как целого и функциональных взаимоотношений составляющих ее частей.
VI. Простейшее «определение», его назначение и структура
1. В предыдущих разделах было показано, что появление общих формальных знаний (синтагм или синтагматических комплексов) существенным образом меняет процесс выработки новых реальных знаний, т.е. знаний о единичных объектах: вместо того чтобы осуществлять ряд практически-предметных сравнений исследуемого объекта Х с объектами-эталонами, мы применяем к нему одну операцию практически-предметного сравнения, получаем посредством нее номинативное знание вида Х— (А), а затем чисто формальным путем объединяем его с уже имеющимся общим формальным знанием (А) —(B)(С)(D)… Результатом этого процесса — сокращенно мы называем его процессом подведения — является реальное знание вида Х— (А) —(В)(С)(D)…, такое же, какое мы получили бы, применив к исследуемому объекту Х, к примеру, четыре операции практически-предметного сравнения. Посредством чисто формальной операции исключения это знание может быть преобразовано в целый ряд номинативных знаний вида Х— (В), Х— (С) или номинативно-комплексных вида Х— (В)(С)… Указанный процесс получения этих знаний, взятый в целом, мы сокращенно назвали процессом соотнесения.
Важно специально отметить, что реальное знание об объекте Х, полученное посредством процессов подведения или соотнесения, отличается от таких же (по содержанию и структуре) знаний, полученных посредством ряда практических предметных операций, только тем, что имеет вероятно -истинный характер.
Из анализа структуры процессов подведения и соотнесения следует, что знак обобщенного заместителя (А) играет в них, а вместе с тем и в самих формальных знаниях особую роль: он связывает формальное знание как целое с единичными объектами и в этом плане является знаком—посредником. Но, чтобы выполнить эту роль успешно, т.е. чтобы обеспечить вероятно-истинный характер знаний об объекте Х, получаемых с помощью процессов подведения и соотнесения, знак обобщенного заместителя должен иметь только одно строго установленное абстрактное значение, соответствующее той и всегда только той операции практически-предметного сравнения, которая лежит в основе номинативного знания Х— (А) и выделяет класс предметов, обозначаемый обобщенным заместителем (А), — именно этот класс предметов подразумевается при выработке общего формального знания (А) —(В)(С)(D)… Однако, как уже было показано в разделе IV, с превращением знака обобщенного заместителя одновременно в знак группировки и сокращения его собственное первоначальное абстрактное значение и соответствующая этому значению познавательная операция «теряются» среди значений и операций всех других знаков, которые он объединяет вокруг себя в общем формальном знании, т.е. знаков (В), (С), (D)… Но если знак обобщенного заместителя «теряет» свое особое абстрактное значение, то он перестает соответствовать строго определенному классу предметов окружающей действительности и в силу этого уже не может быть тем знаком, через который осуществляется связь формального знания как целого с единичными объектами. Вместе с тем теряет свой смысл и значение само формальное знание: исчезает возможность соотносить его с единичными объектами и развертывать дальше, находя новые общие свойства какого-либо класса предметов. Чтобы вновь стать «полноценным» и получить возможность участвовать в процессах подведения и соотнесения, формальное знание должно каким-то образом «вернуть» знаку обобщенного заместителя его особое строго определенное абстрактное значение. Это достигается особым путем: в системе формального знания появляется еще один знак — будем обозначать его (а), — «принимающий на себя» то абстрактное значение, которое раньше было у знаков обобщенного заместителя. (Поэтому, несмотря на увеличение числа знаков в форме и соответственно в формальном знании, экстенсивность знания остается прежней.)
Если, к примеру, мы имеем общее формальное знание «Кислота есть соединение, содержащее водород, способный замещаться металлом с образованием соли, образующее в водном растворе положительно заряженный ион водорода и проводящее электрический ток, при нейтрализации щелочи дающее соль и воду, воздействующее как катализатор на некоторые химические реакции, например превращение целлюлозы в моносахариды, гидролиз жиров и т.д.», то для того, чтобы использовать его в процессах соотнесения, т.е. при практическом исследовании конкретных веществ, мы должны, кроме того, знать, что «Все то, что окрашивает лакмус в красный цвет, — кислота» или, по меньшей мере, что «Все кислое — кислота». Если мы возьмем последний пример, то сделанное выше замечание о том, что новый знак «принимает на себя» то абстрактное значение, которое раньше было у знака обобщенного заместителя, станет совершенно ясным: ведь первоначальное содержание слова «кислота» и было «кислое на вкус», и лишь постепенно в ходе развития понятия о кислоте в него вошли, «включились» все те признаки, которые сейчас перечисляются при введении этого понятия в учебниках и руководствах. В более сложных случаях значение знака, о котором мы говорим, не соответствует первоначальному абстрактному значению знака, ставшего обобщенным заместителем, и той операции, которая выделяла содержание, фиксировавшееся в этом знаке, но это происходит только в силу дополнительного процесса изменения содержания всего знания о кислоте, начинающегося уже после того, как возник этот новый знак, и в силу того, что он вступил в связь со знаком обобщенного заместителя и принял на себя особую функциональную роль в системе формального знания. Анализ закономерностей этого процесса должен стать предметом особого исследования.
2. Новый знак свойства возникает в системе формального знания в связи с процессами подведения и соотнесения и лишь для них. Он должен обеспечить ту связь между формальным знанием как целым и реальными предметами, которая разорвалась из-за потери знаком обобщенного заместителя своего особого абстрактного значения. Поэтому в процессах подведения и соотнесения этот знак должен встать между знаком обобщенного заместителя и реальными предметами. Тогда структура реального знания, являющегося результатом процесса подведения, приобретает вид Х— (а) —(А)(В)(С)(D)…, а структура общего формального знания, используемого в этом процессе, соответственно вид (а) —(А) —(В)(С)(D)… Сопоставим новые усложненные структуры знаний с прежними.
Знаковое образование (а) —(А) в новой структуре выступает в качестве функционального замещения знака (А) прежней структуры и поэтому как целое несет на себе все те функции и значения, которые были у прежнего знака (А). В то же время внутри этого образования происходит распределение функций между его элементами: новый знак (а) принимает на себя функции абстракции и обобщения прежнего знака, а за знаком (А) остаются лишь функции обобщенного заместителя, знака группировки и знака сокращения. Важно специально отметить, что здесь происходит также расщепление функции обобщения: одна из сторон обобщения остается связанной с функцией абстракции; это — обобщение, непосредственно связанное с познавательной операцией и выделяемым ею свойством; другая сторона оказывается связанной с замещением класса предметов как таковых и соответственно с функциями группировки и сокращения. Функция посредника остается за обоими знаками, но несколько изменяется: знак (а) в процессах подведения является посредником между реальными предметами и обобщенным заместителем, а знак (А) в этих же процессах — посредником между знаком свойства (а) и знаками других свойств (В)(С)(D)… В процессах соотнесения роль посредника играет все образование (а) —(А) в целом.
Но самое важное изменение, которое претерпевает структура знания, заключается в появлении связи принципиально нового типа, именно между знаками (а) и (А). Если мы возьмем формальное знание вне связи с процессами подведения и соотнесения, то знак (а) выступает в нем просто как знак признака обобщенного заместителя наряду со всеми другими знаками признаков. Структура формального знания в этом случае должна быть записана так: (А) — (а)(В)(С)(D)… Связи, соединяющие знаки признаков со знаками обобщенного заместителя, в общем случае являются ограниченно—двусторонними, т.е. такими, что переход по ним без всяких ограничений совершается лишь от знака обобщенного заместителя к знакам признаков, слева направо, а когда мы хотим перейти в противоположном направлении, от знаков признаков к знаку обобщенного заместителя (в традиционной логике это называется обращением), то в общем случае должны ввести дополнительный ограничивающий квантор «некоторые». К примеру, мы говорим, что «все кислоты — соединения», но вместе с тем, оборачивая это предложение, мы скажем, что только «некоторые соединения — кислоты». В то же время нетрудно заметить, что знак (а) может выполнить свою опосредствующую функцию в процессах подведения и соотнесения (ради которой он был введен) только в том случае, если связь между ним и знаком обобщенного заместителя будет неограниченно—двусторонней: только в этом случае он сможет остаться знаком признака и в то же время сможет становиться между знаком обобщенного заместителя и реальными предметами в процессах подведения и соотнесения, так чтобы движение шло от него к знаку предметов. Например, мы говорим, что «все кислоты окрашивают лакмус в красный цвет», но точно так же мы говорим, что «все вещества, окрашивающие лакмус в красный цвет, — кислоты».
Благодаря особому характеру своей связи со знаком обобщенного заместителя признак (а) занимает особое место среди всех других признаков в системе общего формального знания: он приобретает особую, чисто формальную функцию — быть выделяющим признаком, очерчивающим границы того класса обобщения, с каждым членом которого как целое может быть соотнесено общее формальное знание.
Часто выделяющее свойство называют существенным и рассматривают как свойство, занимающее особое место «внутри» самих объектов. Это понимание является одним из следствий принципа параллелизма формы и содержания мышления, принятого в традиционной логике (см. [Щедровицкий, Алексеев, Костеловский 1960 c]); оно глубоко ошибочно. В реальных объектах нет «выделяющих» свойств; все свойства каждого из них вместе составляют его индивидуальность и его отличие, все они вместе выделяют его из других объектов. Свойство, которое мы принимаем в качестве выделяющего, принадлежит каждой единичности, входящей в класс, к которому относится формальное знание (а) —(А) —(В)(С)(D), но это свойство «отличает» или «выделяет» каждую из них, взятую саму по себе, ничуть не больше, чем любое другое ее свойство. Только объединяя ряд единичностей в один класс, отражая объекты этого класса в виде одной логической конструкции, представляющей собой систему знаков, мы порождаем задачу выделить среди всех знаков, из которых строится эта логическая конструкция, какой-то один, который бы обеспечивал определенность и постоянство того класса предметов, к которым мы относим эту конструкцию. Только в силу этой задачи знак (а), а вместе с тем и фиксируемое им свойство приобретают особое значение в системе формального знания и для самих объектов. Иначе говоря, свойство, фиксируемое как выделяющее, является «существенным» для каждого объекта только с точки зрения задачи подведения этого объекта под определенное формальное знание; если мы подводим этот объект под другое формальное знание, то «существенным» становится другое свойство.
Истинный смысл и значение проблемы существенности связаны совсем не с атрибутивным знанием. Эта проблема возникает только в контексте логико-диалектических исследований связей и структур самих объектов, т.е. в контексте процессов восхождения от абстрактного к конкретному.
3. Значение и содержание знака (а) всегда имеют операционный характер. Когда выделяющий признак выражается развернутой языковой формой, подобной уже приведенным выше: «Кислота — то, что окрашивает лакмус в красный цвет » или «Элемент — то, что не может быть разложено (заданным образом) на более мелкие части », — то это обнаруживается особенно отчетливо, но в принципе операциональная природа значения и содержания этого знака может быть выявлена и во всех других случаях. Если мы возьмем, к примеру, такую форму, как уже приведенная «кислота — кислое», то без труда обнаружим за знаком (а) — «кислое» — схему операции практически-предметного сравнения: «кислое» — значит «вызывающее кислый вкус во рту», т.е. определенное изменение в индикаторе I (см. раздел I), но эта характеристика изменения индикатора, вызванного воздействием исследуемого объекта, по определенной схеме переносится на сам объект.
Операционная природа выделяющего признака самых разнообразных знаний, а вместе с тем и необходимость сознательного выделения ее рельефно обнаруживаются также в процессах обучения. Исключительно характерными в этом отношении являются опыты П.Я.Гальперина и Н.Ф.Талызиной по формированию понятий «прямая линия», «перпендикуляр», «прилежащие углы» и т.п. [Гальперин, Талызина 1957: 29-37].
4. Как видно уже из примеров, приведенных выше, выделяющий признак может быть (а чаще всего является) сложным, т.е. включает в себя целый ряд знаков, определенным образом связанных между собой. Тогда взаимосвязь «выделяющий признак — обобщенный заместитель» оказывается уже не просто связью двух знаков, а сложным многознаковым образованием, занимающим особое место в системе целостного формального знания. Именно это образование в традиционной логике принято называть «определением», или «дефиницией». Собственно, если говорить точнее, то только эти многознаковые образования, обладающие определенной внутренней структурой (чаще всего «родо-видовой» ), и называют «определением», а на простейшие образования вида (а) —(А) эту характеристику не распространяют.
В противоположность этим подходам мы считаем, что уже простейшая взаимосвязь (а) —(А), функционирующая в системе процессов подведения и соотнесения, обладает всеми необходимыми признаками определения; она является «чистой» моделью определения, наиболее удобной для функционально-структурного исследования. Анализ этой модели, проведенный выше, позволяет ввести понятие об определении так: определение есть такая взаимосвязь знака признака и знака обобщенного заместителя в системе общего формального знания, которая позволяет осуществлять процессы подведения единичных объектов под это формальное знание и процессы соотнесения этого знания с единичными объектами. Сама связь между знаками признака и обобщенного заместителя должна быть неограниченно—двусторонней, а признак — операциональным. Иначе можно сказать так: определение — это взаимосвязь между знаками обобщенного заместителя и выделяющего признака.
5. Исследовать детали развития структуры и функций определения — задача специальных работ. Здесь мы хотим указать только на существование двух существенно различных линий, по которым может идти это развитие.
Первая заключается в усложнении формы выражения выделяющего признака и связана, с одной стороны, с объективным усложнением той системы сопоставлений предметов, посредством которой выделяется содержание, фиксируемое в этом признаке, с другой — с осознанием этой системы сопоставлений. Так, например, переход от определения «Кислота — вещество, содержащее кислород» к определению «Кислота — вещество, содержащее водород, дающий в водном растворе положительно заряженный ион» объяснятся объективным изменением самой системы сопоставлений, а переход от определения «кислое — кислота» к определению «то, что вызывает ощущение кислого во рту, — кислота» обусловлен осознанием структуры сопоставления. В этом случае определение сохраняет свою общую «грубую» схему (а) —(А) и развертывается только за счет появления новой, более «тонкой» системы связей внутри самого (а).
Вторая линия заключается в усложнении общей, «грубой» структуры определения, в увеличении числа функционально различающихся элементов в ней. Она обусловливается усложнением и канонизацией тех формальных систем, в которые объединяются отдельные формальные знания. Нетрудно, например, заметить, что наравне и одновременно со знанием (а) —(А) —(В)(С)… должны существовать и применяться знания (b) —(B) —(E) —(F)…, (e) —(E) —(M)(N)… и т.п. Необходимость использовать все эти разнообразные знания в сложных процессах мышления, стремление сделать эти процессы предельно формальными, ставят задачу объединить их в целостные формальные системы, что в свою очередь порождает задачу найти простые и отчетливые правила организации, обеспечивающие внутреннюю непротиворечивость этих систем и возможность формально «двигаться» внутри них в максимально большем числе направлений. Одним из способов такой организации явилась так называемая «родо-видовая» система знания, при которой определение получило структуру (а)(В) —(А), где (А) — «вид», (а) — «видообразующее отличие», (В) — «род», который выступает в функции знака сокращения, объединяющего все те признаки, кроме (а), которыми может обладать (А) как знак сокращения.
Мы ограничимся этим коротким замечанием относительно различий во «внутренней» структуре определений, так как ни анализ возможных типов сопоставлений предметов, посредством которых мы получаем содержание выделяющих признаков, ни анализ принципов организации формальных систем знания не входят в задачи настоящей работы.
Нам важно подчеркнуть только то, что, по какой бы линии ни шло развитие структуры определения, его назначение, или функция, в процессах мышления остается и должна оставаться неизменной. Эта функция — осуществлять связь между двумя плоскостями знания: плоскостью объектов и выделяемого в них содержания и плоскостью формальных знаний. Наглядно-схематическое изображение структуры определения должно фиксировать именно этот факт, эту сторону дела. Это значит, что оно должно изображать не только элементы самого определения, но и те элементы более широкой структуры, с которыми определение связано, оно должно быть, следовательно, изображением той более широкой структуры, в которую определение «вписано», «вставлено», внутри которой оно «живет», функционирует. Если воспользоваться символикой, учитывающей структуру плоскости содержания (см. [Щедровицкий 1960 a]), то подобное изображение будет иметь вид:
Оно наглядно фиксирует, что определение, по сути дела, причастно обеим плоскостям — и плоскости содержания, и плоскости формы, что его элементы и связи относятся к ним обеим. Проанализировать и понять «внутреннюю» структуру определения вне и помимо анализа его «внешней» структуры, изображенной выше, вне анализа процессов выработки этих структур и процессов их использования невозможно (см. [Щедровицкий, Алексеев 1957 b; Швырев 1960]).
6. Анализу структуры и функций определения была посвящена масса работ [14], но до сих пор остается невыясненным, какой же специфический (выделяющий) признак лежит в основе понятия «определение».
Объясняется это, на наш взгляд, прежде всего двумя основными методологическими ошибками.
Во-первых, отсутствием генетического подхода к вопросу: различные по своему внутреннему строению определения, относящиеся к разным генетическим этажам мышления, рассматриваются наряду друг с другом как одинаковые.
Во-вторых, тем — и на это обстоятельство мы уже указывали выше, — что структуры определения анализируются безотносительно к мыслительной деятельности, задающей тот «контекст», в котором «живет» и функционирует само определение.
Эти общие методологические ошибки имеют своим следствием то, что специфику определения ищут в его «внутренней» структуре (форме), в то время как ее нужно искать в роли этого образования внутри других, более «широких» структур, следовательно, в его функции. Обратной стороной этого является то, что при анализе «внутренней» структуры определения игнорируют, не учитывают сознательно его «внешние» связи, т.е. связи с содержанием и с другими элементами форм знаний, которые складываются в ходе функционирования определения.
В частности, это проявляется в том, что разрывают на части единую структуру определения, представленную на схеме (1), каждый раз берут отдельные ее части и односторонние характеристики этих частей противопоставляют друг другу как разные виды определения.
Когда, к примеру, в ходе анализа природы определения выделяют и выдвигают на передний план операциональную характеристику содержания выражения (а), т.е. (а) берут в отношении к ХD, то определение выступает как определение через абстракцию (cм. по этому поводу, например, [Яновская 1936; Кутюра 1913: 39-40, 43-49, 88-91, 96-97]).
Если же содержания выражений (а) и (В)(С)(D)… рассматривают как свойства объекта Х или признаки обобщенного заместителя (А) и берут в отношении к другим возможным свойствам и признакам, то определение выступает как реальное (см. [Ajdukiewicz 1958]).
Если, напротив, элементы взаимосвязи (а)(А) берут с точки зрения их значения и при этом отвлекаются от всего остального, в частности от функции самой этой взаимосвязи, то оказывается, что у (А) то же самое значение, что и у выражения (а), и определение в этом случае выступает как чисто номинальное, т.е. чаще всего как «конвенциональное» или «арбитрарное» установление смысла символа (А) (см. по этому поводу [Кутюра 1913: 13, 34-35, 37-38, 96-97; Ajdukiewicz1958: 119-124]).
Наконец, в тех случаях, когда связь определения рассматривают с точки зрения взаимосвязи (а) —(А) —(В)(С)(D)…, определение выступает как утверждение, обладающее «эмпирической истинностью», или, иначе, в традиционной терминологии как «синтетическое» суждение. И это верно, так как связь (а) —(А) есть лишь часть связи (а) —(В)(С)(D)… и вместе с тем (в условиях разрыва процесса соотнесения) форма проявления этой связи. В этом плане она ничем не отличается от любой другой синтагмы или синтагматического комплекса и, поскольку (А) берется как знак группировки и сокращения, нуждается в таком же оправдании посредством процессов согласования (см. раздел III) или каких-либо других.
Все перечисленные выше характеристики являются односторонними характеристиками определения (или, точнее, его частей и аспектов), но они, как правило, противопоставляются друг другу (см., к примеру, [Кутюра 1913: 37-38, 96-97]). К.Айдукевич убедительно показал, что такое противопоставление неправомерно и что различные понятия определения не исключают друг друга [Ajdukiewicz 1958]). Но это означает фактически, что эти понятия не могут быть использованы при построении единой теории мышления.
[1] Мыслительная деятельность как основание анализа типов знания должна быть задана алфавитом операций и правилами их соединения в сложные процессы [Щедровицкий, Алексеев 1957 b].
[2] Мыслительная деятельность как основание анализа типов знания должна быть задана алфавитом операций и правилами их соединения в сложные процессы [Щедровицкий, Алексеев 1957 b].
[3] Следуя за А.А.Зиновьевым, мы будем обозначать реальные предметы и их свойства просто буквами, а знаки, выражающие знание об этих предметах и свойствах, — буквами в круглых скобках.
[4] Здесь сразу же, забегая несколько вперед, заметим, что всякое замещение не просто «принимает» на себе, «впитывает», определенные свойства замещаемого, но и обязательно в определенных отношениях отличается от него: во-первых, оно принимает на себя не все свойства замещаемого (и поэтому является его абстрактным замещением), во-вторых, содержит такие свойства, которых у замещаемого не было. Эти два момента являются обязательным условием всякого замещения [Ладенко 1958 a], и если в настоящем разделе при анализе взаимоотношений между синтагмой и номинативным знанием мы останавливаемся только на первой стороне дела — на тождестве синтагмы и номинативного знания в определенном отношении, — то в следующем разделе основным предметом рассмотрения будет вторая сторона отношения замещения — различие между номинативным знанием и синтагмой.
[5] Еще раз заметим, что мы употребляем термины формальный и реальный в несколько ином смысле, чем это было до сих пор принято: в смысле существования формальные знания являются ничуть не менее действительными, чем собственно реальные знания, и даже наоборот, в реальном мышлении и общении подавляющее большинство знаний носит формальный характер. Точно так же формальные знания ничуть не менее содержательны (в обычном смысле этого слова), чем реальные знания; только их содержание является другим, нежели содержание реальных знаний. Это обстоятельство мы и хотим подчеркнуть, вводя различение формальных и реальных знаний.
[6] О приемах, необходимых для выявления объективных связей, смотри в [Зиновьев 1959 a].
[7] Общее описание этого процесса мышления см. в [Асмус 1947: 253-256; Бакрадзе 1951: 364-371].
[8] Специально отметим, что мы употребляем термин дедукция в несколько ином смысле, чем это принято в формальной логике. Для нас это не движение от общего положения к частному, а процесс образования общего формального знания, при котором связь между абстракциями устанавливается в процессе и самим способом их формирования. Указание этого признака может служить пока определением дедукции.
[9] В последние десятилетия в зарубежной логике сложилось особое направление (Г.Рейхенбах, Р.Карнап, К.Поппер и др.), которое сосредоточило свое внимание на анализе вероятностного характера общих формальных знаний и считает это основной задачей индуктивной логики. Нетрудно показать, что это направление исследования не имеет никакого отношения к исследованию строения знаний и процессов их образования и использования, хотя оно и возникло из-за непонимания этих последних сторон мышления.
[10] В средние века неопределенность абстрактного значения слова металл привела к появлению уродливого по своему логическому смыслу понятия полуметалл. В XIX веке в связи с расщеплением понятий элемента и простого тела слово металл получило два различных абстрактных выделяющих значения, что привело к двойственности соответствующего понятия, сохраняющейся, к сожалению, и до настоящего времени (cм. [Металлы 1954]).
[11] В дальнейшем на более высокой ступени развития атрибутивного знания, при так называемой «родо-видовой» организации его, формальная часть процесса соотнесения осуществляется в виде так называемых «силлогистических выводов» и как таковая была исследована уже Аристотелем. Однако в теории силлогистического вывода никогда не анализировалась первая практически—предметная часть процесса соотнесения, а следовательно, не анализировался и действительный процесс мышления, так как формальная часть этого процесса, взятая без первой, практически-предметной части, перестает быть целостнымпроцессом мышления и теряет значение и смысл познавательного процесса. Отсюда, в частности, проходящая через всю историю логики дискуссия о том, дает ли силлогизм новое знание или нет. Выход из парадоксального положения был указан еще Ридом и Д.С.Миллем (силлогизм есть переход от одного частного к другому частному через посредство общего), однако в рамках принципов традиционной логики невозможно было формализовать первую практически-предметную часть процесса и включить ее в единую систему соотнесения. Поэтому догадка Рида и Д.С.Милля не получила настоящего развития.
[12] Характерными образцами таких систем формы (языка) являются различные исчисления: собственно математические — арифметическое, дифференциально-интегральное, «алгебры» разного рода; логико-математические — исчисление классов, высказываний, различные исчисления предикатов. Менее выраженными в своих формальных моментах, но в принципе такими же системами формы являются силлогистика Аристотеля, геометрия, формализованная Д.Гильбертом, формулы реакций в химии, дополненные «рядами активности» веществ, и др.
[13] Мы не разбираем здесь все условия, необходимые для утверждения о наличии причинной связи, т.е. не указываем точно ее выделяющий признак. Подробнее об этом см. [Зиновьев 1959 a; Швырев 1959].
[14] Подробная библиография дана в работах [Dubislav 1931] и [Robinson 1954]. Из более поздних работ мы можем назвать книгу [Materna 1959] и весьма интересную статью [Ajdukiewicz 1958].