Человеческое познание его сферы и границы

В понятии "точности", однако, имеется один элемент, который не просто только удобен. Мы привыкли к аксиоме, что две вещи, порознь равные одной и той же третьей, равны между собой. Эта аксиома имеет показную и обманчивую видимость очевидности вопреки тому, что эмпирическое свидетельство против нее. Самыми тонкими испытаниями, какие только можно применить, вы можете обнаружить, что А равно В и что В равно С, но что А заметно не равно С Когда это получается, мы говорим, что А в действительности не равно В или что В не равно С. Довольно странно, что мы склонны это утверждать, когда техника измерения совершенствуется. Но настоящая основа нашей веры в эту аксиому не эмпирична. Мы верим, что равенство состоит в обладании общим свойством. Две длины равны, если они имеют одну и ту же величину, и именно эту величину мы и выражаем при измерении. Если мы правы в этом, то аксиома логически необходима. Если A и B имеют одну и ту же величину и если В и С имеют ту же самую величину, то А и С необходимо имеют эту же величину, если только все измеряемое имеет только одну величину.

Хотя эта вера в величину как свойство, которое может быть общим для разных измеряемых вещей, скрыто и влияет на обыденный здравый смысл в его понимании того, что является очевидным, все-таки мы не должны принимать эту веру, пока не имеем свидетельства ее истинности в том частном вопросе, который мы рассматриваем. Вера в то, что у каждого из ряда членов имеется такое свойство, логически эквивалентна вере, что существует транзитивное симметричное отношение, имеющее место между любыми двумя членами ряда. (Эта эквивалентность есть то, что я раньше назвал "принципом абстракции".) Таким образом, утверждая, что имеется ряд величин, называемых "расстояниями", мы утверждаем следующее: между точками любой одной пары точек и точками любой другой пары имеет место или симметричное транзитивное отношение или асимметричное транзитивное отношение. В первом случае мы говорим, что расстояние между точками одной пары равно расстоянию между точками другой пары; в последнем случае, в соответствии со смыслом отношения, мы говорим, что первое расстояние меньше или больше, чем второе. Расстояние между двумя точками может быть определено как класс пар точек, имеющих между собой равные расстояния.

Это все, что мы можем сказать по вопросу измерения, не входя в обсуждение вопроса об определении прямых линий, которым мы теперь должны заняться.

Прямая линия возникла как оптическое понятие обыденного здравого смысла. Некоторые линии выглядят прямыми. Если прямой стержень держать концом против глаза, то его ближайшая к глазу часть скроет все остальное, тогда как если стержень искривлен, то будет видна та его часть, которая находится за искривлением. Имеются, конечно, также и другие основания обыденного здравого смысла в пользу понятия прямой линии. Если тело вращается, то образуется прямая линия - ось вращения,- которая остается неподвижной. Если вы едете стоя в вагоне метро, то вы можете определить, когда поезд идет по кривой, на основании того, что ваше тело имеет тенденцию наклоняться при этом в ту или другую сторону. Существует также возможность до определенной степени устанавливать прямизну посредством осязания; слепые почти так же хорошо определяют формы, как и зрячие.

В элементарной геометрии прямые линии определяются в целом; их главной характеристикой является то, что прямая линия определена, если даны две ее точки. Возможность рассмотрения расстояния как прямолинейного отношения между двумя точками зависит от предположения, что существуют прямые линии. Но в современной геометрии, приспособившейся к нуждам физики, нет прямых линий в евклидовом смысле, и "расстояние" определяется двумя точками только тогда, когда они расположены очень близко друг к другу. Когда две точки расположены далеко друг от друга, мы должны сначала решить, по какому маршруту мы будем двигаться от одной к другой, и затем сложить много мелких отрезков этого маршрута. "Самой прямой" линией между этими двумя точками будет та, в которой сумма отрезков будет минимальной. Вместо прямых линий мы должны употреблять здесь "геодезические линии", которые являются более короткими маршрутами от одной точки к другой, чем любые другие отличающиеся от них маршруты. Это нарушает простоту измерения расстояний, которое становится зависимым от физических законов. В получающихся в результате этого усложнениях в теории геометрического измерения нельзя разобраться без более тщательного исследования связи физических законов с геометрией физического пространства.

ГЛАВА 7.

ПРОСТРАНСТВО-ВРЕМЯ.

Всякий знает, что Эйнштейн вместо понятий пространства и времени ввел понятие пространства-времени, но люди, незнакомые с математической физикой, имеют обычно только очень смутное понятие о сущности этой замены. Так как эта замена является важной в отношении наших попыток познания структуры мира, я попытаюсь в этой главе объяснить те ее стороны, которые имеют философское значение.