# Top products from r/Logic

We found 26 product mentions on r/Logic. We ranked the 59 resulting products by number of redditors who mentioned them. Here are the top 20.

### 1. A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

Sentiment score: 3

Number of reviews: 3

### 2. Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Sentiment score: 1

Number of reviews: 2

### 5. Logic with Trees: An Introduction to Symbolic Logic

Sentiment score: 1

Number of reviews: 1

### 6. Blink: The Power of Thinking Without Thinking

Sentiment score: 0

Number of reviews: 1

Great book!

### 9. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar

Sentiment score: 0

Number of reviews: 1

### 11. Algorithmic Puzzles

Sentiment score: 0

Number of reviews: 1

Oxford University Press USA

### 13. Crimes Against Logic: Exposing the Bogus Arguments of Politicians, Priests, Journalists, and Other Serial Offenders

Sentiment score: 0

Number of reviews: 1

### 14. Cardinal Arithmetic (Oxford Logic Guides)

Sentiment score: 0

Number of reviews: 1

Used Book in Good Condition

### 15. Forever Undecided: A Puzzle Guide to Godel (Oxford Paperbacks)

Sentiment score: 1

Number of reviews: 1

Used Book in Good Condition

### 16. To Mock a Mockingbird

Sentiment score: 1

Number of reviews: 1

Oxford University Press

### 17. Introduction to Logic: Predicate Logic (2nd Edition)

Sentiment score: 0

Number of reviews: 1

### 18. Introduction to Logic: Propositional Logic, Revised Edition (3rd Edition)

Sentiment score: 0

Number of reviews: 1

There are probably a couple boolean logic ones? I haven't played a lot of logic games. I used to play a game called tis-100 which is a game about a weird parallel assembly type language that I found pretty fun, it has some logic elements to it. It looks like there are a few logic games on the android playstore but I can't vouch for any specifically.

I know a couple books that looked kind of fun:

https://www.amazon.com/Mock-Mockingbird-Raymond-Smullyan/dp/0192801422?SubscriptionId=AKIAILSHYYTFIVPWUY6Q&amp;tag=duckduckgo-ffab-20&amp;linkCode=xm2&amp;camp=2025&amp;creative=165953&amp;creativeASIN=0192801422

Some of the recommended ones for this book that popped up for me looked cool as well.

Dover has some cool looking recreational logic books.

You can also always try and make new formulas to work on for yourself by using chapters from topics that you already covered as inspiration.

So if you know propositional logic then you can make some propositional arguments and try to prove or refute them for yourself.

I really liked Irving Copi's Introduction to Logic. I don't know if its the best for self-learners per se but over all its just a great logic textbook and really helped me out. Also, Irving Copi studied under Bertrand Russell while at the University of Chicago so there's some bonus points right here.

The best introductory logic text you will ever find: Logic: Techniques of Formal Reasoning, 2nd Edition Donald Kalish, Richard Montague.

This book is especially good if you have done any programming. The structure of main and sub-proofs corresponds to main program and subroutine calls. You can pick up a used copy for around $23 here: https://www.abebooks.com/book-search/author/kalish-montague-mar/ and you can see the table of contents here: https://www.powells.com/book/logic-techniques-of-formal-reasoning-9780195155044 (but, obviously, don't buy it for $133!)

For meta-theory, take a look at: Metalogic: An Introduction to the Metatheory of Standard First Order Logic by Geoffrey Hunter, https://www.amazon.com/Metalogic-Introduction-Metatheory-Standard-First/dp/0520023560. This book explains things in a clear way using ordinary English, before setting out the proofs.

And, if you are interested in model theory, take a look at Model Theory by C.C. Chang and H. Jerome Keisler, https://www.amazon.com/Model-Theory-Third-Dover-Mathematics/dp/0486488217 and you should get a good idea of what additional mathematics you might want to pursue.

For basic logic (first-order, classical) these are excellent textbooks...

I should also mention that there are some free, open source textbooks on standard logic (good books, written by scholars in the field) such as the following...

And if you want to go beyond classical logic, these are excellent textbooks...

Hey there.

You mention that your brother is bright -- how bright exactly? First of all, Computability and Logic is quite an advanced book that is typically aimed towards 2nd year logic students, and is usually for students who have taken a rigorous discrete mathematics course in their first year.

It delves quite deeply into the theory of logic and the philosophy of mathematics and would not be suited as a light exercise book for someone unless they have taken a math-heavy first-year logic course and are planning on taking up electrical engineering or something of the sort.

As for Hurley's book, a Concise Intro to Logic, well, this is on the other side of the spectrum -- it is very watered down compared to other logic readings, and pales in comparison (to most other introductory logic books) with regard to depth and breadth on formal logic.

It's usually aimed at first-year philosophy students who are taking introductory courses in logic or critical thinking, and most of it is simply rote-learning certain forms of argument as well as a lot of "quick and dirty" techniques which mimic that of a dry maths textbook. If you're looking for an interesting exposition into logic, then this book is certainly not it -- it would serve better as a high-school introduction for logic, and if prescribed to anyone older, would be very lackluster.

