What do you think?
Rate this book
Language, Proof and Logic
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
The package includes four pieces of
Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;
Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.
Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.
The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
The package includes four pieces of
Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;
Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.
Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.
The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
598 pages, Paperback
First published January 1, 1999
13 people are currently reading
239 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 - 19 of 19 reviews
July 20, 2018
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. :)
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. :)
February 9, 2011
It's the best introduction to logic I have seen till date. Paul Snively also recommended Logical Labrynths which I need to get.
January 10, 2024
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.
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.
April 25, 2022
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!
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!
June 21, 2009
I'm going over the advanced material with a student for a directed reading, and it is REALLY fun. love it.
December 15, 2023
passive aggressive
June 5, 2016
chỉ là textbook thôi :3
February 8, 2021
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.
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.
July 11, 2024
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".
April 1, 2019
Thorough intro to symbolic logic...
December 13, 2021
Whoever convinced me that this would be an easy math credit course was wrong. So wrong...
April 28, 2014
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!!!!
December 14, 2016
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.
You can't sell this book after buying it because the program can only be used once.
September 27, 2008
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.
May 13, 2009
Great book for learning prepositional logic.
May 26, 2009
Formal logic is painful to read.
July 26, 2009
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.
Read
November 21, 2009None
April 9, 2017
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.
Displaying 1 - 19 of 19 reviews