To-day’s lecture must commence with the consideration of limited events. We shall then be in a position to enter upon an investigation of the factors in nature which are represented by our conception of space.

The duration which is the immediate disclosure of our sense-awareness is discriminated into parts. There is the part which is the life of all nature within a room, and there is the part which is the life of all nature within a table in the room. These parts are limited events. They have the endurance of the present duration, and they are parts of it. But whereas a duration is an unlimited whole and in a certain limited sense is all that there is, a limited event possesses a completely defined limitation of extent which is expressed for us in spatio-temporal terms.

We are accustomed to associate an event with a certain melodramatic quality. If a man is run over, that is an event comprised within certain spatio-temporal limits. We are not accustomed to consider the endurance of the Great Pyramid throughout any definite day as an event. But the natural fact which is the Great Pyramid throughout a day, meaning thereby all nature within it, is an event of the same character as the man’s accident, meaning thereby all nature with spatio-temporal limitations so as to include the man and the motor during the period when they were in contact.

We are accustomed to analyse these events into three factors, time, space, and material. In fact, we at once apply to them the concepts of the materialistic theory of nature. I do not deny the utility of this analysis for the purpose of expressing important laws of nature. What I am denying is that anyone of these factors is posited for us in sense-awareness in concrete independence. We perceive one unit factor in nature; and this factor is that something is going on then—there. For example, we perceive the going-on of the Great Pyramid in its relations to the goings-on of the surrounding Egyptian events. We are so trained, both by language and by formal teaching and by the resulting convenience, to express our thoughts in terms of this materialistic analysis that intellectually we tend to ignore the true unity of the factor really exhibited in sense-awareness. It is this unit factor, retaining in itself the passage of nature, which is the primary concrete element discriminated in nature. These primary factors are what I mean by events.

Events are the field of a two-termed relation, namely the relation of extension which was considered in the last lecture. Events are the things related by the relation of extension. If an event A extends over an event B, then B is ‘part of’ A, and A is a ‘whole’ of which B is a part. Whole and part are invariably used in these lectures in this definite sense. It follows that in reference to this relation any two events A and B may have any one of four relations to each other, namely (i) A may extend over B, or (ii) B may extend over A, or (iii) A and B may both extend over some third event C, but neither over the other, or (iv) A and B may be entirely separate. These alternatives can obviously be illustrated by Euler’s diagrams as they appear in logical textbooks.

The continuity of nature is the continuity of events. This continuity is merely the name for the aggregate of a variety of properties of events in connexion with the relation of extension.

In the first place, this relation is transitive; secondly, every event contains other events as parts of itself; thirdly every event is a part of other events; fourthly given any two finite events there are events each of which contains both of them as parts; and fifthly there is a special relation between events which I term ‘junction.’

Two events have junction when there is a third event of which both events are parts, and which is such that no part of it is separated from both of the two given events. Thus two events with junction make up exactly one event which is in a sense their sum.

Only certain pairs of events have this property. In general any event containing two events also contains parts which are separated from both events.

There is an alternative definition of the junction of two events which I have adopted in my recent book[7]. Two events have junction when there is a third event such that (i) it overlaps both events and (ii) it has no part which is separated from both the given events. If either of these alternative definitions is adopted as the definition of junction, the other definition appears as an axiom respecting the character of junction as we know it in nature. But we are not thinking of logical definition so much as the formulation of the results of direct observation. There is a certain continuity inherent in the observed unity of an event, and these two definitions of junction are really axioms based on observation respecting the character of this continuity.

The relations of whole and part and of overlapping are particular cases of the junction of events. But it is possible for events to have junction when they are separate from each other; for example, the upper and the lower part of the Great Pyramid are divided by some imaginary horizontal plane.

The continuity which nature derives from events has been obscured by the illustrations which I have been obliged to give. For example I have taken the existence of the Great Pyramid as a fairly well-known fact to which I could safely appeal as an illustration. This is a type of event which exhibits itself to us as the situation of a recognisable object; and in the example chosen the object is so widely recognised that it has received a name. An object is an entity of a different type from an event. For example, the event which is the life of nature within the Great Pyramid yesterday and to-day is divisible into two parts, namely the Great Pyramid yesterday and the Great Pyramid to-day. But the recognisable object which is also called the Great Pyramid is the same object to-day as it was yesterday. I shall have to consider the theory of objects in another lecture.

