Анализ материи
БЕРТРАН РАССЕЛ, член Королевского общества
НЬЮ-ЙОРК, HARCOURT, BRACE & COMPANY, INC. ЛОНДОН: KEGAN PAUL, TRENCH, TRUBNER & CO., LTD. 1927
ОТПЕЧАТАНО В ВЕЛИКОБРИТАНИИ В ТИПОГРАФИИ BILLING AND SONS, LTD., ГИЛДФОРД И ИШЕР
CONTENTS
PREFACE vii
CHAPTER PAGE
I. THE NATURE OF THE PROBLEM 1
PART I
THE LOGICAL ANALYSIS OF PHYSICS
II. PRE-RELATIVITY PHYSICS 13
III. ELECTRONS AND PROTONS 24
IV. THE THEORY OF QUANTA 30
V. THE SPECIAL THEORY OF RELATIVITY 48
VI. THE GENERAL THEORY OF RELATIVITY 55
VII. THE METHOD OF TENSORS 63
VIII. GEODESICS 72
IX. INVARIANTS AND THEIR PHYSICAL INTERPRETATION 84
X. WEYL'S THEORY 95
XI. THE PRINCIPLE OF DIFFERENTIAL LAWS 101
XII. MEASUREMENT 109
XIII. MATTER AND SPACE 121
XIV. THE ABSTRACTNESS OF PHYSICS 130
PART II
PHYSICS AND PERCEPTION
XV. FROM PRIMITIVE PERCEPTION TO COMMON SENSE 141
XVI. FROM COMMON SENSE TO PHYSICS 156
XVII. WHAT IS AN EMPIRICAL SCIENCE? 169
XVIII. OUR KNOWLEDGE OF PARTICULAR MATTERS OF FACT 178
XIX. DATA, INFERENCES, HYPOTHESES, AND THEORIES 187
XX. THE CAUSAL THEORY OF PERCEPTION 197
XXI. PERCEPTION AND OBJECTIVITY 218
XXII. THE BELIEF IN GENERAL LAWS 229
XXIII. SUBSTANCE 238
XXIV. IMPORTANCE OF STRUCTURE IN SCIENTIFIC INFERENCE 249
XXV. PERCEPTION FROM THE STANDPOINT OF PHYSICS 257
XXVI. NON-MENTAL ANALOGUES TO PERCEPTION 265
PART III
THE STRUCTURE OF THE PHYSICAL WORLD
XXVII. PARTICULARS AND EVENTS 275
XXVIII. THE CONSTRUCTION OF POINTS 290
XXIX. SPACE-TIME ORDER 303
XXX. CAUSAL LINES 313
XXXI. EXTRINSIC CAUSAL LAWS 324
XXXII. PHYSICAL AND PERCEPTUAL SPACE-TIME 333
XXXIII. PERIODICITY AND QUALITATIVE SERIES 343
XXXIV. TYPES OF PHYSICAL OCCURRENCES 355
XXXV. CAUSALITY AND INTERVAL 367
XXXVI. THE GENESIS OF SPACE-TIME 376
XXXVII. PHYSICS AND NEUTRAL MONISM 382
XXXVIII. SUMMARY AND CONCLUSION 394
INDEX 403
ПРЕДИСЛОВИЕ
Попытка обнаружить философские результаты современной физики в настоящий момент сопряжена с большими трудностями. Ибо, хотя теория относительности достигла, по крайней мере временно, устойчивой формы, теория квантов и атомной структуры развивается с такой быстротой, что невозможно угадать, какую форму она примет через несколько лет. В этих обстоятельствах необходимо проявлять суждение относительно того, какие части теории окончательно установлены, а какие, вероятно, будут изменены в ближайшем будущем. Для того, кто, подобно автору настоящей работы, не является профессиональным физиком, проявление такого суждения затруднительно и, вероятно, иногда может быть ошибочным. Однако предмет отношения «материи» к тому, что существует, и в целом интерпретации физики в терминах того, что существует, не является исключительно физическим. Для адекватного обсуждения темы, которой посвящен этот том, помимо физики требуются психология, физиология, математическая логика и философия. Следовательно, определенные недостатки со стороны одного автора, какими бы прискорбными они ни были, возможно, едва ли избежимы.
Я признателен г-ну Р. Х. Фаулеру (члену Королевского общества), г-ну М. Х. А. Ньюману из колледжа Св. Иоанна в Кембридже и г-ну Ф. П. Рэмси из Королевского колледжа в Кембридже за ценную помощь в отношении определенных частей работы; а также д-ру Д. М. Ринч за любезное прочтение всей рукописи и предоставление многих ценных критических замечаний и предложений.
Определенные части книги были представлены в виде Тарнеровских лекций в Тринити-колледже в Кембридже в течение осеннего семестра 1926 года. Однако книга готовилась еще до получения приглашения прочитать эти лекции и содержит немало материала, для которого в лекциях не нашлось места.
Поскольку цель книги философская, я стремился по возможности избегать физических и математических технических сложностей. Однако некоторые современные доктрины, возможно, из-за их недавнего появления, мне не удалось перевести на нематематический язык. В отношении них я должен просить снисхождения нематематического читателя, если он обнаружит слишком много символов, и математического читателя, если он обнаружит их слишком мало.
Б. Р.
Январь 1927 г.
АНАЛИЗ МАТЕРИИ
ГЛАВА I. ПРИРОДА ПРОБЛЕМЫ
Помимо чистой математики, наиболее развитой из наук является физика. Некоторые части теоретической физики достигли точки, которая позволяет выстроить логическую цепь от определенных принятых посылок к следствиям, по-видимому, весьма отдаленным, посредством чисто математических дедукций. Это особенно верно для всего, что относится к общей теории относительности. Нельзя сказать, что физика в целом уже достигла этой стадии, поскольку квантовые явления, а также существование электронов и протонов остаются на данный момент грубыми фактами. Но, возможно, это положение дел продлится недолго; не является химерой надежда на то, что единая трактовка всей физики может стать возможной до того, как пройдет много лет.
Однако, несмотря на чрезвычайные успехи физики как науки, философский результат гораздо менее ясен, чем он казался, когда было известно меньше. Цель настоящей главы — обсудить, что подразумевается под «философским результатом» физики и какие существуют методы определения его природы.
Существует три вида вопросов, которые мы можем задать относительно физики или, по сути, относительно любой науки. Первый: какова ее логическая структура, рассматриваемая как дедуктивная система? Какие существуют способы определения сущностей физики и выведения предложений из начального аппарата сущностей и предложений? Это проблема чистой математики, для которой в ее фундаментальных частях математическая логика является надлежащим инструментом. Не совсем правильно говорить, как мы только что сделали, о «начальных сущностях и предложениях». То, с чего мы действительно должны начать в этой трактовке, — это гипотезы, содержащие переменные. В геометрии эта процедура стала привычной. Вместо «аксиом», считающихся «истинными», у нас есть гипотеза о том, что набор сущностей (в остальном неопределенных) обладает определенными перечисленными свойствами. Мы переходим к доказательству того, что такой набор сущностей обладает свойствами, которые составляют предложения евклидовой геометрии или любой другой геометрии, которая может занимать наше внимание. Как правило, можно будет выбрать много различных наборов начальных гипотез, которые все дадут один и тот же корпус предложений; выбор между этими наборами логически нерелевантен и может руководствоваться только эстетическими соображениями. Однако существует значительная польза в обнаружении нескольких простых гипотез, которые дадут всю дедуктивную систему, поскольку это позволяет нам знать, какие тесты являются необходимыми и достаточными при решении вопроса о том, удовлетворяет ли данный набор сущностей дедуктивной системе. Более того, слово «сущности», которое мы использовали, слишком узко, если его использовать с каким-либо метафизическим подтекстом. «Сущности», о которых идет речь, могут в данном применении дедуктивной системы быть сложными логическими структурами. Примеры этого мы имеем в чистой математике в определениях кардинальных чисел, отношений, вещественных чисел и т. д. Мы должны быть готовы к возможности аналогичного результата в физике, в определении «точки» пространства-времени и даже в определении электрона или протона.
Логический анализ дедуктивной системы — это не такое определенное и ограниченное предприятие, как кажется на первый взгляд. Это связано с обстоятельством, только что упомянутым, а именно: то, что мы сначала приняли за примитивные сущности, может быть заменено сложными логическими структурами. Поскольку это обстоятельство имеет важное значение для философии физики, стоит проиллюстрировать его эффект на примерах из других областей.
Одним из лучших примеров является теория конечных целых чисел. Вейерштрасс и другие показали, что весь анализ сводим к предложениям о конечных целых числах, когда Пеано показал, что все эти предложения выводимы из пяти начальных предложений, включающих три неопределенные идеи. Пять начальных предложений можно рассматривать как приписывание определенных свойств группе из трех неопределенных идей, причем рассматриваемые свойства имеют логический, а не специфически арифметический характер. То, что было доказано Пеано, заключается в следующем: при наличии любой триады, обладающей пятью рассматриваемыми свойствами, каждое предложение арифметики и анализа истинно для этой триады, при условии, что принята интерпретация, соответствующая этой триаде. Но далее оказалось, что существует одна такая триада, соответствующая каждой бесконечной серии 0, 1, 2, 3, ..., в которой есть ровно один член, соответствующий каждому конечному целому числу. Такие серии могут быть определены без упоминания целых чисел. Любая такая серия могла бы быть взята вместо серии конечных целых чисел в качестве основы арифметики и анализа. Каждое предложение арифметики и анализа останется истинным для любой такой серии, но для каждой серии это будет иное предложение, чем для любой другой серии.
Возьмем для иллюстрации какое-нибудь простое предложение арифметики, скажем: «Сумма первых n нечетных чисел равна n²». Предположим, мы хотим интерпретировать это предложение как применимое к прогрессии 0, 1, 2, 3, ... В этой прогрессии пусть S будет отношением каждого члена к его преемнику. Тогда «нечетные числа» будут означать «члены, имеющие к 0 отношение, которое является степенью S²», где S² — это отношение n к следующему за ним через один. Мы можем теперь определить n как означающее ту степень S, которая связывает 0 с n, и мы можем далее определить n² как означающее то n, к которому n имеет отношение Sⁿ. Это определяет интерпретацию «суммы первых n нечетных чисел». Чтобы определить n², лучше всего определить умножение. Мы определили n; рассмотрим отношение, образованное относительным произведением конверсии S вместе с S. Это отношение связывает 0 с 1; его квадрат связывает 0 с 2; его куб связывает 0 с 3 и т. д. Можно показать, что любая степень этого отношения эквивалентна определенной степени конверсии S, умноженной относительно на определенную степень S. Таким образом, существует одна степень этого отношения, которая эквивалентна движению назад от n к 0, а затем вперед; член, к которому приводит движение вперед, определяется как n². Таким образом, мы теперь можем интерпретировать n². Будет обнаружено, что предложение, с которого мы начали, истинно при такой интерпретации.
Из вышесказанного следует, что если мы начинаем с неопределенных идей и начальных предложений Пеано, арифметика и анализ касаются не определенных логических объектов, называемых числами, а членов любой прогрессии. Мы можем назвать члены любой прогрессии 0, 1, 2, 3, ..., в этом случае при подходящей интерпретации + и × все предложения арифметики будут истинны для этих членов. Таким образом, 0, 1, 2, 3, ... становятся «переменными». Чтобы сделать их константами, мы должны выбрать какую-то одну определенную прогрессию; естественной для выбора является прогрессия конечных кардинальных чисел, как определено Фреге. То, что в методах Пеано было примитивными терминами, таким образом заменяется логическими структурами, относительно которых необходимо доказать, что они удовлетворяют пяти примитивным предложениям Пеано. Этот процесс является существенным для связи арифметики с чистой логикой. Мы обнаружим, что процесс, в некоторых отношениях похожий, хотя в других очень отличающийся, требуется для связи физики с восприятием.
Общий процесс, частным случаем которого является вышеуказанное, будет называться процессом «интерпретации». Часто случается, что у нас есть дедуктивная математическая система, начинающаяся с гипотез относительно неопределенных объектов, и у нас есть основания полагать, что существуют объекты, выполняющие эти гипотезы, хотя изначально мы не можем с уверенностью указать на какие-либо такие объекты. Обычно в таких случаях, хотя многие различные наборы объектов абстрактно доступны как выполняющие гипотезы, существует один такой набор, который гораздо важнее других. В вышеуказанном примере этим набором были кардинальные числа. Подстановка такого набора вместо неопределенных объектов и есть «интерпретация». Этот процесс существенен для обнаружения философского значения физики.
Различие между важной и неважной интерпретацией может быть прояснено на примере геометрии. Любая геометрия, евклидова или неевклидова, в которой каждая точка имеет координаты, являющиеся вещественными числами, может быть интерпретирована как применимая к системе наборов вещественных чисел — т. е. точка может быть принята как серия ее координат. Эта интерпретация законна и удобна, когда мы изучаем геометрию как раздел чистой математики. Но это не важная интерпретация. Геометрия важна, в отличие от арифметики и анализа, потому что она может быть интерпретирована так, чтобы быть частью прикладной математики — фактически, так, чтобы быть частью физики. Именно эта интерпретация является действительно интересной, и поэтому мы не можем довольствоваться интерпретацией, которая делает геометрию частью изучения вещественных чисел и, следовательно, в конечном счете, частью изучения конечных целых чисел. Геометрия, как мы будем рассматривать ее в настоящей работе, всегда будет рассматриваться как часть физики и будет считаться имеющей дело с объектами, которые не являются ни просто переменными, ни определяемыми в чисто логических терминах. Мы не будем считать геометрию удовлетворительно интерпретированной до тех пор, пока ее начальные объекты не будут определены в терминах сущностей, составляющих часть эмпирического мира, в противоположность миру логической необходимости. Конечно, возможно и даже вероятно, что различные геометрии, которые были бы несовместимы, если бы применялись к одному и тому же набору объектов, могут быть применимы к эмпирическому миру посредством различных интерпретаций.
До сих пор мы рассматривали логический анализ физики, который составит тему Части I. Но в отношении интерпретации геометрии мы уже вступили в контакт с совершенно другой проблемой — а именно, проблемой применения физики к эмпирическому миру. Это, конечно, жизненно важная проблема: хотя физика может преследоваться как чистая математика, физика важна не как чистая математика. То, что можно сказать о логическом анализе физики, является, следовательно, лишь необходимым вступлением к нашей основной теме. Законы физики считаются по меньшей мере приблизительно истинными, хотя они не являются логически необходимыми; доказательства для них эмпирические. Все эмпирические доказательства состоят, в конечном анализе, из перцептов; таким образом, мир физики должен быть в некотором смысле непрерывным с миром наших восприятий, поскольку именно последний поставляет доказательства для законов физики. Во времена Галилея этот факт, по-видимому, не вызывал никаких очень трудных проблем, поскольку мир физики еще не стал таким абстрактным и отдаленным, каким его сделали последующие исследования. Но уже в философии Декарта современная проблема неявна, а с Беркли она становится явной. Проблема возникает потому, что мир физики, prima facie, настолько отличается от мира восприятия, что трудно понять, как один может служить доказательством для другого; более того, физика и физиология сами по себе, по-видимому, дают основания предполагать, что восприятие не может дать очень точной информации о внешнем мире, и, таким образом, ослабляют опоры, на которых они построены.
Эта трудность привела, особенно в работах д-ра Уайтхеда, к новой интерпретации физики, которая должна сделать мир материи менее отдаленным от мира нашего опыта. Принципы, вдохновляющие работу д-ра Уайтхеда, кажутся мне существенными для правильного решения проблемы, хотя в деталях я иногда склоняюсь к несколько более консервативной позиции. Мы можем сформулировать проблему абстрактно следующим образом:
Доказательством истинности физики является то, что восприятия происходят так, как законы физики заставляют нас ожидать — например, мы видим затмение, когда астрономы говорят, что будет затмение. Но сама физика никогда не говорит ничего о восприятиях; она не говорит, что мы увидим затмение, но говорит что-то о Солнце и Луне. Переход от того, что утверждает физика, к ожидаемому восприятию остается расплывчатым и случайным; он не обладает математической точностью, присущей самой физике. Мы должны поэтому найти интерпретацию физики, которая отводит должное место восприятиям; если нет, у нас нет права апеллировать к эмпирическим доказательствам.
Эта проблема имеет две части: ассимилировать физический мир к миру восприятий и ассимилировать мир восприятий к физическому миру. Физика должна быть интерпретирована способом, который склоняется к идеализму, а восприятие — способом, который склоняется к материализму. Я верю, что материя менее материальна, а разум менее ментален, чем принято считать, и что, когда это осознается, трудности, поднятые Беркли, в значительной степени исчезают. Некоторые из трудностей, поднятых Юмом, правда, еще не были устранены; но они касаются научного метода в целом, более конкретно индукции. По этим вопросам я не намерен ничего говорить в настоящем томе, который повсюду будет предполагать общую обоснованность научного метода, проводимого должным образом.
Проблемы, которые возникают при попытке преодолеть пропасть между физикой (как обычно интерпретируется) и восприятием, бывают двух видов. Во-первых, существует эпистемологическая проблема: какие факты и сущности мы знаем, которые релевантны физике и могут служить ее эмпирическим фундаментом? Это требует обсуждения того, что именно следует извлечь из восприятия, а также общепринятой физической причинности восприятий — например, световыми или звуковыми волнами. В связи с этим последним вопросом необходимо рассмотреть, насколько и каким образом восприятие может, как предполагается, напоминать свою внешнюю причину или, по крайней мере, позволять делать выводы о характеристиках этой причины. Это, в свою очередь, требует тщательного рассмотрения причинных законов, что, однако, в любом случае является необходимой частью философского анализа физики. На протяжении всего этого исследования мы задаемся вопросом, какие существуют основания предполагать, что физика «истинна». Но значение этого вопроса требует некоторого прояснения в связи с тем, что уже было сказано об интерпретации.