Abstract

A revised edition of the author's 1948 introductory text, the present version differs only in minor points from the original work. Truth functions are discussed in some detail, and a propositional calculus derived from the five axioms of Principia Mathematica is presented. Quantification, however, is less extensively treated. The "traditional Aristotelian" interpretation of categorical propositions is contrasted with the non-existential interpretation of modern logic; a theory of the syllogism is offered; and various methods for evaluating the validity of syllogisms are given. The last section treats of E. V. Huntington's formulation of the- class calculus. The work is designedly an introductory text and omits discussion of the theory of types, any metatheoretic considerations of formal systems, and any consideration of the relation of logic to mathematics. There are exercises at the end of each chapter.--J. D.