The whole subject is invested with an unmerited air of subtlety by the fact that when the event is the situation of a well-marked object, we have no language to distinguish the event from the object. In the case of the Great Pyramid, the object is the perceived unit entity which as perceived remains self-identical throughout the ages; while the whole dance of molecules and the shifting play of the electromagnetic field are ingredients of the event. An object is in a sense out of time. It is only derivatively in time by reason of its having the relation to events which I term ‘situation.’ This relation of situation will require discussion in a subsequent lecture.

The point which I want to make now is that being the situation of a well-marked object is not an inherent necessity for an event. Wherever and whenever something is going on, there is an event. Furthermore ‘wherever and whenever’ in themselves presuppose an event, for space and time in themselves are abstractions from events. It is therefore a consequence of this doctrine that something is always going on everywhere, even in so-called empty space. This conclusion is in accord with modern physical science which presupposes the play of an electromagnetic field throughout space and time. This doctrine of science has been thrown into the materialistic form of an all-pervading ether. But the ether is evidently a mere idle concept—in the phraseology which Bacon applied to the doctrine of final causes, it is a barren virgin. Nothing is deduced from it; and the ether merely subserves the purpose of satisfying the demands of the materialistic theory. The important concept is that of the shifting facts of the fields of force. This is the concept of an ether of events which should be substituted for that of a material ether.

It requires no illustration to assure you that an event is a complex fact, and the relations between two events form an almost impenetrable maze. The clue discovered by the common sense of mankind and systematically utilised in science is what I have elsewhere[8] called the law of convergence to simplicity by diminution of extent.

If A and B are two events, and A is part of A and B is part of B, then in many respects the relations between the parts A and B will be simpler than the relations between A and B. This is the principle which presides over all attempts at exact observation.

The first outcome of the systematic use of this law has been the formulation of the abstract concepts of Time and Space. In the previous lecture I sketched how the principle was applied to obtain the time-series. I now proceed to consider how the spatial entities are obtained by the same method. The systematic procedure is identical in principle in both cases, and I have called the general type of procedure the ‘method of extensive abstraction.’

You will remember that in my last lecture I defined the concept of an abstractive set of durations. This definition can be extended so as to apply to any events, limited events as well as durations. The only change that is required is the substitution of the word ‘event’ for the word ‘duration.’ Accordingly an abstractive set of events is any set of events which possesses the two properties, (i) of any two members of the set one contains the other as a part, and (ii) there is no event which is a common part of every member of the set. Such a set, as you will remember, has the properties of the Chinese toy which is a nest of boxes, one within the other, with the difference that the toy has a smallest box, while the abstractive class has neither a smallest event nor does it converge to a limiting event which is not a member of the set.

Thus, so far as the abstractive sets of events are concerned, an abstractive set converges to nothing. There is the set with its members growing indefinitely smaller and smaller as we proceed in thought towards the smaller end of the series; but there is no absolute minimum of any sort which is finally reached. In fact the set is just itself and indicates nothing else in the way of events, except itself. But each event has an intrinsic character in the way of being a situation of objects and of having parts which are situations of objects and—to state the matter more generally—in the way of being a field of the life of nature. This character can be defined by quantitative expressions expressing relations between various quantities intrinsic to the event or between such quantities and other quantities intrinsic to other events. In the case of events of considerable spatio-temporal extension this set of quantitative expressions is of bewildering complexity. If e be an event, let us denote by q(e) the set of quantitative expressions defining its character including its connexions with the rest of nature. Let e₁, e₂, e₃, etc. be an abstractive set, the members being so arranged that each member such as e_n extends over all the succeeding members such as e_n+1, e_n+2 and so on. Then corresponding to the series

e₁, e₂, e₃, …, e_n, e_n+1, …,

there is the series

q(e₁), q(e₂), q(e₃), …, q(e_n), q(e_n+1), ….

