дифференциал понятия, определяемого в «логике содержания» через совокупность признаков. Это отдельный признак, данный со всей той бесконечной текучестью, которая нужна ему для стремления к пределу, и со всей той конечной определенностью, без которой он вообще не мог бы быть чем–нибудь. Это и есть в данном случае дифференциал понятия.
3. В истории логики не раз намечалась и давала интересные результаты позиция той логики, которую можно было бы назвать общим именем структурной. Деспотизм формальной логики и абстрактной метафизики, разумеется, и здесь сделал свое дело, и структурные анализы почти всегда тонули в море традиционной и популярной метафизики. Однако нам здесь совершенно ни к чему замазывать эту весьма принципиальную тенденцию логической мысли; и мы должны признать, что во многих проблемах она удачно конкурирует и с формальной логикой, и с логикой содержания. Конечно, поскольку настоящее исследование имеет совсем другую тематику, разрабатывать нам здесь проблемы структурной логики было бы совсем неуместно. Входить в ее историю и теорию—это значило бы перейти совсем к новому исследованию. Поэтому нам придется ограничиться здесь исключительно краткими соображениями, и притом для единственной цели — формулировать одну из богатейших областей мысли, где может проводиться и проводится изучаемый нами метод бесконечно–малых.
Как показывает самое название, структурная логика исходит не из объемов и не из содержания понятия, но из его структуры. Выше мы говорили о структуре как о единстве теоретического и практического, как о единстве идейного и материального, потому что в структуре обязательно должны быть определенного рода материальные части и эти материальные части должны быть объединены по какому– нибудь определенному принципу. Теперь мы можем сказать, что такое совмещение и объединение материального по какому–нибудь принципу есть то, что обычно называется целым.
Структура, вообще говоря, есть такое целое, части которого связаны между собою каким–нибудь единым принципом (или несколькими такими принципами), так что целое, будучи тем или другим положительным содержанием, не только не сводится на простую сумму его частей, но даже целиком присутствует в каждой своей части, хотя присутствует и в каждой части по–разному. Такое понятие структуры ставит сразу его в промежуточное место между объемной (количественной) и содержательной (качественной) теорией. Структура не есть ни только количество, ни только качество, т. е. ни только форма, ни только содержание. Что вообще такое соотношение между качеством и количеством возможно, у нас это широко известно хотя бы из гегелевского учения о мере. Но мера, конечно, еще не есть структура.
Разрабатывать этот вопрос ввиду его специальности мы здесь не будем. Но мы сделаем только одно замечание, которое должно указать самое направление для возможных здесь изысканий. Именно, почему мы должны считать, что в структуре понятия совмещается его объем и его содержание? И с точки зрения формальной логики, и с точки зрения «логики содержания» внесение нового признака в понятие, т. е. расширение содержания понятия, обязательно связывается с сокращением его объема. Если к признакам понятия «учащийся» мы присоединим признак «учащийся вуза», то новый объем, полученный нами, т. е. «студент», окажется беднее, чем «учащийся» вообще. По учению обеих логик, студентов меньше, чем учащихся вообще. Совсем не то имеем мы в структурной логике. Если в структуре целое как таковое присутствует в каждой своей части (хотя, как сказано, каждый раз и по–разному), то ясно, что присоединение нового признака понятия есть расширение его объема, а не его сужение, поскольку в этом вновь присоединенном признаке дается целое и поскольку он оказывается в силу этого не чем иным, как видом данной общности. Ведь что такое видовое понятие? Это, учит формальная логика, есть соединение рода и видового различия, но этот новый признак, вводимый в понятие, как раз и есть—в качестве того, что он именно признак, — видовое различие, а в качестве того, что в нем отражается целое и общее, которое он теперь характеризует, — соединение этого видового различия с данной родовой общностью. Это нужно себе хорошенько усвоить. Структура понятия есть обязательно соединение и взаимо–пронизание его содержания и его объема.
Конечно, студентов меньше, чем учащихся вообще, но это при двух условиях: надо все понятийные отношения свести на чисто количественные; и надо, когда мы говорим об учащихся вообще, забывать о студентах и, когда мы говорим о студентах, забывать об учащихся. При таком подходе действительно «студентов меньше, чем учащихся вообще». Но ведь структура понятия «учащийся» потому и есть структура, что входящие в него виды не исчезают в его безразличной общности, но сохраняются и образуют вместе некую связную картину. «Учащийся» только формально шире по объему, чем «студент». Допустим, что мы всерьез не знаем, что такое «студент». Можно ли в таком случае считать, что с появлением этого нового признака в понятии «учащийся» объем этого понятия не расширился? Покамест мы не знали, что такое «студент», мы, конечно, тем самым и к меньшему количеству учащихся применяли понятие «учащийся». А когда мы узнали, что такое «студент», то понятие «учащийся» стало и применяться нами к гораздо большему числу учащихся. Другими словами, с расширением содержания понятия «учащийся» расширился и его объем. Это, однако, возможно только потому, что, перейдя к понятию «студент», мы не забыли понятия «учащийся», а, наоборот, локализировали его в этом последнем и перенесли на него целиком это понятие «учащийся». Иначе говоря, это обогащение объема понятия «учащийся» вместе с расширением его содержания стало возможным только потому, что мы перестали рассматривать объем и содержание в их разорванности и самостоятельности, но стали рассматривать их как структурное целое: с присоединением каждого нового признака понятия возникает и новое видовое различие этого понятия, т. е. новый вид; а с устранением признака устраняется и соответствующее видовое понятие. Стоит только разорвать эту связь содержания и объема понятия, т. е. мыслить содержание независимо от того, какие объемы реально, конкретно с этим связаны, как уже придется более бедное содержание связывать с более обширным объемом, хотя бы даже мы и не имели реально этих объемов. Только уже зная, что такое «студент», мы можем считать понятие «учащийся» шире понятия «студент» по объему; а не зная этого, как можно судить о размерах объема «учащийся»? Однако если мы уже знаем, что такое «студент», то это знание само стало возможным только потому, что мы перенесли на него понятие «учащийся» (ибо «студент», который был бы не «учащийся», невозможен), т. е. тем самым перенесли на него в некотором роде и все объемы, с ним связанные (ибо если бы на «студента» переносилась бы только часть объема «учащийся», то «студент» опять–таки был бы не «учащимся», а только частью этого «учащегося»). Следовательно, самое суждение «студентов меньше, чем учащихся вообще» возможно только как формализация и обесструктурение другого суждения — «студент есть учащийся». Ибо если действительно студент есть учащийся, а учащиеся—это и школьники, и дошкольники, и учащиеся–единоличники[215], то, мысля «студент есть учащийся», мы обязательно примышляем и все эти объемы, связанные с «учащимся вообще», при условии, конечно, если мышление наше ясно и отчетливо и если все виды понятия мы мыслим как единую структуру. А тогда «студент» — более обширный объем, чем «учащийся вообще». Однако и эти все рассуждения о соотношении содержания и объема понятия в его структуре, в сущности, весьма условны и проводятся нами только в отношении и ради приспособления к популярным взглядам на содержание и объем понятия (а взгляды эти есть формальная логика). Если говорить точно, то для структурной логики не существует вовсе никакого содержания, ни объема понятий. Немного ниже—опять–таки из математики — мы увидим, [что] объем всякого понятия всегда бесконечен и что, следовательно, все понятия имеют совершенно один и тот же объем, а содержание понятия разнообразится только своей структурой. Но прежде чем заговорить об этом, укажем конкретно научный пример структурных умозаключений, не имеющих ничего общего ни с объемными, ни с признаковыми операциями.
4. В предыдущем мы уже столкнулись с тем колоссальной важности фактом, что богатейшей наукой, построенной на таких структурных умозаключениях, является химия (хотя примеров таких умозаключений достаточно и во всякой науке).
Возьмем и здесь какую–нибудь химическую формулу из самых обыкновенных, напр. H2S04+Cu0 = CuS04 + H20, т. е. формулируем, что серная кислота в соединении с окисью меди дает медный купорос плюс воду. Разве требуется тут долго разъяснять, что это умозаключение произведено решительно без всяких «включений вида в род» и решительно без всякой «логики содержания»? В предложенной формуле левая и правая стороны абсолютно тождественны по своим «признакам»: те же самые Я, S, О и Си, т. е. водород, сера, кислород и медь, которые фигурируют слева, те же самые они и в правой части. Что же переменилось? Почему в одном случае была серная кислота и окись меди, а в другом появился медный купорос и вода? Мне кажется, даже
