"Goldfarb produces a modern classic. One of the kindest, most avuncular logic books I have ever seen. Every page is evidence of the author's warmth toward his students and his dedication to conveying logic to them in a way that respects them as mature persons. His thorough mastery of the subject and its philosophy is another feature that distinguishes this book from the mountain of logic texts written by . . . persons for whom logic is . . . not a professional specialty as it is with Goldfarb, an accomplished and respected logician who has been teaching this material for over twenty years. No logic book I know of conveys kind warmth toward readers or deeply modest non-dogmatic competence in the field more than Goldfarb's 2003 Deductive Logic. The usual scientistic hocus-pocus, formalistic pedantry, and breezy dogmatism are nowhere to be found in this book. Its examples are chosen to appeal to the intelligent humanities student, not merely to the mathematical science or computer engineering student. They are carefully and tastefully crafted to avoid irrelevant linguistic complexities, both logical and sociological.
" . . . A form of Quine's distinctive . . . philosophy and organization of logic has been meticulously and creatively implemented. Accordingly, . . . deduction in the sense of step-by-step inferring of conclusions implied by given premises is substantially deferred until Section 33 of the books 44 Sections. The 44 sections averaging six pages in length are unequally divided into four Parts titled respectively: Truth-functional Logic, Monadic Quantification Theory, Polyadic Quantification Theory, and Identity and Names. The material in this book has been thoroughly classroom-tested. Most first-edition logic texts are loaded with errors that are exasperating to students and instructors alike. My reading has turned only one (non-exasperating) error: on pages 18, 69, and 289 the space in Augustus De Morgan's last name is omitted. Despite an honest effort to detect further errors typographical and otherwise, the reviewer, to his amazement, has found none.
"If a college instructor wants to present a Quinean form of modern first-order logic with identity and names but without functions in a competent, accurate and thoughtful way while avoiding patronizing spoon-feeding, this might be the best text. No other book I know comes close."
John Corcoran, State University of New York at Buffalo
309 pages; ISBN 9781603845854
, or download in
Title: Deductive logic
Author: Warren Goldfarb