Title
Language, Proof and Logic, 2nd Edition,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
Previous printings of Language, Proof and Logic contained a CDROM.For the current version of this packfiles accompanying the textbook can be downloaded by using the Registration/Book ID# printed on the reverse side of the card. The textbook/software package covers firstorder language in a method appropriate for first and second courses in logic. An online grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a 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 software package includes four programs: Tarski's World 5.0, a new version of the popular program that teaches the basic firstorder language and its semantics; Fitch, a natural deduction proof environment for giving and checking firstorder 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.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: How many pages does the book have? A: This book has six hundred pages. It covers a variety of topics related to first-order logic and its applications.
- Q: What is the binding type of this book? A: The book is paperback bound. This makes it lightweight and flexible for easy handling.
- Q: What are the dimensions of this book? A: The dimensions of this book are seven point seventy-six inches in length, one point forty-two inches in width, and nine point twenty-five inches in height.
- Q: Who is the author of this book? A: The author of this book is David Barker-Plummer. He specializes in the study of language and logic.
- Q: What is the book's category? A: The book falls under the Computer Science category. It is designed for students and instructors in logic courses.
- Q: How do I access the software that comes with the book? A: You can access the software by using the Registration ID printed on the card included in the book package. This ID is necessary for downloading the software.
- Q: Is this book suitable for beginners in logic? A: Yes, this book is suitable for beginners. It presents material in a systematic and accessible fashion.
- Q: Can this book be used for graduate-level courses? A: Yes, this book is also appropriate for graduate-level logic courses. It includes advanced topics such as proofs of soundness and completeness.
- Q: What software programs are included with the book? A: The book includes four software programs: Tarski's World, Fitch, Boole, and Submit. These programs aid in learning and practicing first-order logic.
- Q: How do I keep the software and book in good condition? A: To keep the book in good condition, store it in a dry place and avoid exposing it to direct sunlight. Ensure the software is downloaded on compatible systems.
- Q: What if I encounter issues with the software? A: If you encounter issues with the software, you can refer to the support section on the official website for troubleshooting tips and assistance.
- Q: Is there a warranty for the book and software? A: There is no warranty for the book since it is a printed educational resource. However, support for the software is available through the publisher.
- Q: Can I return the book if I am not satisfied? A: Yes, you can return the book if you are not satisfied, but ensure it is in new condition and check specific return policies.
- Q: Is the software compatible with all computer systems? A: Yes, the software is compatible with Windows, Macintosh, and Linux systems. This ensures a wide range of usability for students.
- Q: How does the grading service work with the software? A: The grading service provides instant feedback on exercises submitted through the software. It allows for efficient tracking of student progress.