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.
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
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
- 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
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.