CSLI Publications logo
new books
knuth books
for authors
CSLI Publications
Language, Proof and Logic cover

Language, Proof and Logic,
second edition

Dave Barker-Plummer, Jon Barwise and John Etchemendy

For additional information, please visit the official home page for LPL.

This textbook/software package is a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof and counterexample. No prior study of logic is assumed, and, it is appropriate for introductory and second courses in logic. The unique on-line grading service almost 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 second edition is a major expansion and revision of the original. The coverage of the technique of mathematical induction has been expanded, and, software support added for Peano and course-of-values induction. Coverage of material concerning both naive and Zermelo-Frankel set theory has been expanded and improved.

The full package includes the printed textbook and manual and a sealed packet containing a Registration ID (or, in early printings, a CD with the Registration ID printed on it); once the sealed packet is opened the package cannot be returned. With the Registration ID the owner can register then download the latest version of the software:

Tarski's World 7.x –
a new version of the popular program that teaches the basic first-order language and its semantics;
Fitch 3.x –
a natural deduction proof environment for giving and checking first-order proofs;
Boole 3.x –
a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
Submit 3.x –
a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.
PDF files –
the manual and the textbook.
Registration ID –
printed on the CD or in the packet, enables use of the Gradegrinder software for grading and access to the web site for updates and grade reports. It is not transferable once activated.

The electronic/online/paperless package does not include the CD or printed matter; the student is registered at time of sale then downloads the software and pdfs.

The grade reports produced by the Gradegrinder software are returned (via email and on the web) to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available in Windows, Macintosh OS and many varieties of Linux on the same CD. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value.

The Openproof group has created an online self-paced course using the package. In addtion the group has developed several other logic courseware packages. Information on these packages can be be found at http://openproof.stanford.edu/.

Language, Proof and Logic in a physical package is distributed by University of Chicago Press or an online package can be bought at http://ggweb.gradegrinder.net/store/

Translated into Portuguese, Japanese, and German.

September 2011

ISBN (Paperback): 9781575866321
ISBN (electronic): 9781575867366

Subject: Logic; Linguistics

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu