Free Online Logic Textbooks

[Yazata]

Here's an introductory logic textbook in pdf format called 'For All X', written by a State University of New York professor. It is a little peculiar in my opinion because it addresses formal semantics/model theory before it addresses proofs. It seems to me to be comprehensible to intelligent newcomers to the subject.

http://www.fecundity.com/codex/forallx.pdf

And here's one out of Cambridge University entitled 'Teach Yourself Logic'. This one seems to be an introduction to logic for new graduate students in philosophy who didn't study the subject during their undergraduate years. So it addresses the introductory material from a more sophisticated viewpoint, I guess, showing how the advanced topics develop out of it. It's more of an outline and a study-guide than a text, and it covers a lot of material very quickly. This one has lots of bibliographic reading suggestions for follow-on reading in various topics covered, so in a way it's a guide to the undergraduate-level logic literature.

http://www.logicmatters.net/resources/pd...ic2016.pdf

And here's a more advanced text to be read after one has the material in 'For All X' under one's belt, suitable for a second logic course perhaps. It emphasizes material of interest to computer science, such as computability and Turing machines, but is suitable for philosophers as well. This one is called the 'Open Logic Textbook' and it comes out of the U. of Calgary.

http://people.ucalgary.ca/~rzach/static/...mplete.pdf

[Yazata]

Here's another one, a basic introduction delivered at just about the same level as the logic classes that I took. It isn't surprising then that my old university is recommending this to its philosophy students. (That's how I learned about it.) They have a logic challenge exam where students can get 3 units of credit for first semester logic by passing the exam, and this is the book that they recommend students anticipating taking the exam study. It covers basic propositional and predicate logic up through soundness and completeness and a little about models.

It's entitled 'A Modern Formal Logic Primer' by Paul Teller of UC Davis. It was published in 1989 by Prentice Hall, but is now out of print and its copyright was returned to its author. So he put it online for educational use. It's pdfs of scans of the printed book.

http://tellerprimer.ucdavis.edu/pdf/

[Eschi63]

Undergraduate and post computable courses seem to be really beneficial. Emphasis is still on Mobile Bar Review Courses  for our law exam approaching soon. Joined them last month. Me and my cousin first found it hard to get with logic textbooks provided here. But their explanatory classes are superb.

[Zinjanthropos]

Seems to me that every example is one of bandwagon (logical) fallacy. Read this and become one of the logical or read this and pass exam. What does.'For all X' mean? Another fallacy?

Edit: Whoops I just got it....For All Times.... really? more unsupported bs...lol

[Yazata]

Undergraduate and post computable courses seem to be really beneficial. Emphasis is still on Mobile Bar Review Courses  for our law exam approaching soon. Joined them last month. Me and my cousin first found it hard to get with logic textbooks provided here. But their explanatory classes are superb.

This is spam, isn't it? A way for you to create a link to your bar review site and push up your search results.

[Syne]

Looks like spam to me.

[ellisael]

These are so useful and accessible. Here is Bartleby books and some useful question and answer archives too. I sometimes solve these for revision