Language, Proof and Logic
Language, Proof and Logic is an educational package geared to teaching formal logic through the use of a tight integration between a textbook (same name of 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.