SigPhi · Charles Peirce

Chance, Love, and Logic Philosophical Essays

Page 10 of 15

avoidance of hypotheses involving causes nowhere positively known to act—is only a recommendation of logic, not a positive command. It cannot be formulated in any precise terms without at once betraying its untenable character,—I mean as rigid rule, for as a recommendation it is wholesome enough.

I believe I have thus subjected to fair examination all the important reasons for adhering to the theory of universal necessity, and have shown their nullity. I earnestly beg that whoever may detect any flaw in my reasoning will point it out to me, either privately or publicly; for if I am wrong, it much concerns me to be set right speedily. If my argument remains unrefuted, it will be time, I think, to doubt the absolute truth of the principle of universal law; and when once such a doubt has obtained a living root in any man’s mind, my cause with him, I am persuaded, is gained.

Footnote 59: Footnote 60: _Continuous_ is not exactly the right word, but I let it go to avoid a long and irrelevant discussion.

III. THE LAW OF MIND[61] In an article published in _The Monist_ for January, 1891, I endeavored to show what ideas ought to form the warp of a system of philosophy, and particularly emphasized that of absolute chance. In the number of April, 1892, I argued further in favor of that way of thinking, which it will be convenient to christen _tychism_ (from τύχη, chance). A serious student of philosophy will be in no haste to accept or reject this doctrine; but he will see in it one of the chief attitudes which speculative thought may take, feeling that it is not for an individual, nor for an age, to pronounce upon a fundamental question of philosophy.

That is a task for a whole era to work out. I have begun by showing that _tychism_ must give birth to an evolutionary cosmology, in which all the regularities of nature and of mind are regarded as products of growth, and to a Schelling-fashioned idealism which holds matter to be mere specialized and partially deadened mind. I may mention, for the benefit of those who are curious in studying mental biographies, that I was born and reared in the neighborhood of Concord,—I mean in Cambridge,—at the time when Emerson, Hedge, and their friends were disseminating the ideas that they had caught from Schelling, and Schelling from Plotinus, from Boehm, or from God knows what minds stricken with the monstrous mysticism of the East. But the atmosphere of Cambridge held many an antiseptic against Concord transcendentalism; and I am not conscious of having contracted any of that virus. Nevertheless, it is probable that some cultured bacilli, some benignant form of the disease was implanted in my soul, unawares, and that now, after long incubation, it comes to the surface, modified by mathematical conceptions and by training in physical investigations.

The next step in the study of cosmology must be to examine the general law of mental action. In doing this, I shall for the time drop my tychism out of view, in order to allow a free and independent expansion to another conception signalized in my first _Monist_ paper as one of the most indispensable to philosophy, though it was not there dwelt upon; I mean the idea of continuity. The tendency to regard continuity, in the sense in which I shall define it, as an idea of prime importance in philosophy may conveniently be termed _synechism_. The present paper is intended chiefly to show what synechism is, and what it leads to. I attempted, a good many years ago, to develop this doctrine in the _Journal of Speculative Philosophy_ (Vol. II.); but I am able now to improve upon that exposition, in which I was a little blinded by nominalistic prepossessions. I refer to it, because students may possibly find that some points not sufficiently explained in the present paper are cleared up in those earlier ones.

WHAT THE LAW IS Logical analysis applied to mental phenomena shows that there is but one law of mind, namely, that ideas tend to spread continuously and to affect certain others which stand to them in a peculiar relation of affectibility. In this spreading they lose intensity, and especially the power of affecting others, but gain generality and become welded with other ideas.

I set down this formula at the beginning, for convenience; and now proceed to comment upon it.

INDIVIDUALITY OF IDEAS We are accustomed to speak of ideas as reproduced, as passed from mind to mind, as similar or dissimilar to one another, and, in short, as if they were substantial things; nor can any reasonable objection be raised to such expressions. But taking the word “idea” in the sense of an event in an individual consciousness, it is clear that an idea once past is gone forever, and any supposed recurrence of it is another idea. These two ideas are not present in the same state of consciousness, and therefore cannot possibly be compared. To say, therefore, that they are similar can only mean that an occult power from the depths of the soul forces us to connect them in our thoughts after they are both no more.

We may note, here, in passing, that of the two generally recognized principles of association, contiguity and similarity, the former is a connection due to a power without, the latter a connection due to a power within.

