This new and revised edition explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. It includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, "how to learn logic", which takes the student through fourteen compact and sharply directed lessons with exercises and answers. Other new material includes a discussion of the truth tree method for both Sentential and Predicate logic, an account of alternative notations, and the provision of answers to selected exercises that figure in the main body of the book.
Guttenplan provides a nice description of the ideas in formal logic. And how to express these in the notation of the field. There is also plenty in the way of examples, to aid your learning. Lots of truth tables, and how to translate a statement into a predicate form. Chapters have exercises, some of which even have answers. So the book is suitable for an undergraduate text. The only thing missing is a discussion of how the logic might be implemented on a computer. Perhaps, specifically, using Lisp. While that language has some real world problems, its expressive power lends itself to manipulating logic.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.