III. I PROPOSITIONS. 45 



It is plaiTi that any pcsitive term and its corresponding 

 negative divide between them the whole universe of 

 thought : whatever does not fall into one must fall into the 

 other, by the third fundamental Law of Thought, the Law 

 of Duality. It follows at once that there are two modes 

 of representing a difference. Supposing that the things 

 represented by A and F> are found to differ, we may indicat'^ 

 (see p. 17J the result of the iudguient by the notation 



A ~ b! 



We may now represent the same judgment by the assertion 

 that A agrees with tliose things whicli differ from B, or 

 that A agrees with the not-B's. Using our notation for 

 negative terms (see p. 14), we obtain 



A = A5 

 as the expressi(jn of the ordinary negative proposition. 

 Thus if we take A to mean quicksilver, and B solid, then 

 we have the following proposition : — 



Quicksilver = Quicksilver not-solid. 



There may also be several other classes of negative pro- 

 positions, of which no notice was taken in the old logic. 

 We may have cases where all A's are not-B's, and at the 

 same time all not-B's are A's ; there may, in short, be 

 a simple identity between A and not-B, which may be 

 expressed in the form 



A =&. 

 An example of this form would be 



Conductors of electricity = non-electrics. 



We shall also frequently have to deal as results of de- 

 duction, with simple, partial, or limited identities betweeri 

 negative terms, as in the forms 



a = h, a = ah, aO = hC, etc. 



It would be possible to ref)resent iifbrmative propositions 

 in the negative form. Thus "Inm is solid," might be ex- 

 pressed as "Iron is not not-solid," or " Iron is not fluid;" 

 or, taking A and b for the terms "iron," and "not-solid," 

 the form would be A ~ 6. 



But there are very strong reasons why we should employ 

 all propositions in their affirmative form. All inference 

 jjroceeds by the substitution of equivalents, and a ))roposi- 

 tion expressed in the form of an identity is leady to yield 

 all its consequences in the mo.st direct manner. As will be 

 more fully shown, we can infer in a negative proposition, 



