Этот период в общем будет короче, чем тот, в течение которого существуют вместе a и b. Теперь мы ищем четвертое событие d. которое совпадает с a, b и c, то есть на обычном языке, существует в течение некоторой части времени, в течение которого существуют вместе a, b и c; время, в течение которого вместе существуют и a, и b, и c, и d, в общем короче, чем время, в течение которого существуют вместе любые три из них. Таким способом мы шаг за шагом приближаемся к точной дате.
      Предположим, что этот процесс продолжается как только возможно долго, то есть пока не останется ни одного события, которое сосуществовало бы со всеми событиями, уже входящими в нашу группу. Я думаю, что когда эта стадия бывает достигнута, сконструированная группа событий может быть определена как "момент". Для доказательства того, что это утверждение законно, я должен показать только, что определяемые таким образом "моменты" имеют те математические свойства, которых требует физика. Мне нет необходимости показывать, что это и есть то, что вообще имеют в виду люди, когда говорят о "моментах", хотя, может быть, и хорошо было бы закончить доказательство показом того, что они при этом обычно ничего не имеют в виду.
      "Момент", как я предлагаю определить этот термин, есть класс событий, имеющих следующие два свойства: 1) все события класса сосуществуют, 2) ни одно событие, имеющее место вне класса, не сосуществует ни с одним членом класса. Эта группа событий, как я покажу, не существует в течение конечного периода времени.
      Сказать, что событие продолжает существовать в течение какого-то конечного периода времени, может значить в плане относительности времени только то, что пока существует событие, происходят изменения, то есть что события, которые существуют, когда оно начинается, не остаются все тождественными с событиями, существующими, когда оно кончается. Это значит, что существуют события, которые сосуществуют с данным событием, но не сосуществуют с каждым другим. А это значит сказать, что предложение "о длится в течение какого-то конечного периода времени" обозначает: "Имеются два события b и с, такие, что каждое из них сосуществует c a, но b полностью предшествует c".
      Мы можем применить это же определение и к группе событий. Если все члены группы не сосуществуют, группа в целом не имеет длительности, но если все они сосуществуют, мы скажем, что группа в целом длится в течение какого-то конечного периода времени, если есть по крайней мере два события, которые сосуществуют с каждым членом группы, хотя одно из них полностью предшествует другому. Если дело обстоит так, что происходит изменение, хотя группа в целом продолжает существовать; если же не так, то изменения не бывает. Далее, если группа составляет "момент" в вышеопределенном смысле, то никакое событие вне группы не сосуществует со всеми членами группы и никакое событие внутри группы не предшествует полностью никакому другому событию внутри группы. Следовательно, группа в целом не длится в течение какого-либо конечного периода времени. И поэтому она может соответственно быть определена как "момент".
      Моменты будут образовывать последовательность, упорядочиваемую отношением, определяемым как "полное предшествование". Один момент имеет место раньше, чем другой, если имеется член первого момента, который полностью предшествует члену второго момента, то есть если некое событие, происходящее "в" первый момент, полностью предшествует какому-либо событию, происходящему "во" второй момент. Следует отметить, что происходить "в" какой-то момент значит то же самое, что быть членом класса, который является моментом.
      Согласно вышеприведенному определению, логически невозможно, чтобы мир оставался неизменным в течение какого-либо конечного периода времени. Если два момента отличаются друг от друга, то они состоят (по крайней мере частично) из различных членов, а это значит, что некое событие, существующее в один момент, не существует в другой.
      Наша теория не делает предположения относительно того, имеются ли события, которые существуют только один момент.
      Такие события, если бы они вообще существовали, характеризовались бы тем, что любые два события, сосуществующие с ними, сосуществовали бы и друг с другом. Вообще "длительность" события означает "класс моментов, членом которых является данное событие". Вообще считается, что событие занимает непрерывную цепь последовательности моментов; это предположение формально выражается в "аксиоме", что ничто не может полностью предшествовать себе самому. Но в этой аксиоме нет необходимости. Кое-что уже было здесь сказано о количественном измерении времени, но полезно ещё раз сформулировать взгляд, к которому нас ведет физика. Количественное измерение времени условно, кроме положения, что большая мера должна относиться к целому, а не к части. Мы должны приписывать большую меру году, а не какому-либо месяцу этого года, но мы можем, если это удобно, приписать этому году меньшую меру, чем какому-нибудь месяцу какого-либо другого года. Оказывается, однако, что это неудобно. Исторически астрономы начали с предположения, что день и год обладают каждый постоянной продолжительностью; затем оказалось, что если звездный день постоянен, то солнечный день непостоянен, в то время как год постоянен. Если звездный день постоянен по определению, то большое количество других периодических событий только приблизительно постоянно; это привело к динамическим законам, по смыслу которых было бы удобнее трактовать звездный день как не абсолютно постоянный из-за действия приливов. Эти законы могли бы быть сформулированы с помощью любой меры времени, но астрономы и физики естественно предпочли меру, которая делала формулирование законов наиболее простым. Так как эта мера очень близко согласовывалась с "естественными" мерами дней и годов, её условный характер не был замечен, и можно было предположить, что определяемое время было ньютоновским "истинным", или "математическим" временем, которое считали обладающим физической реальностью.
      До сих пор я говорил так, как будто существует - как обычно думают одно космическое время для всей вселенной. Со времени Эйнштейна мы знаем, что это не так. Каждая часть материи имеет свое местное время. Существует очень
      маленькая разница между местным временем одной части материи и другой, если их относительная скорость мала по сравнению со скоростью света. Местное время данной части материи может быть указано очень точным хронометром, движущимся вместе с нею бета - частицы движутся со скоростями близкими к скорости света. Если бы могли поместить хронометр на бета частице и заставить эту частицу двигаться по замкнутому кругу, мы обнаружили бы при её возвращении, что показания её хронометра не совпадали бы с показаниями хронометра, остававшегося неподвижным в лаборатории. Более интересная иллюстрация (которой я обязан профессору Рейхенбаху) связана с возможностью путешествия на звезды. Допустим, что мы изобрели ракетный аппарат, который может послать снаряд на Сириус со скоростью, равной десяти одиннадцатых скорости света. С точки зрения земного наблюдателя, это путешествие снаряда заняло бы около 55 лет, и можно было бы, следовательно, предположить, что если бы этот снаряд нес в себе пассажиров, которые были молоды, когда отправились в путешествие, то по прибытии на Сириус они были бы уже стариками. Но с их точки зрения путешествие займет только около 11 лет. Это будет время, измеренное не только по их часам, но также и по их физиологическим процессам - изнашиванию зубов, выпадению волос и так далее Если они выглядели и чувствовали себя двадцатилетними, когда отправлялись, то к моменту прибытия они будут выглядеть и чувствовать себя, как люди 31 года. Только потому, что мы обычно не встречаемся с телами, движущимися со скоростью, приближающейся к скорости света, такие необычные факты остаются никем незамечаемыми, кроме ученых.
      Если две части материи (скажем, Земля и комета) встречаются, расходятся и встречаются снова и если в промежутке их встречи относительная скорость очень велика, то физики (если бы таковые были), живущие на этих двух частях материи, дадут разные измерения промежутка времени, протекшего между двумя встречами, но они согласятся между собой относительно того, какая из двух встреч произошла раньше, а какая позже. Следовательно, "раньше" и "позже" в их применении к двум событиям, происшедшим с одной частью материи, не являются неясными: если имеются несколько частей материи, с которыми происходят оба эти события, то одно из событий будет раньше, а другое - позже для всех этих частей материи.
      Приведенное выше построение "момента" как класса событий должно пока пониматься как применимое к событиям, происходящим только с одной частью материи, прежде всего с телом данного наблюдателя. Распространение этого построения на космическое время, построения, которое можно сделать многими равно законными способами, является вопросом, которым я сейчас заниматься не буду.
      Вместо того чтобы основывать наше построение на событиях, происходящих с данным телом, мы можем основывать его на событиях, происходящих в данном сознании или образующих часть данного опыта. Если сознание принадлежит мне, я могу переживать события вроде тех, которые выражаются словами: "А полностью предшествует В", - например, когда я случаю последовательные удары часов, отбивающих какой-то час. Если А есть событие, которое я переживаю, то все совпадающее с А, или полностью предшествующее А, или полностью следующее за А будет составлять "мое" время, и только события, относящиеся к "моему" времени, будут участвовать в построении "моментов", относящихся к "моему" времени. "Мое" время в этом смысле не следует смешивать с субъективным временем, рассмотренным в главе 5 части третьей. Связывание моего времени с вашим остается проблемой, подлежащей рассмотрению.
      Мы можем определить "биографию" как совокупность таких событий, из которых каждые два или совпадают, или одно полностью предшествует другому. Пока я буду исходить из того, что биография, когда она имеет психологическое определение, имеет также и физическое определение, то есть что временной ряд, состоящий из событий, которые я переживаю, тождествен временному ряду, состоящему из событий, происходящих в моем мозгу или в какой-либо его части. Соответственно я буду говорить не только о "биографии", связанной с опытом какого-либо человека, но и о "биографии" какой-либо части материи.
      Все сказанное нами до сих пор может быть суммировано в ряде определений.
      "Событие" есть то, что или с чем-либо совпадает, или чему-либо предшествует, или за чем-либо следует.
      "Биография", к которой какое-либо событие относится, есть совокупность всех событий, которым это событие предшествует, или следует за ними, или с ними совпадает.
      "Момент" есть совокупность событий, относящихся к одной биографии и имеющих два свойства: а) любые два события из этой совокупности совпадают, б) ни одно событие вне этой совокупности не совпадает ни с одним из её членов.
      О событии говорят, что оно "существует в" такой-то момент, если оно является членом этого момента.
      О моменте говорят, что он имеет место "раньше" другого, если в нем имеет место событие, которое полностью предшествует какому-либо событию в другом моменте.
      "Временной ряд данного момента есть ряд моментов, одним из которых является данный момент, причем этот ряд имеет то свойство, что из любых двух его моментов один имеет место раньше, чем другой.
      "Временной ряд" есть временной ряд какого-либо момента. Мы не исходим из предположения, что тот или иной момент может относиться только к одному временному ряду и что то или иное событие может относиться только к одной биографии. Но мы, однако, предполагаем, что если а полностью предшествует b, то a и b в этом случае нетождественны. Позднее мы должны будем исследовать это предположение и, возможно, модифицировать его.
      Так как вышеприведенное построение временного ряда является простейшим примером той процедуры, которая будет часто употребляться, я хочу уделить немного времени основаниям в её пользу.
      Мы отправляемся от того факта, что, хотя физики и отвергают ньютоновское абсолютное время, они тем не менее продолжают пользоваться независимой переменной t и говорят о "моментах" как о её значениях. Считается, что значения t образуют ряд, упорядочиваемый отношением, называемым словами "раньше - позже". Считается также, что существуют явления, называемые "событиями", которые включают в себя как подкласс все то, что мы можем наблюдать. Среди событий имеются два доступных наблюдению временных отношения:
      одни могут совпадать, как бывает, когда я слышу бой часов и в то же самое время их стрелки указывают на двенадцать часов; или одно может предшествовать другому, как бывает, когда я все ещё помню предшествующий удар часов, когда слышу уже новый удар. Это данные нашей проблемы.
      Теперь если мы должны пользоваться переменной t без признания ньютоновского абсолютного времени, то мы должны найти способ определения класса значений t, это значит, что "моменты" не должны составлять часть нашего минимального словаря, который, поскольку он не является только словарем логики, должен состоять из слов, значение которых известно из опыта.
      Определения бывают двух видов и могут быть соответственно названы "обозначающими" и "структурными". Примером обозначающего определения является предложение: "Самый высокий человек в Соединенных Штатах Америки". Это, конечно, определение, поскольку должен быть один и только один человек, к которому оно применимо, но оно определяет этого человека только через его отношения. Вообще "обозначающее" определение является таким, которое определяет предмет как единственный, имеющий определенное отношение или определенные отношения к одному или нескольким известным предметам. С другой стороны, когда тот предмет, который мы хотим определить, является структурой, состоящей из известных элементов, мы можем определить его через упоминание этих составляющих структуру элементов и отношений; это то, что я называю "структурным" определением. Если то, что я определяю, есть класс, то, может быть, необходимо только упоминание структуры, поскольку элементы могут не относится к делу. Например, я могу определить "восьмиугольник" как "плоскую фигуру, имеющую восемь сторон"; это - структурное определение. Но я мог бы также определить его как "многоугольник, все известные образцы которого находятся в следующих пунктах" и приложить список этих пунктов. Это было бы "обозначающим" определением.
      Обозначающее определение неполно без доказательства существования обозначаемого объекта. Предложение: "Человек свыше 10 футов ростом" по логической форме столь же правильно, как и предложение: "Самый высокий человек в Соединенных Штатах Америки", но оно, возможно, не обозначает никого. Предложение: "Квадратный корень из двух" есть обозначающее определение, но до наших дней не существовало доказательства того, что оно обозначает что-либо;
      теперь мы знаем, что оно эквивалентно структурному определению: "Класс таких рациональных чисел, квадраты которых меньше двух", - и тем самым вопрос о "существовании" (в логическом смысле) разрешен. Благодаря возможности сомнений в "существовании" обозначающие определения часто бывают неудовлетворительными.
      В отношении нашей переменной г обозначающее определение исключается нашим отрицанием абсолютного времени. Мы должны поэтому искать структурное определение. А это предполагает, что моменты должны иметь структуру и что эта структура должна состоять из известных нам элементов. Как данные опыта мы имеем отношения "совпадения" и "предшествования" и видим, что с помощью этих отношений мы можем построить структуры, имеющие такие формальные свойства которых математические физики требуют от "моментов". Такие структуры поэтому отвечают своему назначению не нуждаясь в каком-либо предположении, сделанном ad hoc. Ad hoc лат), - специально для этого случая. Это и служит оправданием наших определений.
      ГЛАВА 6.
      ПРОСТРАНСТВО В КЛАССИЧЕСКОЙ ФИЗИКЕ.
      В этой главе мы будем иметь дело с пространством, каким оно выступает в классической физике. Это значит, что мы постараемся найти "интерпретацию" (но необходимо только одну, единственно возможную) для геометрических терминов, употребляемых в физике. В отношении пространства встают гораздо более сложные и трудные проблемы, чем в отношении времени. Это происходит отчасти из-за проблем, встающих здесь благодаря теории относительности. Однако сей час мы не будем рассматривать теорию относительности и будем трактовать пространство как нечто не связанное с временем, как поступали физики до Эйнштейна.
      Для Ньютона пространство, как и время, было "абсолютным"; это значит, что оно состоит из совокупности точек, каждая из которых лишена структуры и представляет собой конечную составную часть физического мира. Каждая точка вечна и неизменна; изменение заключается в том, что точка иногда "занимается" то одной частью материи, то другой, а иногда остается незанятой. Вопреки этому взгляду Лейбниц утверждал, что пространство есть только система отношений, причем члены отношений материальны, а не просто геометрические точки. Хотя и физики, и философы все больше и больше склонялись к лейбницевскому взгляду, однако же аппарат математической физики продолжал оставаться ньютоновским. В математическом аппарате "пространство" все ещё является собранием "точек", из которых каждая определяется тремя координатами, а "материя" - собранием "частиц", каждая из которых занимает разные точки в разное время. Если мы не обязаны соглашаться с ньютоновским приписыванием точкам физической реальности, то эта система требует такой интерпретации, в которой "точки" имеют структурное определение.
      Я употребил выражение "физическая реальность", которое могут считать слишком метафизичным. То, что я имею в виду, можно выразить в форме более приемлемой для современного вкуса с помощью техники минимальных словарей. Если дана совокупность имен, то может случиться, что некоторые из названных вещей имеют структурное определение в терминах других определений; в этом случае мы будем иметь минимальный словарь, не содержащий таких имен, вместо которых могут быть подставлены определения. Например, каждый француз имеет собственное имя, и слова "нация французов" могут тоже рассматриваться как собственное имя, но оно не необходимо, поскольку мы можем сказать, что "нация французов" определяется как "класс, состоящий из следующих индивидуумов (следует перечень всех индивидуумов)". Такой метод применим только к закрытым классам, но существуют другие методы, не связанные таким ограничением. Мы можем определить "Францию" через указание её географических границ и тогда определить "француза" как человека "родившегося во Франции".
      Для этого процесса замещения имен структурными определениями в практике имеются явные границы, и, может быть (хотя это и не бесспорно), есть также границы и в теории. Предположив ради простоты, что материя состоит из электронов и протонов, мы могли бы, в теории, дать собственное имя каждому электрону и каждому протону; мы могли бы тогда определить какой-либо индивидуум посредством упоминания электронов и протонов, составляющих его тело в разное время; таким образом, имена человеческих индивидуумов теоретически оказались бы излишними. Говоря вообще, все то, что обладает доступной анализу структурой, не нуждается в имени, поскольку может быть определено с помощью имен ингредиентов и слов, обозначающих их отношения. С другой стороны, все то, что не имеет познанной структуры, нуждается в имени, если нам нужно выражать все наше знание о нем.
      Следует заметить, что обозначающее определение не делает имя излишним. Например, "отец Александра Великого" есть обозначающее определение, но оно не позволяет нам выразить факт, который современники могли бы выразить словами "этот человек есть отец Александра", где слово "этот" выполняет функцию имени.
      Когда мы отрицаем ньютоновскую теорию абсолютного пространства, продолжая в то же время пользоваться в математической физике тем, что мы называем "точками", наши действия оправдываются только в том случае, если имеется структурное определение "точки" и (в теории) отдельных точек, Такое определение должно достигаться посредством методов сходных с теми, которыми мы пользовались при определении "моментов". Здесь, однако, следует сделать две оговорки: во-первых, что наше многообразие точек должно быть трехмерным и, во-вторых, что точку мы должны определять как момент. Сказать, что точка P, находящаяся в одном времени, тождественна с точкой О, находящейся в другом времени значит сказать нечто, не имеющее определенного смысла, кроме условного, зависящего от выбора материальных осей. Но так как этот вопрос связан с теорией относительности, я не буду сейчас рассматривать его подробно и ограничусь определением точек в данный момент, игнорируя при этом трудности, связанные с определением одновременности.
      В последующем я не подчеркиваю именно тот метод построения точек, который я применяю. Другие методы также возможны, и некоторые из них могут даже оказаться более предположительными. Важно отметить только то, что можно изобрести такие методы. В определении моментов мы использовали отношение "совпадения" во времени - отношение, которое имеет место между двумя событиями, когда (в обычном языке) имеется время, в течение которого оба существуют. В определении точек мы пользуемся отношением "совмещения" в пространстве, которое должно иметь место между двумя одновременными событиями, занимающими (в обычном языке) одну и ту же область пространства в целом или частично. Следует заметить, что события, в противоположность частям материи, не следует считать взаимонепроницаемыми. Непроницаемость материи есть свойство, которое тавтологически вытекает из её определения. "События", однако, определяются только как термины, не обладающие структурой и имеющие такие пространственные и временные отношения, которые принадлежат конечным объемам пространства и конечным периодам времени. Когда я говорю "такие, которые", я имею в виду "сходные в отношении логических свойств". Но "совпадение" само по себе не определяется логически; оно является эмпирически познаваемым отношением, имеющим в том построении, которое я защищаю, только наглядное определение.
      В многообразии более одного измерения, посредством бинарного отношения "совмещения", мы ничего не можем построить такого, что обладало бы свойствами, требуемыми от "точек". В качестве простейшего примера возьмем фигуры на плоскости.
      Три фигуры на плоскости - А, В и С - могут налегать друг на друга так, что каждая налегает на две остальные, и вместе с тем так, что нет области, общей для всех трех фигур. На приведенном рисунке круг А налегает на прямоугольник В и треугольник С, а прямоугольник В налегает на треугольник С, но при этом нет области, общей для А, В и С. Основанием нашей конструкции должно быть отношение не двух, а трех фигур. Мы будем говорить, что три площади являются "соточечными" (copunctual), когда имеется область, общая для всех трех фигур. (Это - объяснение, а не определение.)
      Мы будем исходить из того, что фигуры, с которыми мы имеем дело, или являются кругами, или получаются из кругов благодаря растяжениям или сжатиям, при которых сохраняется овальность. В этом случае если даны три соточечные фигуры А, В и С и четвертая фигура D такая, что и Л, В, D и А, С, D, и В, С, D соточечны, то A, В, С и D все имеют общую область.
      Мы теперь называем группу, состоящую из любого числа фигур, "соточечной", если каждая триада из этой группы будет соточечной. Соточечная группа фигур представляет собой "точку", если она не может быть расширена, не перестав быть соточечной, то есть если для любой фигуры X, не принадлежащей группе, в этой группе имеются по крайней мере две фигуры А и В, такие, что А, В и Х не являются соточечными.
      Это определение применимо только в двух измерениях. В трех измерениях мы должны начинать с отношения соточечности между четырьмя пространственными фигурами, причем все эти фигуры должны быть или сферами, или такими овалоидами, которые получаются из сфер благодаря непрерывному растяжению в одних направлениях и сжатию в других. Тогда, как и перед этим, соточечная группа фигур является такой, в которой каждые четыре фигуры соточечны; соточечная группа представляет собой "точку", если она не может быть расширена, не перестав быть соточечной.
      В n измерениях определения остаются одними и теми же, за исключением того, что первоначальное отношение соточечности должно относиться к л +1 фигурам.
      "Точки" определяются как классы событий с помощью вышеприведенных методов и с молчаливым предположением, что каждое событие "занимает" более или менее овальную площадь.
      "События" должны пониматься в этом обсуждении как неопределенный сырой материал, из которого должны быть получены геометрические определения. В другом контексте нам может понадобиться исследовать то, что понимается под "событиями", и мы сможем тогда продолжать наш анализ дальше, а сейчас мы рассматриваем многообразие "событий" с их пространственными и временными отношениями как эмпирические данные.
      Способ, с помощью которого пространственный порядок
      вытекает из наших предположений, является несколько сложным. Однако здесь я ничего не буду говорить об этом, так как разбирал этот вопрос в книге "Анализ материи", где я дал также и гораздо более полный разбор определения "точек"
      (главы 28 и 29).
      Кое-что следует сказать о метрических свойствах пространства. Астрономы в своих популярных книгах поражают нам прежде всего рассказами о том, как безмерно далеко находятся от нас многие туманности, а затем утверждениями, что вселенная в конце концов конечна, будучи трехмерным аналогом поверхности сферы. Но в своих менее популярных книгах они говорят, что измерение носит только условный характер и что мы могли бы, если бы захотели, принять такие условия, которые привели бы к тому, что самые удаленные из известных нам туманностей северного полушария оказались бы к нам ближе, чем туманности противоположного полушария. Если это так, то обширность вселенной является не фактом, а результатом условий. Я думаю, что это верно только отчасти, но выделить элемент условности в измерении это отнюдь не легкое дело. Прежде чем попытаться сделать это, следует кое-что сказать об измерении в его элементарных формах.
      Измерение расстояния даже до удаленных туманностей строится на основе измерений расстояний на поверхности Земли, а наземные измерения начинаются с допущения, что некоторые тела могут рассматриваться как приблизительно жесткие (rigid). Если вы измеряете величину вашей комнаты, то вы исходите из того, что ваша измерительная линейка не становится заметно длиннее или короче в процессе измерения. Английская военно-топографическая съемка определяет большинство расстояний посредством триангуляции, но этот процесс требует, чтобы по крайней мере одно расстояние было измерено непосредственно. Действительно, основная линия, избранная на Солсберийской равнине, была тщательно измерена элементарным способом, каким мы измеряем величину нашей комнаты: цепь, которую можно принять по определению за единицу длины, повторно укладывалась на поверхности земли вдоль линии, которая была прямой, насколько это было возможно. Когда эта длина была определена непосредственно, остальное измерение производилось посредством измерения углов и соответствующих вычислений: диаметр Земли, расстояние до Солнца и Луны и даже расстояния до ближайших неподвижных звезд могут быть определены без какого-либо дальнейшего непосредственного измерения длин.
      Но если этот процесс исследовать тщательно, то оказывается, что он полон трудностей. Допущение, что тело "жестко", не имеет определенного смысла, пока мы не установим метрики, позволяющей нам сравнить длины и углы в один момент времени с длинами и углами в другой момент времени, так как "жесткое" тело не изменяет ни своей формы, ни величины. Но тогда мы нуждаемся в определении "прямой линии", так как все наши результаты будут неверными, если основная линия на Солсберийской равнине и линии, употребляемые в процессе триангуляции, не прямые. Следовательно, оказывается, что измерение предполагает геометрию (позволяющую определить "прямую линию") и достаточные познания в физике, дающей основания для рассмотрения некоторых тел приблизительно жесткими и для сравнения расстояний, измеренных в один момент времени, с измеренными в другой момент. Связанные с этим затруднения трудно преодолимы, но прикрываются допущениями, принятыми в соответствии с обыденным здравым смыслом.
      Обыденный здравый смысл допускает, грубо говоря, что тело является жестким, если оно выглядит жестким. Рыба угорь не выглядит жесткой, а стальной стержень выглядит таковым. С другой стороны, камешек на дне журчащего ручья может казаться извивающимся, как угорь, но с точки зрения обыденного здравого смысла этот камешек является тем не менее жестким, потому что осязание считается с этой точки зрения более надежным, чем зрение, а когда вы переходите ручей вброд босиком, то вы именно осязаете, что камешек жесткий. Рассуждая таким образом, следует сказать, что обыденный здравый смысл является как бы ньютонианцем: он убежден, что в каждый момент тело обладает внутренне присущей ему определенной формой и величиной, такой же или не такой, как его форма и величина в другой момент. Если пространство абсолютно, то это убеждение имеет какой-то смысл, но без абсолютного пространства оно сразу же теряет всякий смысл. Должно, однако, существовать такое истолкование физики, которое объясняло бы весьма значительные успехи, проистекающие из допущений обыденного здравого смысла,
      Как и в измерении времени, здесь действуют три фактора: во-первых, допущение, доступное исправлению; во-вторых, физические законы, которые при этом допущении оказываются приблизительно верными; в-третьих, изменение допущения, делающее физические законы более точными. Если вы допустите, что стальной стержень, выглядящий зрительно и осязательно жестким, сохраняет свою длину неизменной, то вы найдете, что расстояние от Лондона до Эдинбурга, диаметр Земли и расстояние до Сириуса почти постоянны, но немного короче при теплой погоде, чем при холодной. Тогда окажется,, что проще сказать, что ваш стальной стержень при нагревании расширяется, особенно когда вы найдете, что это позволяет вам рассматривать вышеупомянутые расстояния как почти постоянные, и, далее, сказать, что вы видите, как ртуть в термометре занимает больше пространства в теплую погоду. Вы, следовательно, допускаете, что жесткие по видимости тела расширяются от теплоты, и вы допускаете это для того, чтобы упростить формулировку физических законов.