Call the series of events s and the series of quantitative expressions q(s). The series s has no last term and no events which are contained in every member of the series. Accordingly the series of events converges to nothing. It is just itself. Also the series q(s) has no last term. But the sets of homologous quantities running through the various terms of the series do converge to definite limits. For example if Q₁ be a quantitative measurement found in q(e₁), and Q₂ the homologue to Q₁ to be found in q(e₂), and Q₃ the homologue to Q₁ and Q₂ to be found in q(e₃), and so on, then the series

Q₁, Q₂, Q₃, …, Q_n, Q_n+1, …,

though it has no last term, does in general converge to a definite limit. Accordingly there is a class of limits l(s) which is the class of the limits of those members of q(e_n) which have homologues throughout the series q(s) as n indefinitely increases. We can represent this statement diagrammatically by using an arrow () to mean ‘converges to.’ Then

e₁, e₂, e₃, …, e_n, e_n+1, … nothing,

and

q(e₁), q(e₂), q(e₃), …, q(e_n), q(e_n+1), … l(s).

The mutual relations between the limits in the set l(s), and also between these limits and the limits in other sets l(s), l(s), …, which arise from other abstractive sets s, s, etc., have a peculiar simplicity.

Thus the set s does indicate an ideal simplicity of natural relations, though this simplicity is not the character of any actual event in s. We can make an approximation to such a simplicity which, as estimated numerically, is as close as we like by considering an event which is far enough down the series towards the small end. It will be noted that it is the infinite series, as it stretches away in unending succession towards the small end, which is of importance. The arbitrarily large event with which the series starts has no importance at all. We can arbitrarily exclude any set of events at the big end of an abstractive set without the loss of any important property to the set as thus modified.

I call the limiting character of natural relations which is indicated by an abstractive set, the ‘intrinsic character’ of the set; also the properties, connected with the relation of whole and part as concerning its members, by which an abstractive set is defined together form what I call its ‘extrinsic character.’ The fact that the extrinsic character of an abstractive set determines a definite intrinsic character is the reason of the importance of the precise concepts of space and time. This emergence of a definite intrinsic character from an abstractive set is the precise meaning of the law of convergence.

For example, we see a train approaching during a minute. The event which is the life of nature within that train during the minute is of great complexity and the expression of its relations and of the ingredients of its character baffles us. If we take one second of that minute, the more limited event which is thus obtained is simpler in respect to its ingredients, and shorter and shorter times such as a tenth of that second, or a hundredth, or a thousandth—so long as we have a definite rule giving a definite succession of diminishing events—give events whose ingredient characters converge to the ideal simplicity of the character of the train at a definite instant. Furthermore there are different types of such convergence to simplicity. For example, we can converge as above to the limiting character expressing nature at an instant within the whole volume of the train at that instant, or to nature at an instant within some portion of that volume—for example within the boiler of the engine—or to nature at an instant on some area of surface, or to nature at an instant on some line within the train, or to nature at an instant at some point of the train. In the last case the simple limiting characters arrived at will be expressed as densities, specific gravities, and types of material. Furthermore we need not necessarily converge to an abstraction which involves nature at an instant. We may converge to the physical ingredients of a certain point track throughout the whole minute. Accordingly there are different types of extrinsic character of convergence which lead to the approximation to different types of intrinsic characters as limits.

We now pass to the investigation of possible connexions between abstractive sets. One set may ‘cover’ another. I define ‘covering’ as follows: An abstractive set p covers an abstractive set q when every member of p contains as its parts some members of q. It is evident that if any event e contains as a part any member of the set q, then owing to the transitive property of extension every succeeding member of the small end of q is part of e. In such a case I will say that the abstractive set q ‘inheres in’ the event e. Thus when an abstractive set p covers an abstractive set q, the abstractive set q inheres in every member of p.

Two abstractive sets may each cover the other. When this is the case I shall call the two sets ‘equal in abstractive force.’ When there is no danger of misunderstanding I shall shorten this phrase by simply saying that the two abstractive sets are ‘equal.’ The possibility of this equality of abstractive sets arises from the fact that both sets, p and q, are infinite series towards their small ends. Thus the equality means, that given any event x belonging to p, we can always by proceeding far enough towards the small end of q find an event y which is part of x, and that then by proceeding far enough towards the small end of p we can find an event z which is part of y, and so on indefinitely.

