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=no evidence of notability}} ~~~~Timestamp: 20110501003045 00:30, 1 May 2011 (UTC) Administrators: delete |
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" is comprised 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.
External links
- OpenProof Courseware - the home page of Language, Proof and Logic