We well know from modern logic how to devise a techni cal notation which is admirably suited to the business of 'or,' 'not,' 'and,' 'all,' 'only,' and such other particles as we would care to count as logical; and to enumerate the signs and constructions of that technical notation, or a theoretically adequate subset of them, is the work of a moment (