Language, Proof and Logic
Encyclopedia
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:
Jon Barwise
Kenneth Jon Barwise was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used....
and John Etchemendy
John Etchemendy
John W. Etchemendy and of Basque descent is Stanford University's twelfth and current Provost. He succeeded John L. Hennessy to the post on September 1, 2000....
, geared to teaching formal logic
Formal logic
Classical or traditional system of determining the validity or invalidity of a conclusion deduced from two or more statements...
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
Language, Truth, and Logic
Language, Truth, and Logic is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was 26...
, the philosophy book by A. J. Ayer.
A short description of the programs:
- Boole (named after George BooleGeorge BooleGeorge Boole was an English mathematician and philosopher.As the inventor of Boolean logic—the basis of modern digital computer logic—Boole is regarded in hindsight as a founder of the field of computer science. Boole said,...
) - a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); - Fitch (named after Frederic Brenton FitchFrederic Brenton FitchFrederic Brenton Fitch was an American logician, the inventor of Fitch-style calculus, and a Sterling Professor Emeritus at Yale University...
) - a natural deduction proof environment for giving and checking first-order proofs; - Tarski's World (named after Alfred TarskiAlfred TarskiAlfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...
) - 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.