Самым замечательным результатом современных методов в математике является важность символической логики и строгого формализма. Математики под влиянием Вейерштрасса в современную эпоху проявили заботу о точности и отвращение к небрежным рассуждениям, каких не было среди них ранее со времен греков. Великие изобретения XVII века — аналитическая геометрия и исчисление бесконечно малых — были настолько плодотворны новыми результатами, что у математиков не было ни времени, ни склонности исследовать их основания. Философы, которые должны были взять на себя эту задачу, имели слишком мало математических способностей, чтобы изобрести новые отрасли математики, которые теперь оказались необходимыми для любого адекватного обсуждения. Таким образом, математики были пробуждены от своих «догматических снов» только тогда, когда Вейерштрасс и его последователи показали, что многие из их самых заветных положений в общем случае ложны. Маколей, противопоставляя определенность математики неопределенности философии, спрашивает, кто когда-либо слышал о реакции против теоремы Тейлора? Если бы он жил сейчас, он сам мог бы услышать о такой реакции, ибо это именно одна из тех теорем, которые современные исследования опровергли. Такие грубые удары по математической вере породили ту любовь к формализму, которая кажется тем, кто не знает ее мотива, простым возмутительным педантизмом.
Доказательство того, что вся чистая математика, включая геометрию, есть не что иное, как формальная логика, является роковым ударом по кантовской философии. Кант, справедливо заметив, что предложения Евклида не могут быть выведены из аксиом Евклида без помощи фигур, изобрел теорию познания, чтобы объяснить этот факт; и она объяснила его настолько успешно, что, когда факт оказывается лишь дефектом Евклида, а не результатом природы геометрических рассуждений, теорию Канта также приходится отбросить. Вся доктрина априорных интуиций, с помощью которой Кант объяснял возможность чистой математики, полностью неприменима к математике в ее нынешнем виде. Аристотелевские доктрины схоластов ближе по духу к доктринам, которые вдохновляет современная математика; но схоласты были стеснены тем фактом, что их формальная логика была очень дефектной, а философская логика, основанная на силлогизме, демонстрировала соответствующую узость. Что теперь требуется, так это придать величайшее возможное развитие математической логике, в полной мере признать важность отношений и затем основать на этом надежном фундаменте новую философскую логику, которая может надеяться заимствовать часть точности и определенности своего математического основания. Если это удастся успешно осуществить, есть все основания надеяться, что ближайшее будущее станет такой же великой эпохой в чистой философии, какой непосредственное прошлое было в принципах математики. Великие триумфы вдохновляют великие надежды; и чистая мысль может достичь в нашем поколении таких результатов, которые поставят наше время в этом отношении на один уровень с величайшим веком Греции.
СНОСКИ:
[11] Этот предмет принадлежит в основном г-ну Ч. С. Пирсу.
[12] Я должен был добавить Фреге, но его труды были мне неизвестны, когда писалась эта статья. [Примечание добавлено в 1917 г.]
[13] Профессор математики в Берлинском университете. Он умер в 1897 году.
[14] [Примечание добавлено в 1917 г.] Хотя некоторые бесконечные числа больше других, нельзя доказать, что из любых двух бесконечных чисел одно должно быть больше другого.
[15] Кантор не был виновен в логической ошибке в этом пункте. Его доказательство того, что не существует самого большого числа, верно. Решение этой головоломки сложно и зависит от теории типов, которая объясняется в Principia Mathematica, том I (Изд-во Кембриджского ун-та, 1910). [Примечание добавлено в 1917 г.]
[16] Это не следует рассматривать как исторически верное изложение того, что на самом деле имел в виду Зенон. Это новый аргумент в пользу его вывода, а не тот аргумент, который повлиял на него. По этому вопросу см., например, К. Д. Броуд, «Заметка об Ахиллесе и черепахе», Mind, N.S., том XXII, стр. 318-19. Много ценной работы по интерпретации Зенона было проделано с тех пор, как была написана эта статья. [Примечание добавлено в 1917 г.]
[17] С тех пор как вышеизложенное было написано, он перестал использоваться в качестве учебника. Но я боюсь, что многие из книг, используемых сейчас, настолько плохи, что это изменение не является большим улучшением. [Примечание добавлено в 1917 г.]
[18] Величайший век Греции был положен конец Пелопоннесской войной. [Примечание добавлено в 1917 г.]
VI Оглавление
О НАУЧНОМ МЕТОДЕ В ФИЛОСОФИИ
Когда мы пытаемся установить мотивы, которые привели людей к исследованию философских вопросов, мы обнаруживаем, что, говоря в широком смысле, их можно разделить на две группы, часто антагонистичные и ведущие к очень расходящимся системам. Эти две группы мотивов — это, с одной стороны, те, что происходят из религии и этики, а с другой стороны, те, что происходят из науки. Платона, Спинозу и Гегеля можно считать типичными философами, чьи интересы в основном религиозны и этичны, в то время как Лейбница, Локка и Юма можно считать представителями научного крыла. У Аристотеля, Декарта, Беркли и Канта мы находим обе группы мотивов сильно выраженными.
Герберт Спенсер, в честь которого мы собрались сегодня, естественно, был бы отнесен к научным философам: именно из науки он черпал свои данные, свою формулировку проблем и свою концепцию метода. Но его сильное религиозное чувство очевидно во многих его трудах, и именно его этические озабоченности заставляют его ценить концепцию эволюции — ту концепцию, в которой, как верило целое поколение, наука и мораль должны быть объединены в плодотворный и нерасторжимый брак.
Я убежден, что этические и религиозные мотивы, несмотря на великолепно воображаемые системы, к которым они привели, в целом были препятствием для прогресса философии и теперь должны быть сознательно отброшены теми, кто хочет открыть философскую истину. Наука изначально была запутана в подобных мотивах и тем самым была затруднена в своем продвижении. Я утверждаю, что именно из науки, а не из этики и религии, философия должна черпать свое вдохновение.
Но есть два разных способа, которыми философия может стремиться основываться на науке. Она может подчеркивать самые общие результаты науки и стремиться придать этим результатам еще большую общность и единство. Или она может изучать методы науки и стремиться применить эти методы, с необходимыми адаптациями, к своей собственной особой области. Многие философские учения, вдохновленные наукой, сбились с пути из-за озабоченности результатами, которые, как предполагалось в тот момент, были достигнуты. Не результаты, а методы могут быть с пользой перенесены из сферы специальных наук в сферу философии. То, на что я хочу обратить ваше внимание, — это возможность и важность применения к философским проблемам определенных широких принципов метода, которые оказались успешными при изучении научных вопросов.
Противостояние между философией, руководствующейся научным методом, и философией, доминируемой религиозными и этическими идеями, может быть проиллюстрировано двумя понятиями, которые очень распространены в работах философов, а именно понятием «вселенной» и понятием «добра и зла». От философа ожидают, что он расскажет нам что-то о природе вселенной в целом и даст основания либо для оптимизма, либо для пессимизма. Оба этих ожидания кажутся мне ошибочными. Я считаю концепцию «вселенной», как указывает ее этимология, простым пережитком докоперниковской астрономии: и я считаю вопрос об оптимизме и пессимизме тем, который философ будет рассматривать как выходящий за рамки его компетенции, за исключением, возможно, того, чтобы утверждать, что он неразрешим.
Во времена до Коперника концепция «вселенной» была защитима на научных основаниях: суточное вращение небесных тел связывало их вместе как все части одной системы, центром которой была Земля. Вокруг этого кажущегося научного факта сплотилось много человеческих желаний: желание верить в важность Человека в схеме вещей, теоретическое желание всестороннего понимания Целого, надежда на то, что ход природы может направляться каким-то сочувствием к нашим желаниям. Таким образом, выросла этически вдохновленная метафизика, чей антропоцентризм был, по-видимому, оправдан геоцентризмом астрономии. Когда Коперник смел астрономическую основу этой системы мысли, она стала настолько привычной и настолько тесно связала себя с человеческими стремлениями, что выжила с едва уменьшившейся силой — выжила даже после «коперниканской революции» Канта и до сих пор является бессознательной посылкой большинства метафизических систем.
Единство мира — это почти не обсуждаемый постулат большинства метафизических учений. «Реальность не просто едина и самосогласованна, но является системой взаимно детерминированных частей» — такое утверждение прошло бы почти незамеченным как простая банальность. И все же я считаю, что оно воплощает в себе неудачу в полном осуществлении «коперниканской революции» и что кажущееся единство мира — это лишь единство того, что видится одним наблюдателем или постигается одним разумом. Критическая философия, хотя и стремилась подчеркнуть субъективный элемент во многих кажущихся характеристиках мира, все же, рассматривая мир «в себе» как непознаваемый, настолько сконцентрировала внимание на субъективном представлении, что его субъективность вскоре была забыта. Признав категории работой разума, она была парализована собственным признанием и в отчаянии оставила попытку отменить работу субъективной фальсификации. Отчасти, несомненно, ее отчаяние было обоснованным, но не, я думаю, в каком-либо абсолютном или конечном смысле. Еще меньше это было основанием для радости или для предположения, что незнание, к которому оно должно было привести, может быть законно обменено на метафизический догматизм.
I
Что касается нашего нынешнего вопроса, а именно вопроса о единстве мира, то правильный метод, как я думаю, был указан Уильямом Джеймсом. «Давайте теперь повернемся спиной к невыразимым или непостижимым способам объяснения единства мира и спросим, не может ли «единство», о котором идет речь, вместо того чтобы быть принципом, быть просто именем, подобным «субстанции», описывающим тот факт, что определенные специфические и проверяемые связи обнаруживаются среди частей эмпирического потока... Мы можем легко представить себе вещи, которые не имеют никакой связи друг с другом. Мы можем предположить, что они обитают в разных временах и пространствах, как это делают сны разных людей даже сейчас. Они могут быть настолько непохожими и несоизмеримыми и настолько инертными по отношению друг к другу, что никогда не сталкиваются и не мешают друг другу. Даже сейчас могут существовать целые вселенные, настолько отличные от нашей, что мы, знающие свою, не имеем средств воспринимать их существование. Мы, однако, мыслим их разнообразие; и по этому факту вся их совокупность образует то, что в логике известно как «универсум дискурса». Образование универсума дискурса, как показывает этот пример, не предполагает никакого дальнейшего вида связи. Важность, придаваемая некоторыми монистическими авторами тому факту, что любой хаос может стать вселенной, просто будучи названным, для меня непостижима». Таким образом, мы остаемся с двумя видами единства в познаваемом мире; одно — то, что мы можем назвать эпистемологическим единством, обусловленным лишь тем фактом, что мой познаваемый мир — это то, что один опыт выбирает из общей суммы существования: другое — то пробное и частичное единство, проявляющееся в преобладании научных законов в тех частях мира, которые наука до сих пор освоила. Теперь обобщение, основанное на любом из этих видов единства, было бы ошибочным. То, что вещи, которые мы познаем, имеют общее свойство быть познаваемыми нами, — это банальность, из которой, очевидно, ничего важного не может быть выведено: явно ошибочно делать из того факта, что все, что мы познаем, познается, вывод, что, следовательно, все должно быть познаваемо. Обобщение второго вида единства, а именно того, что выведено из научных законов, было бы столь же ошибочным, хотя ошибка здесь чуть менее элементарна. Чтобы объяснить это, давайте на мгновение рассмотрим то, что называется господством закона. Люди часто говорят так, как будто это замечательный факт, что физический мир подчиняется неизменным законам. На самом деле, однако, нелегко увидеть, как такой мир мог бы не подчиняться общим законам. Взяв любой произвольный набор точек в пространстве, существует функция времени, соответствующая этим точкам, т.е. выражающая движение частицы, которая проходит через эти точки: эту функцию можно рассматривать как общий закон, которому подчиняется поведение такой частицы. Взяв все такие функции для всех частиц во вселенной, теоретически найдется некоторая одна формула, охватывающая их все, и эту формулу можно рассматривать как единый и высший закон пространственно-временного мира. Таким образом, что удивительно в физике, так это не существование общих законов, а их крайняя простота. Не единообразие природы должно нас удивлять, ибо при достаточной аналитической изобретательности любой мыслимый ход природы можно было бы показать как демонстрирующий единообразие. Что должно нас удивлять, так это факт, что единообразие достаточно просто для того, чтобы мы могли его обнаружить. Но именно эту характеристику простоты в законах природы, открытых до сих пор, было бы ошибочно обобщать, ибо очевидно, что простота была частичной причиной их открытия и поэтому не может дать оснований для предположения, что другие неоткрытые законы столь же просты.
Ошибки, к которым привели эти два вида единства, заставляют с осторожностью относиться ко всякому использованию в философии общих результатов, которые, как предполагается, были достигнуты наукой. Во-первых, при обобщении этих результатов за пределами прошлого опыта необходимо очень тщательно исследовать, нет ли какой-либо причины, делающей более вероятным то, что эти результаты справедливы для всего, что было испытано, чем то, что они справедливы для вещей универсально. Сумма всего, что испытано человечеством, представляет собой выборку из суммы всего существующего, и любой общий характер, присущий этой выборке, может быть обусловлен способом отбора, а не общим характером того, из чего опыт делает выборку. Во-вторых, самые общие результаты науки являются наименее достоверными и наиболее подверженными опровержению последующими исследованиями. Используя эти результаты в качестве основы философии, мы жертвуем самой ценной и примечательной характеристикой научного метода, а именно тем, что, хотя почти всё в науке рано или поздно требует некоторой коррекции, эта коррекция почти всегда такова, что оставляет нетронутой или лишь слегка измененной большую часть результатов, которые были выведены из посылки, впоследствии обнаруженной ошибочной. Благоразумный ученый приобретает определенный инстинкт относительно того, какие виды использования могут быть сделаны из нынешних научных убеждений, не подвергаясь опасности полного и окончательного опровержения со стороны модификаций, которые, вероятно, будут внесены последующими открытиями. К сожалению, использование научных обобщений широкого рода в качестве основы философии — это именно тот вид использования, которого следовало бы избегать инстинкту научной осторожности, поскольку, как правило, это привело бы к истинным результатам только в том случае, если бы обобщение, на котором оно основано, не нуждалось в коррекции.
Мы можем проиллюстрировать эти общие соображения на двух примерах, а именно: закон сохранения энергии и принцип эволюции.
(1) Начнем с закона сохранения энергии, или, как его называл Герберт Спенсер, постоянства силы. Он говорит:
«Прежде чем сделать первый шаг в рациональной интерпретации Эволюции, необходимо признать не только факты, что Материя неразрушима, а Движение непрерывно, но также и факт, что Сила постоянна. Попытка определить причины Эволюции была бы явно абсурдной, если бы то агентство, которому обязан метаморфоз в целом и в деталях, могло либо возникнуть, либо перестать существовать. Последовательность явлений была бы в таком случае совершенно произвольной, а дедуктивная Наука — невозможной».
Этот параграф иллюстрирует то, каким образом философ испытывает искушение придать вид абсолютности и необходимости эмпирическим обобщениям, чья приблизительная истинность в исследованных до сих пор областях может быть гарантирована только методами науки, не прибегающей к помощи метафизики. Очень часто говорят, что постоянство чего-либо является необходимым условием всякого научного исследования, и тогда считается, что эта предпосылка воплощена в некоторой величине, которую физика объявляет постоянной. Здесь, как мне кажется, кроются три различные ошибки. Во-первых, детальное научное исследование природы не предполагает никаких таких общих законов, которые, как выясняется, подтверждаются его результатами. Помимо частных наблюдений, наука не должна предполагать ничего, кроме общих принципов логики, а эти принципы не являются законами природы, ибо они лишь гипотетичны и применимы не только к действительному миру, но и ко всему, что возможно. Вторая ошибка заключается в отождествлении постоянной величины с постоянной сущностью. Энергия — это определенная функция физической системы, но не вещь или субстанция, сохраняющаяся во всех изменениях системы. То же самое верно и для массы, несмотря на то, что масса часто определялась как количество материи. Вся концепция количества, включающая в себя, как она это делает, численное измерение, основанное в значительной степени на конвенциях, гораздо более искусственна, гораздо более является воплощением математического удобства, чем принято считать теми, кто философствует о физике. Таким образом, даже если бы (чего я ни на минуту не могу допустить) постоянство какой-либо сущности входило в число необходимых постулатов науки, было бы чистой ошибкой выводить из этого постоянство какой-либо физической величины или априорную необходимость любой такой постоянности, которая может быть обнаружена эмпирически. В-третьих, с прогрессом физики становится все более очевидным, что широкие обобщения, такие как закон сохранения энергии или массы, далеко не достоверны и, весьма вероятно, являются лишь приблизительными. Масса, которую раньше считали самой несомненной из физических величин, теперь, как полагают, варьируется в зависимости от скорости и является, по сути, векторной величиной, которая в данный момент различна в разных направлениях. Детальные выводы, сделанные из предполагаемого постоянства массы для таких движений, которые изучались в физике, останутся почти точными, и поэтому в области старых исследований требуется очень мало модификаций старых результатов. Но как только такой принцип, как закон сохранения массы или энергии, возводится в универсальный априорный закон, малейшая неудача в абсолютной точности становится фатальной, и вся философская структура, воздвигнутая на этом фундаменте, неизбежно рушится. Благоразумный философ, поэтому, хотя он может с пользой изучать методы физики, будет очень осторожен в том, чтобы основывать что-либо на том, что в данный момент является наиболее общими результатами, по-видимому, полученными этими методами.