 of differentation introduces a 'new' logic:

CL: [1] A / NOT-A : reflects propositional calculus where we deal with 'wholes'

CL: [2] A+A, A+NOT-A / NOT-A + A, NOT-A+NOT-A : reflects predicate calculus and
    the extention of [1] through the introduction of the notion of SOME. gets
    into wholes &amp; parts

CL: [3] There are eight categories here reflecting the refinement of [2] as well
    as the inclusion of symbol processing in the form of relational emphasis --
    gets into the introduction of mod