A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

Regarding the first of these, very little needs be said. Existence in general, is a subject not for our science, but for metaphysics. To determine what things can be recognized as really existing, independently of our own sensible or other impressions, and in what meaning the term is, in that case, predicated of them, belongs to the consideration of “Things in themselves,” from which, throughout this work, we have as much as possible kept aloof. Existence, so far as Logic is concerned about it, has reference only to phenomena; to actual, or possible, states of external or internal consciousness, in ourselves or others. Feelings of sensitive beings, or possibilities of having such feelings, are the only things the existence of which can be a subject of logical induction, because the only things of which the existence in individual cases can be a subject of experience.

It is true that a thing is said by us to exist, even when it is absent, and therefore is not and can not be perceived. But even then, its existence is to us only another word for our conviction that we should perceive it on a certain supposition; namely, if we were in the needful circumstances of time and place, and endowed with the needful perfection of organs. My belief that the Emperor of China exists, is simply my belief that if I were transported to the imperial palace or some other locality in Pekin, I should see him. My belief that Julius Cæsar existed, is my belief that I should have seen him if I had been present in the field of Pharsalia, or in the senate-house at Rome. When I believe that stars exist beyond the utmost range of my vision, though assisted by the most powerful telescopes yet invented, my belief, philosophically expressed, is, that with still better telescopes, if such existed, I could see them, or that they may be perceived by beings less remote from them in space, or whose capacities of perception are superior to mine.

The existence, therefore, of a phenomenon, is but another word for its being perceived, or for the inferred possibility of perceiving it. When the phenomenon is within the range of present observation, by present observation [pg 426] we assure ourselves of its existence; when it is beyond that range, and is therefore said to be absent, we infer its existence from marks or evidences. But what can these evidences be? Other phenomena; ascertained by induction to be connected with the given phenomenon, either in the way of succession or of co-existence. The simple existence, therefore, of an individual phenomenon, when not directly perceived, is inferred from some inductive law of succession or co-existence; and is consequently not amenable to any peculiar inductive principles. We prove the existence of a thing, by proving that it is connected by succession or co-existence with some known thing.

With respect to general propositions of this class, that is, which affirm the bare fact of existence, they have a peculiarity which renders the logical treatment of them a very easy matter; they are generalizations which are sufficiently proved by a single instance. That ghosts, or unicorns, or sea-serpents exist, would be fully established if it could be ascertained positively that such things had been even once seen. Whatever has once happened, is capable of happening again; the only question relates to the conditions under which it happens.

So far, therefore, as relates to simple existence, the Inductive Logic has no knots to untie. And we may proceed to the remaining two of the great classes into which facts have been divided; Resemblance, and Order in Place.

§ 2. Resemblance and its opposite, except in the case in which they assume the names of Equality and Inequality, are seldom regarded as subjects of science; they are supposed to be perceived by simple apprehension; by merely applying our senses or directing our attention to the two objects at once, or in immediate succession. And this simultaneous, or virtually simultaneous, application of our faculties to the two things which are to be compared, does necessarily constitute the ultimate appeal, wherever such application is practicable. But, in most cases, it is not practicable: the objects can not be brought so close together that the feeling of their resemblance (at least a complete feeling of it) directly arises in the mind. We can only compare each of them with some third object, capable of being transported from one to the other. And besides, even when the objects can be brought into immediate juxtaposition, their resemblance or difference is but imperfectly known to us, unless we have compared them minutely, part by part. Until this has been done, things in reality very dissimilar often appear undistinguishably alike. Two lines of very unequal length will appear about equal when lying in different directions; but place them parallel with their farther extremities even, and if we look at the nearer extremities, their inequality becomes a matter of direct perception.

To ascertain whether, and in what, two phenomena resemble or differ, is not always, therefore, so easy a thing as it might at first appear. When the two can not be brought into juxtaposition, or not so that the observer is able to compare their several parts in detail, he must employ the indirect means of reasoning and general propositions. When we can not bring two straight lines together, to determine whether they are equal, we do it by the physical aid of a foot-rule applied first to one and then to the other, and the logical aid of the general proposition or formula, “Things which are equal to the same thing are equal to one another.” The comparison of two things through the intervention of a third thing, when their direct [pg 427] comparison is impossible, is the appropriate scientific process for ascertaining resemblances and dissimilarities, and is the sum total of what Logic has to teach on the subject.

