Teach Yourself Logic 2016: A Study Guide [pdf]

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 by Peter Kreeft. Be aware that he is sharply critical of symbolic logic. It's good to be aware of the issues involved; in particular, the paradoxes of material implication. When symbolic logic was being developed, many of its supporters looked disparagingly on traditional logic. Few logicians take that view, anymore.

Symbolic logic won the fight, but traditional logic won the argument. By the former, I mean that symbolic logic is taught nearly to the exclusion of traditional logic. By the latter, I mean that the objections made by the old guard are seen by everyone as valid and are being addressed by the new logic. For example, in traditional logic, the conclusion follows with real necessity from the premises as an effect follows from a cause. Modern logic has revived the study of modal logic in order to deal such things as necessity and possibility.

Furthermore, while symbolic logic is superior for mathematical proofs and technical philosophy, traditional syllogistic logic is better suited for everyday life and verbal arguments; it is the Newtonian mechanics of logic.

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 collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean van Heijenoort.

http://www.amazon.com/Frege-Godel-Mathematical-1879-1931-Sci...

Is there a non-login required link?

Edit: Here, http://www.logicmatters.net/tyl/

Are there any MOOCs on Logic in the same spirit as this Guide?

Direct PDF: http://www.logicmatters.net/resources/pdfs/TeachYourselfLogi...

if anyone is looking for a read on many-valued or 'fuzzy' logics you might try susan haack's 'deviant logic, fuzzy logic'

(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.

A TL;DR will be greatly appreciated :]

u down with zfc? yeah u know me

just learn model theory nigga