1701106385
1701106386
预先假定了这一点后，我设想我们有一个固体，它是由共同连接在一个端点O上的八根细铁棒OA，OB，OC，OD，OE，OF，OG，OH构成的。此外，设我们有第二个物体，例如一块用三个小墨点标记的木块，我称其为α，β，γ。我进一步假定，已弄清αβγ可以与AGO接触（我意指α与A，β与G，γ与O同时接触），然后我可以相继使αβγ与BGO，CGO，DGO，EGO，FGO接触，其次与AHO，BHO，CHO，DHO，EHO，FHO接触，接着使αγ与AB，BC，CD，DE，EF，FA相继接触。
1701106387
1701106388
这些是我们在预先没有任何空间形式或空间度量特性概念的情况下就可以做出的决定。它们决不涉及“物体的几何学特性”。如果物体用与罗巴契夫斯基群相同结构的群（我意指按照与罗巴契夫斯基几何学中的固体相同的定律）的运动做实验，那么这些决定将是不可能的。因此，它们足以证明，这些物体按照欧几里得群运动，或者至少物体不按照罗巴契夫斯基群运动。
1701106389
1701106390
显而易见，这些决定与欧几里得群一致。这是因为，这些决定能够在下述条件下做出：如果物体αβγ是我们通常几何学的呈现为直角三角形形式的刚体，如果点ABCDEFGH是多面体的顶点，而多面体又是由我们通常几何学的两个正六棱锥形成的，且具有公共底面ABCDEF，其一顶点为G，另一顶点为H。
1701106391
1701106392
现在假定，在代替前面的决定时可以注意到，如上所述的αβγ能够依次用于AGO，BGO，CGO，DGO，EGO，AHO，BHO，CHO，DHO，EHO，FHO，然后αβ（而不再是αγ）能够依次用于AB，BC，CD，DE，EF和FA。
1701106393
1701106394
如果非欧几何学是真实的，如果物体αβγ和OABCDEFGH是刚体，如果第一个物体是直角三角形而第二个物体是适当维数的对顶正六棱锥，那么这些就是可以做出的决定。
1701106395
1701106396
因此，如果物体按照欧几里得群运动，那么这些新决定是不可能的；但是，如果假定物体按照罗巴契夫斯基群运动，那么它们就变得可能了。因此（如果人们做出了它们），它们就足以证明，上述物体不能按照欧几里得群运动。
1701106397
1701106398
就这样，即使不就空间的形式、空间的本性、物体和空间的关系做任何假设，即使不赋予物体以任何几何学特性，我也获得了观察资料，能够使我证明，在一种情况下物体用其结构是欧几里得群的群的运动，在另一种情况下物体用其结构是罗巴契夫斯基群的群的运动。
1701106399
1701106400
而且，人们不能说，决定的第一个集合构成了证明空间是欧几里得空间的实验，决定的第二个集合构成了证明空间是非欧几里得空间的实验。
1701106401
1701106402
事实上，人们能够想象（我说想象），如此运动的物体使第二组决定成为可能的。其证据在于，第一流的技工，只要他愿意卖力花钱，就能制造这样的物体。可是，你不要由此得出结论，说空间是非欧几里得空间。
1701106403
1701106404
不仅如此，虽然技工制造出我刚才所说的奇怪的物体，但是因为普通物体继续存在，所以有必要得出结论说，空间同时是欧几里得空间和非欧几里得空间。
1701106405
1701106406
例如，假定我们有一个半径为R的大球面，温度从这个球的中心到球表面按照我在描述非欧几里得世界时所讲过的规律减小。
1701106407
1701106408
我们可以有这样的物体，其膨胀可以忽略不计，其行为像通常的刚体一样；另一方面，我们也可以有膨胀率很大的物体，其行为像非欧几里得固体。我们可以有两个对顶棱锥OABCDEFGH和O’A’B’C’D’E’F’G’H’以及两个三角形αβγ和α’β’γ’。第一个对顶棱锥是直线的，而第二个是曲线的；三角形αβγ是用不会膨胀的物质做成的，而另一个则是用极易膨胀的物质做成的。
1701106409
1701106410
于是，用对顶棱锥OAH和三角形αβγ就可以获得第一批观察资料，用对顶棱锥O’A’H’和三角形α’β’γ’就可以获得第二批观察资料。这样一来，实验似乎先证明欧几里得几何学为真，接着又证明它为假。
1701106411
1701106412
因此，实验与空间无关，而与物体有关。
1701106413
1701106414
补遗
1701106415
1701106416
8．为使内容完备起见，我应当谈一个十分棘手的问题，这也许需要太长的篇幅；在这里，我只想概括地介绍一下我在《形而上学和道德评论》和《一元论》杂志中详述过的东西。当我说，空间有三维，我们意味着什么呢？
1701106417
1701106418
我们已经看到我们的肌肉感觉向我们揭示的那些“内部变化”的重要性。它们可以用来表征我们身体的各种姿势的特征。任取这些姿势中的一个A作为起点，当我们从这个初始姿势到任何一个其他的姿势B时，我们感觉到一个肌肉感觉系列，这个系列S将确定B。不管怎样，让我们注意一下，我们常常会把两个系列S和S’视为确定了同一姿势B（由于初始姿势A和最终姿势B依然相同，中间姿势和相关感觉可以不同）。可是，我们将如何辨认这两个系列等价呢？因为它们可以用来补偿同一外部变化，或者更一般地说，因为当这是一个补偿外部变化的问题时，一个系列能够被另一个代替。在这些系列中，我们区分出仅有它们自己就能够补偿外部变化的系列，我们称其为“位移”。因为我们不能在两个十分接近的位移之间做出区分，所以这些位移的总和就呈现出物理连续统的特征；经验告诉我们，它们是六维物理连续统的特征；但是，我们还不知道空间本身有多少维，我们首先必须解决另一个问题。
1701106419
1701106420
空间的点是什么？每一个人都认为他了解这个问题，可是那是幻觉。当我们试图想象空间的点时，我们看到的只是白纸上的黑点、黑板上的白斑，这总是一个东西。因此，该问题应当如下理解：
1701106421
1701106422
当我说，客体B处于客体A刚才所占据的同一点时，我意指什么呢？或者更进一步，是什么标准将使我领悟这一点呢？
1701106423
1701106424
我意味着，虽然我没有移动（这是我的肌肉感觉告诉我的），可是我的第一个手指刚才接触了客体A，现在却接触着客体B。我可以用其他标准；例如另一个手指或视觉。但是，第一个标准是充分的；我知道，如果它回答是，那么所有其他标准将给出同一回答。我是通过经验知道它的，我不能先验地知道它。由于同一理由，我说触觉不能超距地进行；这是阐述同一实验事实的另一种方式。相反地，若我说视觉可以超距地起作用，则其意指当其他标准回答否时，视觉提供的标准可以回答是。
1701106425
1701106426
事实上，客体虽然离开了，可是它可以在视网膜的同一点形成它的映像。视觉回答是，因为客体依然停留在同一点，触觉回答否，是因为我刚才接触客体的手指现在不再接触它了。如果经验向我们表明，当另一个手指说否时，一个手指可以回答是，那么我们同样应该说，触觉超距地起作用。
1701106427
1701106428
简而言之，对于我的身体的每一个姿势，我的第一个手指确定一点，正是此而且唯有此，才规定了空间的一点。
1701106429
1701106430
这样一来，一个点对应于各自的姿势；但是，常常也出现这种情况，同一点却有若干不同的姿势相对应（在这种情况下，我们说我们的手指没有移动，但身体的其余部分却运动了）。因此，我们在姿势变化中区分出手指没有在那里移动的姿势变化。我们是怎样被引导到这儿的？是因为我们常常注意到，在这些变化中，与手指接触的客体依然与手指接触着。
1701106431
1701106432
因此，借助于我们这样区分的变化之一，让我们把所有能够从每一个其他姿势得到的所有姿势归入同一类。空间的同一点将对应于该类的所有资料。所以，一点将对应于各自的类，而一类将对应于各自的点。可是，人们可以说，经验达到的不是点，而是这个变化类，或者更恰当地讲，是肌肉感觉的对应类。
1701106433
1701106434
而且，当我们说空间有三维，我们仅仅意味着，这些类的总和在我们看来似乎具有三维物理连续统的特征。
[
上一页 ]
[ :1.701106385e+09 ]
[
下一页 ]