An undue extension of this remark induced Locke to consider reasoning itself as nothing but the comparison of two ideas through the medium of a third, and knowledge as the perception of the agreement or disagreement of two ideas; doctrines which the Condillac school blindly adopted, without the qualifications and distinctions with which they were studiously guarded by their illustrious author. Where, indeed, the agreement or disagreement (otherwise called resemblance or dissimilarity) of any two things is the very matter to be determined, as is the case particularly in the sciences of quantity and extension; there, the process by which a solution, if not attainable by direct perception, must be indirectly sought, consists in comparing these two things through the medium of a third. But this is far from being true of all inquiries. The knowledge that bodies fall to the ground is not a perception of agreement or disagreement, but of a series of physical occurrences, a succession of sensations. Locke’s definitions of knowledge and of reasoning required to be limited to our knowledge of, and reasoning about, resemblances. Nor, even when thus restricted, are the propositions strictly correct; since the comparison is not made, as he represents, between the ideas of the two phenomena, but between the phenomena themselves. This mistake has been pointed out in an earlier part of our inquiry,[198] and we traced it to an imperfect conception of what takes place in mathematics, where very often the comparison is really made between the ideas, without any appeal to the outward senses; only, however, because in mathematics a comparison of the ideas is strictly equivalent to a comparison of the phenomena themselves. Where, as in the case of numbers, lines, and figures, our idea of an object is a complete picture of the object, so far as respects the matter in hand; we can, of course, learn from the picture, whatever could be learned from the object itself by mere contemplation of it as it exists at the particular instant when the picture is taken. No mere contemplation of gunpowder would ever teach us that a spark would make it explode, nor, consequently, would the contemplation of the idea of gunpowder do so; but the mere contemplation of a straight line shows that it can not inclose a space; accordingly the contemplation of the idea of it will show the same. What takes place in mathematics is thus no argument that the comparison is between the ideas only. It is always, either indirectly or directly, a comparison of the phenomena.

In cases in which we can not bring the phenomena to the test of direct inspection at all, or not in a manner sufficiently precise, but must judge of their resemblance by inference from other resemblances or dissimilarities more accessible to observation, we of course require, as in all cases of ratiocination, generalizations or formulæ applicable to the subject. We must reason from laws of nature; from the uniformities which are observable in the fact of likeness or unlikeness.

§ 3. Of these laws or uniformities, the most comprehensive are those supplied by mathematics; the axioms relating to equality, inequality, and proportionality, and the various theorems thereon founded. And these are the only Laws of Resemblance which require to be, or which can be, treated apart. It is true there are innumerable other theorems which affirm resemblances [pg 428] among phenomena; as that the angle of the reflection of light is equal to its angle of incidence (equality being merely exact resemblance in magnitude). Again, that the heavenly bodies describe equal areas in equal times; and that their periods of revolution are proportional (another species of resemblance) to the sesquiplicate powers of their distances from the centre of force. These and similar propositions affirm resemblances, of the same nature with those asserted in the theorems of mathematics; but the distinction is, that the propositions of mathematics are true of all phenomena whatever, or at least without distinction of origin; while the truths in question are affirmed only of special phenomena, which originate in a certain way; and the equalities, proportionalities, or other resemblances, which exist between such phenomena, must necessarily be either derived from, or identical with, the law of their origin—the law of causation on which they depend. The equality of the areas described in equal times by the planets, is derived from the laws of the causes; and, until its derivation was shown, it was an empirical law. The equality of the angles of reflection and incidence is identical with the law of the cause; for the cause is the incidence of a ray of light upon a reflecting surface, and the equality in question is the very law according to which that cause produces its effects. This class, therefore, of the uniformities of resemblance between phenomena, are inseparable, in fact and in thought, from the laws of the production of those phenomena; and the principles of induction applicable to them are no other than those of which we have treated in the preceding chapters of this Book.