Here are some suggestions for you:

If you're looking for mathematically-oriented logic puzzles, then you should check out Smullyan's series of puzzle books. You can find them on Amazon.

Well there's Tennant's new book,

Core Logic. I haven't read it, but I hope to convince a couple of my colleagues to join me in doing so this year.The Stanford Encyclopedia of Philosophy and the Internet Encyclopedia of Philosophy are free sources. Most books I recommended are pretty cheap and worth having a physical copy. For instance, Forever Undecided is just $12 for a new copy, less than $3 for an used hardcover. But, if price is too impeding for you, you can always find a pdf copy on the internet.

Sol Feferman is one of the greatest logicians of the second half of the 20th century, and quite a good writer. I haven't read his Gödel biography, but you can rest assured that, as far as its mathematical and philosophical content is concerned, it is of the very highest quality; he actually knew Gödel in person, though not very well, as he was a shy graduate student back then in Princeton. One of the few close friends of Gödel that wrote about him was Hao Wang. You might want to take a look at his writings, e.g. https://www.amazon.com/Reflections-Kurt-G%C3%B6del-Hao-Wang/dp/0262730871.

Consider Raymond Smullyan's A Beginner's Guide to Mathematical Logic. It has some history of logic mixed in with pretty good coverage of propositional and first order logic, as near as I can tell. Lots of exercizes, which helps me personally.

One of the best and most comprehensive sources for a historical narrative is Kneale & Kneale,

The Development of Logic.This is how I learned logic, for computer science.

First chapter of this Discrete mathematics book in my discrete math class

https://www.amazon.ca/Discrete-Mathematics-Applications-Susanna-Epp/dp/0495391328

Then, using The Logic Book for a formal philosophy logic 1 course.

https://www.amazon.ca/Logic-Book-Merrie-Bergmann/product-reviews/0078038413/ref=dpx_acr_txt?showViewpoints=1

The second book was horrid on itself, luckily my professor's academic lineage goes back to Tarski. He's an amazing Professor and knows how to teach...that was a god send. Ironically, he dropped the text and I see that someone has posted his openbook project.

The first book (first chapter), is too applied I imagine for your needs. It would also only be economically feasible if well, you disregarded copyright law and got a "free" PDF of it.

Well, to answer the question "is it logical that both can be correct?" Sure! There are logics that allows contradictions to be designated, so it's "logical" in that it's perfectly acceptable within the rules of at least one logic that "p ^ ~p" is true.

As far as the applicability of those logics to reality, which might be another aspect to the question rather than a new question, the Liar Sentence and phenomena in the boundary area of vague predicates have been put forth as examples of things that actually are contradictory, and so would be accurately modeled by logics that tolerate contradictions.

http://www.amazon.com/The-Law-Non-Contradiction-Graham-Priest/dp/0199204195

That book there is highly relevant.

Logic, Language, and Meaning, vol. 2: Intensional Logic and Logical Grammar by

Gamut

It's a highly regarded and classic textbook on the subject, though the latter

portion of the book deals specifically with applications to natural language

(Montague Grammar). The authors are a group of Dutch experts in logic,

philosophy, and linguistics. "Gamut" is their collective name.

In the logic classes I took (my professor always said he hated the textbooks), we used this book and this book. They weren't perfect, but they were a good start.

Leary was my favorite. He skips over the propositional calculus, but I imagine you'll be fine having had a little exposure already. It's unfortunate that it's out of print, but I'm sure you can find a cheap copy.

yeahhh i've been trying to do the same i've always been good at picking at fallacies within debates and arguments but never known the names and whatnot. i think my two favourite books i've read on it so far have been: http://www.amazon.co.uk/Crimes-Against-Logic-Politicians-Journalists/dp/0071446435/ref=wl_it_dp_o_pC_nS_nC?ie=UTF8&amp;colid=1OUX7ZNGSEQQY&amp;coliid=I7NZTFCGW8PUC

and

http://www.amazon.co.uk/Fundamentals-Critical-Argumentation-Reasoning/dp/0521530202/ref=wl_it_dp_o_pC_S_nC?ie=UTF8&amp;colid=1OUX7ZNGSEQQY&amp;coliid=I2KQKKH9GW8FG2

managed to borrow both from my university library!

Algorithmic Puzzles

check this guy out

http://www.amazon.com/Blink-Power-Thinking-Without/dp/0316010669?ie=UTF8&amp;*Version*=1&amp;*entries*=0

This is probably the hardest logic text I have ever attempted to read.

This is for a general study guide for logic. Very solid.

http://www.logicmatters.net/tyl/

and I think you can give one of these two a try if you find "Computability and Logic" difficult.

https://www.amazon.com/Metalogic-Introduction-Metatheory-Standard-First/dp/0520023560

or

https://www.amazon.com/Friendly-Introduction-Mathematical-Logic/dp/1942341075

Not sure about OP but I have this book: https://www.amazon.ca/Logic-Book-6th-Merrie-Bergmann-ebook/dp/B00DC6XRTU and it has so many typos. The rules in the back to help you with translations have completely wrong formulas.