symbolically by a rule that a term and its negative shall never be allowed to come into combination. Such combined terms as Aa, Bb, Cc, &c., are self-contradictory and devoid of all intelligible meaning. If they could represent anything, it would be what cannot exist, and cannot even be imagined in the mind. They can therefore only enter into our consideration to suffer immediate exclusion. The criterion of false reasoning, as we shall find, is that it involves self-contradiction, the affirming and denying of the same statement. We might represent the object of all reasoning as the separation of the consistent and possible from the inconsistent and impossible; and we cannot make any statement except a truism without implying that certain combinations of terms are contradictory and excluded from thought. To assert that “all A’s are B’s” is equivalent to the assertion that “A’s which are not B’s cannot exist.”
It will be convenient to have the means of indicating the exclusion of the self-contradictory, and we may use the familiar sign for nothing, the cipher 0. Thus the second law of thought may be symbolised in the forms
We may variously describe the meaning of 0 in logic as the non-existent, the impossible, the self-inconsistent, the inconceivable. Close analogy exists between this meaning and its mathematical signification.
Certain Special Conditions of Logical Symbols.
In order that we may argue and infer truly we must treat our logical symbols according to the fundamental laws of Identity and Difference. But in thus using our symbols we shall frequently meet with combinations of which the meaning will not at first sight be apparent. If in one case we learn that an object is “yellow and round,” and in another case that it is “round and yellow,” there arises the question whether these two descriptions are identical in meaning or not. Again, if we proved that an object was “round round,” the meaning of such an expression would be open to doubt. Accordingly we must take notice, before proceeding further, of certain special laws which govern the combination of logical terms.
In the first place the combination of a logical term with itself is without effect, just as the repetition of a statement does not alter the meaning of the statement; “a round round object” is simply “a round object.” What is yellow yellow is merely yellow; metallic metals cannot differ from metals, nor circular circles from circles. In our symbolic language we may similarly hold that AA is identical with A, or
The late Professor Boole is the only logician in modern times who has drawn attention to this remarkable property of logical terms;3 but in place of the name which he gave to the law, I have proposed to call it The Law of Simplicity.4 Its high importance will only become apparent when we attempt to determine the relations of logical and mathematical science. Two symbols of quantity, and only two, seem to obey this law; we may say that 1 × 1 = 1, and 0 × 0 = 0 (taking 0 to mean absolute zero or 1 – 1); there is apparently no other number which combined with itself gives an unchanged result. I shall point out, however, in the chapter upon Number, that in reality all numerical symbols obey this logical principle.
It is curious that this Law of Simplicity, though almost unnoticed in modern times, was known to Boëthius, who makes a singular remark in his treatise De Trinitate et Unitate Dei (p. 959). He says: “If I should say sun, sun, sun, I should not have made three suns, but I should have named one sun so many times.”5 Ancient discussions about the doctrine of the Trinity drew more attention to subtle questions concerning the nature of unity and plurality than has ever since been given to them.
It is a second law of logical symbols that order of combination is a matter of indifference. “Rich and rare gems” are the same as “rare and rich gems,” or even as “gems, rich and rare.” Grammatical, rhetorical, or