My mode of solving the problem was as follows:—Having written out the whole of the 256 series of combinations, I examined them separately and struck out such as did not fulfil the test of consistency. I then chose some form of proposition involving two or three terms, and varied it in every possible manner, both by the circular interchange of letters (A, B, C into B, C, A and then into C, A, B), and by the substitution for any one or more of the terms of the corresponding negative terms. For instance, the proposition AB = ABC can be first varied by circular interchange so as to give BC = BCA and then CA = CAB. Each of these three can then be thrown into eight varieties by negative change. Thus AB = ABC gives aB = aBC, Ab = AbC, AB = ABc, ab = abC, and so on. Thus there may possibly exist no less than twenty-four varieties of the law having the general form AB = ABC, meaning that whatever has the properties of A and B has those also of C. It by no means follows that some of the varieties may not be equivalent to others; and trial shows, in fact, that AB = ABC is exactly the same in meaning as Ac = Abc or Bc = Bca. Thus the law in question has but eight varieties of distinct logical meaning. I now ascertain by actual deductive reasoning which of the 256 series of combinations result from each of these distinct laws, and mark them off as soon as found. I then proceed to some other form of law, for instance A = ABC, meaning that whatever has the qualities of A has those also of B and C. I find that it admits of twenty-four variations, all of which are found to be logically distinct; the combinations being worked out, I am able to mark off twenty-four more of the list of 256 series. I proceed in this way to work out the results of every form of law which I can find or invent. If in the course of this work I obtain any series of combinations which had been previously marked off, I learn at once that the law giving these combinations is logically equivalent to some law previously treated. It may be safely inferred that every variety of the apparently new law will coincide in meaning with some variety of the former expression of the same law. I have sufficiently verified this assumption in some cases, and have never found it lead to error. Thus as AB = ABC is equivalent to Ac = Abc, so we find that ab = abC is equivalent to ac = acB.
Among the laws treated were the two A = AB and A = B which involve only two terms, because it may of course happen that among three things two only are in special logical relation, and the third independent; and the series of combinations representing such cases of relation are sure to occur in the complete enumeration. All single propositions which I could invent having been treated, pairs of propositions were next investigated. Thus we have the relations, “All A’s are B’s, and all B’s are C’s,” of which the old logical syllogism is the development. We may also have “all A’s are all B’s, and all B’s are C’s,” or even “all A’s are all B’s, and all B’s are all C’s.” All such premises admit of variations, greater or less in number, the logical distinctness of which can only be determined by trial in detail. Disjunctive propositions either singly or in pairs were also treated, but were often found to be equivalent to other propositions of a simpler form; thus A = ABC ꖌ Abc is exactly the same in meaning as AB = AC.
This mode of exhaustive trial bears some analogy to that ancient mathematical process called the Sieve of Eratosthenes. Having taken a long series of the natural numbers, Eratosthenes is said to have calculated out in succession all the multiples of every number, and to have marked them off, so that at last the prime numbers alone remained, and the factors of every number were exhaustively discovered. My problem of 256