Language, Proof and Logic, 2nd Edition

I've read a few books on FOL: Quine, Goldfarb, L.T.F. Gamut, Velleman's "How to Prove It" on set theory. This course stands out for a few reasons. It is better-written than any other FOL text I've found; every sentence is crystal-clear, and the book works hard to cultivate basic intuitions. Secondly, there is a whole software ecoystem that goes with the book, and teaches FOL models via a "blocks world" graphical interface. This allows one to understand model-theoretic semantics of FOL without just dealing with the typical mappings of {0,1} to constants, which can get confusing (trust me if that last sentence was gibberish to you). Indeed, pretty much anyone with some patience and attention to detail can read this book.You need to buy the book new to ensure you get access to the software for the course, and the auto-grading service. The auto-grading service is another real plus, as it allows you to check your work as you go. And the exercises are written for everyone not just logic prodigies.By learning how to do proofs with software verification, you set yourself up for a career as a logic programmer, business rules architect, or database architect. It's far more useful than simple pencil & paper proofs which are the stuff of typical intro FOL courses.Also note, this is not my first rodeo with FOL, I've spent years with it, yet feel the clarity and discipline imparted by this course are missing from other introductions to this subject.

If you are a student buying this book for a logic course, please read this review.The book requires that you set up an account on the GradeGrinder server to use the software & do the homework. The number in the back of the book is only good for one account, and can't be entered to make a second one (that is, a used book may be useless). However, you CAN resell this book with account intact if you create and link a generic email address (say, [email protected]) and give that info to the person who buys it from you. This way you don't have to hang on to a book which won't be useful to you after the courses are over. Good luck.

Just okay condition. But, I am a college student. As long as the pages are all there then it doesn't matter too much.I wish the seller advertised more prominently the fact that the CD to accompany may not be included. So, it was kinda a gamble. Thank god other students in my class are smart with computers and were able to give me a copy via flash drive.Not too much writing either in the book. Looked like a dog ate the corner though. Quite literally the dog ate my homework/book hahaha. Or perhaps the student became frustrated with logic and bit their book.Either way, the book was clearly written and I had a fun time learning logic. The authors had a different approach with introducing logic than other books I have used.

besides information is concerned, for my class i was required to get a brand new book because of the software. When i went to install, of course the disc is blank and has no software. I was able to get the software online on the account. Make sure to include Dashes and capital letters. Very inconvenient for one time use Software that you HAVE to pay for.The information at first isn't that bad. I'm taking an online class currently with this book. And i'm beyond ends meet with this book. Pulling hair left and right, confused, irritated, and beyond fed up with this book. Unless you have formal knowledge, than this book is better use as fire material. Problems are much difficult than the Examples (of course) and the "hints" are all the easy problems, never difficult problems to get an understanding. The software is pretty crap IMO, constantly dragging clicking this and that, when it could have been formatted much better.The class is a low level class, and I blame the book and the teacher. There are a couple of websites that "help" somewhat, but if you are already confused it just adds to it. There is no real review system to understand why you get stuff wrong and it defeats the purpose of problems with no way of helping you. I plan on burning this book before i am to "sell" it back Not to mention i HAD to buy the book to obtain the software, forcing you to pay the costs. I DO NOT recommend.

This logic book provides an adequate amout of explination in a easy-to-read fashion. After moving on to the higher level logic course offered at my university and using the Enderton logic textbook, I am missing this guy so bad. Professors: use this book for your course. Students: read this book if you get lost in class. Use the included software. Seriously, it's helpful.

Should have listened to other reviews I had read. If you buy new, great, you get software. Used, you don't. Used, book is too tied to the software to make any sense without it.

This was an interesting book for an even more interesting course. The programs were a bit tough to install, but once they were installed there was no problems with them, or with having them go along with the course material as well as the material in the book.

The CD makes this book. The book itself is freaking useless but the CD it comes with is worth the purchase price. TONS of examples included on the CD and very good overall software. If this book isn't assigned to you I would recommend purchasing it only for the CD

Great book

WARNING: If this is for a class, do NOT BUY USED! The reason being that the software contains a code from the textbook, but you can only use it once. If you buy used; the code will not work and you will have to buy new. What a waste of paper.It's a total money-grab.

This is just what was needed to prepare me for my course in philosophy. Hope the rest of the year continues like this.

Considerando lo scopo del libro, ovvero introdurre alla Logica persone che non la abbiamo mai studiata prima di allora, si tratta di un testo discreto.Riesce a spiegare le basi della Logica in maniera facile ed amichevole da comprendere. Anche se il libro è in inglese non richiede un' eccessiva padronanza della lingua per essere compreso.Tuttavia questo significa che certe volte il libro risulta essere impreciso o si soffermi a fare degli esempi davvero banali. Inoltre esso non arriva ad affrontare temi e problemi più avanzati della Logica.Per quanto riguarda il software, nonostante possa risultare legnoso, non ho riscontrato alcun problema o eccessiva difficoltà nel suo utilizzo.In sintesi questo può essere un libro utile per chi vuole avvicinarsi al mondo della Logica per la prima volta e sia alla ricerca di un testo chiaro e di facile comprensione. Tuttavia il prezzo alto del libro, se comprato nuovo, mi porta a consigliarne l'acquisto solamente a chi ritenga necessario avere accesso a "GradeGrind". Io, personalmente, l' ho acquistato nuovo solamente perché il mio corso richiedeva la consegna dei compiti attraverso il server di GradeGrind.

Libro acquistato per volere della mia professoressa di università in quanto era obbligatorio l'utilizzo del software. Inizialmente ero assolutamente contrario sia per il fatto che fosse in inglese sia per il prezzo altino (50 €) ma alla fine ho ceduto e l'ho comprato.PEGGIORE SCELTA DELLA MIA VITA.Il libro è utile solamente per il software e per gli esercizi (alcuni dei quali possono essere corretti automaticamente grazie al programma Subit). Il resto è una valanga di esempi banali che molto spesso vengono fatti in classe e di terminologie che, ovviamente, non corrispondono a quelle italiane. Inoltre una volta comprato il libro non lo si può rivendere dato che l'identificativo presente sul dischetto è personale e non trasferibile.