Language Proof & Logic

by Jon Barwise

Language Proof & Logic

Genres: Philosophy, Logic, Textbooks, Mathematics, Nonfiction, Reference, Science

Paperback

First published January 1, 1999

Reviews

[Benjamin · Rating 4 out of 5]

Good book. Excellent software. This text is probably more rigorous than most undergraduate texts. It can serve well as a introductory graduate logic text, though some supplementation would be needed since modal logic and probability theory are not included.

The software is simply amazing. Easy for the teacher, great for the students. Three different programs come in the software package. one for constructing and completing formal proofs, one for truth tables, and one for constructing and evaluating sentences in a couple simple FOL languages. Exercise files are included, matching most of the exercises in the book chapters. Some exercises must be done by hand, of course, but the electronic resources are quite helpful. And, frankly, they're a lot of fun. :)

[Debasish Ghosh · Rating 4 out of 5]

It's the best introduction to logic I have seen till date. Paul Snively also recommended Logical Labrynths which I need to get.

[Megan · Rating 5 out of 5]

This book deserves 10 stars. Maybe 20.

This is hands-down the best book on logic, ever. The instructors/authors are funny and kind and gentle in their discourse, but rigorous and thorough. The software that comes with this (Tarski's World, Fitch, the GradeGrinder) are some of the best teaching tools I've ever encountered in any class I've taken or taught. These guys make logic FUN. Their love for logic and their chosen profession is palpable in every part of this text, and it's truly amazing. A work of a lifetime.

It's on my "favorites" shelf - an old college textbook - and I really MEAN it. It's a true favorite.

Everyone should learn logic, and if you choose to do so, I cannot recommend this book enough.

[Lía · Rating 4 out of 5]

I'm not going to lie, this is a great book to learn formal logic for those who are new to this concept. Certainly, you might find it complicated sometimes but don't give up. Because later one, it will make you feel like solving puzzles in an escape room. *that's what I feel like every time I work on proofs* *if this doesn't work, then what are other logical methods can be used to solve this problem?*

But I didn't give it 5 stars because of its unnecessarily complicated. Everyone knows that b=a if a=b right? Why do we need to have an extra step a=a to know that b=a?

To be good at formal logic or at least be able to pass this course, you need to practice, practice, practice. Write down what comes up to your mind immediately, link all the evidence/ what they give you and try all the methods that you can think of. How do you solve questions in the escape room? Do the same thing when you solve proofs!

[Blue Meanie · Rating 4 out of 5]

I'm going over the advanced material with a student for a directed reading, and it is REALLY fun. love it.

[Angi Lee · Rating 3 out of 5]

passive aggressive

[Minh Nhật · Rating 4 out of 5]

chỉ là textbook thôi :3

[Dominique · Rating 1 out of 5]

Unnecessarily complicated!!

Tarski's world is completely unnecessary. I learned logic with a pen and paper and it was much, much easier. Furthermore, the explanations in this book are longwinded and confusing. You're better off watching a youtube tutorial instead.

[Christopher Byram · Rating 3 out of 5]

I first discovered this book when it was referenced in an online logic course I am enrolled on, offered by Stanford University through Coursera, entitled 'Introduction to Logic'. This book in particular is described as "a wonderful introduction to Logic and is widely used around the world".

[John C. Duff · Rating 4 out of 5]

Thorough intro to symbolic logic...

[Barb Conrad · Rating 3 out of 5]

Whoever convinced me that this would be an easy math credit course was wrong. So wrong...

[Carly Wilson · Rating 1 out of 5]

The book is okay, a bit confusing and pretty tedious. The programs are absolute crap. Do NOT buy this. It will crash and freeze constantly and you will grow to become very frustrated. If you have to use this book for a logic class you might as well quit now because you will have a very difficult time getting your homework done on time with how often the programs crash. Oh and if you are on a MacBook, your updates will never work!!!!

[Sonia · Rating 1 out of 5]

Great software with the book, but the book sucks as a Logics book. If you have a good proffesor then you will be fine.

You can't sell this book after buying it because the program can only be used once.

[TheFIX · Rating 3 out of 5]

This is one of the better introductory and intermediate guides to symbolic logic available. Be sure to get the software package (tarski's world 5.0) with it.

[Dustin · Rating 3 out of 5]

Great book for learning prepositional logic.

[Steven · Rating 2 out of 5]

Formal logic is painful to read.

[Chris · Rating 4 out of 5]

I won't say that this was a bad book - because it is not -, but I will say that this book, together with the computer logic program, made me want to kill myself.

[Jonathan]

None

[Billy Schloetel · Rating 2 out of 5]

I made a Good Reads account just so I could rate this book poorly. It is incredibly long winded and tedious, compared to computer science texts I've read (which is saying something). On top of the confusing text itself, the software that comes with the book is both out of date and ill-composed. It will run slowly on current operating systems, which should be an indication of the poor LOGIC used to compose it. Overall, not worth the pretty penny.