Symbolic Logic

In the Chapter on 'Propositions of Existence' I have adopted a new 'normal form,' in which the Class, whose existence is affirmed or denied, is regarded as the Predicate, instead of the Subject, of the Proposition, thus evading a very subtle difficulty which besets the other form.

These subtle difficulties seem to lie at the root of every Tree of Knowledge, and they are far more hopeless to grapple with than any that occur in its higher branches. For example, the difficulties of the Forty-Se...