A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) 📕

have originated. And its opponents have never hesitated to accept this challenge.[42] The amount of their success in meeting it will probably determine the ultimate verdict of philosophers on the question.

§ 4. Sir William Hamilton holds as I do, that inconceivability is no criterion of impossibility. "There is no ground for inferring a certain fact to be impossible, merely from our inability to conceive its possibility." "Things there are which may, nay must, be true, of which the understanding is wholly unable to construe to itself the possibility."[43] Sir William Hamilton is however a firm believer in the à priori character of many axioms, and of the sciences deduced from them; and is so far from considering those axioms to rest on the evidence of experience, that he declares certain of them to be true even of Noumena—of the Unconditioned—of which it is one of the principal aims of his philosophy to prove that the nature of our faculties debars us from having any knowledge. The axioms to which he attributes this exceptional emancipation from the limits which confine all our other possibilities of knowledge; the chinks through which, as he represents, one ray of light finds its way to us from behind the curtain which veils from us the mysterious world of Things in themselves,—are the two principles, which he terms, after the schoolmen, the Principle of Contradiction, and the Principle of Excluded Middle: the first, that two contradictory propositions cannot both be true; the second, that they cannot both be false. Armed with these logical weapons, we may boldly face Things in themselves, and tender to them the double alternative, sure that they must absolutely elect one or the other side, though we may be for ever precluded from discovering which. To take his favourite example, we cannot conceive the infinite divisibility of matter, and we cannot conceive a minimum, or end to divisibility: yet one or the other must be true.

As I have hitherto said nothing of the two axioms in question, those of Contradiction and of Excluded Middle, it is not unseasonable to consider them here. The former asserts that an affirmative proposition and the corresponding negative proposition cannot both be true; which has generally been held to be intuitively evident. Sir William Hamilton and the Germans consider it to be the statement in words of a form or law of our thinking faculty. Other philosophers, not less deserving of consideration, deem it to be an identical proposition; an assertion involved in the meaning of terms; a mode of defining Negation, and the word Not.

I am able to go one step with these last. An affirmative assertion and its negative are not two independent assertions, connected with each other only as mutually incompatible. That if the negative be true, the affirmative must be false, really is a mere identical proposition; for the negative proposition asserts nothing but the falsity of the affirmative, and has no other sense or meaning whatever. The Principium Contradictionis should therefore put off the ambitious phraseology which gives it the air of a fundamental antithesis pervading nature, and should be enunciated in the simpler form, that the same proposition cannot at the same time be false and true. But I can go no farther with the Nominalists; for I cannot look upon this last as a merely verbal proposition. I consider it to be, like other axioms, one of our first and most familiar generalizations from experience. The original foundation of it I take to be, that Belief and Disbelief are two different mental states, excluding one another. This we know by the simplest observation of our own minds. And if we carry our observation outwards, we also find that light and darkness, sound and silence, motion and quiescence, equality and inequality, preceding and following, succession and simultaneousness, any positive phenomenon whatever and its negative, are distinct phenomena, pointedly contrasted, and the one always absent where the other is present. I consider the maxim in question to be a generalization from all these facts.

In like manner as the Principle of Contradiction (that one of two contradictories must be false) means that an assertion cannot be both true and false, so the Principle of Excluded Middle, or that one of two contradictories must be true, means that an assertion must be either true or false: either the affirmative is true, or otherwise the negative is true, which means that the affirmative is false. I cannot help thinking this principle a surprising specimen of a so-called necessity of Thought, since it is not even true, unless with a large qualification. A proposition must be either true or false, provided that the predicate be one which can in any intelligible sense be attributed to the subject; (and as this is always assumed to be the case in treatises on logic, the axiom is always laid down there as of absolute truth). "Abracadabra is a second intention" is neither true nor false. Between the true and the false there is a third possibility, the Unmeaning: and this alternative is fatal to Sir William Hamilton's extension of the maxim to Noumena. That Matter must either have a minimum of divisibility or be infinitely divisible, is more than we can ever know. For in the first place, Matter, in any other than the phenomenal sense of the term, may not exist: and it will scarcely be said that a non-entity must be either infinitely or finitely divisible.[44] In the second place, though matter, considered as the occult cause of our sensations, do really exist, yet what we call divisibility may be an attribute only of our sensations of sight and touch, and not of their uncognizable cause. Divisibility may not be predicable at all, in any intelligible sense, of Things in themselves, nor therefore of Matter in itself; and the assumed necessity of being either infinitely or finitely divisible, may be an inapplicable alternative.

On this question I am happy to have the full concurrence of Mr. Herbert Spencer, from whose paper in the Fortnightly Review I extract the following passage. The germ of an idea identical with that of Mr. Spencer may be found in the present chapter, about a page back, but in Mr. Spencer it is not an undeveloped thought, but a philosophical theory.

"When remembering a certain thing as in a certain place, the place and the thing are mentally represented together; while to think of the non-existence of the thing in that place, implies a consciousness in which the place is represented, but not the thing. Similarly, if instead of thinking of an object as colourless, we think of its having colour, the change consists in the addition to the concept of an element that was before absent from it—the object cannot be thought of first as red and then as not red, without one component of the thought being totally expelled from the mind by another. The law of the Excluded Middle, then, is simply a generalization of the universal experience that some mental states are directly destructive of other states. It formulates a certain absolutely constant law, that the appearance of any positive mode of consciousness cannot occur without excluding a correlative negative mode; and that the negative mode cannot occur without excluding the correlative positive mode: the antithesis of positive and negative being, indeed, merely an expression of this experience. Hence it follows that if consciousness is not in one of the two modes it must be in the other."[45]

I must here close this supplementary chapter, and with it the Second Book. The theory of Induction, in the most comprehensive sense of the term, will form the subject of the Third.