Abstract

Although this excellent introductory and intermediate level text is intended for students of mathematics, it could serve well in any course for philosophers on that level. The first two chapters present the propositional and predicate calculi, along with an informal discussion of some of the set-theoretic concepts needed to study logic. The third chapter discusses what exactly an axiomatic system is, and examples of various mathematical systems cast in axiomatic form are provided; the discussion here, as elsewhere in the book, is generally self-contained and presupposes only an ability to deal with abstract ideas. The study of the propositional calculus is resumed in chapter four, but its formulation is now more rigorous and thoroughly axiomatic; in a similar manner the predicate calculus is treated in the next chapter, and the usual metatheorems are proved about each, but the specific techniques differ from the usual. The last chapter concentrates on the completeness proof of quantification theory, relating it to some of the axiomatic algebraic systems considered earlier. An appendix sketches some sophisticated results of Vaught and Robinson on model theory and completeness. In sum, this is one of the very best of a plethora of logic texts on the market, and it should serve well for years to come.—P. J. M.