The aim of this lecture is to establish a theory of congruence. You must understand at once that congruence is a controversial question. It is the theory of measurement in space and in time. The question seems simple. In fact it is simple enough for a standard procedure to have been settled by act of parliament; and devotion to metaphysical subtleties is almost the only crime which has never been imputed to any English parliament. But the procedure is one thing and its meaning is another. First let us fix attention on the purely mathematical question. When the segment between two points A and B is congruent to that between the two points C and D, the quantitative measurements of the two segments are equal. The equality of the numerical measures and the congruence of the two segments are not always clearly discriminated, and are lumped together under the term equality. But the procedure of measurement presupposes congruence. For example, a yard measure is applied successively to measure two distances between two pairs of points on the floor of a room. It is of the essence of the procedure of measurement that the yard measure remains unaltered as it is transferred from one position to another. Some objects can palpably alter as they move—for example, an elastic thread; but a yard measure does not alter if made of the proper material. What is this but a judgment of congruence applied to the train of successive positions of the yard In modern expositions of the axioms of geometry certain conditions are laid down which the relation of congruence between segments is to satisfy. It is supposed that we have a complete theory of points, straight lines, planes, and the order of points on planes—in fact, a complete theory of non-metrical geometry. We then enquire about congruence and lay down the set of conditions—or axioms as they are called—which this relation satisfies. It has then been proved that there are alternative relations which satisfy these conditions equally well and that there is nothing intrinsic in the theory of space to lead us to adopt any one of these relations in preference to any other as the relation of congruence which we adopt. In other words there are alternative metrical geometries which all exist by an equal right so far as the intrinsic theory of space is concerned. PoincarÉ, the great French mathematician, held that our actual choice among these geometries is guided purely by convention, and that the effect of a change of choice would be simply to alter our expression of the physical laws of nature. By ‘convention’ I understand PoincarÉ to mean that there is nothing inherent in nature itself giving any peculiar rÔle to one of these This position has been misunderstood by many of PoincarÉ’s expositors. They have muddled it up with another question, namely that owing to the inexactitude of observation it is impossible to make an exact statement in the comparison of measures. It follows that a certain subset of closely allied congruence relations can be assigned of which each member equally well agrees with that statement of observed congruence when the statement is properly qualified with its limits of error. This is an entirely different question and it presupposes a rejection of PoincarÉ’s position. The absolute indetermination of nature in respect of all the relations of congruence is replaced by the indetermination of observation with respect to a small subgroup of these relations. PoincarÉ’s position is a strong one. He in effect challenges anyone to point out any factor in nature which gives a preeminent status to the congruence relation which mankind has actually adopted. But undeniably the position is very paradoxical. Bertrand Russell had a controversy with him on this question, and pointed out that on PoincarÉ’s principles there was nothing in nature to determine whether the earth is larger or smaller than some assigned billiard ball. PoincarÉ replied that the attempt to find reasons in nature for the selection of a definite congruence relation in space is like trying to determine the position of a In my opinion both disputants were right, assuming the grounds on which the discussion was based. Russell in effect pointed out that apart from minor inexactitudes a determinate congruence relation is among the factors in nature which our sense-awareness posits for us. PoincarÉ asks for information as to the factor in nature which might lead any particular congruence relation to play a preeminent rÔle among the factors posited in sense-awareness. I cannot see the answer to either of these contentions provided that you admit the materialistic theory of nature. With this theory nature at an instant in space is an independent fact. Thus we have to look for our preeminent congruence relation amid nature in instantaneous space; and PoincarÉ is undoubtedly right in saying that nature on this hypothesis gives us no help in finding it. On the other hand Russell is in an equally strong position when he asserts that, as a fact of observation, we do find it, and what is more agree in finding the same congruence relation. On this basis it is one of the most extraordinary facts of human experience that all mankind without any assignable reason should agree in fixing attention on just one congruence relation amid the indefinite number of indistinguishable competitors for notice. One would have expected disagreement on this fundamental choice to have divided nations and to have rent families. But the difficulty was not even discovered till the close of the nineteenth century by a few mathematical philosophers and philosophic mathematicians. The case is not like that of our agreement on some fundamental fact of nature such as the three I look on it as no slight recommendation of the theory of nature which I am expounding to you that it gives a solution of this difficulty by pointing out the factor in nature which issues in the preeminence of one congruence relation over the indefinite herd of other such relations. The reason for this result is that nature is no longer confined within space at an instant. Space and time are now interconnected; and this peculiar factor of time which is so immediately distinguished among the deliverances of our sense-awareness, relates itself to one particular congruence relation in space. Congruence is a particular example of the fundamental fact of recognition. In perception we recognise. This recognition does not merely concern the comparison of a factor of nature posited by memory with a factor posited by immediate sense-awareness. Recognition takes place within the present without any intervention of pure memory. For the present fact is a duration with its antecedent and consequent durations which are parts of itself. The discrimination in sense-awareness of a finite event with its quality of passage is also accompanied by the discrimination of other factors of nature which do not share in the passage of events. Whatever passes is an event. But we find entities in nature which do not pass; namely we recognise samenesses in nature. Recognition is not primarily an intellectual act of comparison; it is in its essence merely Factors in nature which are without passage will be called objects. There are radically different kinds of objects which will be considered in the succeeding lecture. Recognition is reflected into the intellect as comparison. The recognised objects of one event are compared with the recognised objects of another event. The comparison may be between two events in the present, or it may be between two events of which one is posited by memory-awareness and the other by immediate sense-awareness. But it is not the events which are compared. For each event is essentially unique and incomparable. What are compared are the objects and relations of objects situated in events. The event considered as a relation between objects has lost its passage and in this aspect is itself an object. This object is not the event but only an intellectual abstraction. The same object can be situated in many events; and in this sense even the whole event, viewed as an object, can recur, though not the very event itself with its passage and its relations to other events. Objects which are not posited by sense-awareness may be known to the intellect. For example, relations The identity of quality between congruent segments is generally of this character. In certain special cases this identity of quality can be directly perceived. But in general it is inferred by a process of measurement depending on our direct sense-awareness of selected cases and a logical inference from the transitive character of congruence. Congruence depends on motion, and thereby is generated the connexion between spatial congruence and temporal congruence. Motion along a straight line has a symmetry round that line. This symmetry is expressed by the symmetrical geometrical relations of the line to the family of planes normal to it. Also another symmetry in the theory of motion arises from the fact that rest in the points of β corresponds to uniform motion along a definite family of parallel straight lines in the space of α. We must note the three We are now in possession of a theory of parallels and a theory of perpendiculars and a theory of motion, and from these theories the theory of congruence can be constructed. It will be remembered that a family of parallel levels in any moment is the family of levels in which that moment is intersected by the family of moments of some other time-system. Also a family of parallel moments is the family of moments of some one time-system. Thus we can enlarge our concept of a family of parallel levels so as to include levels in different moments of one time-system. With this enlarged concept we say that a complete family of parallel levels in a time-system α is the complete family of levels in which the moments of α intersect the moments of β. This complete family of parallel levels is also evidently a family lying in the moments of the time-system β. By introducing a third time-system γ, parallel rects are obtained. Also all the points of any one time-system form a family of parallel point-tracks. Thus there are three types of parallelograms in the four-dimensional manifold of event-particles. In parallelograms of the first type the two pairs of parallel sides are both of them pairs of rects. In parallelograms of the second type one pair of parallel sides is a pair of rects and the other pair is a pair of point-tracks. In parallelograms of the third type the two pairs of parallel sides are both of them pairs of point-tracks. The second axiom of congruence concerns parallelograms on congruent bases and between the same parallels, which have also their other pairs of sides parallel. The axiom asserts that the rect joining the two event-particles of intersection of the diagonals is parallel to the rect on which the bases lie. By the aid of this axiom it easily follows that the diagonals of a parallelogram bisect each other. Congruence is extended in any space beyond parallel rects to all rects by two axioms depending on perpendicularity. The first of these axioms, which is the third axiom of congruence, is that if ABC is a triangle of rects in any moment and D is the middle event-particle of the base BC, then the level through D perpendicular to BC contains A when and only when AB is congruent to AC. This axiom evidently expresses the symmetry of perpendicularity, and is the essence of the famous pons asinorum expressed as an axiom. The second axiom depending on perpendicularity, The comparison of time-measurements in diverse time-systems requires two other axioms. The first of these axioms, forming the fifth axiom of congruence, will be called the axiom of ‘kinetic symmetry.’ It expresses the symmetry of the quantitative relations between two time-systems when the times and lengths in the two systems are measured in congruent units. The axiom can be explained as follows: Let α and β be the names of two time-systems. The directions of motion in the space of α due to rest in a point of β is called the ‘β-direction in α’ and the direction of motion in the space of β due to rest in a point of α is called the ‘α-direction in β.’ Consider a motion in the space of α consisting of a certain velocity in the β-direction of α and a certain velocity at right-angles to it. This motion represents rest in the space of another time-system A particular case of this axiom is that relative velocities are equal and opposite. Namely rest in α is represented in β by a velocity along the α-direction which is equal to the velocity along the β-direction in α which represents rest in β. Finally the sixth axiom of congruence is that the relation of congruence is transitive. So far as this axiom applies to space, it is superfluous. For the property follows from our previous axioms. It is however necessary for time as a supplement to the axiom of kinetic symmetry. The meaning of the axiom is that if the time-unit of system α is congruent to the time-unit of system β, and the time-unit of system β is congruent to the time-unit of system γ, then the time-units of α and γ are also congruent. By means of these axioms formulae for the trans It is of the dimensions of the square of a velocity. Accordingly four cases arise. In the first case k is zero. This case produces nonsensical results in opposition to the elementary deliverances of experience. We put this case aside. In the second case k is infinite. This case yields the ordinary formulae for transformation in relative motion, namely those formulae which are to be found in every elementary book on dynamics. In the third case, k is negative. Let us call it c2, where c will be of the dimensions of a velocity. This case yields the formulae of transformation which Larmor discovered for the transformation of Maxwell’s equations of the electromagnetic field. These formulae were extended by H.A. Lorentz, and used by Einstein and Minkowski as the basis of their novel theory of relativity. I am not now speaking of Einstein’s more recent theory of general relativity by which he deduces his modification of the law of gravitation. If this be the case which applies to nature, then c must be a close approximation to the velocity of light in vacuo. Perhaps it is this actual velocity. In this connexion ‘in vacuo’ must not mean an absence of events, namely the absence of the all-pervading ether of events. It must mean the absence of certain types of objects. In the fourth case, k is positive. Let us call it h2, where h will be of the dimensions of a velocity. This gives a perfectly possible type of transformation formulae, Neither the third nor the fourth assumption can agree with experience unless we assume that the velocity c of the third assumption, and the velocity h of the fourth assumption, are extremely large compared to the velocities of ordinary experience. If this be the case the formulae of both assumptions will obviously reduce to a close approximation to the formulae of the second assumption which are the ordinary formulae of dynamical textbooks. For the sake of a name, I will call these textbook formulae the ‘orthodox’ formulae. There can be no question as to the general approximate correctness of the orthodox formulae. It would be merely silly to raise doubts on this point. But the determination of the status of these formulae is by no means settled by this admission. The independence of time and space is an unquestioned presupposition of the orthodox thought which has produced the orthodox formulae. With this presupposition and given the But even in physical science difficulties have accumulated round the orthodox formulae. In the first place Maxwell’s equations of the electromagnetic field are not invariant for the transformations of the orthodox formulae; whereas they are invariant for the transformations of the formulae arising from the third of the four cases mentioned above, provided that the velocity c is identified with a famous electromagnetic constant quantity. Again the null results of the delicate experiments to detect the earth’s variations of motion through the ether in its orbital path are explained immediately by the formulae of the third case. But if we assume the orthodox formulae we have to make a special and arbitrary assumption as to the contraction of matter during motion. I mean the Fitzgerald-Lorentz assumption. Lastly Fresnel’s coefficient of drag which represents the variation of the velocity of light in a moving medium is explained by the formulae of the third case, and requires another arbitrary assumption if we use the orthodox formulae. It appears therefore that on the mere basis of physical explanation there are advantages in the formulae I take this opportunity of pausing for a moment from the course of my argument, and of reflecting on the general character which my doctrine ascribes to some familiar concepts of science. I have no doubt that some of you have felt that in certain aspects this character is very paradoxical. This vein of paradox is partly due to the fact that educated language has been made to conform to the prevalent orthodox theory. We are thus, in expounding an alternative doctrine, driven to the use of either strange terms or of familiar words with unusual meanings. This A few minutes ago in speaking of the deduction of the orthodox formulae for relative motion I said that they followed as an immediate deduction from the assumption of absolute points in absolute space. This reference to absolute space was not an oversight. I know that the doctrine of the relativity of space at present holds the field both in science and philosophy. But I do not think that its inevitable consequences are understood. When we really face them the paradox of the presentation of the character of space which I have elaborated is greatly mitigated. If there is no absolute position, a point must cease to be a simple entity. What is a point to one man in a balloon with his eyes fixed on an instrument is a track of points to an observer on the earth who is watching the balloon through a telescope, and is another track of points to an observer in the sun who is watching the balloon through some instrument suited to such a being. Accordingly if I am reproached with the paradox of my theory of points as classes of event-particles, and of my theory of event-particles as The fact is that there is no paradox in my doctrine of the nature of space which is not in essence inherent in the theory of the relativity of space. But this doctrine has never really been accepted in science, whatever people say. What appears in our dynamical treatises is Newton’s doctrine of relative motion based on the doctrine of differential motion in absolute space. When you once admit that the points are radically different entities for differing assumptions of rest, then the orthodox formulae lose all their obviousness. They were only obvious because you were really thinking of something else. When discussing this topic you can The new theory provides a definition of the congruence of periods of time. The prevalent view provides no such definition. Its position is that if we take such time-measurements so that certain familiar velocities which seem to us to be uniform are uniform, then the laws of motion are true. Now in the first place no change could appear either as uniform or non-uniform without involving a definite determination of the congruence for time-periods. So in appealing to familiar phenomena it allows that there is some factor in nature which we can intellectually construct as a congruence theory. It does not however say anything about it except that the laws of motion are then true. Suppose that with some expositors we cut out the reference to familiar velocities such as the rate of rotation of the earth. We are then driven to admit that there is no meaning in temporal congruence except that certain assumptions make the laws of motion true. Such a statement is historically false. King Alfred the Great was ignorant of the laws of motion, but knew very well what he meant by the measurement of time, and achieved his purpose by means of burning candles. Also no one in past ages justified the use of sand in hour-glasses by saying that some centuries later interesting laws of motion would be discovered which would give a meaning to the statement that the sand was emptied from the bulbs in equal times. Uniformity in change is directly perceived, and it follows that mankind perceives in nature factors from which a theory of temporal congruence can be formed. The prevalent theory entirely fails to produce such factors. On the orthodox theory the position of the equations of motion is most ambiguous. The space to which they refer is completely undetermined and so is the measurement of the lapse of time. Science is simply setting out on a fishing expedition to see whether it cannot find some procedure which it can call the measurement of space and some procedure which it can call the measurement of time, and something which it can call a system of forces, and something which it can call masses, so that these formulae may be satisfied. The only reason—on this theory—why anyone should want to satisfy these formulae is a sentimental regard for Galileo, I do not for a moment believe that this is a true account of the real status of the Laws of Motion. These equations want some slight adjustment for the new formulae of relativity. But with these adjustments, imperceptible in ordinary use, the laws deal with fundamental physical quantities which we know very well and wish to correlate. The measurement of time was known to all civilised nations long before the laws were thought of. It is this time as thus measured that the laws are concerned with. Also they deal with the space of our daily life. When we approach to an accuracy of measurement beyond that of observation, adjustment is allowable. But within the limits of observation we know what we mean when we speak of measurements of space and measurements of time and uniformity of change. It is for science to give an intellectual account of what is so evident in sense-awareness. It is to me thoroughly incredible that the ultimate fact beyond which there is no deeper explanation is that mankind has really been swayed by an unconscious desire to satisfy the mathematical formulae which we call the Laws of Motion, formulae completely unknown till the seventeenth century of our epoch. The correlation of the facts of sense-experience effected by the alternative account of nature extends beyond the physical properties of motion and the properties of congruence. It gives an account of the meaning of the geometrical entities such as points, straight lines, and volumes, and connects the kindred The false idea which we have to get rid of is that of nature as a mere aggregate of independent entities, each capable of isolation. According to this conception these entities, whose characters are capable of isolated definition, come together and by their accidental relations form the system of nature. This system is thus thoroughly accidental; and, even if it be subject to a mechanical fate, it is only accidentally so subject. With this theory space might be without time, and time might be without space. The theory admittedly breaks down when we come to the relations of matter and space. The relational theory of space is an admission that we cannot know space without matter or matter without space. But the seclusion of both from time is still jealously guarded. The relations between portions of matter in space are accidental facts owing to the absence of any coherent account of how space springs from matter or how matter springs from space. Also what we really observe in nature, its colours and its sounds and its touches are secondary qualities; in other words, they are not in nature at all but are accidental products of the relations between nature and mind. The explanation of nature which I urge as an alternative ideal to this accidental view of nature, is that nothing in nature could be what it is except as an The laws of nature are the outcome of the characters of the entities which we find in nature. The entities being what they are, the laws must be what they are; and conversely the entities follow from the laws. We are a long way from the attainment of such an ideal; but it remains as the abiding goal of theoretical science. |