Author Description

The Methods of Logic contaisn numerous texutal improvements. Chief among them a more complete justification of the deductive rules in section 28, completion of the Method. In the first eidtion these rules were indirectly justified; in the new edition the rules and restrictions are more intuitively and directly explained and justified. The discussion of theorems of Church and Godel has been rewritten and extended with a view to providing a fuller understanding of their nature. An added appendix proves Godel's theorem of the completeness of quantification theory and a related theorem of Lowenheim. Although the book is a rigorous treatment of modern logic, its clarity of statement and quality of exposition make it indespensable to logical inquiry.