Language, Proof and Logic
 | The topic of this article may not meet Wikipedia's notability guideline for books. (May 2011) |
 | This article relies largely or entirely on a single source. (May 2011) |
 | Template:Wikify is deprecated. Please use a more specific cleanup template as listed in the documentation. |
Language, Proof and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use of a tight integration between a textbook (same name as the package) and four software programs, where three of them are logic related (Boole, Fitch and Tarski's World) and the other (Submit) is an internet-based grading service. The name is a pun derived from Language, Truth, and Logic, the philosophy book by A. J. Ayer.
A short description of the programs:
- Boole (named after George Boole) - a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
- Fitch (named after Frederick Brenton Fitch)- a natural deduction proof environment for giving and checking first-order proofs;
- Tarski's World (named after Alfred Tarski) - a program that teaches the basic first-order language and its semantics using a model theoretic-like approach, where the "world" consists of a little grid and some simple objects;
- Submit - a program that allows students to submit exercises done with the above programs to the Grade Grinder, the online grading service.[1]
References
- ^ Attention: This template ({{cite jstor}}) is deprecated. To cite the publication identified by jstor:2687756, please use {{cite journal}} with
|jstor=2687756instead.
External links
- OpenProof Courseware - the home page of Language, Proof and Logic