Title
Language, Proof and Logic, 2nd Edition,New
Delivery time: 8-12 business days (International)
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.
By changing our most important processes and
products, we have already made a big leap forward. This ranges from the
increased use of more sustainable fibers to the use of more
environmentally friendly printing processes to the development of
efficient waste management in our value chain.
⚠️ 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.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Shipping & Returns
Shipping
We ship your order within 2–3 business days for USA deliveries and 5–8 business days for international shipments. Once your package has been dispatched from our warehouse, you'll receive an email confirmation with a tracking number, allowing you to track the status of your delivery.
Returns
To facilitate a smooth return process, a Return Authorization (RA) Number is required for all returns. Returns without a valid RA number will be declined and may incur additional fees. You can request an RA number within 15 days of the original delivery date. For more details, please refer to our Return & Refund Policy page.
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Warranty
We provide a 2-year limited warranty, from the date of purchase for all our products.
If you believe you have received a defective product, or are experiencing any problems with your product, please contact us.
This warranty strictly does not cover damages that arose from negligence, misuse, wear and tear, or not in accordance with product instructions (dropping the product, etc.).
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Secure Payment
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
We accept payments with :
Visa, MasterCard, American Express, Paypal, Shopify Payments, Shop Pay and more.
Related Products
You may also like
Frequently Asked Questions
- Q: What is the main focus of 'Language, Proof and Logic, 2nd Edition'? A: The textbook focuses on first-order language and logic, making it suitable for introductory and graduate-level courses in philosophy, computer science, mathematics, and linguistics.
- Q: What software is included with the textbook? A: The package includes four programs: Tarski's World 5.0 for first-order language and semantics, Fitch for natural deduction proofs, Boole for truth tables, and Submit for grading submissions.
- Q: Is the textbook compatible with different operating systems? A: Yes, all included programs are compatible with Windows, Macintosh, and Linux systems.
- Q: How does the grading service work? A: The online grading service grades solutions to exercises submitted by students using the provided Registration ID, offering immediate feedback and reports.
- Q: What is the length of 'Language, Proof and Logic, 2nd Edition'? A: The textbook contains 606 pages.
- Q: Who is the author of this textbook? A: The author of 'Language, Proof and Logic, 2nd Edition' is David Barker-Plummer.
- Q: When was this edition published? A: The 2nd edition of the textbook was published on October 15, 2011.
- Q: Can instructors utilize the software without using it themselves? A: Yes, instructors can benefit from the pedagogical value of the software without needing to use it directly in their teaching.
- Q: What is the condition of the textbook? A: The textbook is brand new.
- Q: Where can I find more information about the software programs? A: More information about the software can be found on the website lpl.stanford.edu.