11–16 of 16 posts
I have been through a slew of logic texts. By far, my favorite for both theory and practice is Computability and Logic by Boolos, Burgess and Jeffrey. http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... Another very good book on nuts and bolts proofs in both propositional and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great col…
(http://www.amazon.com/Deviant-Logic-Fuzzy-Beyond-Formalism/d...)
its not incredibly exhaustive, but i liked it at the time i read it. ymmv.
I'm studying logic, myself. I'm about halfway through Sweet Reason, by Henle & Tomoczyko. Anyone who wants to study logic owes it to himself to become familiar with traditional Aristotelian logic as well as modern symbolic logic. Henry B. Veatch is one author to look up on this (if you can find affordable used copies of his works). The principle textbook for traditional logic that's still in print is Socratic Logic b…
Can you say more on the fight between traditional and symbolic logic? I'm glad to hear that classical logic is making a comeback, though it's news to me.
Any "comeback" of Aristotelian logic is slow in coming. What I see happening is that modern logicians take those old criticisms seriously and are addressing them. See quantified modal logic for an example.