But what can it mean to say that ideas wholly past are thought of at all, any longer? They are utterly unknowable. What distinct meaning can attach to saying that an idea in the past in any way affects an idea in the future, from which it is completely detached? A phrase between the assertion and the denial of which there can in no case be any sensible difference is mere gibberish.

I will not dwell further upon this point, because it is a commonplace of philosophy.

CONTINUITY OF IDEAS We have here before us a question of difficulty, analogous to the question of nominalism and realism. But when once it has been clearly formulated, logic leaves room for one answer only. How can a past idea be present? Can it be present vicariously? To a certain extent, perhaps; but not merely so; for then the question would arise how the past idea can be related to its vicarious representation. The relation, being between ideas, can only exist in some consciousness: now that past idea was in no consciousness but that past consciousness that alone contained it; and that did not embrace the vicarious idea.

Some minds will here jump to the conclusion that a past idea cannot in any sense be present. But that is hasty and illogical. How extravagant, too, to pronounce our whole knowledge of the past to be mere delusion!

Yet it would seem that the past is as completely beyond the bounds of possible experience as a Kantian thing-in-itself.

How can a past idea be present? Not vicariously. Then, only by direct perception. In other words, to be present, it must be _ipso facto_ present. That is, it cannot be wholly past; it can only be going, infinitesimally past, less past than any assignable past date. We are thus brought to the conclusion that the present is connected with the past by a series of real infinitesimal steps.

It has already been suggested by psychologists that consciousness necessarily embraces an interval of time. But if a finite time be meant, the opinion is not tenable. If the sensation that precedes the present by half a second were still immediately before me, then, on the same principle the sensation preceding that would be immediately present, and so on _ad infinitum_. Now, since there is a time, say a year, at the end of which an idea is no longer _ipso facto_ present, it follows that this is true of any finite interval, however short.

But yet consciousness must essentially cover an interval of time; for if it did not, we could gain no knowledge of time, and not merely no veracious cognition of it, but no conception whatever. We are, therefore, forced to say that we are immediately conscious through an infinitesimal interval of time.

This is all that is requisite. For, in this infinitesimal interval, not only is consciousness continuous in a subjective sense, that is, considered as a subject or substance having the attribute of duration; but also, because it is immediate consciousness, its object is _ipso facto_ continuous. In fact, this infinitesimally spread-out consciousness is a direct feeling of its contents as spread out. This will be further elucidated below. In an infinitesimal interval we directly perceive the temporal sequence of its beginning, middle, and end,—not, of course, in the way of recognition, for recognition is only of the past, but in the way of immediate feeling. Now upon this interval follows another, whose beginning is the middle of the former, and whose middle is the end of the former. Here, we have an immediate perception of the temporal sequence of its beginning, middle, and end, or say of the second, third, and fourth instants. From these two immediate perceptions, we gain a mediate, or inferential, perception of the relation of all four instants. This mediate perception is objectively, or as to the object represented, spread over the four instants; but subjectively, or as itself the subject of duration, it is completely embraced in the second moment. (The reader will observe that I use the word _instant_ to mean a point of time, and _moment_ to mean an infinitesimal duration.) If it is objected that, upon the theory proposed, we must have more than a mediate perception of the succession of the four instants, I grant it; for the sum of the two infinitesimal intervals is itself infinitesimal, so that it is immediately perceived.

It is immediately perceived in the whole interval, but only mediately perceived in the last two-thirds of the interval. Now, let there be an indefinite succession of these inferential acts of comparative perception; and it is plain that the last moment will contain objectively the whole series. Let there be, not merely an indefinite succession, but a continuous flow of inference through a finite time; and the result will be a mediate objective consciousness of the whole time in the last moment. In this last moment, the whole series will be recognized, or known as known before, except only the last moment, which of course will be absolutely unrecognizable to itself. Indeed, even this last moment will be recognized like the rest, or, at least, be just beginning to be so. There is a little _elenchus_, or appearance of contradiction, here, which the ordinary logic of reflection quite suffices to resolve.

INFINITY AND CONTINUITY, IN GENERAL Most of the mathematicians who during the last two generations have treated the differential calculus have been of the opinion that an infinitesimal quantity is an absurdity; although, with their habitual caution, they have often added “or, at any rate, the conception of an infinitesimal is so difficult, that we practically cannot reason about it with confidence and security.” Accordingly, the doctrine of limits has been invented to evade the difficulty, or, as some say, to explain the signification of the word “infinitesimal.” This doctrine, in one form or another, is taught in all the text-books, though in some of them only as an alternative view of the matter; it answers well enough the purposes of calculation, though even in that application it has its difficulties.