The importance of the equality of abstractive sets arises from the assumption that the intrinsic characters of the two sets are identical. If this were not the case exact observation would be at an end.

It is evident that any two abstractive sets which are equal to a third abstractive set are equal to each other. An ‘abstractive element’ is the whole group of abstractive sets which are equal to any one of themselves. Thus all abstractive sets belonging to the same element are equal and converge to the same intrinsic character. Thus an abstractive element is the group of routes of approximation to a definite intrinsic character of ideal simplicity to be found as a limit among natural facts.

If an abstractive set p covers an abstractive set q, then any abstractive set belonging to the abstractive element of which p is a member will cover any abstractive set belonging to the element of which q is a member. Accordingly it is useful to stretch the meaning of the term ‘covering,’ and to speak of one abstractive element ‘covering’ another abstractive element. If we attempt in like manner to stretch the term ‘equal’ in the sense of ‘equal in abstractive force,’ it is obvious that an abstractive element can only be equal to itself. Thus an abstractive element has a unique abstractive force and is the construct from events which represents one definite intrinsic character which is arrived at as a limit by the use of the principle of convergence to simplicity by diminution of extent.

When an abstractive element A covers an abstractive element B, the intrinsic character of A in a sense includes the intrinsic character of B. It results that statements about the intrinsic character of B are in a sense statements about the intrinsic character of A; but the intrinsic character of A is more complex than that of B.

The abstractive elements form the fundamental elements of space and time, and we now turn to the consideration of the properties involved in the formation of special classes of such elements. In my last lecture I have already investigated one class of abstractive elements, namely moments. Each moment is a group of abstractive sets, and the events which are members of these sets are all members of one family of durations. The moments of one family form a temporal series; and, allowing the existence of different families of moments, there will be alternative temporal series in nature. Thus the method of extensive abstraction explains the origin of temporal series in terms of the immediate facts of experience and at the same time allows for the existence of the alternative temporal series which are demanded by the modern theory of electromagnetic relativity.

We now turn to space. The first thing to do is to get hold of the class of abstractive elements which are in some sense the points of space. Such an abstractive element must in some sense exhibit a convergence to an absolute minimum of intrinsic character. Euclid has expressed for all time the general idea of a point, as being without parts and without magnitude. It is this character of being an absolute minimum which we want to get at and to express in terms of the extrinsic characters of the abstractive sets which make up a point. Furthermore, points which are thus arrived at represent the ideal of events without any extension, though there are in fact no such entities as these ideal events. These points will not be the points of an external timeless space but of instantaneous spaces. We ultimately want to arrive at the timeless space of physical science, and also of common thought which is now tinged with the concepts of science. It will be convenient to reserve the term ‘point’ for these spaces when we get to them. I will therefore use the name ‘event-particles’ for the ideal minimum limits to events. Thus an event-particle is an abstractive element and as such is a group of abstractive sets; and a point—namely a point of timeless space—will be a class of event-particles.

Furthermore there is a separate timeless space corresponding to each separate temporal series, that is to each separate family of durations. We will come back to points in timeless spaces later. I merely mention them now that we may understand the stages of our investigation. The totality of event-particles will form a four-dimensional manifold, the extra dimension arising from time—in other words—arising from the points of a timeless space being each a class of event-particles.

The required character of the abstractive sets which form event-particles would be secured if we could define them as having the property of being covered by any abstractive set which they cover. For then any other abstractive set which an abstractive set of an event-particle covered, would be equal to it, and would therefore be a member of the same event-particle. Accordingly an event-particle could cover no other abstractive element. This is the definition which I originally proposed at a congress in Paris in 1914[9]. There is however a difficulty involved in this definition if adopted without some further addition, and I am now not satisfied with the way in which I attempted to get over that difficulty in the paper referred to.

[9] Cf. ‘La ThÉorie Relationniste de l’Espace,’ Rev. de MÉtaphysique et de Morale, vol.XXIII, 1916.