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 package includes the printed textbook and manual and a CD with
- 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, 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 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 developed several other logic
courseware packages. Information on these packages can be be found at
Language, Proof and Logic is distributed by University of Chicago