The illumination of the subject by a strict notation for the logic of relatives had shown me clearly and evidently that the idea of an infinitesimal involves no contradiction, before I became acquainted with the writings of Dr. Georg Cantor (though many of these had already appeared in the _Mathematische Annalen_ and in _Borchardt’s Journal_, if not yet in the _Acta Mathematica_, all mathematical journals of the first distinction), in which the same view is defended with extraordinary genius and penetrating logic.

The prevalent opinion is that finite numbers are the only ones that we can reason about, at least, in any ordinary mode of reasoning, or, as some authors express it, they are the only numbers that can be reasoned about mathematically. But this is an irrational prejudice. I long ago showed that finite collections are distinguished from infinite ones only by one circumstance and its consequences, namely, that to them is applicable a peculiar and unusual mode of reasoning called by its discoverer, De Morgan, the “syllogism of transposed quantity.”

Balzac, in the introduction of his _Physiologie du mariage_, remarks that every young Frenchman boasts of having seduced some Frenchwoman.

Now, as a woman can only be seduced once, and there are no more Frenchwomen than Frenchmen, it follows, if these boasts are true, that no French women escape seduction. If their number be finite, the reasoning holds. But since the population is continually increasing, and the seduced are on the average younger than the seducers, the conclusion need not be true. In like manner, De Morgan, as an actuary, might have argued that if an insurance company pays to its insured on an average more than they have ever paid it, including interest, it must lose money. But every modern actuary would see a fallacy in that, since the business is continually on the increase. But should war, or other cataclysm, cause the class of insured to be a finite one, the conclusion would turn out painfully correct, after all. The above two reasonings are examples of the syllogism of transposed quantity.

The proposition that finite and infinite collections are distinguished by the applicability to the former of the syllogism of transposed quantity ought to be regarded as the basal one of scientific arithmetic.

If a person does not know how to reason logically, and I must say that a great many fairly good mathematicians,—yea, distinguished ones,—fall under this category, but simply uses a rule of thumb in blindly drawing inferences like other inferences that have turned out well, he will, of course, be continually falling into error about infinite numbers. The truth is such people do not reason, at all. But for the few who do reason, reasoning about infinite numbers is easier than about finite numbers, because the complicated syllogism of transposed quantity is not called for. For example, that the whole is greater than its part is not an axiom, as that eminently bad reasoner, Euclid, made it to be. It is a theorem readily proved by means of a syllogism of transposed quantity, but not otherwise. Of finite collections it is true, of infinite collections false. Thus, a part of the whole numbers are even numbers.

Yet the even numbers are no fewer than all the numbers; an evident proposition since if every number in the whole series of whole numbers be doubled, the result will be the series of even numbers.

So for every number there is a distinct even number. In fact, there are as many distinct doubles of numbers as there are of distinct numbers.

But the doubles of numbers are all even numbers.

In truth, of infinite collections there are but two grades of magnitude, the _endless_ and the _innumerable_. Just as a finite collection is distinguished from an infinite one by the applicability to it of a special mode of reasoning, the syllogism of transposed quantity, so, as I showed in the paper last referred to, a numerable collection is distinguished from an innumerable one by the applicability to it of a certain mode of reasoning, the Fermatian inference, or, as it is sometimes improperly termed, “mathematical induction.”

