252 PROCEEDINGS OF THE AMERICAN ACADEMY 



Let — be the sign of logical subtraction ; so defined that 



(10.) K b -\r X == a X = a — b. 



Here it will be observed that x is not completely determinate. It 

 may vary from a to a with b taken away. This minimum may be 

 denoted by a — b. It is also to be observed that if the sphere of b 

 reaches at all beyond a, the expression a -r- b is uninterpretable. If 

 then we denote the contradictory negative of a class by the letter 

 which denotes the class itself, with a line above it,* if we denote by v 

 a wholly indeterminate class, and if we allow [0 -7- 1] to be a wholly 

 uninterpretable symbol, we have 



(11.) a -T- b = V ,a ,b -{- a ,b -\- [0 — l^, ci,^ 



which is uninterpretable unless 



a,b=pO. 



If we define zero by the following identities, in which x may be any 

 class whatever, 



(12.) = X -r X =p x — X 



then, zero denotes the class which does not go beyond any class, that 

 is nothing or nonentity. 



Let a;b he read a logically divided by b, and be defined by the 

 condition that 

 (13.) l{b,x==a x — a;b 



X is not fully determined by this condition. It will vary from a 

 to a -\- b and will be uninterpretable if a is not wholly contained 

 under b. Hence, allowing [1 ; 0] to be some uninterpretable symbol, 



(14.) a',b==a,b-\-v,d,b-\-[^].;0^ a ,b 



which is uninterpretable unless 



. a , & r=r 0. 



Unity may be defined by the following identities in which x may be 

 any class whatever. 

 (15.) 1 == a: ; x == a; rx. 



Then unity denotes the class of which any class is a part ; that is, 

 what is or ens. 



* So that, for example, a denotes not-a. 



