VI.] THE INDIRECT METHOD OF INFERENCE. 97 



Abstraction of Indifferent Circumstances. 



There is a simple but liiglily important process of 

 inference which enables ns to abstract, eliminate or dis- 

 regard all circumstances indifferently present and absent. 

 Thus if I were to state that "a triangle is a three-sided 

 rectilinear figure, either large or not large," these two 

 alternatives would be superfluous, because, by the Law of 

 Duality, I know that everything must be either large or 

 not large. To add the qualification gives no new know- 

 ledge, since the existence of the two alternatives will be 

 understood in the absence of any information to the 

 contrary. Accordingly, when two alternatives differ only 

 as regards a single component term which is positive in 

 one and negative in the other, we may reduce them to one 

 term by striking out their indifferent part. It is really a 

 process of substitution which enables us to do this ; for 

 having any proposition of the form 



A = ABC -I- ABc, (i) 



we know by the Law of Dualitv that 



AB = ABC "•!• ABc. (2) 



As the second member of this is identical with the second 

 member of (ij we may snbstitute, obtaining 



A = AB. 



This process of reducing useless alternatives may be 

 applied a^rain and again ; for it is plain that 



' A = AB (CD -I- (^d -I- cD -I- cd) 

 communicates no more information than that A is B. 

 Abstraction of in<liflerent terms is in fact the converse 

 process to that, of development described in p. 89; and 

 it is one of the most important operations in the whole 

 sphere of r.'a.soning. 



The reader should observe that in the proposition 



AC = BC 

 we cannot abstract C and infer 



A = B; 

 but from 



AC -I- Ac = BC -I- Be 

 we may abstract all reference to the term C. 



It ought to be carefully remarked, however, that alter- 

 natives which seem to be without meaning often im])ly 

 important knowledge. Thusj if I say that "a triangle ii a 



II 



