Ebook: A Modern Formal Logic

This book was written for the beginner. It is not, however, a survey of
modern formal logic, for it does not try to represent the current opinion of
logicians on the elementary matters with which it deals. In fact, it was
written in the conviction that another view of these matters is more adequate.
The price paid for this shift is the resulting lack of simple mechanical tests
for the correctness of principles of the logic of sentences and of monadic
predicates. The deductive method of proof resorted to for establishing these
principles challenges ingenuity without being so difficult as to discourage it.