Abstract

This volume gives an overview of the subject of mathematical logic, placing primary emphasis on theory instead of the development of skills. It contains chapters on the history of logic, first and second order quantification theory, metatheory, and some of the philosophical implications of recent work in the field. Needless to say, none of these topics is treated in any great detail owing to the space limitations. Care has been taken by the author, however, to insure that his discussions do not trade mistakes and clarity for brevity. Each section provides the reader with a grasp of the central issues and adequate information to approach more advanced literature with some confidence. The treatment of topics such as recursive functions, Skolem's paradox for set theory, and the place of mathematical logic in the study of philosophy is rarely found in introductory treatments. No special training in either mathematics or Logic is presupposed by any of the sections. Ample exercises are included which are, in some cases, quite challenging. Answers to many of these are provided. In addition, there is also a useful annotated bibliography.--R. P. M.