Abstract

An excellent introduction to symbolic logic. Part I, "Principles of Inference and Definition," carries the reader through the first order predicate calculus with identity, and relates the formal theory of inference to many standard informal arguments. Chapter 8 contains by far the best elementary discussion of the theory of definition now in print. Part II, "Elementary Intuitive Set Theory," gives a clear introduction to the fundamental concepts, and prepares the way for more advanced work in the field. The book is distinguished by the number and variety of the applications of logic considered, both in formal mathematical reasoning, and in the axiomatization of various scientific theories. The final sections contain material which should be of interest to experts as well as novices.--A. R. A.