This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.
A book on deductive logic, focusing on truth-functional logic, existential and absolute quantifiers, quantification theory, and identity. I found the book (particularly the first half) very interesting and understandable. The second half was much denser and would have required me to significantly slow down and engage with other resources to take in the content fully. I had purchased this book for a class which I never wound up taking-I can imagine when used as a reference textbook all of the sections would be very understandable. In addition, the author provides exercises at the end to further reinforce the concepts.
"Clearly, whether or not the conclusion of an argument logically follows from the premises is not simply a matter of the truth or falsity of the premises and conclusion. Rather, as we shall see in detail, the correctness of the argument depends on the form of the statements that make up the argument: the way those statements are constructed from smaller parts, some of which will occur multiply in those statements."
For the most part, Goldfarb's introductory treatment of symbolic logic maintains its clarity even as it delves deeper into the subject matter. My biggest problem with this text is that it offers no solutions for the sample problems presented in the back. Practice problems are considerably more useful when you can check your work. That's why we have teachers, I suppose.
An excellent introduction to deductive logic. Goldfarb writes with great clarity and precision. He takes no short cuts in not only walking you through the processes involved in simple propositional logic, but complex quantification theories as well.