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 has access to the web app versions of the software:
- Tarski's World –
- a new version of the popular
program that teaches the basic first-order language and its
semantics;
- Fitch –
- a natural deduction proof environment for giving and checking first-order 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.
- PDF files –
- the textbook.
- Registration ID –
- enables access to the web site for
documentation, web apps, and grade reports. It is not transferable once activated.
The electronic/online/paperless package does not include printed
matter; the student is registered at time of sale then has access to the
documentation, web apps, and grade reports.
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. The software is now web apps and available to registered
students and confirmed instructors. 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 addition the group has developed several other logic courseware packages. Information on these packages can be be found at
https://www.gradegrinder.net/.
Language, Proof and Logic in a physical package is distributed by University of Chicago
Press or an online package can be bought at https://www.gradegrinder.net/Store/store.html
Translated into Portuguese, Japanese,and German.
