Language, Proof and Logic
It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "Language, Proof and Logic" – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|Language, Proof and Logic|concern=not clear how this meets notability guidelines. Only reference is the book itself. Reads like an ad for the book.}} ~~~~Timestamp: 20110528210935 21:09, 28 May 2011 (UTC) Administrators: delete |
 | Template:Wikify is deprecated. Please use a more specific cleanup template as listed in the documentation. |
Language, Proof and Logic is an educational 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.
A short descriptin of the programs:
- Boole - a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
- Fitch - a natural deduction proof environment for giving and checking first-order proofs;
- Tarski's World - 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
 | This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles. (May 2011) |