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.

Next page

Top comments that mention products on r/Logic:

u/mysleepyself · 2 pointsr/logic

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:

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.

u/Proverbs313 · 2 pointsr/logic

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.

u/sgoldkin · 2 pointsr/logic

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: and you can see the table of contents here: (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, 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, and you should get a good idea of what additional mathematics you might want to pursue.

u/boterkoeken · 8 pointsr/logic

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

u/Klaark15 · 3 pointsr/logic

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:

u/ADefiniteDescription · 2 pointsr/logic

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.

u/Verstandeskraft · 2 pointsr/logic

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.

u/jubjubbirdbird · 3 pointsr/logic

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.

u/bediger4000 · 1 pointr/logic

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.

u/Shleppinstein · 1 pointr/logic

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

u/lowflyingmeat · 2 pointsr/logic

This is how I learned logic, for computer science.

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

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

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.

u/Acosmist · 1 pointr/logic

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.

That book there is highly relevant.

u/bri-an · 3 pointsr/logic

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

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.

u/blumpkintron · 1 pointr/logic

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.

u/christianitie · 2 pointsr/logic

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.

u/blowingmindssince93 · 1 pointr/logic

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:

managed to borrow both from my university library!

u/libcrypto · 6 pointsr/logic

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

u/sepantaminu · 7 pointsr/logic

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

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


u/hmlns · 1 pointr/logic

Not sure about OP but I have this book: and it has so many typos. The rules in the back to help you with translations have completely wrong formulas.