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

Я употребил выражение "физическая реальность", которое могут считать слишком метафизичным. То, что я имею в виду, можно выразить в форме более приемлемой для современного вкуса с помощью техники минимальных словарей. Если дана совокупность имен, то может случиться, что некоторые из названных вещей имеют структурное определение в терминах других определений; в этом случае мы будем иметь минимальный словарь, не содержащий таких имен, вместо которых могут быть подставлены определения. Например, каждый француз имеет собственное имя, и слова "нация французов" могут тоже рассматриваться как собственное имя, но оно не необходимо, поскольку мы можем сказать, что "нация французов" определяется как "класс, состоящий из следующих индивидуумов (следует перечень всех индивидуумов)". Такой метод применим только к закрытым классам, но существуют другие методы, не связанные таким ограничением. Мы можем определить "Францию" через указание её географических границ и тогда определить "француза" как человека "родившегося во Франции".

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

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

Когда мы отрицаем ньютоновскую теорию абсолютного пространства, продолжая в то же время пользоваться в математической физике тем, что мы называем "точками", наши действия оправдываются только в том случае, если имеется структурное определение "точки" и (в теории) отдельных точек, Такое определение должно достигаться посредством методов сходных с теми, которыми мы пользовались при определении "моментов". Здесь, однако, следует сделать две оговорки: во-первых, что наше многообразие точек должно быть трехмерным и, во-вторых, что точку мы должны определять как момент. Сказать, что точка P, находящаяся в одном времени, тождественна с точкой О, находящейся в другом времени значит сказать нечто, не имеющее определенного смысла, кроме условного, зависящего от выбора материальных осей. Но так как этот вопрос связан с теорией относительности, я не буду сейчас рассматривать его подробно и ограничусь определением точек в данный момент, игнорируя при этом трудности, связанные с определением одновременности.

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

В многообразии более одного измерения, посредством бинарного отношения "совмещения", мы ничего не можем построить такого, что обладало бы свойствами, требуемыми от "точек". В качестве простейшего примера возьмем фигуры на плоскости.