Mr Magoo, I'm hoping we can have a conversation on logic textbooks. Do you have a single favorite book or combination of books? What logics did/do you decide to focus upon and do you ever deploy it on other texts you read or do you just go through the logic books for fun?
I'll start by saying that for me the perfect set of books is:
1.
Logic and Philosophy by Hausman et al. (2009)
2.
Logic for Philosophy by Sider (2010)
3.
Schaum's Outline of Logic by Rohatyn and Varzi (2011)
4. Any basic intro on set theory
1. has the most accessible and practical treatment of the standard propositional logic + quantification theory (with identity) that I am aware of, and of course this package is the first step in mastering logic. I'm also happy with 2.'s treatment of modal logic, which I'm sure you know is a very popular (if not universally accepted) extension of standard logic and one full of important concepts. Finally, I felt 3. had a set of great chapters (and I was surprised by this, as I was expecting the book to be crap) on inductive logic, second-order logic, the probability calculus, the logic of functions, and the logic of definitive descriptions. The book really meshes well with the others because these enhancements to first-order logic are powerful, and yet they are not covered as a group in 1., 2., or any other text I am aware of. Finally, the basic concepts of set theory are helpful for a more complete understanding of logic. There are a bunch of cheap introductory books that could fill slot 4.
It seems like after all of this is synthesized, one has a more or less complete system in place for handling
anything related to logic. Any further study boils down to reinforcing/refreshing one's knowledge of the system by doing problem sets in the other textbooks.


