Hans Reichenbach

Carnap calls such concepts as point, straight line, etc., which are given by implicit definitions, improper concepts. Their peculiarity rests on the fact that they do not characterize a thing by its properties, but by its relation to other things. Consider for example the concept of the last car of a train. Whether or not a particular car falls under this description does not depend on its properties but on its position relative to other cars. We could therefore speak of relative concepts, but would have to extend the meaning of this term to apply not only to relations but also to the elements of the relations.

Perceptual space is not a special space in addition to physical space, but physical space which we endow with a special subjective metric. ...apart from the definition of congruence in physics and that based on perception, there is no third one derived from pure visualization. Any such third definition is nothing but the definition of physical congruence to which our normative function has adjusted the subjective experience of congruence.

Whereas the conception of space and time as a four-dimensional manifold has been very fruitful for mathematical physicists, its effect in the field of epistemology has been only to confuse the issue. Calling time the fourth dimension gives it an air of mystery. One might think that time can now be conceived as a kind of space and try in vain to add visually a fourth dimension to the three dimensions of space. It is essential to guard against such a misunderstanding of mathematical concepts. If we add time to space as a fourth dimension it does not lose any of its peculiar character as time. ...Musical tones can be ordered according to volume and pitch and are thus brought into a two dimensional manifold. Similarly colors can be determined by the three basic colors red, green and blue... Such an ordering does not change either tones or colors; it is merely a mathematical expression of something that we have known and visualized for a long time. Our schematization of time as a fourth dimension therefore does not imply any changes in the conception of time. ...the space of visualization is only one of many possible forms that add content to the conceptual frame. We would therefore not call the representation of the tone manifold by a plane the visual representation of the two dimensional tone manifold.

If the definition of simultaneity is given from a moving system, the spherical surface will result when Einstein's definition with ? = 1/2 is used, since it is this definition which makes the velocity of light equal in all directions.

If we wish to express our ideas in terms of the concepts synthetic and analytic, we would have to point out that these concepts are applicable only to sentences that can be either true of false, and not to definitions. The mathematical axioms are therefore neither synthetic nor analytic, but definitions. ...Hence the question of whether axioms are a priori becomes pointless since they are arbitrary.

The main objection to the theory of pure visualization is our thesis that the non-Euclidean axioms can be visualized just as rigorously if we adjust the concept of congruence. This thesis is based on the discovery that the normative function of visualization is not of visual but of logical origin and that the intuitive acceptance of certain axioms is based on conditions from which they follow logically, and which have previously been smuggled into the images. The axiom that the straight line is the shortest distance is highly intuitive only because we have adapted the concept of straightness to the system of Eucidean concepts. It is therefore necessary merely to change these conditions to gain a correspondingly intuitive and clear insight into different sets of axioms; this recognition strikes at the root of the intuitive priority of Euclidean geometry. Our solution of the problem is a denial of pure visualization, inasmuch as it denies to visualization a special extralogical compulsion and points out the purely logical and nonintuitive origin of the normative function. Since it asserts, however, the possibility of a visual representation of all geometries, it could be understood as an extension of pure visualization to all geometries. In that case the predicate "pure" is but an empty addition, since it denotes only the difference between experienced and imagined pictures, and we shall therefore discard the term "pure visualization." Instead we shall speak of the normative function of the thinking process, which can guide the pictorial elements of thinking into any logically permissible structure.

Once a definition of congruence is given, the choice of geometry is no longer in our hands; rather, the geometry is now an empirical fact.

If error is corrected whenever it is recognized as such, the path of error is the path of truth.

Some philosophers have believed that a philosophical clarification of space also provided a solution of the problem of time. Kant presented space and time as analogous forms of visualization and treated them in a common chapter in his major epistemological work. Time therefore seems to be much less problematic since it has none of the difficulties resulting from multidimensionality. Time does not have the problem of mirror-image congruence, i.e., the problem of equal and similarly shaped figures that cannot be superimposed, a problem that has played some role in Kant's philosophy. Furthermore, time has no problem analogous to non-Euclidean geometry. In a one-dimensional schema it is impossible to distinguish between straightness and curvature. ...A line may have external curvature but never an internal one, since this possibility exists only for a two-dimensional or higher continuum. Thus time lacks, because of its one-dimensionality, all those problems which have led to philosophical analysis of the problems of space.

...the famous assertion by Einstein that the length of a rod depends on its velocity and on the chosen definition of simultaneity. ...is based on the fact that we do not measure the length of the rod, but its projection on a system at rest. How the length of the projection depends on the choice of simultaneity can be illustrated by reference to a photograph taken through a focal-plane shutter. Such a shutter... consists of a wide band with a horizontal slit, which slides down vertically. Different bands are photographed successively on the film. Moving objects are therefore strangely distorted; the wheels of a rapidly moving car for instance, appear to be slanted. The shape of the objects in the picture will evidently depend on the speed of the shutter. Similarly, the length of the moving segment depends on the definition of simultaneity. One definition of simultaneity differs from another because events that are simultaneous for one definition occur successively for another. What may be a simultaneity projection of a moving segment for one definition is a "focal-plane shutter photograph" for another.

Visual forms are not perceived differently from colors or brightness. They are sense qualities, and the visual character of geometry consists in these sense qualities.

Light signals alone provide the metrical structure of the four-dimensional space-time continuum. The construction may be called light axioms.

Common to the two geometries is only the general property of one-to-one correspondence, and the rule that this correspondence determines straight lines as shortest lines as well as their relations of intersection.

The surfaces of three-dimensional space are distinguished from each other not only by their curvature but also by certain more general properties. A spherical surface, for instance, differs from a plane not only by its roundness but also by its finiteness. Finiteness is a holistic property. The sphere as a whole has a character different from that of a plane. A spherical surface made from rubber, such as a balloon, can be twisted so that its geometry changes. ...but it cannot be distorted in such a way as that it will cover a plane. All surfaces obtained by distortion of the rubber sphere possess the same holistic properties; they are closed and finite. The plane as a whole has the property of being open; its straight lines are not closed. This feature is mathematically expressed as follows. Every surface can be mapped upon another one by the coordination of each point of one surface to a point of the other surface, as illustrated by the projection of a shadow picture by light rays. For surfaces with the same holistic properties it is possible to carry through this transformation uniquely and continuously in all points. Uniquely means: one and only one point of one surface corresponds to a given point of the other surface, and vice versa. Continuously means: neighborhood relations in infinitesimal domains are preserved; no tearing of the surface or shifting of relative positions of points occur at any place. For surfaces with different holistic properties, such a transformation can be carried through locally, but there is no single transformation for the whole surface.

...the relation of betweenness on the torus is undetermined for curves that cannot be contracted to a point [e.g., circles around a doughnut hole], i.e., for three of such curves it is not uniquely determined which of them lies between the other two. ..This indeterminateness... has the consequence that such a curve [alone] does not divide the surface of the torus into two separate domains; between points to the "right" and to the "left" of the line.

We define: any two events which are indeterminate as to their time order may be called simultaneous. ...Simultaneity means the exclusion of causal connection. ...Yet we must not commit the mistake of attempting to derive from it the conclusion that this definition coordinates to any given event at a given different place. This would be the case only for a special form of causal structure, a form that does not conform to physical reality.

...absolute time would exist in a causal structure for which the concept indeterminate as to time order lends to a unique simultaneity, i.e., for which there is no finite interval of time between the departure and return of a first-signal...