Jump to content

Language, Proof and Logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Phil Bridger (talk | contribs) at 21:13, 28 May 2011 (contest deletion - deletion has already been contested so WP:PROD can't be used, and the reference is to a review of the book, not the book itself). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.


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

  1. ^ Attention: This template ({{cite jstor}}) is deprecated. To cite the publication identified by jstor:2687756, please use {{cite journal}} with |jstor=2687756 instead.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Language,_Proof_and_Logic&oldid=431390201"