As an example of this reasoning, Euler’s demonstration of the binomial theorem for integral powers may be given. The theorem is that (_x_ + _y_)^n, where _n_ is a whole number, may be expanded into the sum of a series of terms of which the first is _x_^n_y_^o and each of the others is derived from the next preceding by diminishing the exponent of _x_ by 1 and multiplying by that exponent and at the same time increasing the exponent of _y_ by 1 and dividing by that increased exponent. Now, suppose this proposition to be true for a certain exponent, _n_ = _M_, then it must also be true for _n_ = _M_ + 1. For let one of the terms in the expansion of (_x_ + _y_)^M be written A_x^p__y^q_. Then, this term with the two following will be _y_)^{M + 1}, we multiply first by _x_ and then by _y_ instead of by _x_ and add the two results. When we multiply by _x_, the second of the above three terms will be the only one giving a term involving _x^p__y_^{_q_ + 1} and the third will be the only one giving a term in _x_^{_p_ - 1}_y_^{_q_ + 2}; and when we multiply by y the first will be the only term giving a term in _x^p__y_^{_q_ + 1}, and the second will be the only term giving a term in _x_^{_p_ - 1}_y_^{_q_ + 2}. Hence, adding like terms, we find that the coefficient of _x^p__y_^{_q_ + 1} in the expansion of (_x_ + _y_)^{M + 1} will be the sum of the coefficients of the first two of the above three terms, and that the coefficient of _x_^{_p_ - 1}_y_^{_q_ + 2} will be the sum of the coefficients of the last two terms. Hence, two successive terms in the expansion of (_x_ + It is, thus, seen that the succession of terms follows the rule. Thus if any integral power follows the rule, so also does the next higher power.

But the first power obviously follows the rule. Hence, all powers do so.

Such reasoning holds good of any collection of objects capable of being ranged in a series which though it may be endless, can be numbered so that each member of it receives a definite integral number. For instance, all the whole numbers constitute such a numerable collection.

Again, all numbers resulting from operating according to any definite rule with any finite number of whole numbers form such a collection. For they may be arranged in a series thus. Let F be the symbol of operation.

First operate on 1, giving F(1). Then, operate on a second 1, giving 13th, F(1,2,2); 14th, F(2,2,2). Next introduce 3, and so on, alternately introducing new variables and new figures; and in this way it is plain that every arrangement of integral values of the variables will receive a numbered place in the series.[62] The class of endless but numerable collections (so called because they can be so ranged that to each one corresponds a distinct whole number) is very large. But there are collections which are certainly innumerable. Such is the collection of all numbers to which endless series of decimals are capable of approximating. It has been recognized since the time of Euclid that certain numbers are surd or incommensurable, and are not exactly expressible by any finite series of decimals, nor by a circulating decimal. Such is the ratio of the circumference of a circle to its diameter, which we know is nearly 3.1415926. The calculation of this number has been carried to over 700 figures without the slightest appearance of regularity in their sequence. The demonstrations that this and many other numbers are incommensurable are perfect. That the entire collection of incommensurable numbers is innumerable has been clearly proved by Cantor. I omit the demonstration; but it is easy to see that to discriminate one from some other would, in general, require the use of an endless series of numbers. Now if they cannot be exactly expressed and discriminated, clearly they cannot be ranged in a linear series.

It is evident that there are as many points on a line or in an interval of time as there are of real numbers in all. These are, therefore, innumerable collections. Many mathematicians have incautiously assumed that the points on a surface or in a solid are more than those on a line. But this has been refuted by Cantor. Indeed, it is obvious that for every set of values of coördinates there is a single distinct number. Suppose, for instance, the values of the coordinates all lie between 0 and + 1. Then if we compose a number by putting in the first decimal place the first figure of the first coördinate, in the second the first figure of the second coördinate, and so on, and when the first figures are all dealt out go on to the second figures in like manner, it is plain that the values of the coördinates can be read off from the single resulting number, so that a triad or tetrad of numbers, each having innumerable values, has no more values than a single incommensurable number.

Were the number of dimensions infinite, this would fail; and the collection of infinite sets of numbers having each innumerable variations, might, therefore, be greater than the simple innumerable collection, and might be called _endlessly infinite_. The single individuals of such a collection could not, however, be designated, even approximately, so that this is indeed a magnitude concerning which it would be possible to reason only in the most general way, if at all.

Although there are but two grades of magnitudes of infinite collections, yet when certain conditions are imposed upon the order in which individuals are taken, distinctions of magnitude arise from that cause.

Thus, if a simply endless series be doubled by separating each unit into two parts, the successive first parts and also the second parts being taken in the same order as the units from which they are derived, this double endless series will, so long as it is taken in that order, appear as twice as large as the original series. In like manner the product of two innumerable collections, that is, the collection of possible pairs composed of one individual of each, if the order of continuity is to be maintained, is, by virtue of that order, infinitely greater than either of the component collections.

We now come to the difficult question. What is continuity? Kant confounds it with infinite divisibility, saying that the essential character of a continuous series is that between any two members of it a third can always be found. This is an analysis beautifully clear and definite; but unfortunately, it breaks down under the first test. For according to this, the entire series of rational fractions arranged in the order of their magnitude, would be an infinite series, although the rational fractions are numerable, while the points of a line are innumerable. Nay, worse yet, if from that series of fractions any two with all that lie between them be excised, and any number of such finite gaps be made, Kant’s definition is still true of the series, though it has lost all appearance of continuity.

Cantor defines a continuous series as one which is _concatenated_ and _perfect_. By a concatenated series, he means such a one that if any two points are given in it, and any finite distance, however small, it is possible to proceed from the first point to the second through a succession of points of the series each at a distance from the preceding one less than the given distance. This is true of the series of rational fractions ranged in the order of their magnitude. By a perfect series, he means one which contains every point such that there is no distance so small that this point has not an infinity of points of the series within that distance of it. This is true of the series of numbers between 0 and 1 capable of being expressed by decimals in which only the digits 0 and 1 occur.

It must be granted that Cantor’s definition includes every series that is continuous; nor can it be objected that it includes any important or indubitable case of a series not continuous. Nevertheless, it has some serious defects. In the first place, it turns upon metrical considerations; while the distinction between a continuous and a discontinuous series is manifestly non-metrical. In the next place, a perfect series is defined as one containing “every point” of a certain description. But no positive idea is conveyed of what all the points are: that is definition by negation, and cannot be admitted. If that sort of thing were allowed, it would be very easy to say, at once, that the continuous linear series of points is one which contains every point of the line between its extremities. Finally, Cantor’s definition does not convey a distinct notion of what the components of the conception of continuity are. It ingeniously wraps up its properties in two separate parcels, but does not display them to our intelligence.

Kant’s definition expresses one simple property of a continuum; but it allows of gaps in the series. To mend the definition, it is only necessary to notice how these gaps can occur. Let us suppose, then, a linear series of points extending from a point, _A_, to a point, _B_, having a gap from _B_ to a third point, _C_, and thence extending to a final limit, _D_; and let us suppose this series conforms to Kant’s definition. Then, of the two points, _B_ and _C_, one or both must be excluded from the series; for otherwise, by the definition, there would be points between them. That is, if the series contains _C_, though it contains all the points up to _B_, it cannot contain _B_. What is required, therefore, is to state in non-metrical terms that if a series of points up to a limit is included in a continuum the limit is included. It may be remarked that this is the property of a continuum to which Aristotle’s attention seems to have been directed when he defines a continuum as something whose parts have a common limit. The property may be exactly stated as follows: If a linear series of points is continuous between two points, _A_ and _D_, and if an endless series of points be taken, the first of them between _A_ and _D_ and each of the others between the last preceding one and _D_, then there is a point of the continuous series between all that endless series of points and _D_, and such that every other point of which this is true lies between this point and _D_. For example, take any number between 0 and 1, as 0.1; then, any number between 0.1 and 1, as 0.11; then any number between 0.11 and 1, as 0.111; and so on, without end. Then, because the series of real numbers between 0 and 1 is continuous, there must be a _least_ real number, greater than every number of that endless series. This property, which may be called the Aristotelicity of the series, together with Kant’s property, or its Kanticity, completes the definition of a continuous series.

The property of Aristotelicity may be roughly stated thus: a continuum contains the end point belonging to every endless series of points which it contains. An obvious corollary is that every continuum contains its limits. But in using this principle it is necessary to observe that a series may be continuous except in this, that it omits one or both of the limits.

Our ideas will find expression more conveniently if, instead of points upon a line, we speak of real numbers. Every real number is, in one sense, the limit of a series, for it can be indefinitely approximated to. Whether every real number is a limit of a _regular_ series may perhaps be open to doubt. But the series referred to in the definition of Aristotelicity must be understood as including all series whether regular or not. Consequently, it is implied that between any two points an innumerable series of points can be taken.

Every number whose expression in decimals requires but a finite number of places of decimals is commensurable. Therefore, incommensurable numbers suppose an infinitieth place of decimals. The word infinitesimal is simply the Latin form of infinitieth; that is, it is an ordinal formed from _infinitum_, as centesimal from _centum_. Thus, continuity supposes infinitesimal quantities. There is nothing contradictory about the idea of such quantities. In adding and multiplying them the continuity must not be broken up, and consequently they are precisely like any other quantities, except that neither the syllogism of transposed quantity, nor the Fermatian inference applies to them.

If A is a finite quantity and _i_ an infinitesimal, then in a certain sense we may write A + _i_ = A. That is to say, this is so for all purposes of measurement. But this principle must not be applied except to get rid of _all_ the terms in the highest order of infinitesimals present. As a mathematician, I prefer the method of infinitesimals to that of limits, as far easier and less infested with snares. Indeed, the latter, as stated in some books, involves propositions that are false; but this is not the case with the forms of the method used by Cauchy, Duhamel, and others. As they understand the doctrine of limits, it involves the notion of continuity, and, therefore, contains in another shape the very same ideas as the doctrine of infinitesimals.

Let us now consider an aspect of the Aristotelical principle which is particularly important in philosophy. Suppose a surface to be part red and part blue; so that every point on it is either red or blue, and, of course, no part can be both red and blue. What, then, is the color of the boundary line between the red and the blue? The answer is that red or blue, to exist at all, must be spread over a surface; and the color of the surface is the color of the surface in the immediate neighborhood of the point. I purposely use a vague form of expression. Now, as the parts of the surface in the immediate neighborhood of any ordinary point upon a curved boundary are half of them red and half blue, it follows that the boundary is half red and half blue. In like manner, we find it necessary to hold that consciousness essentially occupies time; and what is present to the mind at any ordinary instant, is what is present during a moment in which that instant occurs. Thus, the present is half past and half to come. Again, the color of the parts of a surface at any finite distance from a point, has nothing to do with its color just at that point; and, in the parallel, the feeling at any finite interval from the present has nothing to do with the present feeling, except vicariously. Take another case: the velocity of a particle at any instant of time is its mean velocity during an infinitesimal instant in which that time is contained. Just so my immediate feeling is my feeling through an infinitesimal duration containing the present instant.

ANALYSIS OF TIME One of the most marked features about the law of mind is that it makes time to have a definite direction of flow from past to future. The relation of past to future is, in reference to the law of mind, different from the relation of future to past. This makes one of the great contrasts between the law of mind and the law of physical force, where there is no more distinction between the two opposite directions in time than between moving northward and moving southward.

In order, therefore, to analyze the law of mind, we must begin by asking what the flow of time consists in. Now, we find that in reference to any individual state of feeling, all others are of two classes, those which affect this one (or have a tendency to affect it, and what this means we shall inquire shortly), and those which do not. The present is affectible by the past but not by the future.

Moreover, if state _A_ is affected by state _B_, and state _B_ by state _C_, then _A_ is affected by state _C_, though not so much so. It follows, that if _A_ is affectible by _B_, _B_ is not affectible by _A_.

If, of two states, each is absolutely unaffectible by the other, they are to be regarded as parts of the same state. They are contemporaneous.

To say that a state is _between_ two states means that it affects one and is affected by the other. Between any two states in this sense lies an innumerable series of states affecting one another; and if a state lies between a given state and any other state which can be reached by inserting states between this state and any third state, these inserted states not immediately affecting or being affected by either, then the second rate mentioned, immediately affects or is affected by the first, in the sense that in the one the other is _ipso facto_ present in a reduced degree.

These propositions involve a definition of time and of its flow. Over and above this definition they involve a doctrine, namely, that every state of feeling is affectible by every earlier state.

THAT FEELINGS HAVE INTENSIVE CONTINUITY Time with its continuity logically involves some other kind of continuity than its own. Time, as the universal form of change, cannot exist unless there is something to undergo change, and to undergo a change continuous in time, there must be a continuity of changeable qualities. Of the continuity of intrinsic qualities of feeling we can now form but a feeble conception. The development of the human mind has practically extinguished all feelings, except a few sporadic kinds, sound, colors, smells, warmth, etc., which now appear to be disconnected and disparate. In the case of colors, there is a tridimensional spread of feelings. Originally, all feelings may have been connected in the same way, and the presumption is that the number of dimensions was endless. For development essentially involves a limitation of possibilities. But given a number of dimensions of feeling, all possible varieties are obtainable by varying the intensities of the different elements. Accordingly, time logically supposes a continuous range of intensity in feeling. It follows, then, from the definition of continuity, that when any particular kind of feeling is present, an infinitesimal continuum of all feelings differing infinitesimally from that is present.

THAT FEELINGS HAVE SPATIAL EXTENSION Consider a gob of protoplasm, say an amœba or a slime-mould. It does not differ in any radical way from the contents of a nerve-cell, though its functions may be less specialized. There is no doubt that this slime-mould, or this amœba, or at any rate some similar mass of protoplasm feels. That is to say, it feels when it is in its excited condition. But note how it behaves. When the whole is quiescent and rigid, a place upon it is irritated. Just at this point, an active motion is set up, and this gradually spreads to other parts. In this action, no unity nor relation to a nucleus, or other unitary organ can be discerned. It is a mere amorphous continuum of protoplasm, with