Страница:
= II КЛАССИФИКАЦИЯ НАУК
{В предисловии ко второму изданию я говорил уже о своем желании увеличить этот очерк. В настоящее время, на основании некоторых новых соображений, я решился уступить своему старому желанию и прибавить несколько новых доказательств в защиту моей классификации.
Непосредственная причина такого изменения решения состоит в том, что Проф. Бэном в его Логике были сделаны мне многочисленные возражения. Так как эти возражения находятся в сочинении, написанном для школьного употребления, то они должны были привлечь мое внимание более, чем все другие, какие только могли возникнуть из обычных приемов обыкновенной критики; всякое возражение, остающееся без ответа, оставляет в уме более короткое предубеждение.
Как только я мог воспользоваться перерывом моих обыкновенных работ, чтобы ответить на эти возражения, я счел нужным заодно укрепить в то же время и мои доказательства, выставив их с новой точки зрения. Июнь 1871. (Предисл. автора к 3-му изданию).}
В опыте о "Генезисе науки", опубликованном первоначально в 1854 г, я старался показать, что науки не могут быть рационально расположены в рядовом порядке. В этом сочинении (посвященном отчасти критике классификации Конта) я доказывал, что ни порядок последовательности, по которому Конт располагает науки, ни всякий другой порядок, по какому только их можно расположить, не представляют ни логической, ни исторической их зависимости. Я оставил тогда в стороне вопрос об отношениях наук друг к другу, теперь же я имею в виду исследовать именно этот вопрос.
Истинная классификация заключает в один класс такие предметы, которые имеют между собой больше общих признаков, чем каждый из них имеет со всеми остальными предметами, не входящими в этот класс. Кроме того, признаки, общие всем собранным в один класс предметам и не принадлежащие другим предметам, заключают в себе большее число соподчиненных им признаков. Это две стороны одного и того же определения, потому что вещи, обладающие сообща наибольшим числом общих свойств, суть именно те, которые обладают сообща этими существенными свойствами, от которых зависят другие; и наоборот, общее обладание существенными свойствами подразумевает и общее обладание наибольшим числом свойств вообще. Из этого следует, что можно пользоваться тем и другим началом, смотря по обстоятельствам и надобности.
Следовательно, если и возможно классифицировать науки, то сделать это можно, только группируя вместе сходные предметы и отделяя несходные, согласно определению, данному выше. Попробуем сделать это.
Самое широкое естественное деление наук распределяет их на два класса: на науки, занимающиеся абстрактными отношениями, в которых представляются нам явления, и на науки, изучающие сами явления. Отношения, какого бы то ни было рода, имеют друг с другом больше сродства, чем с какими бы то ни было иными предметами. Предметы, какого бы то ни было рода, имеют друг с другом более сродства, чем с каким бы то ни было отношением. Будут ли пространство и время, как это некоторые думают, лишь формами мышления { Меня обвинили в непонимании и искажении учения Конта за то, что я употребил выражение "формы мышления" вместо "формы интуиции". В другом месте я показал, что мой довод против него остается одинаково в силе и при употреблении выражения "формы интуиции". Здесь же я могу прежде всего прибавить то, что я, употребляя выражение "формы мышления", следовал только некоторым контистам, а затем сослаться на то, что такое возражение - очень поверхностно и совершенно не влияет на заключение. Мысль, в широком употреблении этого слова, как противоположного слову "вещь", заключает в себе и интуицию: в этом смысле она обнимает собою все субъективное, как отличаемое от всего объективного, а раз это так, она обнимает собою и интуицию. Это еще не все. Не может быть интуиции без мышления, каждый акт интуиции подразумевает некоторый акт распознавания и классифицирования, без которого воспринятая индуктивно вещь не могла бы быть познана, как та или иная; а всякий акт различения является актом мышления.}, или же они будут, как это я сам думаю, лишь формами вещей, ставшими формами мышления посредством организованного и унаследованного опыта вещей, - одинаково верно, что пространство и время безусловно отличны от заключенных в эти условия вещей и что науки, занимающиеся исключительно пространством и временем, отделяются глубокой пропастью от наук, занимающихся вещами, заключенными в пространстве и времени. Пространство есть абстрактная идея, обнимающая все отношения сосуществования. Время есть абстрактная идея, обнимающая все отношения последовательности. А так как отношения сосуществования и последовательности, в своих общих и частных формах, составляют исключительный предмет логики и математики, то последние и образуют особый класс наук, отличающихся значительно больше от всех прочих наук, чем эти последние различаются между собой.
Науки, которые занимаются не только чистыми формами, в которых являются нам вещи, но и самими вещами, допускают подразделение менее глубокое, чем указанное выше, но более глубокое, чем какое-либо подразделение наук, рассматриваемых каждая порознь. Они разделяются на два класса, различные по характерам, целям и методам. Каждое явление более или менее сложно и является проявлением силы в нескольких различных видах. Отсюда два предмета исследований: мы можем изучать каждый из этих различных видов силы отдельно или же мы можем изучать их в их совместном действии, т. е. поскольку они участвуют в произведении этого сложного явления. В первом случае, пренебрегая всеми обстоятельствами частных случаев, мы можем стремиться к открытию законов каждого вида силы, как будто действовал лишь он один; во втором случае, принимая в соображение все обстоятельства частного случая, мы можем стремиться объяснить все явление, поскольку оно является результатом нескольких сил, действующих одновременно. Истины, получаемые первым видом исследования, хотя и конкретны настолько, насколько они касаются объективной реальности, тем не менее абстрактны, поскольку они относятся к видам существования, рассматриваемым отдельно один от другого. Между тем истины, полученные вторым путем, чисто конкретны, так как они представляют факты в их сложном состоянии, т. е. такими, как они существуют в природе.
Поэтому в главных своих подразделениях науки распределяются так:
ТАБЛИЦА II КЛАССИФИКАЦИЯ НАУК
| изучающая формы, в которых | Наука | Логика и
| являются нам явления | абстрактная | математика
|
| | в их элементах | Наука | Механика,
| | | абстракно- | физика, химия Наука | | | конкретная | и т. д.
|
| изучающая | | Астрономия,
| сами | | геология, биология,
| явления | | психология,
| в их целом | Наука | социология и т. д.
| конкретная
Необходимо сказать, в каком смысле я употребляю здесь слова абстрактный и конкретный, потому что они иногда употребляются и в других смыслах. Конт разделяет науку на абстрактную и конкретную, но отделы, которые он обозначает этими словами, совершенно отличны от тех, которые я здесь установил выше. Вместо того чтобы считать некоторые науки как вполне абстрактные, а другие как всецело конкретные, Конт считает каждую науку состоящей из части абстрактной и части конкретной. По его мнению, есть математика абстрактная и конкретная, есть биология абстрактная и конкретная. "Надо различать, - говорит он, - по отношению ко всякого рода явлениям два рода естественных наук: одни - абстрактные, общие, имеют целью открытие законов, управляющих различными классами явлений во всех случаях, какие можно представить, другие - конкретные, частные, описательные и обозначаемые иногда названием наук естественных в узком смысле, состоят в приложении этих законов к действительной истории различных существ." И чтобы подкрепить это различие примером, он указывает на общую физиологию, как на науку абстрактную, и на зоологию и ботанику, как на науки конкретные. Здесь, очевидно, слова абстрактный и общий употребляются как синонимы. Между тем они имеют различные значения, что и нужно здесь выяснить. Слово абстрактный означает отвлечение, делаемое из обстоятельств каких-либо частных явлений; слово общий обозначает проявление во многих случаях. В одном случае рассматривают существенные свойства явления, независимо от других явлений, с которыми оно может быть смешано; в другом случае рассматривают лишь повторяемость явления и его частоту, не занимаясь вовсе вопросом, было или нет данное явление смешано с другими явлениями. Идеальные отношения чисел в одно и то же время и абстрактны и общи, но вне этого абстрактная истина не может никогда быть предметом восприятия, тогда как общая истина воспринимается во всех возможных случаях. Несколько примеров сделают это различие ясным. Истина, что угол, содержащийся в полуокружности, есть угол прямой, является истиной абстрактной в том смысле, что она утверждается не относительно реальных, действительно существующих, полуокружностей и углов, которые всегда несовершенны, но относительно идеальных полуокружностей и углов, мысленно отвлекаемых от действительных; но эта абстрактная истина не есть истина общая, ни в том смысле, что она обыкновенно проявляется в природе, ни в том смысле, что она есть пространственное отношение, обнимающее собою много других второстепенных отношений того же рода; это совершенно частное пространственное отношение. Другой пример: движение какого-нибудь тела заставляет его двигаться по прямой линии с одинаковой скоростью - это истина абстрактно-конкретная; она - абстрактная, потому что она отделена от определенных случаев, составляющих конкретное явление; но эта истина отнюдь не есть истина общая; она настолько не обща, что ни один из фактов природы не обнаруживает ее нам. И обратно, то, что нас окружает, доставляет нам тысячи общих истин, не имеющих никакой абстрактности. Истина, что планеты вращаются вокруг Солнца с запада на восток, истина, которую мы можем подкрепить почти сотней примеров (со включением сюда и астероидов), есть истина общая, но она отнюдь не абстрактна, так как во всех случаях она обнаруживается для нас в конкретном явлении. Все позвоночные имеют двойную нервную систему; все птицы и млекопитающие имеют теплую кровь - вот истины общие, но конкретные, т. е. всякое позвоночное животное представляет нам в своей особе полное и безусловное проявление этой двойственности нервной системы, всякая живая птица представляет нам полный пример теплокровности. То, что мы в этом случае называем, да и должны назвать, общей истиной, есть просто предложение, которое, резюмирует определенные факты, действительно нами наблюдавшиеся, а не выражение истины, извлеченной из таких наблюдений, но никогда не проявляющейся ни в одном из наблюдаемых фактов. Другими словами, общая истина объединяет известное число частных истин, тогда как абстрактная истина не объединяет частных истин, но формулирует истину, приложимую к определенному числу явлений, но в действительности не обнаруживающуюся ни в одном из них.
Когда мы сведем таким образом слова к их действительному значению, станет очевидным, что три класса наук, указанные выше, не могут быть различаемы друг от друга по степени их общности. Все они одинаково общи или, вернее, всеобщи, если их рассматривать как группы. Каждый предмет, какой бы то ни был, доставляет одновременно каждому из них свой особый материал. В каждой частице материи мы можем одновременно открыть и истины абстрактные, которые суть отношения во времени и пространстве, и истины абстрактно-конкретные, которые суть виды частых действий проявления силы, наконец, истины конкретные, являющиеся результатами сложного действия этих различных видов силы. Таким образом, эти три класса наук занимаются, каждая порознь, классами различных, но сосуществующих явлений. В каждой группе оказываются истины более или менее общие: общие абстрактные истины и частные абстрактные истины; общие абстрактно-конкретные истины и частные абстрактно-конкретные истины; общие конкретные истины и частные конкретные истины. Но если в каждом классе есть группы и подгруппы, которые делят и подразделяют его сами по степени своей общности, то самые классы отличаются между собой только степенью абстрактности { Здесь уместно привести некоторые положения, высказанные Литтре в его недавно появившемся сочинении, озаглавленном Auguste Comte et la Philosophie positive. В своем открытом и учтивом ответе на критику классификации Конта, сделанную мною в Генезисе науки, он пытается объяснить некоторые противоречия, указанные мною, устанавливая различие между общностью объективной и субъективной. "Существует, - говорит он, - два порядка общности: одной объективной и присущей вещам, другой субъективной, абстрактной и присущей уму". Эта фраза, которою Литтре отождествляет субъективную общность с абстрактностью, заставила было меня сперва подумать, что он имел в виду то же различие, какое я выше установил между общностью и абстрактностью. Но, перечитывая это место, я заметил, что это не так. В предшествующей фразе Литтре говорит: "Биология перешла от рассмотрения органов к рассмотрению тканей более общих чем органы, а от рассмотрения тканей к рассмотрению анатомических элементов более общих, чем ткани. Но эта возрастающая общность субъективная, а не объективная; абстрактная, а не конкретная". Здесь очевидно, что слова абстрактный и конкретный имеют почти тот же смысл, какой давал им Конт, который, как мы это видели, считает общую физиологию абстрактной, а зоологию и ботанику конкретной. Очевидно также, что слово абстрактный, употребленное здесь, употреблено не в его настоящем смысле. Как было выше показано, такие факты, как анатомическая структура, не могут быть фактами абстрактными, но могут быть только более или менее общими. Я никак не могу стать на точку зрения Литтре, когда он считает эти более общие факты анатомической структуры субъективно общими, а не объективно общими. Структурные явления, представляемые какой-либо тканью, например слизистой оболочкой, более общи, чем явления, представляемые тем или иным органом, образованным слизистой оболочкой, просто в том смысле, что явления, свойственные оболочке, повторяются в большем числе случаев, чем явления, свойственные какому-либо органу, в состав которого входит эта оболочка. Точно таким же образом факты, относящиеся к анатомическим элементам тканей, более общи, чем факты, относящиеся к какой-нибудь отдельной ткани, в том смысле, что они представляют собою факты, проявляемые в большинстве случаев организованными телами; они объективно более общи и если и могут быть названы субъективно более общими, то только в том смысле, что понятие соответствует здесь явлениям.
Попытаемся разъяснить этот пункт. Литтре совершенно справедливо говорит, что объективная общность - общность убывающая. Если мы оставим в стороне явления разложения, представляющие изменения от частного к общему, все изменения, которым подвергается материя, ведут от общего к частному и суть такие перемены, которые заключают в себе убывающую общность в соединенных группах атрибутов. Таков ход вещей. Ход мысли совершается не только в том же направлении, но еще и в направлении противоположном. Изучение природы доставляет нам постоянно возрастающее число частных фактов, но оно же открывает нам в то же время и все более и более общие факты, в которые объединяются факты частные. Возьмем пример. Зоология, по мере того как она увеличивает число видов и достигает более точного знания каждого вида (убывающая общность), подвигается вперед и в деле открытия общих признаков, с помощью которых виды эти группируются в роды (возрастающая общность). Оба эти процесса субъективны, и в этом случае оба рода открываемых истин конкретны, т. е. они формулируют явления как действительно обнаруженные. Та истина, что все млекопитающие всякого рода (с одним исключением) имеют семь шейных позвонков, является обобщением - общим отношением мысли, соответствующим общему положению вещей. Так как существование семи шейных позвонков у каждого млекопитающего есть конкретный факт, то и констатирование этого есть истина конкретная, а изложение совокупности таких истин тоже характера конкретного. Литтре, вполне признавая необходимость изменить в некоторых отношениях иерархию наук в том виде, как она была установлена Контом, считает ее тем не менее верной в ее сущности и для доказательства ее состоятельности ссылается прежде всего на основную организацию (constitution) наук. Здесь нет надобности разбирать подробно те аргументы, какими он пользуется для доказательства того, что основная организация каждой науки подтверждает тот порядок, в котором они расположены Контом. Достаточно будет сослаться на предыдущие и последующие страницы этой книги: там изложено определение этих основных признаков, требующих классификации наук, аналогичной той, какая нами предложена. Как мы это уже показали и как мы это покажем еще яснее впоследствии, коренные различия, существующие между науками, заставляют нас разделить их на три класса: на науки абстрактные, абстрактно-конкретные и конкретные. Чтобы уяснить, насколько это деление наук разнится от классификации Конта, достаточно бросить беглый взгляд на последнюю. Вот она:
Математические науки (включая рациональную механику) частью абстрактные, частью абстрактно-конкретные.
Астрономия .. ...................Конкретная
Физика........................... Абстрактно-конкретная
Химия ........................... Абстрактно-конкретная
Биология......................... Конкретная
Социология .... ................. Конкретная
}.
Переходя к подразделениям этих классов, мы находим, что первый из них может быть разделен на две части: одну, содержащую всеобщие истины, и другую, содержащую истины невсеобщие. Занимаясь исключительно отношениями независимо от вещей, в которых они существуют, абстрактная наука исследует прежде всего то, что обще всем отношениям вообще, а во-вторых, то, что обще каждому порядку отношений в частности. Кроме неопределенных и изменяющихся связей, существующих между явлениями, поскольку последние обнаруживаются во времени и пространстве, мы находим, что есть также определенные и неизменяющиеся связи; что между каждым родом явлений и известными другими родами явлений существуют однообразные отношения. Истина, что существует неизменный порядок среди вещей, как пребывающих во времени и пространстве, есть всеобщая абстрактная истина. Мы переходим затем к различным родам неизменных отношений, которые, взятые вместе, составляют предмет второго деления абстрактной науки. Самое общее подразделение этого второго отдела то, которое занимается изучением признаков или природы отношений во времени и пространстве, независимо от тех условий, в которых они существуют. Условия, позволяющие нам утверждать отношения совпадения или смежности во времени или пространстве (или отношения несовпадения или несмежности), составляют предмет логики. Здесь качество и количество терминов, между которыми утверждаются (или отрицаются) отношения, не имеют никакого значения положения логики независимы от всякого качественного или количественного определения соотносящихся вещей. Другое подразделение имеет своим предметом отношения между терминами, которые определяются количественно, но не качественно. Соотносящиеся величины изучаются здесь лишь количественно, независимо от их природы или их качеств; математика имеет целью установить законы количества, рассматриваемого независимо от действительности. Количество, рассматриваемое независимо от действительности, есть замещение пространства или времени, а замещение пространства или времени измеряется единицами того или другого порядка, из которых крайние единицы являются просто отдельными пунктами в сознании или одновременными или последовательными. Среди этих единиц, природа которых не определена (экстенсивная, протенсивная или интенсивная), но которым ум дает идеальное существование независимо от атрибутов, количественные отношения являются самыми общими отношениями, какие могут быть выражены числами. Отношения этого рода распадаются на два отдела сообразно тому, рассматриваются ли единицы просто как способные занять отдельные места в сознании или как занимающие места не только отдельные, но и равные. В первом случае мы имеем то неопределенное исчисление, которым определяются как числа абстрактных существований, так и количества их. Затем идет тот отдел математики, который занимается количественными отношениями величин (или агрегатами единиц), рассматриваемых как существующие или занимающие часть пространства; - этот отдел называется геометрией. Наконец, мы доходим до тех отношений, члены которых заключают в себе одновременно и количества длительности и количества протяженности, до тех отношений, в которых время измеряется единицами пространства, проходимого с постоянной быстротой, и в которых при равных данных единицах времени измеряются пространства, проходимые с постоянной или переменной скоростями. Эти абстрактные науки, излагающие исключительно отношения или отношения отношений,, могут быть сгруппированы, как показано в таблице III.
ТАБЛИЦА III
Абстрактная наука
Всеобщий закон отношений. - Формула, выражающая ту истину, что между видами бытия существуют однообразные отношения, независимо от природы и особых признаков этих однообразий:
Законы отношений - качественные или такие, которые определены по природе своей как отношения совпадения или смежности во времени и пространстве, но которые могут быть и не определены в числах своих, свойства и количества которых здесь безразличны (Логика)*:
Количественные (математика):
а) Отрицательно, когда члены отношений суть положения в пространстве с определенными отношениями между собою, а утверждаемые факты суть отрицания известных количеств (Начертательная геометрия)**
б) Положительно, когда члены суть величины, состоящие из единиц, которые равны между собою только в том, что они существуют независимо друг от друга (Неопределенное исчисление)***
в) Равных единиц: равенство которых не определено как экстенсивное, протенсивное или интенсивное (Определенное исчисление)
I) когда числа их вполне определены (Арифметика)
II) когда их числа определены только: в своих отношениях (Алгебра, в отношении их отношений (Исчисление действий)
равенство которых есть равенство протяжения: I) рассматриваемого в его отношениях существования
(Геометрия) II) рассматриваемого во времени
которое не определено в своем целом (Кинематика),
которое подразделено на равные единицы
(Геометрия движения)****
* Это определение обнимает законы отношений, называемые необходимыми, но не законы отношений, называемые случайными. Эти последние законы, в которых вероятность соотношения изменяется с числом случая этого соотношения, известных опыту, составляют собственно предмет математики.
** Для пояснения термина отрицательно количественное здесь будет достаточно привести пример отрицательно количественного положения: три данные линии пересекаются в одной точке, потому что это положение подразумевает отрицание всякого количества пространства между их пересечениями. Точно также утверждение, что три данные точки будут всегда находиться на одной линии, есть утверждение отрицательно количественное, так как понятие прямой линии подразумевает правлению, или всякого уклонения.
*** Боясь, чтобы значение этого отдела не осталось не понятым, может быть, полезно привести здесь в виде примера вычисления статистиков. Вычисления касательно народонаселения, преступлений, болезней и т. д. достигают результатов, точных только численно, а не по отношению ко всей совокупности существований или фактов, представленных этими числами.
**** Может быть, спросят, как может существовать геометрия движения, в которую не входит понятие силы? На это можно ответить, что отношения движения во времени и пространстве могут быть рассматриваемы независимо от отношений силы, точно также как пространственные отношения материи могут рассматриваться отдельно от материи.
Переходя от наук, трактующих о бессодержательных или идеальных формах отношений, к наукам, рассматривающим реальные отношения или отношения между реальностями, мы приходим прежде всего к тем наукам, которые занимаются реальностями, не такими, как они обыкновенно являются нам, но такими, как они обнаруживаются в их различных видах, когда последние искусственно отделить один от другого.
{В предисловии ко второму изданию я говорил уже о своем желании увеличить этот очерк. В настоящее время, на основании некоторых новых соображений, я решился уступить своему старому желанию и прибавить несколько новых доказательств в защиту моей классификации.
Непосредственная причина такого изменения решения состоит в том, что Проф. Бэном в его Логике были сделаны мне многочисленные возражения. Так как эти возражения находятся в сочинении, написанном для школьного употребления, то они должны были привлечь мое внимание более, чем все другие, какие только могли возникнуть из обычных приемов обыкновенной критики; всякое возражение, остающееся без ответа, оставляет в уме более короткое предубеждение.
Как только я мог воспользоваться перерывом моих обыкновенных работ, чтобы ответить на эти возражения, я счел нужным заодно укрепить в то же время и мои доказательства, выставив их с новой точки зрения. Июнь 1871. (Предисл. автора к 3-му изданию).}
В опыте о "Генезисе науки", опубликованном первоначально в 1854 г, я старался показать, что науки не могут быть рационально расположены в рядовом порядке. В этом сочинении (посвященном отчасти критике классификации Конта) я доказывал, что ни порядок последовательности, по которому Конт располагает науки, ни всякий другой порядок, по какому только их можно расположить, не представляют ни логической, ни исторической их зависимости. Я оставил тогда в стороне вопрос об отношениях наук друг к другу, теперь же я имею в виду исследовать именно этот вопрос.
Истинная классификация заключает в один класс такие предметы, которые имеют между собой больше общих признаков, чем каждый из них имеет со всеми остальными предметами, не входящими в этот класс. Кроме того, признаки, общие всем собранным в один класс предметам и не принадлежащие другим предметам, заключают в себе большее число соподчиненных им признаков. Это две стороны одного и того же определения, потому что вещи, обладающие сообща наибольшим числом общих свойств, суть именно те, которые обладают сообща этими существенными свойствами, от которых зависят другие; и наоборот, общее обладание существенными свойствами подразумевает и общее обладание наибольшим числом свойств вообще. Из этого следует, что можно пользоваться тем и другим началом, смотря по обстоятельствам и надобности.
Следовательно, если и возможно классифицировать науки, то сделать это можно, только группируя вместе сходные предметы и отделяя несходные, согласно определению, данному выше. Попробуем сделать это.
Самое широкое естественное деление наук распределяет их на два класса: на науки, занимающиеся абстрактными отношениями, в которых представляются нам явления, и на науки, изучающие сами явления. Отношения, какого бы то ни было рода, имеют друг с другом больше сродства, чем с какими бы то ни было иными предметами. Предметы, какого бы то ни было рода, имеют друг с другом более сродства, чем с каким бы то ни было отношением. Будут ли пространство и время, как это некоторые думают, лишь формами мышления { Меня обвинили в непонимании и искажении учения Конта за то, что я употребил выражение "формы мышления" вместо "формы интуиции". В другом месте я показал, что мой довод против него остается одинаково в силе и при употреблении выражения "формы интуиции". Здесь же я могу прежде всего прибавить то, что я, употребляя выражение "формы мышления", следовал только некоторым контистам, а затем сослаться на то, что такое возражение - очень поверхностно и совершенно не влияет на заключение. Мысль, в широком употреблении этого слова, как противоположного слову "вещь", заключает в себе и интуицию: в этом смысле она обнимает собою все субъективное, как отличаемое от всего объективного, а раз это так, она обнимает собою и интуицию. Это еще не все. Не может быть интуиции без мышления, каждый акт интуиции подразумевает некоторый акт распознавания и классифицирования, без которого воспринятая индуктивно вещь не могла бы быть познана, как та или иная; а всякий акт различения является актом мышления.}, или же они будут, как это я сам думаю, лишь формами вещей, ставшими формами мышления посредством организованного и унаследованного опыта вещей, - одинаково верно, что пространство и время безусловно отличны от заключенных в эти условия вещей и что науки, занимающиеся исключительно пространством и временем, отделяются глубокой пропастью от наук, занимающихся вещами, заключенными в пространстве и времени. Пространство есть абстрактная идея, обнимающая все отношения сосуществования. Время есть абстрактная идея, обнимающая все отношения последовательности. А так как отношения сосуществования и последовательности, в своих общих и частных формах, составляют исключительный предмет логики и математики, то последние и образуют особый класс наук, отличающихся значительно больше от всех прочих наук, чем эти последние различаются между собой.
Науки, которые занимаются не только чистыми формами, в которых являются нам вещи, но и самими вещами, допускают подразделение менее глубокое, чем указанное выше, но более глубокое, чем какое-либо подразделение наук, рассматриваемых каждая порознь. Они разделяются на два класса, различные по характерам, целям и методам. Каждое явление более или менее сложно и является проявлением силы в нескольких различных видах. Отсюда два предмета исследований: мы можем изучать каждый из этих различных видов силы отдельно или же мы можем изучать их в их совместном действии, т. е. поскольку они участвуют в произведении этого сложного явления. В первом случае, пренебрегая всеми обстоятельствами частных случаев, мы можем стремиться к открытию законов каждого вида силы, как будто действовал лишь он один; во втором случае, принимая в соображение все обстоятельства частного случая, мы можем стремиться объяснить все явление, поскольку оно является результатом нескольких сил, действующих одновременно. Истины, получаемые первым видом исследования, хотя и конкретны настолько, насколько они касаются объективной реальности, тем не менее абстрактны, поскольку они относятся к видам существования, рассматриваемым отдельно один от другого. Между тем истины, полученные вторым путем, чисто конкретны, так как они представляют факты в их сложном состоянии, т. е. такими, как они существуют в природе.
Поэтому в главных своих подразделениях науки распределяются так:
ТАБЛИЦА II КЛАССИФИКАЦИЯ НАУК
| изучающая формы, в которых | Наука | Логика и
| являются нам явления | абстрактная | математика
|
| | в их элементах | Наука | Механика,
| | | абстракно- | физика, химия Наука | | | конкретная | и т. д.
|
| изучающая | | Астрономия,
| сами | | геология, биология,
| явления | | психология,
| в их целом | Наука | социология и т. д.
| конкретная
Необходимо сказать, в каком смысле я употребляю здесь слова абстрактный и конкретный, потому что они иногда употребляются и в других смыслах. Конт разделяет науку на абстрактную и конкретную, но отделы, которые он обозначает этими словами, совершенно отличны от тех, которые я здесь установил выше. Вместо того чтобы считать некоторые науки как вполне абстрактные, а другие как всецело конкретные, Конт считает каждую науку состоящей из части абстрактной и части конкретной. По его мнению, есть математика абстрактная и конкретная, есть биология абстрактная и конкретная. "Надо различать, - говорит он, - по отношению ко всякого рода явлениям два рода естественных наук: одни - абстрактные, общие, имеют целью открытие законов, управляющих различными классами явлений во всех случаях, какие можно представить, другие - конкретные, частные, описательные и обозначаемые иногда названием наук естественных в узком смысле, состоят в приложении этих законов к действительной истории различных существ." И чтобы подкрепить это различие примером, он указывает на общую физиологию, как на науку абстрактную, и на зоологию и ботанику, как на науки конкретные. Здесь, очевидно, слова абстрактный и общий употребляются как синонимы. Между тем они имеют различные значения, что и нужно здесь выяснить. Слово абстрактный означает отвлечение, делаемое из обстоятельств каких-либо частных явлений; слово общий обозначает проявление во многих случаях. В одном случае рассматривают существенные свойства явления, независимо от других явлений, с которыми оно может быть смешано; в другом случае рассматривают лишь повторяемость явления и его частоту, не занимаясь вовсе вопросом, было или нет данное явление смешано с другими явлениями. Идеальные отношения чисел в одно и то же время и абстрактны и общи, но вне этого абстрактная истина не может никогда быть предметом восприятия, тогда как общая истина воспринимается во всех возможных случаях. Несколько примеров сделают это различие ясным. Истина, что угол, содержащийся в полуокружности, есть угол прямой, является истиной абстрактной в том смысле, что она утверждается не относительно реальных, действительно существующих, полуокружностей и углов, которые всегда несовершенны, но относительно идеальных полуокружностей и углов, мысленно отвлекаемых от действительных; но эта абстрактная истина не есть истина общая, ни в том смысле, что она обыкновенно проявляется в природе, ни в том смысле, что она есть пространственное отношение, обнимающее собою много других второстепенных отношений того же рода; это совершенно частное пространственное отношение. Другой пример: движение какого-нибудь тела заставляет его двигаться по прямой линии с одинаковой скоростью - это истина абстрактно-конкретная; она - абстрактная, потому что она отделена от определенных случаев, составляющих конкретное явление; но эта истина отнюдь не есть истина общая; она настолько не обща, что ни один из фактов природы не обнаруживает ее нам. И обратно, то, что нас окружает, доставляет нам тысячи общих истин, не имеющих никакой абстрактности. Истина, что планеты вращаются вокруг Солнца с запада на восток, истина, которую мы можем подкрепить почти сотней примеров (со включением сюда и астероидов), есть истина общая, но она отнюдь не абстрактна, так как во всех случаях она обнаруживается для нас в конкретном явлении. Все позвоночные имеют двойную нервную систему; все птицы и млекопитающие имеют теплую кровь - вот истины общие, но конкретные, т. е. всякое позвоночное животное представляет нам в своей особе полное и безусловное проявление этой двойственности нервной системы, всякая живая птица представляет нам полный пример теплокровности. То, что мы в этом случае называем, да и должны назвать, общей истиной, есть просто предложение, которое, резюмирует определенные факты, действительно нами наблюдавшиеся, а не выражение истины, извлеченной из таких наблюдений, но никогда не проявляющейся ни в одном из наблюдаемых фактов. Другими словами, общая истина объединяет известное число частных истин, тогда как абстрактная истина не объединяет частных истин, но формулирует истину, приложимую к определенному числу явлений, но в действительности не обнаруживающуюся ни в одном из них.
Когда мы сведем таким образом слова к их действительному значению, станет очевидным, что три класса наук, указанные выше, не могут быть различаемы друг от друга по степени их общности. Все они одинаково общи или, вернее, всеобщи, если их рассматривать как группы. Каждый предмет, какой бы то ни был, доставляет одновременно каждому из них свой особый материал. В каждой частице материи мы можем одновременно открыть и истины абстрактные, которые суть отношения во времени и пространстве, и истины абстрактно-конкретные, которые суть виды частых действий проявления силы, наконец, истины конкретные, являющиеся результатами сложного действия этих различных видов силы. Таким образом, эти три класса наук занимаются, каждая порознь, классами различных, но сосуществующих явлений. В каждой группе оказываются истины более или менее общие: общие абстрактные истины и частные абстрактные истины; общие абстрактно-конкретные истины и частные абстрактно-конкретные истины; общие конкретные истины и частные конкретные истины. Но если в каждом классе есть группы и подгруппы, которые делят и подразделяют его сами по степени своей общности, то самые классы отличаются между собой только степенью абстрактности { Здесь уместно привести некоторые положения, высказанные Литтре в его недавно появившемся сочинении, озаглавленном Auguste Comte et la Philosophie positive. В своем открытом и учтивом ответе на критику классификации Конта, сделанную мною в Генезисе науки, он пытается объяснить некоторые противоречия, указанные мною, устанавливая различие между общностью объективной и субъективной. "Существует, - говорит он, - два порядка общности: одной объективной и присущей вещам, другой субъективной, абстрактной и присущей уму". Эта фраза, которою Литтре отождествляет субъективную общность с абстрактностью, заставила было меня сперва подумать, что он имел в виду то же различие, какое я выше установил между общностью и абстрактностью. Но, перечитывая это место, я заметил, что это не так. В предшествующей фразе Литтре говорит: "Биология перешла от рассмотрения органов к рассмотрению тканей более общих чем органы, а от рассмотрения тканей к рассмотрению анатомических элементов более общих, чем ткани. Но эта возрастающая общность субъективная, а не объективная; абстрактная, а не конкретная". Здесь очевидно, что слова абстрактный и конкретный имеют почти тот же смысл, какой давал им Конт, который, как мы это видели, считает общую физиологию абстрактной, а зоологию и ботанику конкретной. Очевидно также, что слово абстрактный, употребленное здесь, употреблено не в его настоящем смысле. Как было выше показано, такие факты, как анатомическая структура, не могут быть фактами абстрактными, но могут быть только более или менее общими. Я никак не могу стать на точку зрения Литтре, когда он считает эти более общие факты анатомической структуры субъективно общими, а не объективно общими. Структурные явления, представляемые какой-либо тканью, например слизистой оболочкой, более общи, чем явления, представляемые тем или иным органом, образованным слизистой оболочкой, просто в том смысле, что явления, свойственные оболочке, повторяются в большем числе случаев, чем явления, свойственные какому-либо органу, в состав которого входит эта оболочка. Точно таким же образом факты, относящиеся к анатомическим элементам тканей, более общи, чем факты, относящиеся к какой-нибудь отдельной ткани, в том смысле, что они представляют собою факты, проявляемые в большинстве случаев организованными телами; они объективно более общи и если и могут быть названы субъективно более общими, то только в том смысле, что понятие соответствует здесь явлениям.
Попытаемся разъяснить этот пункт. Литтре совершенно справедливо говорит, что объективная общность - общность убывающая. Если мы оставим в стороне явления разложения, представляющие изменения от частного к общему, все изменения, которым подвергается материя, ведут от общего к частному и суть такие перемены, которые заключают в себе убывающую общность в соединенных группах атрибутов. Таков ход вещей. Ход мысли совершается не только в том же направлении, но еще и в направлении противоположном. Изучение природы доставляет нам постоянно возрастающее число частных фактов, но оно же открывает нам в то же время и все более и более общие факты, в которые объединяются факты частные. Возьмем пример. Зоология, по мере того как она увеличивает число видов и достигает более точного знания каждого вида (убывающая общность), подвигается вперед и в деле открытия общих признаков, с помощью которых виды эти группируются в роды (возрастающая общность). Оба эти процесса субъективны, и в этом случае оба рода открываемых истин конкретны, т. е. они формулируют явления как действительно обнаруженные. Та истина, что все млекопитающие всякого рода (с одним исключением) имеют семь шейных позвонков, является обобщением - общим отношением мысли, соответствующим общему положению вещей. Так как существование семи шейных позвонков у каждого млекопитающего есть конкретный факт, то и констатирование этого есть истина конкретная, а изложение совокупности таких истин тоже характера конкретного. Литтре, вполне признавая необходимость изменить в некоторых отношениях иерархию наук в том виде, как она была установлена Контом, считает ее тем не менее верной в ее сущности и для доказательства ее состоятельности ссылается прежде всего на основную организацию (constitution) наук. Здесь нет надобности разбирать подробно те аргументы, какими он пользуется для доказательства того, что основная организация каждой науки подтверждает тот порядок, в котором они расположены Контом. Достаточно будет сослаться на предыдущие и последующие страницы этой книги: там изложено определение этих основных признаков, требующих классификации наук, аналогичной той, какая нами предложена. Как мы это уже показали и как мы это покажем еще яснее впоследствии, коренные различия, существующие между науками, заставляют нас разделить их на три класса: на науки абстрактные, абстрактно-конкретные и конкретные. Чтобы уяснить, насколько это деление наук разнится от классификации Конта, достаточно бросить беглый взгляд на последнюю. Вот она:
Математические науки (включая рациональную механику) частью абстрактные, частью абстрактно-конкретные.
Астрономия .. ...................Конкретная
Физика........................... Абстрактно-конкретная
Химия ........................... Абстрактно-конкретная
Биология......................... Конкретная
Социология .... ................. Конкретная
}.
Переходя к подразделениям этих классов, мы находим, что первый из них может быть разделен на две части: одну, содержащую всеобщие истины, и другую, содержащую истины невсеобщие. Занимаясь исключительно отношениями независимо от вещей, в которых они существуют, абстрактная наука исследует прежде всего то, что обще всем отношениям вообще, а во-вторых, то, что обще каждому порядку отношений в частности. Кроме неопределенных и изменяющихся связей, существующих между явлениями, поскольку последние обнаруживаются во времени и пространстве, мы находим, что есть также определенные и неизменяющиеся связи; что между каждым родом явлений и известными другими родами явлений существуют однообразные отношения. Истина, что существует неизменный порядок среди вещей, как пребывающих во времени и пространстве, есть всеобщая абстрактная истина. Мы переходим затем к различным родам неизменных отношений, которые, взятые вместе, составляют предмет второго деления абстрактной науки. Самое общее подразделение этого второго отдела то, которое занимается изучением признаков или природы отношений во времени и пространстве, независимо от тех условий, в которых они существуют. Условия, позволяющие нам утверждать отношения совпадения или смежности во времени или пространстве (или отношения несовпадения или несмежности), составляют предмет логики. Здесь качество и количество терминов, между которыми утверждаются (или отрицаются) отношения, не имеют никакого значения положения логики независимы от всякого качественного или количественного определения соотносящихся вещей. Другое подразделение имеет своим предметом отношения между терминами, которые определяются количественно, но не качественно. Соотносящиеся величины изучаются здесь лишь количественно, независимо от их природы или их качеств; математика имеет целью установить законы количества, рассматриваемого независимо от действительности. Количество, рассматриваемое независимо от действительности, есть замещение пространства или времени, а замещение пространства или времени измеряется единицами того или другого порядка, из которых крайние единицы являются просто отдельными пунктами в сознании или одновременными или последовательными. Среди этих единиц, природа которых не определена (экстенсивная, протенсивная или интенсивная), но которым ум дает идеальное существование независимо от атрибутов, количественные отношения являются самыми общими отношениями, какие могут быть выражены числами. Отношения этого рода распадаются на два отдела сообразно тому, рассматриваются ли единицы просто как способные занять отдельные места в сознании или как занимающие места не только отдельные, но и равные. В первом случае мы имеем то неопределенное исчисление, которым определяются как числа абстрактных существований, так и количества их. Затем идет тот отдел математики, который занимается количественными отношениями величин (или агрегатами единиц), рассматриваемых как существующие или занимающие часть пространства; - этот отдел называется геометрией. Наконец, мы доходим до тех отношений, члены которых заключают в себе одновременно и количества длительности и количества протяженности, до тех отношений, в которых время измеряется единицами пространства, проходимого с постоянной быстротой, и в которых при равных данных единицах времени измеряются пространства, проходимые с постоянной или переменной скоростями. Эти абстрактные науки, излагающие исключительно отношения или отношения отношений,, могут быть сгруппированы, как показано в таблице III.
ТАБЛИЦА III
Абстрактная наука
Всеобщий закон отношений. - Формула, выражающая ту истину, что между видами бытия существуют однообразные отношения, независимо от природы и особых признаков этих однообразий:
Законы отношений - качественные или такие, которые определены по природе своей как отношения совпадения или смежности во времени и пространстве, но которые могут быть и не определены в числах своих, свойства и количества которых здесь безразличны (Логика)*:
Количественные (математика):
а) Отрицательно, когда члены отношений суть положения в пространстве с определенными отношениями между собою, а утверждаемые факты суть отрицания известных количеств (Начертательная геометрия)**
б) Положительно, когда члены суть величины, состоящие из единиц, которые равны между собою только в том, что они существуют независимо друг от друга (Неопределенное исчисление)***
в) Равных единиц: равенство которых не определено как экстенсивное, протенсивное или интенсивное (Определенное исчисление)
I) когда числа их вполне определены (Арифметика)
II) когда их числа определены только: в своих отношениях (Алгебра, в отношении их отношений (Исчисление действий)
равенство которых есть равенство протяжения: I) рассматриваемого в его отношениях существования
(Геометрия) II) рассматриваемого во времени
которое не определено в своем целом (Кинематика),
которое подразделено на равные единицы
(Геометрия движения)****
* Это определение обнимает законы отношений, называемые необходимыми, но не законы отношений, называемые случайными. Эти последние законы, в которых вероятность соотношения изменяется с числом случая этого соотношения, известных опыту, составляют собственно предмет математики.
** Для пояснения термина отрицательно количественное здесь будет достаточно привести пример отрицательно количественного положения: три данные линии пересекаются в одной точке, потому что это положение подразумевает отрицание всякого количества пространства между их пересечениями. Точно также утверждение, что три данные точки будут всегда находиться на одной линии, есть утверждение отрицательно количественное, так как понятие прямой линии подразумевает правлению, или всякого уклонения.
*** Боясь, чтобы значение этого отдела не осталось не понятым, может быть, полезно привести здесь в виде примера вычисления статистиков. Вычисления касательно народонаселения, преступлений, болезней и т. д. достигают результатов, точных только численно, а не по отношению ко всей совокупности существований или фактов, представленных этими числами.
**** Может быть, спросят, как может существовать геометрия движения, в которую не входит понятие силы? На это можно ответить, что отношения движения во времени и пространстве могут быть рассматриваемы независимо от отношений силы, точно также как пространственные отношения материи могут рассматриваться отдельно от материи.
Переходя от наук, трактующих о бессодержательных или идеальных формах отношений, к наукам, рассматривающим реальные отношения или отношения между реальностями, мы приходим прежде всего к тем наукам, которые занимаются реальностями, не такими, как они обыкновенно являются нам, но такими, как они обнаруживаются в их различных видах, когда последние искусственно отделить один от другого.